{"entities":{"Q383052":{"pageid":384819,"ns":120,"title":"Item:Q383052","lastrevid":61421379,"modified":"2026-04-10T23:15:44Z","type":"item","id":"Q383052","labels":{"en":{"language":"en","value":"How to think about informal proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6232155"}},"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":"Q383052$3CEF17B0-4551-4F8E-B717-D8DC5DBA61D9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"157b548b96b21b867e1b3439c02d1bd835deaddf","datavalue":{"value":{"text":"How to think about informal proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q383052$41D079E0-4B88-470A-9817-23CFA26755E6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"55696b6e128211c690f3184f7ccd0be7e1e8caa0","datavalue":{"value":"1275.00022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q383052$09DD1904-3E2E-448D-BD56-160FF149DDCF","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":"Q383052$C58827F8-2A3C-49E5-9A04-95E23754165B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"15a750501aabe9e78a9f7ee929d9591e890383bc","datavalue":{"value":{"time":"+2013-11-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q383052$4D37DB71-3D13-48E4-91AC-0E32FF6D6F6D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ca7f52f0c2165c446d4ed3c686c003553a41cf6d","datavalue":{"value":"http://philsci-archive.pitt.edu/13424/2/904683.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q383052$3E011F48-928B-45EF-8ACB-AF967846CEE1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"654b667013631be85bc45fdfe776d3b9ed2e5330","datavalue":{"value":"00A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q383052$5133ECD4-D20D-4025-B44E-1CC5A90DD7A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q383052$B8C9AF29-445D-4506-AC60-5B60CFA04D52","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0a3f56d3e2a1fbb6d7fe67d246de68b3a7fe2aa5","datavalue":{"value":"6232155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q383052$0B897680-E4D4-44C3-950D-4301A3720610","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48735ea423d890820a0097aded9965f4fd35fb96","datavalue":{"value":"informal proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q383052$A442CF94-351B-4715-872F-9CEE6B9EEC54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d13569e8806493db31cd325862c6300c5e1579d9","datavalue":{"value":"mathematical practice","type":"string"},"datatype":"string"},"type":"statement","id":"Q383052$8BEA4309-1DC2-4495-AC12-41FAA3FB05C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76ef02084741dba7599455c91a5a5d37d2b51d30","datavalue":{"value":"inferential action","type":"string"},"datatype":"string"},"type":"statement","id":"Q383052$968A0F92-9054-441D-8D9C-4F1E1C455766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96fcb5d8ce8adc2db66a953942058e244319b164","datavalue":{"value":"argumentation theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q383052$B2A15753-2FE1-451C-A07C-DC90FAAB0338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"520e07fde946a557e7a4a02008783c258dfe90aa","datavalue":{"value":"speech-act","type":"string"},"datatype":"string"},"type":"statement","id":"Q383052$6404EA84-8294-42D0-9037-A2EB5EEEB7A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"690434e26ae4ce1d5c8ef6ae552f39701e80110d","datavalue":{"value":{"entity-type":"item","numeric-id":510700,"id":"Q510700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383052$D81435E7-1015-4EF5-B9A1-AC6CAC1DBC28","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":"Q383052$A1FEBE21-2C71-46A4-9D81-E4BA83019759","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fb612937407dcb9e302c1f7683b324a64cfa7a2b","datavalue":{"value":"W2159502610","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q383052$5DF52F0B-C474-4C42-9260-EADFA1D33378","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ad6fbabb68769a01513c8aee3452aee68f7e2c56","datavalue":{"value":"Q58180374","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q383052$B6741EB9-560D-4F4B-A3F2-8188FD2DC01B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2335fc58f916d008b8cf80fa7114752e764d7b67","datavalue":{"value":{"entity-type":"item","numeric-id":3629615,"id":"Q3629615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383052$ACF5213B-C129-4F75-8718-535B619A786B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f147f5c1b5d03edd44efc90cfb01b175a957c834","datavalue":{"value":{"entity-type":"item","numeric-id":4434227,"id":"Q4434227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383052$42F4465A-9CA1-4F9F-94E1-A54D5611D1F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d475964d37b24aa4d82ad31deed8d7a8accbf69e","datavalue":{"value":{"entity-type":"item","numeric-id":5272458,"id":"Q5272458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383052$67CB4023-C0B4-4D58-9C82-D2714581EF53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f0797347a9bbdd255ec2aa8413acb59505fc1dc","datavalue":{"value":{"entity-type":"item","numeric-id":3629623,"id":"Q3629623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383052$D0A726E3-CB23-431B-9906-51A86D904D79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acaf74848b19353ba6ac8baf7726bd90605d7b51","datavalue":{"value":{"entity-type":"item","numeric-id":3542125,"id":"Q3542125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383052$B1C49AE2-98F9-4B5A-8337-E3208B9E256F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1be0a64fe666e03176888c8c98f65c0b3feb7a3e","datavalue":{"value":{"entity-type":"item","numeric-id":948971,"id":"Q948971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383052$337AB77F-369A-47B2-AE2C-C4F3AEEC8762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8edff60c959be179ab2cf239432ff7eb678ff4bb","datavalue":{"value":{"entity-type":"item","numeric-id":4932266,"id":"Q4932266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383052$BCD647E5-A7BA-4CD0-966B-2D872D826150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dee2c6e485a2d8818de4324fa4bcc5a4d369d3a0","datavalue":{"value":{"entity-type":"item","numeric-id":5316400,"id":"Q5316400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383052$67B06B95-B013-4A2C-B54B-429226BBF230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ca59abca46c746c8069917c23cf97198c51ddb3","datavalue":{"value":{"entity-type":"item","numeric-id":3819706,"id":"Q3819706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383052$C0E6878E-2DED-44C1-8EC3-3B9CECBFE70C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a4ef68fe9a100dc11d0923ceddbca3bcc70313e","datavalue":{"value":{"entity-type":"item","numeric-id":4433665,"id":"Q4433665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383052$6E86FF4F-05E1-4AEB-AC1D-DD174AF19158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aef09b984a16aa0e3d6e673e355fca0035fd7e30","datavalue":{"value":{"entity-type":"item","numeric-id":5292214,"id":"Q5292214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383052$1B490203-B1FB-4FF0-BFE3-F81C56B292B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2a130f8bc24f19b03f9ef2c806afaabdbb5050c","datavalue":{"value":{"entity-type":"item","numeric-id":4824960,"id":"Q4824960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383052$E84BDBA6-18BB-48BC-80B3-1945FCDB05D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbfcfd4e010d7135eec0ee04d3986a2f32f1c204","datavalue":{"value":{"entity-type":"item","numeric-id":603906,"id":"Q603906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383052$6964E068-AC99-40F7-8AE7-EF696E862983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a45d287646a697e150fa55d150325e2a190cb5b3","datavalue":{"value":{"entity-type":"item","numeric-id":3542124,"id":"Q3542124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383052$6334DA46-E31B-44DD-9E10-A81804D39A2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a957c3d832dfc37c64e1014b46ed9d149691aefc","datavalue":{"value":{"entity-type":"item","numeric-id":1969614,"id":"Q1969614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383052$D604C306-17C5-4567-ADC5-86D93DF868E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de244717a38819c7f1eb9b7017a49ab028722bab","datavalue":{"value":{"entity-type":"item","numeric-id":5431482,"id":"Q5431482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383052$E9FA5CC6-4E8F-4852-B312-2F8DB4303460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d23e37d5b2ce4b25127b2d2d5b69babb2282caf","datavalue":{"value":{"entity-type":"item","numeric-id":3628810,"id":"Q3628810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383052$7B00B6C7-60AE-4289-93B1-58156B53C757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac8e40241ed9d60270a600367da4c03ff728a107","datavalue":{"value":{"entity-type":"item","numeric-id":5715577,"id":"Q5715577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383052$2084991B-0131-4068-BDD9-CC267091C298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a36077ea5b8f82fe79c8df10513cafe86dfc8c8b","datavalue":{"value":{"entity-type":"item","numeric-id":3059436,"id":"Q3059436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383052$D5A3C2CF-4623-4F1F-8310-D1311E228A9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80963e9e944de4c54b31a694c1e6af692b44435b","datavalue":{"value":{"entity-type":"item","numeric-id":4247031,"id":"Q4247031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383052$68580CF0-7A14-4CC2-8304-20BDAD87C909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6946adaf1a8c8f141e0757f8f6f8365e21e858a9","datavalue":{"value":{"entity-type":"item","numeric-id":4099559,"id":"Q4099559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383052$DFBDB00D-328C-4BB4-B0F1-F0FD496FA278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8b354ec9cfe63465c1adb814e2f82587135192d","datavalue":{"value":{"entity-type":"item","numeric-id":5431021,"id":"Q5431021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383052$4B96C094-12B3-4D15-9B09-5A930603F7E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51d1cc7dacade4b9caeb9a94d271df4b574d2a8b","datavalue":{"value":{"entity-type":"item","numeric-id":3818261,"id":"Q3818261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383052$7808642D-8F0E-4F4F-BC92-262A846956D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d34d9b1e4e7ac9abe6effd9d10da2be3e29dc93b","datavalue":{"value":{"entity-type":"item","numeric-id":3600462,"id":"Q3600462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383052$1E468E72-487B-4012-916E-2397A540DD12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cde19887cd9d11b1c116d34a71323dc448fe3c4b","datavalue":{"value":{"entity-type":"item","numeric-id":3059441,"id":"Q3059441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383052$4F0FF63E-51CA-466E-93ED-A215545E5EA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37abc1992ab87f267058bbf0249a3d3f059b099b","datavalue":{"value":{"entity-type":"item","numeric-id":3182719,"id":"Q3182719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383052$0D1ADB2F-0436-43F8-93B3-906EB2416BD2","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":"Q383052$EB674C64-9F96-40BF-80F0-E3387D1C6A21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4cd78d20865494d23fb246136c89afae230b414","datavalue":{"value":{"entity-type":"item","numeric-id":4698333,"id":"Q4698333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383052$6BC9C947-7F0A-4C35-9353-9D36B7455D66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9d9f90a062be5e6e223a185005222d5835d7c02","datavalue":{"value":{"entity-type":"item","numeric-id":4820719,"id":"Q4820719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383052$376159A0-78A1-4D0D-A90D-17739128708B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f43408f3c973db277dfcad79bc1b909a8ac1d6a7","datavalue":{"value":{"entity-type":"item","numeric-id":3629614,"id":"Q3629614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383052$0239FF54-8B9A-450E-8732-E2CB4FC109A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e628b5a57d9085c3f3aa2479263be2b33dd6e53","datavalue":{"value":{"entity-type":"item","numeric-id":4376878,"id":"Q4376878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383052$1E305444-0FC3-417A-9B13-E3618B58C075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c623657c58d2e085e438590ed889e9e744277497","datavalue":{"value":{"entity-type":"item","numeric-id":3644821,"id":"Q3644821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383052$856638E7-391D-4EC9-87F9-AFB827D8D869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"feaa36427266bca469118da89654105fb08c05cc","datavalue":{"value":{"entity-type":"item","numeric-id":2464129,"id":"Q2464129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383052$BDD67309-5A77-4022-BA6B-0128B3F24656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e7099196bb1f0398734bc7785e0c2332bc6228b","datavalue":{"value":{"entity-type":"item","numeric-id":2271074,"id":"Q2271074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383052$88AA595D-5888-479C-848D-51C5DD7D4D0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08b555b5eeff7f539aa1bd3ddf1f61effd165c61","datavalue":{"value":{"entity-type":"item","numeric-id":3629892,"id":"Q3629892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383052$3A2A1499-157B-4C68-8644-AC0A1AD4D775","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7bbc9d82672df639ecacb44b182f7b280df9acf1","datavalue":{"value":"10.1007/S11229-011-0007-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q383052$E4B7E64E-F5BF-4A62-8CC4-CED0F093EFC0","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"f5d7e67fb015ac80db855906922b5dbcfb09b5b5","datavalue":{"value":"bafkreignml7lmtmdomok24u6hdnkgejkfisqlefgwdwi2stph5ma2kzqze","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q383052$C3AD727A-DB44-46A4-AD51-C93075F9213A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34d506df108d09ecda8c53e2ac8a5f04c7daeb3c","datavalue":{"value":{"entity-type":"item","numeric-id":3629615,"id":"Q3629615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72018a9e821e318c0ad9f22f2918cac7a0f0ef7f","datavalue":{"value":{"amount":"+0.8328322172164917","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":"Q383052$E428FF3C-9922-4E1E-A0BC-4CA50122FE15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2da01ec64bdb83a5c3316bfdf46a25b319253139","datavalue":{"value":{"entity-type":"item","numeric-id":603900,"id":"Q603900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd8cbe7bf82434af98b81e311d6e09696e57f8b6","datavalue":{"value":{"amount":"+0.8128305077552795","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":"Q383052$0F78B88C-6665-4E0C-A2FA-206601313860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b19b38baf8255761d3eeb4f0c20df63c53793855","datavalue":{"value":{"entity-type":"item","numeric-id":5221858,"id":"Q5221858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"823bc9fab331d36f4e6b9046baf9dc9812511c4b","datavalue":{"value":{"amount":"+0.7927573323249817","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":"Q383052$9A018A3F-D315-4E8F-A68E-41BF26B7247A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa6bd98da1bbdf3497e1b51e04ae382691b0db12","datavalue":{"value":{"entity-type":"item","numeric-id":3101071,"id":"Q3101071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f390a0889b10ca6c0323e49a44af579abceb77d","datavalue":{"value":{"amount":"+0.7751067280769348","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":"Q383052$7E7FF514-94F8-485D-B595-311C72BD078E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d89c6678d6f609d5dcbd29b2a6b39d7fe6dd4b51","datavalue":{"value":{"entity-type":"item","numeric-id":4557165,"id":"Q4557165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21d90a0e3f419e6a4018d5cfd39c0accb5fd1318","datavalue":{"value":{"amount":"+0.7673959136009216","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":"Q383052$714B16D7-E652-4F6C-8DD8-B4730034BC59","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"How to think about informal proofs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/How_to_think_about_informal_proofs"}}}}}