iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://dblp.dagstuhl.de/rec/conf/rta/Fraus91.nt
.
.
.
.
.
"Ulrich Fraus: A Narrowing-Based Theorem Prover. (1991)" .
.
_:ID_591b735e8cd06491ea40a170dc07e092 . _:ID_591b735e8cd06491ea40a170dc07e092
. _:ID_591b735e8cd06491ea40a170dc07e092
. _:ID_591b735e8cd06491ea40a170dc07e092
. _:ID_591b735e8cd06491ea40a170dc07e092
"conf/rta/Fraus91" .
_:ID_55fb66a0e7f0ff0eb2c6ec92aacd231b . _:ID_55fb66a0e7f0ff0eb2c6ec92aacd231b
. _:ID_55fb66a0e7f0ff0eb2c6ec92aacd231b
. _:ID_55fb66a0e7f0ff0eb2c6ec92aacd231b
. _:ID_55fb66a0e7f0ff0eb2c6ec92aacd231b
"10.1007/3-540-53904-2_116" .
"A Narrowing-Based Theorem Prover." .
.
.
.
"1"^^
.
_:Sig_c5ca6c491b114bd556ef9a5b6a48c7d6_1 . _:Sig_c5ca6c491b114bd556ef9a5b6a48c7d6_1
. _:Sig_c5ca6c491b114bd556ef9a5b6a48c7d6_1
. _:Sig_c5ca6c491b114bd556ef9a5b6a48c7d6_1
"Ulrich Fraus" . _:Sig_c5ca6c491b114bd556ef9a5b6a48c7d6_1
. _:Sig_c5ca6c491b114bd556ef9a5b6a48c7d6_1
"1"^^
. _:Sig_c5ca6c491b114bd556ef9a5b6a48c7d6_1
.
.
.
.
.
"435-436" .
"RTA" .
"RTA" .
"1991"^^
.
"1991"^^
.
.
"provenance information for RDF data of dblp record 'conf/rta/Fraus91'" .
.
.
.
"2017-05-19T13:10:47+0200" .
