iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://dblp.uni-trier.de/rec/journals/logcom/BaazI11.nt
.
.
.
.
.
"Matthias Baaz and Rosalie Iemhoff: Eskolemization in Intuitionistic Logic. (2011)" .
.
_:ID_4024dbe9485e4eb1181b07919e918470 . _:ID_4024dbe9485e4eb1181b07919e918470
. _:ID_4024dbe9485e4eb1181b07919e918470
. _:ID_4024dbe9485e4eb1181b07919e918470
. _:ID_4024dbe9485e4eb1181b07919e918470
"journals/logcom/BaazI11" .
_:ID_40c2e432a9cefef4d08fbf9d4a7789b8 . _:ID_40c2e432a9cefef4d08fbf9d4a7789b8
. _:ID_40c2e432a9cefef4d08fbf9d4a7789b8
. _:ID_40c2e432a9cefef4d08fbf9d4a7789b8
. _:ID_40c2e432a9cefef4d08fbf9d4a7789b8
"10.1093/LOGCOM/EXP040" .
"Eskolemization in Intuitionistic Logic." .
.
.
.
.
.
"2"^^
.
_:Sig_9dbd96abf234de6d75b3c2544868142c_1 . _:Sig_9dbd96abf234de6d75b3c2544868142c_1
. _:Sig_9dbd96abf234de6d75b3c2544868142c_1
. _:Sig_9dbd96abf234de6d75b3c2544868142c_1
"Matthias Baaz" . _:Sig_9dbd96abf234de6d75b3c2544868142c_1
. _:Sig_9dbd96abf234de6d75b3c2544868142c_1
. _:Sig_9dbd96abf234de6d75b3c2544868142c_1
"1"^^
. _:Sig_9dbd96abf234de6d75b3c2544868142c_1
.
_:Sig_9dbd96abf234de6d75b3c2544868142c_2 . _:Sig_9dbd96abf234de6d75b3c2544868142c_2
. _:Sig_9dbd96abf234de6d75b3c2544868142c_2
. _:Sig_9dbd96abf234de6d75b3c2544868142c_2
"Rosalie Iemhoff" . _:Sig_9dbd96abf234de6d75b3c2544868142c_2
. _:Sig_9dbd96abf234de6d75b3c2544868142c_2
"2"^^
. _:Sig_9dbd96abf234de6d75b3c2544868142c_2
.
.
.
.
.
"625-638" .
"J. Log. Comput." .
"J. Log. Comput." .
"21" .
"4" .
"2011"^^
.
"provenance information for RDF data of dblp record 'journals/logcom/BaazI11'" .
.
.
.
"2017-06-06T22:28:51+0200" .
