Matches in DBpedia 2015-10 for { <http://doi.org/10.1016/0020-0190(92)90049-2> ?p ?o }
Showing triples 1 to 11 of
11
with 100 triples per page.
- 0020-0190(92)90049-2 date "November 1992".
- 0020-0190(92)90049-2 doi "10.1016/0020-019090049-2".
- 0020-0190(92)90049-2 first "M.".
- 0020-0190(92)90049-2 isCitedBy Circumscription_(logic).
- 0020-0190(92)90049-2 issue "3".
- 0020-0190(92)90049-2 journal "Information Processing Letters".
- 0020-0190(92)90049-2 last "Cadoli".
- 0020-0190(92)90049-2 pages "113–8".
- 0020-0190(92)90049-2 title "The complexity of model checking for circumscriptive formulae".
- 0020-0190(92)90049-2 url 0020019092900492.
- 0020-0190(92)90049-2 volume "44".