{"entities":{"Q1408654":{"pageid":1419394,"ns":120,"title":"Item:Q1408654","lastrevid":68784753,"modified":"2026-04-13T02:03:06Z","type":"item","id":"Q1408654","labels":{"en":{"language":"en","value":"Intentional gaps in mathematical proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1985793"}},"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":"Q1408654$6D297CCE-FCCF-42E9-B492-D193E26C8429","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ab3c4cf5a8daf5ff7b55a51eb8f2880c29f76bdd","datavalue":{"value":{"text":"Intentional gaps in mathematical proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1408654$629EF30C-80C5-46B1-8DCE-0036BE82BBCA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a01c13eedb5c97e56150bd28d8e8e1b57d824be0","datavalue":{"value":"1023.03517","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1408654$ED63550E-BD69-472D-8DC7-1B588E788D06","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"51d5d85c68946ef4a175d074716c5ed0f5f2bc5f","datavalue":{"value":"10.1023/A:1022131513275","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1408654$2FDBE895-C81D-4953-BDBB-3E27488BD05C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4c94f28c6b368ce00fc397d4d53d219054cbef19","datavalue":{"value":{"entity-type":"item","numeric-id":1408653,"id":"Q1408653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408654$A00912B2-BAA4-4803-802D-1EBFA4C43CD6","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":"Q1408654$ECB2B063-281D-4EA6-B861-62F5BDB8DBBB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f37244814e4fbe2fab0838dfe21d7174c9a47265","datavalue":{"value":{"time":"+2003-09-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":"Q1408654$8CF0FE39-6E8F-47EC-B6C0-821C2CCC3009","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1408654$1DE19BB4-1C6F-4B52-B514-1E0BE91DCEA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1408654$9E101B39-9A45-44A4-B202-9060A420359B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"62514c017a332e5d852c12cad8cddd9e969f9984","datavalue":{"value":"1985793","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1408654$6D5B23D2-A0BD-4F97-A159-96CBDD09EC2B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e977db44bd54fd53e55c7cddc5eaab507bef6107","datavalue":{"value":"philosophy of mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1408654$DF35BC53-3FD0-4566-9410-792BC87061AE","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":"Q1408654$AF4A6D55-ACE6-4981-9551-D73D74DF2D39","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3b1d46eaceab0f4dfbefb7924bda432c91f254fa","datavalue":{"value":"https://doi.org/10.1023/a:1022131513275","type":"string"},"datatype":"url"},"type":"statement","id":"Q1408654$97C25725-242B-49C2-8593-C28665160D5A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c7e77f7662bf4d45f7391f2794d31900e13a52ad","datavalue":{"value":"W2015802534","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1408654$3AFB6204-F5DF-4504-8E84-63EEC3E24185","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33ab64de09c7e805c2644eb566ae683ef3de54f6","datavalue":{"value":{"entity-type":"item","numeric-id":2053999,"id":"Q2053999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abc59cb5b8b8a53b9f324e826108513e6b90356b","datavalue":{"value":{"amount":"+0.8000154495239258","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":"Q1408654$29576C9B-57A7-4E48-BEFF-8B8D41C9C009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"527dfa9cde466afc4b123130601186aa9b06ada4","datavalue":{"value":{"entity-type":"item","numeric-id":5258384,"id":"Q5258384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b7b59071f66c5b65578dfcca0c9a56416d37859","datavalue":{"value":{"amount":"+0.7066855430603027","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":"Q1408654$3782B50B-37F1-4923-9DE1-2A6248E5BD8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c66749fe3fb09bc9cdf182fbc47d5a07f1f723d","datavalue":{"value":{"entity-type":"item","numeric-id":2965422,"id":"Q2965422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdc00050e094d70a383526e32700d4e4b74e4556","datavalue":{"value":{"amount":"+0.6894946694374084","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":"Q1408654$07C0B6CB-31E4-4B4A-83DB-C69F5C4B07D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"983cde8df6ff6b47800969efd7fe44178aa41c9a","datavalue":{"value":{"entity-type":"item","numeric-id":1297037,"id":"Q1297037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46075dec2336fec77ef8b5fda326399b618dbe60","datavalue":{"value":{"amount":"+0.6803012490272522","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":"Q1408654$E1EBD6B8-225F-4E83-9C29-114ED0FC48EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2fda56c2c5cd6da0bd18e215ba43b1f9b8f6426","datavalue":{"value":{"entity-type":"item","numeric-id":1702532,"id":"Q1702532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc237cde20f750d895fd498415b9fe0177525e4f","datavalue":{"value":{"amount":"+0.6721163392066956","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":"Q1408654$42941A57-4716-4EE4-A047-F3B447197AEC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Intentional gaps in mathematical proofs","badges":[]}}}}}