Matches in DBpedia 2016-04 for { <http://citation.dbpedia.org/hash/171f7ae0d61d3573b42e8a500e5fd901f79390a5099e408700a3a6170be86f31> ?p ?o }
Showing triples 1 to 10 of
10
with 100 triples per page.
- 171f7ae0d61d3573b42e8a500e5fd901f79390a5099e408700a3a6170be86f31 author "Martin, U. and Nipkow, T.".
- 171f7ae0d61d3573b42e8a500e5fd901f79390a5099e408700a3a6170be86f31 contribution "Unification in Boolean Rings".
- 171f7ae0d61d3573b42e8a500e5fd901f79390a5099e408700a3a6170be86f31 editor "Jörg H. Siekmann".
- 171f7ae0d61d3573b42e8a500e5fd901f79390a5099e408700a3a6170be86f31 isCitedBy Tobias_Nipkow.
- 171f7ae0d61d3573b42e8a500e5fd901f79390a5099e408700a3a6170be86f31 pages "506–513".
- 171f7ae0d61d3573b42e8a500e5fd901f79390a5099e408700a3a6170be86f31 publisher "Springer".
- 171f7ae0d61d3573b42e8a500e5fd901f79390a5099e408700a3a6170be86f31 series LNCS.
- 171f7ae0d61d3573b42e8a500e5fd901f79390a5099e408700a3a6170be86f31 title "Proc. 8th Conference on Automated Deduction".
- 171f7ae0d61d3573b42e8a500e5fd901f79390a5099e408700a3a6170be86f31 volume "230".
- 171f7ae0d61d3573b42e8a500e5fd901f79390a5099e408700a3a6170be86f31 year "1986".