Matches in DBpedia 2016-04 for { <http://citation.dbpedia.org/hash/28470e34d0587c0e3fa70981401a91845138b789f12a337a1d4fa0b52b97f6df> ?p ?o }
Showing triples 1 to 8 of
8
with 100 triples per page.
- 28470e34d0587c0e3fa70981401a91845138b789f12a337a1d4fa0b52b97f6df author "Shie-Jue Lee, David A. Plaisted".
- 28470e34d0587c0e3fa70981401a91845138b789f12a337a1d4fa0b52b97f6df isCitedBy David_Plaisted.
- 28470e34d0587c0e3fa70981401a91845138b789f12a337a1d4fa0b52b97f6df journal "Meth. of Logic in CS".
- 28470e34d0587c0e3fa70981401a91845138b789f12a337a1d4fa0b52b97f6df number "2".
- 28470e34d0587c0e3fa70981401a91845138b789f12a337a1d4fa0b52b97f6df pages "217–40".
- 28470e34d0587c0e3fa70981401a91845138b789f12a337a1d4fa0b52b97f6df title "Use of replace rules in theorem proving".
- 28470e34d0587c0e3fa70981401a91845138b789f12a337a1d4fa0b52b97f6df volume "1".
- 28470e34d0587c0e3fa70981401a91845138b789f12a337a1d4fa0b52b97f6df year "1994".