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/japll/ConradieGV10.nt
. . . . "Willem Conradie et al.: Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA. (2010)" . . _:ID_c72cc025434e75c5dbd30dbc23878c84 . _:ID_c72cc025434e75c5dbd30dbc23878c84 . _:ID_c72cc025434e75c5dbd30dbc23878c84 . _:ID_c72cc025434e75c5dbd30dbc23878c84 . _:ID_c72cc025434e75c5dbd30dbc23878c84 "journals/japll/ConradieGV10" . _:ID_b53f221a7cec030883323071f1aaa7a2 . _:ID_b53f221a7cec030883323071f1aaa7a2 . _:ID_b53f221a7cec030883323071f1aaa7a2 . _:ID_b53f221a7cec030883323071f1aaa7a2 . _:ID_b53f221a7cec030883323071f1aaa7a2 "10.1016/J.JAL.2010.08.002" . "Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA." . . . . . . . . "3"^^ . _:Sig_4ddc87c541cbc9816282d55c2204e040_1 . _:Sig_4ddc87c541cbc9816282d55c2204e040_1 . _:Sig_4ddc87c541cbc9816282d55c2204e040_1 . _:Sig_4ddc87c541cbc9816282d55c2204e040_1 "Willem Conradie" . _:Sig_4ddc87c541cbc9816282d55c2204e040_1 . _:Sig_4ddc87c541cbc9816282d55c2204e040_1 . _:Sig_4ddc87c541cbc9816282d55c2204e040_1 "1"^^ . _:Sig_4ddc87c541cbc9816282d55c2204e040_1 . _:Sig_4ddc87c541cbc9816282d55c2204e040_2 . _:Sig_4ddc87c541cbc9816282d55c2204e040_2 . _:Sig_4ddc87c541cbc9816282d55c2204e040_2 . _:Sig_4ddc87c541cbc9816282d55c2204e040_2 "Valentin Goranko" . _:Sig_4ddc87c541cbc9816282d55c2204e040_2 . _:Sig_4ddc87c541cbc9816282d55c2204e040_2 "2"^^ . _:Sig_4ddc87c541cbc9816282d55c2204e040_2 . _:Sig_4ddc87c541cbc9816282d55c2204e040_3 . _:Sig_4ddc87c541cbc9816282d55c2204e040_3 . _:Sig_4ddc87c541cbc9816282d55c2204e040_3 . _:Sig_4ddc87c541cbc9816282d55c2204e040_3 "Dimiter Vakarelov" . _:Sig_4ddc87c541cbc9816282d55c2204e040_3 . _:Sig_4ddc87c541cbc9816282d55c2204e040_3 "3"^^ . _:Sig_4ddc87c541cbc9816282d55c2204e040_3 . . . . . "319-333" . "J. Appl. Log." . "J. Appl. Log." . "8" . "4" . "2010"^^ . "provenance information for RDF data of dblp record 'journals/japll/ConradieGV10'" . . . . "2021-02-16T08:55:58+0100" .