{"entities":{"Q1187853":{"pageid":1198602,"ns":120,"title":"Item:Q1187853","lastrevid":66447231,"modified":"2026-04-12T10:08:46Z","type":"item","id":"Q1187853","labels":{"en":{"language":"en","value":"A mechanical proof of quadratic reciprocity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 39769"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1187853$38590842-F4BB-4C27-87C0-4D0A40A2311D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e83be96be08bfd07e3cd5142c9185f0e005c4096","datavalue":{"value":{"text":"A mechanical proof of quadratic reciprocity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1187853$E3232F57-40FA-4924-B3BF-5C0117F0D23A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f87620c9e549ae794461fd75d57f53a987842a14","datavalue":{"value":"0767.68087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187853$C95F6DB2-FB3A-4D9B-A7F1-B46767FE5E50","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f3646dc00136abd73db6ba391a16da65c24fc6fb","datavalue":{"value":"10.1007/BF00263446","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187853$75179B8F-4749-4AE6-ABFB-0F0ED426B132","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"74ab161205b2632de50aff2567915fa99648a937","datavalue":{"value":{"entity-type":"item","numeric-id":1187852,"id":"Q1187852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1187853$A5B2DC1F-8B78-4765-8AF8-EA87FBB1B97D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1187853$AFA7A4C9-DD9B-4ACA-8311-125484E63C2B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c773167c26a162b23b65174f7b507d41ddb43a31","datavalue":{"value":{"time":"+1992-07-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1187853$C2F31BB8-8E76-4C87-8AF2-A3C21CD76A4A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187853$7FEF62FB-0ADF-4D7F-8A93-D5733DD6E45F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0614cfe757af775354cacad4d1852bd334b9e455","datavalue":{"value":"11A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187853$42860BBD-7E3C-46B5-86D8-8BCDC5FA5AC1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"343f7cb0331643546656892205ff00346fdbeadf","datavalue":{"value":"39769","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187853$0448A28D-F018-41E3-88F1-11A73E02DE37","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67935c9745e86097c5a009e8bb47d5846729f37a","datavalue":{"value":"Boyer-Moore theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187853$1FD84A5E-96B3-445E-B62D-6A8F9413CC3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9759665d525193ee6c120bcc4fb1fd5c19665dc8","datavalue":{"value":"quadratic reciprocity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187853$F2D016D0-A715-48B2-97E4-8D9649A7EDB7","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1187853$F18188CD-352D-4CF0-9C4A-D8FE593BEAF2","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"99ca8f9b919a54a696afc62ce83c922f8000ad7a","datavalue":{"value":"Q29013181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187853$2AE5DEC3-05AD-4569-A207-7BF184C3E792","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3f563a0061919d30fd4f2d3c866fa692d89e1a8b","datavalue":{"value":"https://doi.org/10.1007/bf00263446","type":"string"},"datatype":"url"},"type":"statement","id":"Q1187853$628F9972-2384-4CAB-B8EE-B4B2DA78822B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c4f70e3d9ea53733001589ea75e3fc614cbda641","datavalue":{"value":"W2057614488","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187853$913231C8-E699-416D-8779-262AA72D6D8F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f461c3d35fe74d36eb0c06054a556db0671e822","datavalue":{"value":{"entity-type":"item","numeric-id":1819945,"id":"Q1819945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c125ece4483dd35152468022db613561638d2c9d","datavalue":{"value":{"amount":"+0.7892331480979919","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1187853$0EB85C09-1C94-4977-9B7E-1661A4077993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22b47e53d7f8c073ce77086bb00acb795aa96ce3","datavalue":{"value":{"entity-type":"item","numeric-id":4469233,"id":"Q4469233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b43f22d8765e4153a060d0b60882f4d3842aa96","datavalue":{"value":{"amount":"+0.7631568908691406","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1187853$F2AFE3C3-C421-4423-A081-F288A5A26DEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e05d4154b6de32734c4e4ee8ec85e7f20c76d06e","datavalue":{"value":{"entity-type":"item","numeric-id":3988078,"id":"Q3988078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28ca1b3dc0501caba6569c7abed8354d9f9c575b","datavalue":{"value":{"amount":"+0.7626768350601196","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1187853$9023640E-8519-49B9-91BC-0C16B92A13C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d3c9cdd83d199d93c316d6bd794281c8c09a499","datavalue":{"value":{"entity-type":"item","numeric-id":4972080,"id":"Q4972080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"377117d471f2cc10c969d80c4d4156086798d566","datavalue":{"value":{"amount":"+0.7616446018218994","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1187853$30D77626-FEAB-47C3-AA91-4285E5288960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4895280aa54044575944611598e80cc72716a979","datavalue":{"value":{"entity-type":"item","numeric-id":4915142,"id":"Q4915142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3ba9f8087aa6f35c95d9f4a2335d520aaf00619","datavalue":{"value":{"amount":"+0.7615096569061279","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1187853$4EBC1E6A-7829-47E1-9734-241651E953E0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A mechanical proof of quadratic reciprocity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_mechanical_proof_of_quadratic_reciprocity"}}}}}