Matches in DBpedia 2016-04 for { <http://doi.org/10.1006/inco.1995.1025> ?p ?o }
Showing triples 1 to 16 of
16
with 100 triples per page.
- inco.1995.1025 doi "10.1006/inco.1995.1025".
- inco.1995.1025 first1 "H.K.".
- inco.1995.1025 first2 "Marek".
- inco.1995.1025 first3 "A.".
- inco.1995.1025 isCitedBy Boolean_satisfiability_problem.
- inco.1995.1025 isCitedBy Horn-satisfiability.
- inco.1995.1025 issue "1".
- inco.1995.1025 journal "Information and Computation".
- inco.1995.1025 last1 "Buning".
- inco.1995.1025 last2 "Karpinski".
- inco.1995.1025 last3 "Flogel".
- inco.1995.1025 pages "12-18".
- inco.1995.1025 publisher "Elsevier".
- inco.1995.1025 title "Resolution for Quantified Boolean Formulas".
- inco.1995.1025 volume "117".
- inco.1995.1025 year "1995".