Matches in DBpedia 2016-04 for { <http://doi.org/10.1007/978-3-642-22673-1_10> ?p ?o }
Showing triples 1 to 14 of
14
with 100 triples per page.
- 978-3-642-22673-1_10 author2 "Kasper Brink".
- 978-3-642-22673-1_10 author3 "Lionel Mamane".
- 978-3-642-22673-1_10 author4 "Josef Urban".
- 978-3-642-22673-1_10 doi "10.1007/978-3-642-22673-1_10".
- 978-3-642-22673-1_10 first "Jesse".
- 978-3-642-22673-1_10 isCitedBy Mizar_system.
- 978-3-642-22673-1_10 journal "Intelligent Computer Mathematics".
- 978-3-642-22673-1_10 last "Alama".
- 978-3-642-22673-1_10 pages "133–148".
- 978-3-642-22673-1_10 series "Lecture Notes in Computer Science".
- 978-3-642-22673-1_10 title "Large Formal Wikis: Issues and Solutions".
- 978-3-642-22673-1_10 url qm3203471p33w271.
- 978-3-642-22673-1_10 volume "6824".
- 978-3-642-22673-1_10 year "2011".