Matches in DBpedia 2016-04 for { <http://doi.org/10.1147/rd.41.0028> ?p ?o }
Showing triples 1 to 9 of
9
with 100 triples per page.
- rd.41.0028 doi "10.1147/rd.41.0028".
- rd.41.0028 first "Paul".
- rd.41.0028 isCitedBy Automated_theorem_proving.
- rd.41.0028 journal "IBM Journal of Research and Development".
- rd.41.0028 last "Gilmore".
- rd.41.0028 pages "28–35".
- rd.41.0028 title "A proof procedure for quantification theory: its justification and realisation".
- rd.41.0028 volume "4".
- rd.41.0028 year "1960".