iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://dblp.uni-trier.de/rec/journals/eatcs/PadawitzW84.nt
.
.
.
"Peter Padawitz and Martin Wirsing: Completeness of many-sorted equational logic revisited. (1984)" .
_:ID_13c0bbcb78f0ca142b0c14e6d8cb1395 . _:ID_13c0bbcb78f0ca142b0c14e6d8cb1395
. _:ID_13c0bbcb78f0ca142b0c14e6d8cb1395
. _:ID_13c0bbcb78f0ca142b0c14e6d8cb1395
. _:ID_13c0bbcb78f0ca142b0c14e6d8cb1395
"journals/eatcs/PadawitzW84" .
"Completeness of many-sorted equational logic revisited." .
.
.
.
.
.
"2"^^
.
_:Sig_afffcef58936c758c74b2810e91110d9_1 . _:Sig_afffcef58936c758c74b2810e91110d9_1
. _:Sig_afffcef58936c758c74b2810e91110d9_1
. _:Sig_afffcef58936c758c74b2810e91110d9_1
"Peter Padawitz" . _:Sig_afffcef58936c758c74b2810e91110d9_1
. _:Sig_afffcef58936c758c74b2810e91110d9_1
"1"^^
. _:Sig_afffcef58936c758c74b2810e91110d9_1
.
_:Sig_afffcef58936c758c74b2810e91110d9_2 . _:Sig_afffcef58936c758c74b2810e91110d9_2
. _:Sig_afffcef58936c758c74b2810e91110d9_2
. _:Sig_afffcef58936c758c74b2810e91110d9_2
"Martin Wirsing" . _:Sig_afffcef58936c758c74b2810e91110d9_2
. _:Sig_afffcef58936c758c74b2810e91110d9_2
"2"^^
. _:Sig_afffcef58936c758c74b2810e91110d9_2
.
.
.
"88-93" .
"Bull. EATCS" .
"Bull. EATCS" .
"24" .
"1984"^^
.
"provenance information for RDF data of dblp record 'journals/eatcs/PadawitzW84'" .
.
.
.
"2020-06-18T22:07:30+0200" .
