Matches in DBpedia 2016-04 for { <http://citeseer.ist.psu.edu/87819.html> ?p ?o }
Showing triples 1 to 24 of
24
with 100 triples per page.
- 87819.html contribution "On Sets, Types, Fixed Points, and Checkerboards".
- 87819.html contribution "The Mutilated Chessboard Problem—checked by Mizar".
- 87819.html editor1First "Robert".
- 87819.html editor1Last "Boyer".
- 87819.html editor2First "Andrzej".
- 87819.html editor2Last "Trybulec".
- 87819.html first "Grzegorz".
- 87819.html first1 "Peter B.".
- 87819.html first2 "Matthew".
- 87819.html isCitedBy Mutilated_chessboard_problem.
- 87819.html last "Bancerek".
- 87819.html last1 "Andrews".
- 87819.html last2 "Bishop".
- 87819.html pages "25–26".
- 87819.html publisher "Springer-Verlag".
- 87819.html publisher "Warsaw University".
- 87819.html quote "The problem presented by John McCarthy during his lecture "Heavy duty set theory"1 has been resolved here.".
- 87819.html quote "most treatments of the problem in the literature solve it in the conceptual sense, but do not actually provide proofs of the theorem in either of McCarthy's original formulations.".
- 87819.html series "Lecture Notes in Computer Science".
- 87819.html title "QED Workshop, II".
- 87819.html title "Theorem Proving With Analytic Tableaux and Related Methods: 5th International Workshop, Tableaux '96, Terrasini, Palermo, Italy, 15-17th, 1996, Proceedings".
- 87819.html url 87819.html.
- 87819.html year "1995".
- 87819.html year "1996".