{"entities":{"Q2271071":{"pageid":2281814,"ns":120,"title":"Item:Q2271071","lastrevid":78411569,"modified":"2026-05-06T11:31:51Z","type":"item","id":"Q2271071","labels":{"en":{"language":"en","value":"Why do informal proofs conform to formal norms?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5590759"}},"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":"Q2271071$0777C538-F39E-4FC3-82FE-252FF1C67280","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"669a53bbb5aa6baa0be69b9ef4d04a8272429ddd","datavalue":{"value":{"text":"Why do informal proofs conform to formal norms?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2271071$F73F4C5D-5AA5-4A40-8399-56630609D2CC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9d6d417467ca0fb8871b1f3b3885b22aab5b13a5","datavalue":{"value":"1182.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2271071$BD2AFB11-8844-49CD-80AD-1C32E6E2287B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3500a6bb22312dc7810904e08675c199edff620","datavalue":{"value":{"entity-type":"item","numeric-id":211716,"id":"Q211716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271071$F86792A4-B0EE-4329-B303-6B27906B73AC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d056fa390317638b94cd33674f80c57ad98aec6b","datavalue":{"value":{"entity-type":"item","numeric-id":161821,"id":"Q161821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271071$2B66DCE3-9D83-47B9-B59C-0B598EA3D600","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"22fa6455513bb7f53a1cef7bcfc7a401b9bebc8a","datavalue":{"value":{"time":"+2009-08-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2271071$CD01B4F8-5A6A-4A33-B7C3-E98DF309FBEA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2271071$0E9A2A48-B934-4B10-9858-237D439D1F4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2271071$89DE335E-85FE-4338-AFC0-D91A0EC209AE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9d34b66fcfad867ba50c3577c6275efc3ca1ba72","datavalue":{"value":"5590759","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2271071$4F26B453-7D47-4144-8CB9-F37DCA9A3037","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7122f6b434ec62d62a0c28aa6b0d782dc60199d4","datavalue":{"value":"mathematical proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q2271071$E7E56EB9-5889-40A6-8E5E-B36B5409D90C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a71fe6392c09db6db9e6773c3ed8aad99a981365","datavalue":{"value":"reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2271071$C08442E5-0FFC-42D9-AEDC-DF63A6AA1282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bbb0c1d4a0dde26226934f7234d049627289106","datavalue":{"value":"logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2271071$D8BFA363-2166-4DBB-93E2-3B197893D18D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f346053c66e67f997d562bc95fd6eac3f1db545","datavalue":{"value":"meaning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2271071$38E25981-2332-4763-879F-446D1BA6C10E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea2fc7c7e5556dcd382df95a9b3cbc94f9c9bfb0","datavalue":{"value":"natural language","type":"string"},"datatype":"string"},"type":"statement","id":"Q2271071$182DAACF-E02C-49B8-8293-18773F088FF8","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":"Q2271071$93F2E8EF-D898-420B-BC64-BDBEF1222969","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cd38657bdf74bcd4ff16d1377b110dd50172991d","datavalue":{"value":"https://doi.org/10.1007/s10699-008-9144-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2271071$043DC28B-2A11-4DD9-AA86-0FC97281E55F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6342fe069680373d185792731461258b63ee42d0","datavalue":{"value":"W2088842326","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2271071$CC496FA4-820D-44E9-9D2E-A255C0D13E1B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1c260108d8616e831c1dfccb3179c3e22c12775","datavalue":{"value":{"entity-type":"item","numeric-id":4315105,"id":"Q4315105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271071$5A173DA6-83D7-48E3-8FDD-0010ECAB851D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2e0ca4c08b211401926dae58779bae2392884b6","datavalue":{"value":{"entity-type":"item","numeric-id":2701934,"id":"Q2701934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271071$832C6232-45EF-4AE2-9742-03956D781B29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7d08e7dc6b27b3200e9586d780fa940c4ec0c82","datavalue":{"value":{"entity-type":"item","numeric-id":4662815,"id":"Q4662815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271071$556E9DD2-BBEB-4F83-BECF-4BF8280C2A15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c2aeacd1f26bf3e4921e75a76fff0dbe5281ed1","datavalue":{"value":{"entity-type":"item","numeric-id":3527396,"id":"Q3527396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271071$161C61CC-03A1-4E4F-9959-F419169442FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"224eaad81b990a424186577648107c94617b46de","datavalue":{"value":{"entity-type":"item","numeric-id":5200692,"id":"Q5200692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271071$DA77A090-E525-45F3-9597-9E12F2F7E9EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fcda428afff28cfe5cd4faa47c539ec14edd3a5","datavalue":{"value":{"entity-type":"item","numeric-id":3597504,"id":"Q3597504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271071$D62D3F52-40A6-4443-9B99-010891B6248D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7560ee1eeb9a13415ac8537672089a0c086ad04","datavalue":{"value":{"entity-type":"item","numeric-id":3235339,"id":"Q3235339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271071$426D6E5D-20E3-4D4A-9040-9E9AF5D5EFBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9179a238519c7efd92e4aff9e31767fe5b7dd119","datavalue":{"value":{"entity-type":"item","numeric-id":4488177,"id":"Q4488177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271071$38A917E6-B5AD-4CB1-AE38-4F13B7D3FC13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7994f60db0b257e036065c50bb22f4e51636b09","datavalue":{"value":{"entity-type":"item","numeric-id":3890634,"id":"Q3890634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271071$D76EEB31-EA33-4E1D-BB5F-0F55D97F3913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a8e003fc59a2e9f5755e01d4a7ca52c1c5bab95","datavalue":{"value":{"entity-type":"item","numeric-id":3153101,"id":"Q3153101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271071$1BC326A1-4949-4325-9E5B-9D57AD7AC268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37c011e5e42760beb55188452f75bca8e4fe75c1","datavalue":{"value":{"entity-type":"item","numeric-id":4318839,"id":"Q4318839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271071$298C617C-B42D-425A-812E-854827FAC8D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a49cfd6942550ad4a0d31d13bbc5815a4eee0ee","datavalue":{"value":{"entity-type":"item","numeric-id":3154457,"id":"Q3154457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271071$C4FF3595-4231-4B8A-B107-E47EF8C832D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c82a636624b539fceb598818c5ef83e9599ef5dd","datavalue":{"value":{"entity-type":"item","numeric-id":5534234,"id":"Q5534234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271071$AED5F264-B442-48CF-B215-C99C1D41F1BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9af56d66960c6e2f4e5c16bf95349a2da7ec150","datavalue":{"value":{"entity-type":"item","numeric-id":5817389,"id":"Q5817389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271071$B6DA6558-847A-4685-9132-8437B2417D2F","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":"Q2271071$B2A47EF3-D0D2-4BD3-BB51-DF2ED5F5FC25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0143976a519a40832ae7b581629a269b0ecb7957","datavalue":{"value":{"entity-type":"item","numeric-id":5426521,"id":"Q5426521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271071$575EB7A9-36C0-44B4-985C-3D1C24D06FB3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fdc0df882fe6c6c569fcc5f5c0f1ff9984d11e00","datavalue":{"value":"10.1007/S10699-008-9144-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2271071$E66EFB6B-1073-43EE-B4E0-D285741295A3","rank":"normal"}],"P1643":[{"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":"fe9e1c6997b341a37124c8f8396f8d59160913c4","datavalue":{"value":{"amount":"+0.7206456661224365","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":"Q2271071$F3B6303E-1871-4399-A8AB-E28BA081258C","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":"72d18001b879d125396e989d916e2dac3c1bb812","datavalue":{"value":{"amount":"+0.7171387672424316","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":"Q2271071$CB93BB20-C471-4E7D-A4B1-96401E1DE07F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da0de4456a36339b1476230c88892eae0108e1f1","datavalue":{"value":{"entity-type":"item","numeric-id":4824968,"id":"Q4824968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e774a1493d7739b3dd9543f67ac0ef8c3e29602","datavalue":{"value":{"amount":"+0.7149351239204407","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":"Q2271071$D052C627-6EBE-4606-9A00-53F23005FEAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab90e7078a0fc53fab400bfc12f825dead8c8e3b","datavalue":{"value":{"entity-type":"item","numeric-id":5224673,"id":"Q5224673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be2830664e06817c942e8b1a78a31304322a0e2b","datavalue":{"value":{"amount":"+0.7142553329467773","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":"Q2271071$7746F10C-9CBD-446A-8BFE-C014202A87AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"991f0a0d01b0a98d538b91b6b4422d888fb4f6e8","datavalue":{"value":{"entity-type":"item","numeric-id":3654811,"id":"Q3654811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5667ac51b4788fc6f78f7dafb41aa2cc27a3df37","datavalue":{"value":{"amount":"+0.7109174728393555","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":"Q2271071$367C6856-7D1D-422F-A1C8-F7ACA3416AF5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Why do informal proofs conform to formal norms?","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Why_do_informal_proofs_conform_to_formal_norms%3F"}}}}}