{"entities":{"Q857692":{"pageid":859540,"ns":120,"title":"Item:Q857692","lastrevid":64901148,"modified":"2026-04-11T22:58:53Z","type":"item","id":"Q857692","labels":{"en":{"language":"en","value":"Mathematical method and proof"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5080794"}},"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":"Q857692$F13A560A-CD9A-460A-8EA5-D1032EEBCA87","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"89694d167e3f3903871f3b7f1c6c99f109af138e","datavalue":{"value":{"text":"Mathematical method and proof","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q857692$92097CB1-AA63-4454-B1FD-F5BACA8FF67B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"53f041abc0b99f38c2a7f250e5a23240a869ffc7","datavalue":{"value":"1116.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q857692$7F81163F-9D82-4AEB-B054-0820A38E9407","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"834b9908deaa5f43ae5b55e2029a1dd9a50ccc06","datavalue":{"value":{"entity-type":"item","numeric-id":287376,"id":"Q287376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q857692$67B98D8D-2D4C-42B5-B1F0-3B7E00612CF8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28921346d64a666ce2dd47540df2f388e07634f5","datavalue":{"value":{"entity-type":"item","numeric-id":162813,"id":"Q162813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q857692$FC8C4308-5E0F-4B64-9DE7-589A692BD03F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8040e767283f13b3f95c9a5ad3ded117e1275e38","datavalue":{"value":{"time":"+2006-12-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q857692$58DCF22B-D366-4658-B995-B7129786D735","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"67a6b1ef69c4aec9efb038d3394938046599c66d","datavalue":{"value":"https://figshare.com/articles/journal_contribution/Mathematical_Method_and_Proof/6492206","type":"string"},"datatype":"url"},"type":"statement","id":"Q857692$7CDF616B-1958-4E5D-AC2A-3738FB90853C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"459931f70bda42a6dab067a83d364e95ab215a20","datavalue":{"value":"The author discusses some aspects which are relevant to distinguish different proofs of the same theorem. As case studies, in the first part different proofs of three ``classical'' examples are analyzed: 1) Fermat primes; 2) products of sums of squares; 3) representability of sums of squares. In a second part it is shown how a certain concept of method (tactics) can be implemented -- or represented -- in the syntax of the proof system Isabelle [\\textit{T. Nipkow, L. C. Paulson} and \\textit{M. Wenzel}, Isabelle/HOL. A proof assistant for higher-order logic. Lect. Notes Comput. Sci. 2283. Berlin: Springer (2002; Zbl 0994.68131)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q857692$9F773EC6-ADDB-4716-A176-9B6AF9D6A7E8","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"698ef69cf2501558685cb66472f90d21aa909f07","datavalue":{"value":{"entity-type":"item","numeric-id":194998,"id":"Q194998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q857692$426041ED-D8FA-47C9-AE1A-BD114ED599F3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q857692$6E3A476E-4190-47AE-9514-65121D7CE1EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q857692$9F9AA1D7-FD48-4449-945B-55A25059C676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"654b667013631be85bc45fdfe776d3b9ed2e5330","datavalue":{"value":"00A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q857692$39BFC978-12CC-4BE7-A8ED-5B335B7DD670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q857692$38527DB9-A973-464B-8BBA-BEF7D2FD4137","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aa419a92bc2f3161e02dc2e24ac0aba6844d2121","datavalue":{"value":"5080794","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q857692$3F1988D2-E31A-4ED9-89BD-860CD0D90AA3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c74f1330f6d1ad87567d4588104eb527b36a14c","datavalue":{"value":"Proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q857692$30B62D38-96AE-460E-A527-7DA5148EDDE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53b4068bbeea7fea21db1d96a06d350e290ee028","datavalue":{"value":"Method","type":"string"},"datatype":"string"},"type":"statement","id":"Q857692$0CF948AD-E4F8-4E20-BB6B-6EA550327E42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae0115b63a6830d7f2ee765a0b29c15ab4d73b8e","datavalue":{"value":"Tactics","type":"string"},"datatype":"string"},"type":"statement","id":"Q857692$C98D926E-CECE-46D5-AABA-33CEF77F3A76","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q857692$5436F4AC-AA46-489E-8EF3-460BAF130772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bcaf3b20cd7fd897f2f47a708bad9d4f554cb6fa","datavalue":{"value":{"entity-type":"item","numeric-id":14553,"id":"Q14553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q857692$D2430801-93F1-42C6-A3A4-F42A19BBF202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b222922e2b373ab7fb2b7a049f9de07c755ee255","datavalue":{"value":{"entity-type":"item","numeric-id":16770,"id":"Q16770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q857692$EC7AF82B-D374-4F8D-A356-32E8F427CBF4","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":"Q857692$2FFD65D5-F089-4169-9145-5EDE140D2345","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3fd60c13cec509586f985c96a8d814056e2b068a","datavalue":{"value":"W2044402378","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q857692$60DC55A2-BD1F-4C39-A163-92A8668378FE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb13f0e26bedc43a55f423a26969b5bdef66af80","datavalue":{"value":{"entity-type":"item","numeric-id":2710607,"id":"Q2710607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q857692$6BEC4915-DC16-462D-A521-9EB71AE5B34A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8dedf2985a24cb74082b240b0f5431b9c50e409","datavalue":{"value":{"entity-type":"item","numeric-id":1960415,"id":"Q1960415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q857692$7D1C6FDB-05C4-49B0-BDC5-064635D852B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d569ab003e4a3e84d1bb8ff03bcd65c8c355c84","datavalue":{"value":{"entity-type":"item","numeric-id":1595930,"id":"Q1595930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q857692$FCEDD971-AB6E-4FF6-B346-395493933CA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22a238ed6c54d87ec163b1a7cb181d6ef07206ba","datavalue":{"value":{"entity-type":"item","numeric-id":3804239,"id":"Q3804239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q857692$D18E650C-67B7-44B4-A7F7-DE32CC32D1B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"889750e6b63c62516f108fd0d35f770cecc8f256","datavalue":{"value":{"entity-type":"item","numeric-id":1264579,"id":"Q1264579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q857692$159EFCC2-629C-4CF2-BE68-CB3A27744BCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4802711c6464f33339925bb82c5f57ac9d20415e","datavalue":{"value":{"entity-type":"item","numeric-id":4367590,"id":"Q4367590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q857692$7FC2A195-0AA7-48A6-9CCB-DC23180F9148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29a05e9dfd69c34262017b410f17ee9d6c385433","datavalue":{"value":{"entity-type":"item","numeric-id":1910651,"id":"Q1910651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q857692$EA93E0EE-FCB9-41A1-B393-B4868323BEA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23e3e5af64519edc299717d16dfc54da6eb648c3","datavalue":{"value":{"entity-type":"item","numeric-id":3998810,"id":"Q3998810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q857692$AB6D6612-42D4-400F-9723-ABE3EB93DC77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26d56edb50c2757c2944fff8e46782f5ed70cbf5","datavalue":{"value":{"entity-type":"item","numeric-id":1158135,"id":"Q1158135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q857692$909A837C-C231-474E-9F46-C591754A49D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd5494115614dfa6ab9d647bdcdd392280d291e4","datavalue":{"value":{"entity-type":"item","numeric-id":1190771,"id":"Q1190771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q857692$8E7A215D-6852-4FEA-BBCB-23006138BA2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6569e6ef37d14009e17dc516f5b061311d16eca5","datavalue":{"value":{"entity-type":"item","numeric-id":4207996,"id":"Q4207996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q857692$239E9307-3FAD-4993-AC48-58DD4592F7B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2382a075d8dc124ee7c6f7453cde8d6ced78e493","datavalue":{"value":{"entity-type":"item","numeric-id":1290740,"id":"Q1290740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q857692$2182ECBE-8BF0-4DE8-8630-2E7E1832A137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a547c6023993ba15f940d3f5a200417a25b3be6","datavalue":{"value":{"entity-type":"item","numeric-id":2736374,"id":"Q2736374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q857692$43E66D06-47E5-4B3C-9C71-85CB1D9A3BDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d80444006d1ac2b298f74de0fcac3eaa4a1032b","datavalue":{"value":{"entity-type":"item","numeric-id":5465103,"id":"Q5465103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q857692$1CCD3B4F-8642-4BC4-AD6A-1F54318C12D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e28d865b6a527d6aef184a58e15bb15ad21dc2c","datavalue":{"value":{"entity-type":"item","numeric-id":3856819,"id":"Q3856819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q857692$52443A29-31F2-477E-8516-DC9AB281CE02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c84c6e51d8a953644fdf1308951cd8904db1edd","datavalue":{"value":{"entity-type":"item","numeric-id":4763296,"id":"Q4763296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q857692$EFD4E298-0D50-416F-B1E8-B84FF679A505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22680b00afe42489064979aae0a95fe30de0fd01","datavalue":{"value":{"entity-type":"item","numeric-id":4819747,"id":"Q4819747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q857692$97D40852-E7AE-446B-82D7-D4872AE27095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b9119560fb9e2d0671900b212220f394f266915","datavalue":{"value":{"entity-type":"item","numeric-id":4253608,"id":"Q4253608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q857692$FD91A162-BB6F-4779-95FB-1F14239C1666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e50d7d4ab1cb360ca91b9c8ddf4b24e63ce4b5e","datavalue":{"value":{"entity-type":"item","numeric-id":4956108,"id":"Q4956108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q857692$64E51612-296C-4F15-9C43-FFFA53E917ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f411aa8618cc0fbb9fd5a04c140cafcf84d7d52e","datavalue":{"value":{"entity-type":"item","numeric-id":5950504,"id":"Q5950504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q857692$945B466D-5A37-4779-95A6-9BF91B04DEA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8219577a178b5e6bc0cc5aede73996c94784449","datavalue":{"value":{"entity-type":"item","numeric-id":4435474,"id":"Q4435474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q857692$DC5FC9CD-2923-4905-873F-B1CE64618093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q857692$0054F550-8F92-48C7-A2B1-4BEC6AB6590F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c18eae0d93c62338c42d5358a66e2303bf3601de","datavalue":{"value":{"entity-type":"item","numeric-id":1961913,"id":"Q1961913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q857692$1ED97C6D-A114-43AC-871A-4F5BD42194EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4911a88982457a81627d09625b862c573721ba5b","datavalue":{"value":{"entity-type":"item","numeric-id":3344253,"id":"Q3344253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q857692$091B0F0E-820F-4940-B59F-B2E6FEA9C24F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ae0733fe493320cd8cc19c6b82d037a7b4b7311","datavalue":{"value":{"entity-type":"item","numeric-id":5275453,"id":"Q5275453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q857692$F237EE9A-2660-4605-A37E-AA04DC7847BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd75493ec803551eb98eb3051d1e7785fef69f0c","datavalue":{"value":{"entity-type":"item","numeric-id":5275573,"id":"Q5275573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q857692$003D458A-A458-4148-87F3-28D6669DD8C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q857692$71470796-982A-4F07-8C42-9AB96EF8075A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63d81d9a684aec07e038570557ffb0359743f918","datavalue":{"value":{"entity-type":"item","numeric-id":3338169,"id":"Q3338169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q857692$0267E9B9-CB6D-4C60-9E9E-93B3D4C83698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59bdf2527eaa1e41254ca6edd4c8721ca973bcc6","datavalue":{"value":{"entity-type":"item","numeric-id":3982584,"id":"Q3982584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q857692$0B5F8062-66AC-4E9E-8D01-95E5B4E7F07C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2fcb74c86451f629dae9eb4158a55fa9959246b6","datavalue":{"value":"10.1007/S11229-005-4064-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q857692$01B9C381-5451-44A4-AE6A-DF8770E4D5C5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"555755d8a97d1263643b11c88a63a710be30843c","datavalue":{"value":{"entity-type":"item","numeric-id":3370569,"id":"Q3370569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0035020661ec8ab7851bf2a8bf5cd4d66ae7be28","datavalue":{"value":{"amount":"+0.9354304","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q857692$34A71AE3-69C5-4F29-ABF0-741341284328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"823c60e8883f5cf27534651be10da4acb78ff448","datavalue":{"value":{"entity-type":"item","numeric-id":1408658,"id":"Q1408658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4e1120edb2b8c18d15cc9202d6d016f59b55fbb","datavalue":{"value":{"amount":"+0.92718995","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q857692$272B2396-FA03-4B36-8D1D-F7ACBD7944C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16530651378661a9f46cc23daa236c79df6c8d2b","datavalue":{"value":{"entity-type":"item","numeric-id":3070952,"id":"Q3070952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed0d30e19dd8176c860b45cf25190b93f7ac15f6","datavalue":{"value":{"amount":"+0.92230225","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q857692$274924C4-63DF-4ABB-9A21-2CCD540F89D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66cbdf17c00554a0684312b87779ec840118fff5","datavalue":{"value":{"entity-type":"item","numeric-id":3633204,"id":"Q3633204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"944ad20c2011a29ef08019f8a9d0e2af65347a64","datavalue":{"value":{"amount":"+0.9062314","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q857692$D3E26A14-72BC-4892-AAE2-D35BD8290CBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f66b7dbf40d476c591fd14cdfc4c28b3724a9f68","datavalue":{"value":{"entity-type":"item","numeric-id":4371509,"id":"Q4371509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"944ad20c2011a29ef08019f8a9d0e2af65347a64","datavalue":{"value":{"amount":"+0.9062314","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q857692$8655D3A9-9F21-4985-9A69-3AC06AD0B55C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Mathematical method and proof","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Mathematical_method_and_proof"}}}}}