Matches in DBpedia 2016-04 for { <http://doi.org/10.1002/malq.19670130104> ?p ?o }
Showing triples 1 to 10 of
10
with 100 triples per page.
- malq.19670130104 doi "10.1002/malq.19670130104".
- malq.19670130104 first1 "Melven R.".
- malq.19670130104 isCitedBy 2-satisfiability.
- malq.19670130104 isCitedBy True_quantified_Boolean_formula.
- malq.19670130104 journal "Zeitschrift für Mathematische Logik und Grundlagen der Mathematik".
- malq.19670130104 last1 "Krom".
- malq.19670130104 pages "15–20".
- malq.19670130104 title "The Decision Problem for a Class of First-Order Formulas in Which all Disjunctions are Binary".
- malq.19670130104 volume "13".
- malq.19670130104 year "1967".