{"entities":{"Q5027672":{"pageid":7057249,"ns":120,"title":"Item:Q5027672","lastrevid":91208525,"modified":"2026-06-04T22:32:46Z","type":"item","id":"Q5027672","labels":{"en":{"language":"en","value":"Plans and planning in mathematical proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7469715"}},"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":"Q5027672$95587645-A3BB-472F-A2E3-26F1226BE519","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6a290d902bb11d91e04db71d52106995f7a00db9","datavalue":{"value":{"text":"PLANS AND PLANNING IN MATHEMATICAL PROOFS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5027672$E323A349-9A38-48DD-8C87-BF3BAB764608","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fac2621e1160d9518427688f447c7b25a2c89f8b","datavalue":{"value":"1482.00006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5027672$00E891A0-96B3-4D88-96D9-C864B7FC425C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5a3b932a911ce27815b9e122eb9df3ed848db912","datavalue":{"value":"10.1017/S1755020319000601","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5027672$83AA0307-5245-48AB-A034-A13148592AD5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8b2312a300b66092bafd3273f0050444d006691","datavalue":{"value":{"entity-type":"item","numeric-id":514586,"id":"Q514586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027672$B898FFB5-D9C3-44FF-8003-3E486993D1FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddff2e4a372da9de5ae1701f5617da860f83aa78","datavalue":{"value":{"entity-type":"item","numeric-id":2249436,"id":"Q2249436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027672$60241E26-2862-4DE4-A01C-BE3A3EA9EDAE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"af0afed2c0d629b9762e7f6c9dfa985cdd4f9630","datavalue":{"value":{"entity-type":"item","numeric-id":2804470,"id":"Q2804470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027672$7646DFF0-42A9-4FB4-83A2-93948D49C537","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7aa11683cd15ce5a964ad11892ef1d2e6a1089b7","datavalue":{"value":{"time":"+2022-02-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5027672$6653A43D-12C0-4F42-8632-6CD929E5CDB4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5027672$78166184-9E23-49A8-BF3E-62F642C072A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"654b667013631be85bc45fdfe776d3b9ed2e5330","datavalue":{"value":"00A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5027672$6A3D1EC0-1F3A-4F06-AC06-ADDF1D7D4648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5027672$8657D083-ECEB-4D78-BF11-9B1CAED311DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85dc5dd47fe0653345e59eacf14b6f72a9cfe6b9","datavalue":{"value":"01A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5027672$38DFE983-811B-4D1A-8525-7141E5E3D738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5027672$FB6F31FA-8E9D-477D-8A6E-90F9160A911B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8637c5cfb1cf514ed00d0a4b4dfb1798e41e5518","datavalue":{"value":"7469715","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5027672$250333C7-6795-41B9-A82E-E62E7C0D8DB3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7122f6b434ec62d62a0c28aa6b0d782dc60199d4","datavalue":{"value":"mathematical proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q5027672$510F7AB2-FA58-47EA-9EE2-FDBDEAAE4DD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bcb4dae7c26e2057d5a4e72fa86891c9cb639f7","datavalue":{"value":"proof plan","type":"string"},"datatype":"string"},"type":"statement","id":"Q5027672$A6F5BF93-BDF7-43DF-9B07-3A65095A3DF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e39d7b4dbfee1c917dbddfd6b0fc1bb8e338ed7a","datavalue":{"value":"planning agency","type":"string"},"datatype":"string"},"type":"statement","id":"Q5027672$031A7851-AB30-411E-8B5D-197BA62BE9F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d13569e8806493db31cd325862c6300c5e1579d9","datavalue":{"value":"mathematical practice","type":"string"},"datatype":"string"},"type":"statement","id":"Q5027672$EE232FD9-1E50-43BD-9778-EA2265D63DAA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a49c6eab3f20625da110b159712fcc58d765d3c6","datavalue":{"value":{"entity-type":"item","numeric-id":31454,"id":"Q31454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027672$CBFAEEB6-46C0-456E-ADE7-FF4E5FD76ED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f10e7acb77aa2a053602f0044c4781346f0cbb55","datavalue":{"value":{"entity-type":"item","numeric-id":31444,"id":"Q31444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027672$AB9A4D50-8A1D-4A76-8BE0-C67666DEE455","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":"Q5027672$954E8A78-7290-43D4-9DBC-1BFF27626553","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"0293c1e458f25ea09ec09ea13ec7758e10c85a77","datavalue":{"value":"Q113857265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5027672$469E9606-62E9-433B-AFE8-7B3618D32F47","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"27db213ab0bd9bda95b657b7e9e8c92f44ca9807","datavalue":{"value":{"entity-type":"item","numeric-id":857692,"id":"Q857692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027672$36AC7F38-8369-4FD7-B320-2B63FE526D2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e314536ab4b10491203e38ea07be4539bf16a1a1","datavalue":{"value":{"entity-type":"item","numeric-id":5221289,"id":"Q5221289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027672$363AF7EF-600F-4E13-ACF4-1BE204F5FB3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47fcf9ebcff764a402d4e87f92613b846859b7fe","datavalue":{"value":{"entity-type":"item","numeric-id":5737951,"id":"Q5737951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027672$32DE6BD2-6F51-4922-A3C6-1175A7F4561B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03169b79d84c0590eb668813c36d8ae2cf7d0378","datavalue":{"value":{"entity-type":"item","numeric-id":1281570,"id":"Q1281570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027672$FF898172-457C-44A6-A4B7-D0533E004ED5","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":"Q5027672$7EED7BB7-B0CB-44BE-B808-A5E47B6E54C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0a42635e354ed5a90dff7abb6b01b6c7ff160dc","datavalue":{"value":{"entity-type":"item","numeric-id":5462949,"id":"Q5462949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027672$69B0F396-5511-46EB-A791-6B62CDC16075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf3fa64f5489837ab77932a0a2ec9d935f5436af","datavalue":{"value":{"entity-type":"item","numeric-id":1394578,"id":"Q1394578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027672$12FC4188-9F30-4118-A914-5490E6DF5100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d89afeae02ca392d54010f7fc5d69065898efb5","datavalue":{"value":{"entity-type":"item","numeric-id":375286,"id":"Q375286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027672$C400929F-3427-4F81-B97C-7AD7996DF45A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a0e6bbf36237fb649e57691f2b2205e8d9bb7e0","datavalue":{"value":{"entity-type":"item","numeric-id":5534940,"id":"Q5534940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027672$16C81AD3-2C41-4623-8841-42B76A3E9934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa9aacc2c379e52cdf5a99fdab1f6137b9dbbfb1","datavalue":{"value":{"entity-type":"item","numeric-id":2362206,"id":"Q2362206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027672$0C10A725-B9FF-48B9-8588-08DDB7CCA77E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b8f6ddcec8fcd36ef8deb59db6c94aca9d80d53","datavalue":{"value":{"entity-type":"item","numeric-id":4793817,"id":"Q4793817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027672$8A6393DF-D2BA-4B26-85B1-C0D4B47F81EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a8908d5242fb0b41fe5e1276eac2669a1b5dee1","datavalue":{"value":{"entity-type":"item","numeric-id":4557165,"id":"Q4557165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027672$CFCD74B7-6825-4C1A-BBD5-EBB3544AB61B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7db98659fd0d8d989353341e0c12c4246dfe6ee1","datavalue":{"value":{"entity-type":"item","numeric-id":1915134,"id":"Q1915134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027672$B0A83269-7640-47CD-ACDB-FEB86668F4E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d37b23b7db99d33ba41b8c893bcac4aca2de8fdd","datavalue":{"value":{"entity-type":"item","numeric-id":4870018,"id":"Q4870018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027672$4CC0E039-D4C7-4654-B3BA-638AA8779D8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9863219edf0cf338b34eac05af7eeb8c6f738697","datavalue":{"value":{"entity-type":"item","numeric-id":692371,"id":"Q692371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027672$47596DCA-5DF5-4EDE-883B-C4D75D360ADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"642529a30cdb524b686bf3ef5fd186e8807f3ee1","datavalue":{"value":{"entity-type":"item","numeric-id":3686657,"id":"Q3686657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027672$C34E721E-2F7A-4D2F-8C79-5382C00B2BC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f18597ca3999c71c1ecfffa9a03b7c9da47e236","datavalue":{"value":{"entity-type":"item","numeric-id":5221288,"id":"Q5221288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027672$5319FFDC-1448-417D-BB7B-EFE7922052F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8a07ae70d1e12cde33970dbbfbf0fc6c6a6d604","datavalue":{"value":{"entity-type":"item","numeric-id":5839903,"id":"Q5839903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027672$32DA4978-7F9A-45BD-B194-7573E1AB64AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c517542965b0d42e58d2a463db711ce67c9a6","datavalue":{"value":{"entity-type":"item","numeric-id":5828993,"id":"Q5828993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027672$FEA31C29-8C61-4635-8ECB-1D76006CACC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2df088e1296bf08b6cccd271b00d8cc6b466989","datavalue":{"value":{"entity-type":"item","numeric-id":5828994,"id":"Q5828994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027672$8D440E86-9C56-4AC4-A1CD-EC27ED169F22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"696e190ec385466f3e95b506aca8231159c2ede9","datavalue":{"value":{"entity-type":"item","numeric-id":3283868,"id":"Q3283868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027672$E2CA3A92-C2EB-4CF7-B859-A34F07009B1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bffa98531f7120ef9f8c079ec9d6d1d744a2fd33","datavalue":{"value":{"entity-type":"item","numeric-id":383064,"id":"Q383064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027672$DD6491F5-9BA4-456C-B1EB-CFF54B253E8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2671f822e3eeebd78d802daa72e812c4aaec7ed8","datavalue":{"value":{"entity-type":"item","numeric-id":5213606,"id":"Q5213606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027672$0AFAA40F-6D07-4356-8FBE-A855EFDD3750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37c9607beb7d7ae9086a4e822bdaa2296e7be88f","datavalue":{"value":{"entity-type":"item","numeric-id":4237642,"id":"Q4237642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027672$591832E4-59E7-4D07-A285-B53DD604DB53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d33841ad303f8de9868344c4ccb9374324aeea1e","datavalue":{"value":{"entity-type":"item","numeric-id":4530470,"id":"Q4530470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027672$9080941C-DBA4-453A-B656-322D600AD89D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5043892a0e511359188ed62fdaa6bd089f0b3629","datavalue":{"value":{"entity-type":"item","numeric-id":1314363,"id":"Q1314363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027672$59CA2543-3EB8-4E6B-B8EA-D0E7549D4B75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e96b3a8e503372ea2330c1247fa5497f5e993f5","datavalue":{"value":{"entity-type":"item","numeric-id":3158276,"id":"Q3158276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027672$D02FED24-E93F-4ADC-A567-79306F2D91F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb35ce6cfbf41d9dbba2e75ee878ba62ed90031b","datavalue":{"value":{"entity-type":"item","numeric-id":383072,"id":"Q383072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027672$EF43BC4C-AFC1-4B31-8A4B-43C4A5DCBC0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e252f658991775a6762454aa27512e38cb7c3c5","datavalue":{"value":{"entity-type":"item","numeric-id":1688949,"id":"Q1688949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027672$4EDCC10A-8AE2-4A77-BB1B-F685AA6027D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb40eaffa350ac2f00c7522e92d2e0a632635b28","datavalue":{"value":{"entity-type":"item","numeric-id":6488570,"id":"Q6488570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027672$DE85BDF5-5310-45ED-B8A1-57722CCAB5A2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0f6bb56f49a2547d0ceaa6ce8a9504a8cdaeec9d","datavalue":{"value":"https://doi.org/10.1017/s1755020319000601","type":"string"},"datatype":"url"},"type":"statement","id":"Q5027672$107B1011-9F12-4A45-A60E-928E577150F2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aae67da6def83668980bd20f959e2c7b714d571e","datavalue":{"value":"W3038211518","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5027672$B8DCA447-E159-44B6-962D-9B88C80B55D5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b92de253c96098facb425b9f04f15c0aa0340f07","datavalue":{"value":{"entity-type":"item","numeric-id":6488565,"id":"Q6488565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31b092add78ec811b325c0bebdb65dfc946683e7","datavalue":{"value":{"amount":"+0.7806695699691772","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":"Q5027672$454BDF08-5AB1-4834-8BEC-696736040B45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"368be8f7076e9e6de4624eebeaf8eb07c3a3f0e8","datavalue":{"value":{"entity-type":"item","numeric-id":4858950,"id":"Q4858950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77400213cb16b2fafaf6b5e6f6729d85aeb659ce","datavalue":{"value":{"amount":"+0.770706057548523","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":"Q5027672$683E61F3-AB3A-4424-9F1D-7DABFB0357AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b70983583bd7e5ea71011477dc85b183843e87af","datavalue":{"value":{"entity-type":"item","numeric-id":5464716,"id":"Q5464716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77400213cb16b2fafaf6b5e6f6729d85aeb659ce","datavalue":{"value":{"amount":"+0.770706057548523","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":"Q5027672$C49E37CC-D968-47B7-BA99-418026A3A305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da195b216390de59fb4334ef796d4de88c86423e","datavalue":{"value":{"entity-type":"item","numeric-id":3838801,"id":"Q3838801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be1ac994b4f5254d288550e46508712fb61b79cc","datavalue":{"value":{"amount":"+0.7596613168716431","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":"Q5027672$AD356194-C480-4970-B174-51F7C5341744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"294488c3b85e860c2ccc9131090bac481e1175d1","datavalue":{"value":{"entity-type":"item","numeric-id":4428310,"id":"Q4428310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fb47d22958b1227c322c899e5ecc5de533661bc","datavalue":{"value":{"amount":"+0.7432645559310913","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":"Q5027672$7B01442A-EA73-486F-A387-CBF9A7098D56","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Plans and planning in mathematical proofs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Plans_and_planning_in_mathematical_proofs"}}}}}