{"entities":{"Q3686657":{"pageid":5716563,"ns":120,"title":"Item:Q3686657","lastrevid":87550427,"modified":"2026-06-04T11:57:59Z","type":"item","id":"Q3686657","labels":{"en":{"language":"en","value":"Structuring Mathematical Proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3908365"}},"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":"Q3686657$48A23958-325A-4927-B407-CF4EF2E04F78","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f720919bbd284439d0effa46032fe42d57efcfae","datavalue":{"value":{"text":"Structuring Mathematical Proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3686657$A931F818-B4BB-4E64-A1C6-FC64E06E7130","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f328110fd2f7c8f202a4282e9f7a8387a34279eb","datavalue":{"value":"0569.00015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3686657$0E155F85-7E33-4DCB-95D5-F3200A103615","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b2712771bdb40f8e9c4e6bd52d718ccfc89258e9","datavalue":{"value":"10.2307/2975544","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3686657$3E43E9FE-1286-4EBD-B0CD-3104C277C184","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d047dfe0147a05d2d6139f9ee23fbfa7dc7ed614","datavalue":{"value":{"entity-type":"item","numeric-id":1140653,"id":"Q1140653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3686657$1A913DD6-F2D9-4100-B81C-2AA7E5423C5A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cb96b4ac991d1c9fabb6ef3d281db52e4eb2e155","datavalue":{"value":{"entity-type":"item","numeric-id":93751,"id":"Q93751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3686657$CF093F5D-908F-436B-811C-4E6284F8818D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3686657$0D96198D-999D-499E-9AF5-AA56C3884741","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3686657$AE771BB2-15B1-4AC9-A262-90EDF3E7618E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bf36b1e38b690b9c6af49b4843bf77c4415148a8","datavalue":{"value":"3908365","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3686657$C02123DE-87A1-4128-9C01-37A3BFFF8809","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98ba29d31c71345e3c6d5d34f220a3255438dd0b","datavalue":{"value":"mathematical proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3686657$14EB87D1-77DB-4CEF-B904-4D703683D31D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e79bde0c5a54389f7775068566051ad4be82926e","datavalue":{"value":"linear proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q3686657$5695F1C5-29E8-4D81-A043-8E66D5235DBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23d8ba9de3d388703be9fdff457543482d628ca5","datavalue":{"value":"mathematical communication","type":"string"},"datatype":"string"},"type":"statement","id":"Q3686657$65DAD5C6-47BC-472F-8642-7E656F6E25DE","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":"Q3686657$8EAD745B-6502-4C7A-A6E3-F2F02CE0E375","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c811360fdc9aaf2c5c08c6b1eb49ce15205bcb56","datavalue":{"value":"https://doi.org/10.2307/2975544","type":"string"},"datatype":"url"},"type":"statement","id":"Q3686657$341C9916-2F5D-4D0E-A9BD-BBFC635061F5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f1f0924785f4e88e64a88b72fbc11ad9e5bcfdf1","datavalue":{"value":"W4236931043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3686657$FF4385EC-A745-425E-9418-EE6244E52CB4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ca371bfeda32fe62a61ad72df5eb738de233367","datavalue":{"value":{"entity-type":"item","numeric-id":4261731,"id":"Q4261731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a49c355e6931a2f269d59efffce822312280d1a","datavalue":{"value":{"amount":"+0.8046316504478455","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":"Q3686657$F025953B-904E-462B-B768-ABDC0B51B428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8aa3a27f7f6b440c0e0b78bfb9bf2bd8d4cf20c","datavalue":{"value":{"entity-type":"item","numeric-id":4870018,"id":"Q4870018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7db99d74026ac65f050935ecc4c088dd18a2efb6","datavalue":{"value":{"amount":"+0.7894372940063477","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":"Q3686657$2E9A6655-E32B-4610-A07E-F1FD2CCC14D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d1eb0aa3f472f86b4f71361107586f3ceb0dae2","datavalue":{"value":{"entity-type":"item","numeric-id":607406,"id":"Q607406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7b9e213f5d0a5a5890116aa36fd62adb20a2f4a","datavalue":{"value":{"amount":"+0.7801902294158936","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":"Q3686657$47744502-24F7-4AEC-AA59-37EA4659A002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff6af4086b0861061eb7925f69c0fec6fe36bf92","datavalue":{"value":{"entity-type":"item","numeric-id":5499605,"id":"Q5499605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d85d881bac6ac2cf435b12d790e32f0036296e2","datavalue":{"value":{"amount":"+0.7686148881912231","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":"Q3686657$A0C71B09-04C9-4242-AED8-53C737E95AFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f3645f3939c4944c377443ebff888eded2ef9cc","datavalue":{"value":{"entity-type":"item","numeric-id":692371,"id":"Q692371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b0ae8784c7b05f051ddf5724de780f5e647d3a4","datavalue":{"value":{"amount":"+0.767102062702179","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":"Q3686657$0ADA0F2F-8F60-45F8-9AAC-66BEC53EF5CA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Structuring Mathematical Proofs","badges":[]}}}}}