Matches in DBpedia 2016-04 for { <http://doi.org/10.1007/bf00263446> ?p ?o }
Showing triples 1 to 10 of
10
with 100 triples per page.
- bf00263446 doi "10.1007/BF00263446".
- bf00263446 first "David M.".
- bf00263446 isCitedBy Automated_reasoning.
- bf00263446 issue "1".
- bf00263446 journal "J. Autom. Reason.".
- bf00263446 last "Russinoff".
- bf00263446 pages "3–21".
- bf00263446 title "A Mechanical Proof of Quadratic Reciprocity".
- bf00263446 volume "8".
- bf00263446 year "1992".