Matches in DBpedia 2015-10 for { <http://afp.sourceforge.net/entries/Marriage.shtml> ?p ?o }
Showing triples 1 to 12 of
12
with 100 triples per page.
- Marriage.shtml author2Link "Tobias Nipkow".
- Marriage.shtml first1 "Jiang".
- Marriage.shtml first2 "Tobias".
- Marriage.shtml isCitedBy Halls_marriage_theorem.
- Marriage.shtml issn "2150-914X".
- Marriage.shtml journal "The Archive of Formal Proofs".
- Marriage.shtml last1 "Dongchen".
- Marriage.shtml last2 "Nipkow".
- Marriage.shtml postscript ". Computer-checked proof.".
- Marriage.shtml title "Hall's Marriage Theorem".
- Marriage.shtml url Marriage.shtml.
- Marriage.shtml year "2010".