Matches in DBpedia 2016-04 for { <http://citation.dbpedia.org/hash/c21a26afe51f50e4d43668255736239e200ad1741aeba86cd81af00b18be8500> ?p ?o }
Showing triples 1 to 9 of
9
with 100 triples per page.
- c21a26afe51f50e4d43668255736239e200ad1741aeba86cd81af00b18be8500 first "Alexander".
- c21a26afe51f50e4d43668255736239e200ad1741aeba86cd81af00b18be8500 isCitedBy Resolution_(logic).
- c21a26afe51f50e4d43668255736239e200ad1741aeba86cd81af00b18be8500 last "Leitsch".
- c21a26afe51f50e4d43668255736239e200ad1741aeba86cd81af00b18be8500 page "11".
- c21a26afe51f50e4d43668255736239e200ad1741aeba86cd81af00b18be8500 publisher "Springer".
- c21a26afe51f50e4d43668255736239e200ad1741aeba86cd81af00b18be8500 quote "Before applying the inference method itself, we transform the formulas to quantifier-free conjunctive normal form.".
- c21a26afe51f50e4d43668255736239e200ad1741aeba86cd81af00b18be8500 series "EATCS Monographs in Theoretical Computer Science".
- c21a26afe51f50e4d43668255736239e200ad1741aeba86cd81af00b18be8500 title "The resolution calculus".
- c21a26afe51f50e4d43668255736239e200ad1741aeba86cd81af00b18be8500 year "1997".