Matches in DBpedia 2015-10 for { <http://doi.org/10.1023/A:1006269330992> ?p ?o }
Showing triples 1 to 16 of
16
with 100 triples per page.
- A:1006269330992 doi "10.1023/A:1006269330992".
- A:1006269330992 first1 "Florian".
- A:1006269330992 first2 "Lawrence C.".
- A:1006269330992 isCitedBy Sylow_theorems.
- A:1006269330992 issn "0168-7433".
- A:1006269330992 issue "3".
- A:1006269330992 journal "J. Automat. Reason.".
- A:1006269330992 last1 "Kammüller".
- A:1006269330992 last2 "Paulson".
- A:1006269330992 mr "1721912".
- A:1006269330992 pages "235–264".
- A:1006269330992 title "A formal proof of Sylow's theorem. An experiment in abstract algebra with Isabelle HOL".
- A:1006269330992 url sylow.pdf.
- A:1006269330992 volume "23".
- A:1006269330992 year "1999".
- A:1006269330992 zbl "0943.68149".