{"entities":{"Q603900":{"pageid":605676,"ns":120,"title":"Item:Q603900","lastrevid":63049332,"modified":"2026-04-11T10:04:28Z","type":"item","id":"Q603900","labels":{"en":{"language":"en","value":"Informal proofs and mathematical rigour"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5813779"}},"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":"Q603900$F78215BB-76F9-4175-8F6C-5FBE34DB9B1E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"221853683698663a28d4f71970a38821ea9d1e56","datavalue":{"value":{"text":"Informal proofs and mathematical rigour","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q603900$1EB244FD-D24E-499A-9FC9-8BE039B4AD7B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"96f9bf4800f72ce7a09041baafcad7a9ed45de25","datavalue":{"value":"1208.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q603900$1B3999A0-C829-491A-927B-E68F9ED31AE6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a4ec98cdd86d9326b8e9133451d7ee3ce3c4b2f4","datavalue":{"value":{"entity-type":"item","numeric-id":603899,"id":"Q603899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q603900$FF111D0C-6F04-4155-82E5-9638B70B23AD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q603900$567D693D-531A-4019-8579-EF8A2D09602E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c4a64d94cf3fbadee0bd43f628c99b6d9b300ec8","datavalue":{"value":{"time":"+2010-11-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q603900$63DF9458-3AA0-48EF-87F5-DB09541565C8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q603900$7CB128D1-95C4-45A5-A702-49DC9C690D2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q603900$CB031901-6CD6-4A84-A752-549AEDD9ACBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7d43a72a96c3e2899dba5bbed021743c1db5b0cd","datavalue":{"value":"03A10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q603900$71D2A48D-4B81-4D14-8B67-4B0F852D8A21","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4b2f5fa698ead2785fee5ec418e9b313c943859f","datavalue":{"value":"5813779","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q603900$82C3B3AF-7BDC-4864-8E90-026162BE4968","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7122f6b434ec62d62a0c28aa6b0d782dc60199d4","datavalue":{"value":"mathematical proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q603900$DB91BF9F-EE59-422E-ADF8-13DD56CA4843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86b88fd53ad3a4b729a16ba0be69d2c5a317bc35","datavalue":{"value":"mathematical rigour","type":"string"},"datatype":"string"},"type":"statement","id":"Q603900$68E5210F-2CF0-4FB6-BCB2-CF36F2B24942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"edc0dc7c05f75a6364f0dcd54ee6aed1a8932214","datavalue":{"value":"formalisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q603900$92012DBD-56D1-4E4F-AC85-EE2525634CAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ba679ecc1a2db7615688d472f2947de31e19642","datavalue":{"value":"informal rigour","type":"string"},"datatype":"string"},"type":"statement","id":"Q603900$FE14619B-71AC-4955-A7BC-91A7505DCCE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67dae38ca17306f68e424a6610577a80feea1c78","datavalue":{"value":"informal provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q603900$434A486F-49F9-4D88-A648-C26ABA6B4C96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3eb814f998570d1d6139261a709901fe04d1fe5","datavalue":{"value":"mathematical knowledge","type":"string"},"datatype":"string"},"type":"statement","id":"Q603900$DC5318B1-0363-47DE-BEA2-DC7077A9EB7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d13569e8806493db31cd325862c6300c5e1579d9","datavalue":{"value":"mathematical practice","type":"string"},"datatype":"string"},"type":"statement","id":"Q603900$53534BD0-A61F-4D1D-98BE-D1DE5DD16B3A","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":"Q603900$01EBF2D7-0287-4D7A-9EB5-51F5F3D7EDE3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"74b769b2c2063e5a45ee7c2f9fbfb131c36c17df","datavalue":{"value":"https://doi.org/10.1007/s11225-010-9280-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q603900$94DBC728-659C-4C34-89EF-0F159D35F018","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"704f8c998508cdc8c2fcb571e1099deb6798e1cb","datavalue":{"value":"W1995235276","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q603900$EF87A563-DC08-4455-ACD5-05D7FC98BCF5","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":"Q603900$1516962E-687C-4C05-ABA7-FD1E2BFA7411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3860c002e5bd73f6a4938093fc1d13dc428ed801","datavalue":{"value":{"entity-type":"item","numeric-id":5850985,"id":"Q5850985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q603900$5A1B1718-0DA6-4EDE-9233-483D1238A4DF","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":"Q603900$848C23DE-FD8E-4E54-955A-AE7881C61E7B","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":"Q603900$4B4EFEE0-A625-4ADB-9547-EBBAB936EFB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1822b0e891bf5add8baf40fefeb376e78b427621","datavalue":{"value":{"entity-type":"item","numeric-id":4508471,"id":"Q4508471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q603900$ADF3CCFB-5C63-472E-BE7D-AA7FF31C4EC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91147c97b57393ab6f499c28f94e80830d1c520c","datavalue":{"value":{"entity-type":"item","numeric-id":5431481,"id":"Q5431481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q603900$886C0BCD-30A7-4678-8DA9-44EA67702B07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1296d5d0832365ad336e7cc60e3a91a4a12c8df","datavalue":{"value":{"entity-type":"item","numeric-id":941743,"id":"Q941743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q603900$BFE3953E-F4D1-4F63-986B-D28B33EDC56F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d8aa12e2868e3b2be95b3d582642bc927547587","datavalue":{"value":{"entity-type":"item","numeric-id":3101071,"id":"Q3101071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q603900$A8D0BF58-642F-4A46-B5A6-36AB1E5DDF97","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":"Q603900$882EE7B1-FD93-46DC-9283-672CCCB70AA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e13bf072ed8fbb0aca2a7aa01329603485cda65","datavalue":{"value":{"entity-type":"item","numeric-id":1226997,"id":"Q1226997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q603900$39EBCF0B-422D-4322-8C19-E8CD97369572","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":"Q603900$6F503629-9908-4EEA-93A3-F9A398DF1EFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95b434db86c1ffbfd428697c85fe2640f2de705e","datavalue":{"value":{"entity-type":"item","numeric-id":3228597,"id":"Q3228597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q603900$90D28033-FF34-405B-A2AB-DD4A63A02F10","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6671081e0cf813c3019a68c88dd958f18ab140ee","datavalue":{"value":"10.1007/S11225-010-9280-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q603900$A279AF85-7D05-499E-A9E9-4FE3973CE64B","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":"968c1badc805951d07980f79d943d38fade8e198","datavalue":{"value":{"amount":"+0.820233941078186","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":"Q603900$AF9F45D7-8BF6-4E02-960E-9A7D04F01F47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"962726e2ff367902f7bbdbc14b6eac9a6d5b1e3d","datavalue":{"value":{"entity-type":"item","numeric-id":6041347,"id":"Q6041347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a9b5c9a4dc0d10086e19faa1533d75b8dbf8d82","datavalue":{"value":{"amount":"+0.8169560432434082","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":"Q603900$E1A885CF-BFA5-4E57-9A58-20875F0A4DF6","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":"493e6682d898669e0ef662e9fddee49083fb02fd","datavalue":{"value":{"amount":"+0.8164961338043213","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":"Q603900$50373A10-C9D2-466C-8202-1E11155A301B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90ef2be0ec7fb36080700b0866e77dae3ed0e7db","datavalue":{"value":{"entity-type":"item","numeric-id":383052,"id":"Q383052"},"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":"Q603900$C495F2F1-9336-4834-AED0-1EDDF9B86D21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fb50fc75a13e3871c3076e31f2f39cfb21e010e","datavalue":{"value":{"entity-type":"item","numeric-id":4364503,"id":"Q4364503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"748a939ac6d23b2b7d4bc1bf105fd214c9d23e90","datavalue":{"value":{"amount":"+0.7959632873535156","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":"Q603900$A2A13D5D-76BC-49F3-8A6D-8BE195DE2CF8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Informal proofs and mathematical rigour","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Informal_proofs_and_mathematical_rigour"}}}}}