iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/journals/jar/BernreiterLMW24.nt
. . . . "Michael Bernreiter et al.: Sequent Calculi for Choice Logics. (2024)" . . _:ID_63fffbe1388caea8c683f43b7d5847a9 . _:ID_63fffbe1388caea8c683f43b7d5847a9 . _:ID_63fffbe1388caea8c683f43b7d5847a9 . _:ID_63fffbe1388caea8c683f43b7d5847a9 . _:ID_63fffbe1388caea8c683f43b7d5847a9 "journals/jar/BernreiterLMW24" . _:ID_5c7b50d7f395722541b07739addb72b6 . _:ID_5c7b50d7f395722541b07739addb72b6 . _:ID_5c7b50d7f395722541b07739addb72b6 . _:ID_5c7b50d7f395722541b07739addb72b6 . _:ID_5c7b50d7f395722541b07739addb72b6 "10.1007/S10817-024-09695-5" . "Sequent Calculi for Choice Logics." . . . . . . . . . . "4"^^ . _:Sig_50e21abe2d2049ecb366131871ebe2ed_1 . _:Sig_50e21abe2d2049ecb366131871ebe2ed_1 . _:Sig_50e21abe2d2049ecb366131871ebe2ed_1 . _:Sig_50e21abe2d2049ecb366131871ebe2ed_1 "Michael Bernreiter" . _:Sig_50e21abe2d2049ecb366131871ebe2ed_1 . _:Sig_50e21abe2d2049ecb366131871ebe2ed_1 "1"^^ . _:Sig_50e21abe2d2049ecb366131871ebe2ed_1 . _:Sig_50e21abe2d2049ecb366131871ebe2ed_2 . _:Sig_50e21abe2d2049ecb366131871ebe2ed_2 . _:Sig_50e21abe2d2049ecb366131871ebe2ed_2 . _:Sig_50e21abe2d2049ecb366131871ebe2ed_2 "Anela Lolic" . _:Sig_50e21abe2d2049ecb366131871ebe2ed_2 . _:Sig_50e21abe2d2049ecb366131871ebe2ed_2 "2"^^ . _:Sig_50e21abe2d2049ecb366131871ebe2ed_2 . _:Sig_50e21abe2d2049ecb366131871ebe2ed_3 . _:Sig_50e21abe2d2049ecb366131871ebe2ed_3 . _:Sig_50e21abe2d2049ecb366131871ebe2ed_3 . _:Sig_50e21abe2d2049ecb366131871ebe2ed_3 "Jan Maly 0001" . _:Sig_50e21abe2d2049ecb366131871ebe2ed_3 . _:Sig_50e21abe2d2049ecb366131871ebe2ed_3 . _:Sig_50e21abe2d2049ecb366131871ebe2ed_3 "3"^^ . _:Sig_50e21abe2d2049ecb366131871ebe2ed_3 . _:Sig_50e21abe2d2049ecb366131871ebe2ed_4 . _:Sig_50e21abe2d2049ecb366131871ebe2ed_4 . _:Sig_50e21abe2d2049ecb366131871ebe2ed_4 . _:Sig_50e21abe2d2049ecb366131871ebe2ed_4 "Stefan Woltran" . _:Sig_50e21abe2d2049ecb366131871ebe2ed_4 . _:Sig_50e21abe2d2049ecb366131871ebe2ed_4 "4"^^ . _:Sig_50e21abe2d2049ecb366131871ebe2ed_4 . . . . . "8" . "J. Autom. Reason." . "J. Autom. Reason." . "68" . "2" . "2024"^^ . "--06"^^ . "provenance information for RDF data of dblp record 'journals/jar/BernreiterLMW24'" . . . . "2024-10-06T21:31:49+0200" .