Matches in DBpedia 2016-04 for { <http://doi.org/10.1145/321250.321253> ?p ?o }
Showing triples 1 to 19 of
19
with 100 triples per page.
- 321250.321253 author "J.A. Robinson".
- 321250.321253 authorlink1 "J. Alan Robinson".
- 321250.321253 date "Jan 1965".
- 321250.321253 doi "10.1145/321250.321253".
- 321250.321253 first "J. Alan".
- 321250.321253 first1 "J. A.".
- 321250.321253 isCitedBy List_of_important_publications_in_theoretical_computer_science.
- 321250.321253 isCitedBy Resolution_(logic).
- 321250.321253 isCitedBy Unification_(computer_science).
- 321250.321253 issue "1".
- 321250.321253 journal Journal_of_the_ACM.
- 321250.321253 journal "Journal of the ACM".
- 321250.321253 last John_Alan_Robinson.
- 321250.321253 last1 "Robinson".
- 321250.321253 number "1".
- 321250.321253 pages "23–41".
- 321250.321253 title "A Machine-Oriented Logic Based on the Resolution Principle".
- 321250.321253 volume "12".
- 321250.321253 year "1965".