{"entities":{"Q6481410":{"pageid":13977547,"ns":120,"title":"Item:Q6481410","lastrevid":104432890,"modified":"2026-07-10T19:39:28Z","type":"item","id":"Q6481410","labels":{"en":{"language":"en","value":"mathematical proof"},"de":{"language":"de","value":"mathematischer Beweis"}},"descriptions":{"en":{"language":"en","value":"rigorous demonstration that a mathematical statement follows from its premises"},"de":{"language":"de","value":"logische Begr\u00fcndung einer mathematischen Aussage"}},"aliases":{"en":[{"language":"en","value":"proof"},{"language":"en","value":"proof in mathematics"},{"language":"en","value":"proof (mathematics)"}],"de":[{"language":"de","value":"mathematisches Beweisen"},{"language":"de","value":"axiomatischer Beweis"},{"language":"de","value":"Beweis in der Mathematik"},{"language":"de","value":"Beweis"}]},"claims":{"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e3111ca99f3e760401d2d85c71489da1be08dc14","datavalue":{"value":"Q11538","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6481410$8A277B36-916A-43EA-9D32-D3D947E05294","rank":"normal"}],"P236":[{"mainsnak":{"snaktype":"value","property":"P236","hash":"492e4e470f493007e1727f8da3124198b6de253d","datavalue":{"value":{"entity-type":"item","numeric-id":7278215,"id":"Q7278215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6481410$30FD3415-33BA-4D95-9053-D8828C13439B","rank":"normal"}],"P234":[{"mainsnak":{"snaktype":"value","property":"P234","hash":"660da2d634afbdeabb9ce3ce8da35b021e8e8c11","datavalue":{"value":"Mathematical proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q6481410$50400303-0DDF-4C66-B045-B80A94E8C0BA","rank":"normal"}],"P239":[{"mainsnak":{"snaktype":"value","property":"P239","hash":"273eda88f8baf100e5aeed61c438aa0a06e40f34","datavalue":{"value":"/m/0l46k","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6481410$03071172-C044-4E2A-8DD8-264B5C3A7651","rank":"normal","references":[{"hash":"6499e90742e6a3b2d9cb91c8c38ff13ffd6eb773","snaks":{"P98":[{"snaktype":"value","property":"P98","hash":"765c249748dbeb69c8c4d98de780dc063f8e09cf","datavalue":{"value":{"entity-type":"item","numeric-id":56521,"id":"Q56521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P28":[{"snaktype":"value","property":"P28","hash":"ad31989710dc3c2a167cc95050bb6ea34e0bbe88","datavalue":{"value":{"time":"+2013-10-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P98","P28"]}]}],"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"383bf883fd10d45f90d862f81bd98b275e5ddd37","datavalue":{"value":{"entity-type":"item","numeric-id":68659,"id":"Q68659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6481410$2744FA78-0C67-475B-AFB4-9864D7673ACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P31","hash":"f577a7235fb98e874a806a3f44154a563340fdf7","datavalue":{"value":{"entity-type":"item","numeric-id":7278216,"id":"Q7278216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6481410$26758B12-2A68-4779-A648-469FB9DFA059","rank":"normal"}],"P276":[{"mainsnak":{"snaktype":"value","property":"P276","hash":"7d1797ef0dd53cd6949d9d7755d2d481e1aeafd1","datavalue":{"value":"topic/proof-theory","type":"string"},"datatype":"external-id"},"type":"statement","qualifiers":{"P96":[{"snaktype":"value","property":"P96","hash":"35257c68d4a06b813956aaf49557fba03868455d","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"}]},"qualifiers-order":["P96"],"id":"Q6481410$3B385E5B-51CA-4A7F-9352-7105B3B5542C","rank":"normal"}],"P248":[{"mainsnak":{"snaktype":"value","property":"P248","hash":"3932b7996b53e4accdac02b811021f5f2dd9053a","datavalue":{"value":"Proofs-mathematics","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6481410$B1252EC7-192B-4A8A-8926-2FA07DA044B7","rank":"normal","references":[{"hash":"36aae81f91e73382a6f83123894b56349fe7cc6f","snaks":{"P98":[{"snaktype":"value","property":"P98","hash":"5f64affe1ee560462bef91177df1a989c048367b","datavalue":{"value":{"entity-type":"item","numeric-id":56535,"id":"Q56535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P98"]}]}],"P337":[{"mainsnak":{"snaktype":"value","property":"P337","hash":"f7c71aa60f549c10e112cda6aa4be438686063c0","datavalue":{"value":"wiskunde/bewijs","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6481410$DF4B0629-A737-41D1-BE85-60DFA6430B7E","rank":"normal"}],"P190":[{"mainsnak":{"snaktype":"value","property":"P190","hash":"087bd8502614dc8b66e74286410face9c60572e9","datavalue":{"value":{"entity-type":"item","numeric-id":56556,"id":"Q56556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6481410$3D0B0001-EAD1-4A5B-A9C9-BE63B0CF30C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P190","hash":"ec09a01ffb9735d16c085e9a702ce77582984246","datavalue":{"value":{"entity-type":"item","numeric-id":56557,"id":"Q56557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P140":[{"snaktype":"value","property":"P140","hash":"a4fff9abace604f2c7effb8525a9b720eef0ccb5","datavalue":{"value":{"time":"+2022-10-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"qualifiers-order":["P140"],"id":"Q6481410$B6F3D09E-2B61-4048-AD56-7FC6B7E42976","rank":"normal"}],"P402":[{"mainsnak":{"snaktype":"value","property":"P402","hash":"b8527863bea8cc01184a234c0e29b65357c32873","datavalue":{"value":{"entity-type":"item","numeric-id":7226889,"id":"Q7226889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6481410$290868C8-AF0F-4C08-9B84-729F317D29C2","rank":"normal"}],"P557":[{"mainsnak":{"snaktype":"value","property":"P557","hash":"572b0a5e86a5781cd19504311ea6b3edeace7c6a","datavalue":{"value":{"entity-type":"item","numeric-id":6481245,"id":"Q6481245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6481410$B0D68B71-DC42-4D91-9193-9415027A776A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P557","hash":"5ff17b804c3c5a508cf9e56f602f42c8e14a104f","datavalue":{"value":{"entity-type":"item","numeric-id":6821503,"id":"Q6821503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6481410$4B814DF8-CA4C-4389-B8AC-198B2C17843D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P557","hash":"6dc875b49d6d6a4c2f0855fa753e0dc81cd968df","datavalue":{"value":{"entity-type":"item","numeric-id":6480412,"id":"Q6480412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P254":[{"snaktype":"value","property":"P254","hash":"1e01af1876074f455cb81f75fcb5cf4d3eec00eb","datavalue":{"value":{"entity-type":"item","numeric-id":6480287,"id":"Q6480287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P254"],"id":"Q6481410$4295AE6E-B783-43EE-BB5B-BEB82095504B","rank":"normal"}],"P2348":[{"mainsnak":{"snaktype":"value","property":"P2348","hash":"02210240c1e2d5b187fa401e49bafbfea8fc201a","datavalue":{"value":{"entity-type":"item","numeric-id":6480412,"id":"Q6480412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6481410$001BF0E4-D59B-498F-943F-8C9FE73D99E4","rank":"normal"}],"P95":[{"mainsnak":{"snaktype":"value","property":"P95","hash":"0739807090c2da50421ab0b8ba361841c92c13c5","datavalue":{"value":{"entity-type":"item","numeric-id":6482500,"id":"Q6482500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6481410$0311D52B-46B7-4B6A-A03E-65E4FBD2DFCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P95","hash":"3fc09ecd9a3180a57c536d0ee97c0d2104602fc1","datavalue":{"value":{"entity-type":"item","numeric-id":7278217,"id":"Q7278217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6481410$53615B78-9845-4282-AB91-D9418F207A28","rank":"normal"}],"P281":[{"mainsnak":{"snaktype":"value","property":"P281","hash":"284a3bb2df18da64135f9df242e45899174090b0","datavalue":{"value":"scot/7777","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6481410$08E2E4BC-8288-4302-B144-B7FDA5075393","rank":"normal"}],"P373":[{"mainsnak":{"snaktype":"value","property":"P373","hash":"0dec67328f744d302ae177b5ba613e3ac4178065","datavalue":{"value":"108710211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6481410$E52927AE-C8C2-46B2-B619-EA3B90AF8C90","rank":"normal"}],"P389":[{"mainsnak":{"snaktype":"value","property":"P389","hash":"86ceab1f1d64201ba39361d0e39f2975c7936e5b","datavalue":{"value":{"entity-type":"item","numeric-id":6481230,"id":"Q6481230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6481410$166D46DA-A594-489D-9AA0-1A0D983071C4","rank":"normal","references":[{"hash":"07e4cf442d7c4c8c982e6478692a0dadd6a71151","snaks":{"P1206":[{"snaktype":"value","property":"P1206","hash":"30d9015a39c7a8a0740857714335349dd018e010","datavalue":{"value":"QA9.54","type":"string"},"datatype":"external-id"}]},"snaks-order":["P1206"]}]}],"P294":[{"mainsnak":{"snaktype":"value","property":"P294","hash":"c8a618f8bc826a83d16695865d11381eb531d6aa","datavalue":{"value":"Proof","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6481410$0DF5D2FE-A3B2-4249-A6BE-DA70EC557036","rank":"normal","references":[{"hash":"00aecfbe761c025df2d03be8a01c0517e827f828","snaks":{"P98":[{"snaktype":"value","property":"P98","hash":"5826672b850b1dc5989ca83142af2df32bc3577a","datavalue":{"value":{"entity-type":"item","numeric-id":56566,"id":"Q56566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P69":[{"snaktype":"value","property":"P69","hash":"657a02fa5bc1c652c10dada51e589d0dd0a8ce4b","datavalue":{"value":{"time":"+2020-07-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P98","P69"]}]}],"P301":[{"mainsnak":{"snaktype":"value","property":"P301","hash":"2ef8e953e866ec4e19824c8933611da52a706b67","datavalue":{"value":"pcrtdtgqtlY6sa","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6481410$5A0B33E8-5EB8-4CA6-9608-C6FC11EE8563","rank":"normal"}],"P1378":[{"mainsnak":{"snaktype":"value","property":"P1378","hash":"ee81f81d06053c1257da74f35a3a06db3be28c8f","datavalue":{"value":"P. Oxy. I 29.jpg","type":"string"},"datatype":"commonsMedia"},"type":"statement","qualifiers":{"P34":[{"snaktype":"value","property":"P34","hash":"299dd6000973b4993fc882280b1aca731044af8d","datavalue":{"value":{"entity-type":"item","numeric-id":7271575,"id":"Q7271575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P34"],"id":"Q6481410$D6071A25-9A54-4463-BBA5-8A3A33E7B17B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1378","hash":"67d8fb0b530f0bca16a8b58d2b3db903a58834a4","datavalue":{"value":"Twocolumnproof.png","type":"string"},"datatype":"commonsMedia"},"type":"statement","qualifiers":{"P34":[{"snaktype":"value","property":"P34","hash":"897e7608d12ed086dd74eb339efced091b10fb25","datavalue":{"value":{"entity-type":"item","numeric-id":56366,"id":"Q56366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P34"],"id":"Q6481410$06AC0E6A-BE22-4420-918E-5A88CA9458FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1378","hash":"4cb6020ce0ad8795e5d714fe4ff53d12c6dfcd90","datavalue":{"value":"LK dem contraposition.png","type":"string"},"datatype":"commonsMedia"},"type":"statement","qualifiers":{"P34":[{"snaktype":"value","property":"P34","hash":"f321c261eb3be420013135b1e96da8668599cffc","datavalue":{"value":{"entity-type":"item","numeric-id":56611,"id":"Q56611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P34"],"id":"Q6481410$A7AE51D0-16E5-4EAD-9F58-F0989F34261D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dd71ed7ecab7368a62d2b8569e20412a77e8806d","datavalue":{"value":"C108710211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6481410$F0C99B22-3533-463C-A45D-13BF4A478C0B","rank":"normal","references":[{"hash":"b61840b5e4c07320c0aa508d1e9d37d18264ae22","snaks":{"P98":[{"snaktype":"value","property":"P98","hash":"d98ff3d8cd81c87263e3f0008a1ae470fbcf55ae","datavalue":{"value":{"entity-type":"item","numeric-id":56612,"id":"Q56612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P69":[{"snaktype":"value","property":"P69","hash":"a8b2a7e9de45fd3832b36f489407e826769f65b6","datavalue":{"value":{"time":"+2022-01-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}],"P56":[{"snaktype":"value","property":"P56","hash":"f7cf0fc8f94cea909ab2fa761ee0f84fb1ca5b1a","datavalue":{"value":"https://docs.openalex.org/download-snapshot/snapshot-data-format","type":"string"},"datatype":"url"}]},"snaks-order":["P98","P69","P56"]}]}],"P315":[{"mainsnak":{"snaktype":"value","property":"P315","hash":"d47e5c063f3672951c319fd75fdcee06792e8d74","datavalue":{"value":"ph307639","type":"string"},"datatype":"external-id"},"type":"statement","qualifiers":{"P96":[{"snaktype":"value","property":"P96","hash":"0c49716ab8fd71c6d2e041a4d6a22837fddf724d","datavalue":{"value":"matematick\u00e9 d\u016fkazy","type":"string"},"datatype":"string"}]},"qualifiers-order":["P96"],"id":"Q6481410$D7B92D44-AA40-4DFA-89DE-27924BAF05EF","rank":"normal"}],"P357":[{"mainsnak":{"snaktype":"value","property":"P357","hash":"4d1ba96d9314e7f390a8237eb9aa8c85d0b0c6a5","datavalue":{"value":"https://math.stackexchange.com/tags/proofs","type":"string"},"datatype":"url"},"type":"statement","id":"Q6481410$103DE735-602B-4C84-8FF7-4ADC168503B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P357","hash":"9cdd73a0afa4c5b5c498aac60f21345a36fd07b9","datavalue":{"value":"https://matheducators.stackexchange.com/tags/proofs","type":"string"},"datatype":"url"},"type":"statement","id":"Q6481410$203D9951-82D9-4891-97E4-DFFF3244E010","rank":"normal"}],"P1364":[{"mainsnak":{"snaktype":"value","property":"P1364","hash":"bebbc91e18bdc86ea336fbe94fe2f536fad2bcf8","datavalue":{"value":"mathematics/mathematical-proof","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6481410$2838E19D-DC9B-4035-BF7B-C9A39DCE087F","rank":"normal"}],"P1192":[{"mainsnak":{"snaktype":"value","property":"P1192","hash":"fd7ad4d6aca8e158725e44384902059ed01c198a","datavalue":{"value":"Proof","type":"string"},"datatype":"external-id"},"type":"statement","qualifiers":{"P96":[{"snaktype":"value","property":"P96","hash":"643f7b0c398b27eabb955e2c5452edaf81f8096f","datavalue":{"value":"Proof","type":"string"},"datatype":"string"}]},"qualifiers-order":["P96"],"id":"Q6481410$2DCF3804-FDD0-43D3-8AC1-CBEB82A04842","rank":"normal"}],"P579":[{"mainsnak":{"snaktype":"value","property":"P579","hash":"8171720361272d22f3d4d8727fa2076584a3e268","datavalue":{"value":{"entity-type":"item","numeric-id":6481007,"id":"Q6481007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6481410$13D06C7C-3CEB-44CD-A40B-2BD5D7A8B008","rank":"normal"}],"P36":[{"mainsnak":{"snaktype":"value","property":"P36","hash":"4862034588dc6f5301c3b67b6b9f7270cd54ab19","datavalue":{"value":{"entity-type":"item","numeric-id":7278218,"id":"Q7278218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6481410$C2AFBB30-AFE7-4700-8F2B-5391BA118E83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P36","hash":"24f9918487e2b76ac0ce8f4f7155308e8d14d521","datavalue":{"value":{"entity-type":"item","numeric-id":6482499,"id":"Q6482499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6481410$9B2CD94A-2BA4-4BB4-8FFA-522A03A79496","rank":"normal"}],"P797":[{"mainsnak":{"snaktype":"value","property":"P797","hash":"47ada0842651bd483559cf5f8104c2b3fef87521","datavalue":{"value":"Pythag anim.gif","type":"string"},"datatype":"commonsMedia"},"type":"statement","id":"Q6481410$191B271E-2E81-42AE-8858-1CB3083A1271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P797","hash":"122a10fcaaf7e2b21e82c8c8f0c168ca52b4d9f8","datavalue":{"value":"Beweise - Quatematik.webm","type":"string"},"datatype":"commonsMedia"},"type":"statement","qualifiers":{"P34":[{"snaktype":"value","property":"P34","hash":"29cc4925a9b862e3f72bbc1c97868296362db1f4","datavalue":{"value":{"entity-type":"item","numeric-id":56997,"id":"Q56997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P34"],"id":"Q6481410$A3BDDC7E-CD39-45E8-844A-0C11608F1221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P797","hash":"c585b07c2e50356d46b62840b650ca44519b08f4","datavalue":{"value":"\u0414\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u0441\u0442\u0432\u043e.webm","type":"string"},"datatype":"commonsMedia"},"type":"statement","qualifiers":{"P34":[{"snaktype":"value","property":"P34","hash":"6add019dc7dc1f27d0cef6e052ca90b39f169eea","datavalue":{"value":{"entity-type":"item","numeric-id":56999,"id":"Q56999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P34"],"id":"Q6481410$AD40A1DC-CD69-45B1-82F1-8F76D996151E","rank":"normal"}],"P638":[{"mainsnak":{"snaktype":"value","property":"P638","hash":"1d92207ae5c71062de23002aeed5dcbd5ae9ad8a","datavalue":{"value":"Beispiel zum Aufbau eines Beweises.svg","type":"string"},"datatype":"commonsMedia"},"type":"statement","qualifiers":{"P34":[{"snaktype":"value","property":"P34","hash":"29cc4925a9b862e3f72bbc1c97868296362db1f4","datavalue":{"value":{"entity-type":"item","numeric-id":56997,"id":"Q56997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P34"],"id":"Q6481410$035B6D63-D0A7-410E-814F-396B0FAC0F77","rank":"normal"}],"P380":[{"mainsnak":{"snaktype":"value","property":"P380","hash":"a86ef1ac1fa0b69164fdbd6f55b181d327d07786","datavalue":{"value":"\uc99d\uba85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6481410$3B912D4F-8A36-4B55-881F-734FC04915FF","rank":"normal"}],"P1030":[{"mainsnak":{"snaktype":"value","property":"P1030","hash":"8456ac0f00502848b2e8e9b83169c2e1b69ae17e","datavalue":{"value":"i71413","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6481410$21BE7F03-974E-4012-BFD7-E359B14C67AE","rank":"normal"}],"P1902":[{"mainsnak":{"snaktype":"value","property":"P1902","hash":"c266db63e9cfc909fbbe88165bd6935e217964c3","datavalue":{"value":"14542","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6481410$A2821AD4-538A-4C8A-BD6D-3E06D8ABA60F","rank":"normal"}],"P1121":[{"mainsnak":{"snaktype":"value","property":"P1121","hash":"1aaf4001afc6f1d7b2eece2b18429d7d74fa8dfe","datavalue":{"value":"0249251-matematicke-dukazy","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6481410$77C0C562-997F-4B9E-A6A2-4283542DFDFB","rank":"normal"}],"P1994":[{"mainsnak":{"snaktype":"value","property":"P1994","hash":"3062f5ac5a1957f44d1da6b51fde1c37ad25ac49","datavalue":{"value":"mathematical proof","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6481410$8BB126BF-6B0E-4528-98C1-8F3E772F81C7","rank":"normal"}]},"sitelinks":{}}}}