Matches in DBpedia 2016-04 for { <http://doi.org/10.1007/s12046-009-0005-1> ?p ?o }
Showing triples 1 to 11 of
11
with 100 triples per page.
- s12046-009-0005-1 doi "10.1007/s12046-009-0005-1".
- s12046-009-0005-1 first "Freek".
- s12046-009-0005-1 isCitedBy Mizar_system.
- s12046-009-0005-1 issue "1".
- s12046-009-0005-1 journal "Sadhana".
- s12046-009-0005-1 last "Wiedijk".
- s12046-009-0005-1 pages "193–220".
- s12046-009-0005-1 title "Formalizing Arrow's theorem".
- s12046-009-0005-1 url 3607101377774154.
- s12046-009-0005-1 volume "34".
- s12046-009-0005-1 year "2009".