{"entities":{"Q3094179":{"pageid":3104894,"ns":120,"title":"Item:Q3094179","lastrevid":86464487,"modified":"2026-06-03T21:56:33Z","type":"item","id":"Q3094179","labels":{"en":{"language":"en","value":"Classical mathematics for a constructive world"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5961500"}},"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":"Q3094179$BD6F0464-943A-4BCD-9D93-832266E69D3F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9cc158375da0de995b1ac0ebd185c7056f00c45f","datavalue":{"value":{"text":"Classical mathematics for a constructive world","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3094179$45373E78-E5B3-4E92-8218-515B50409C39","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"10f76435bde1d2e5feed2d91de31df5c9d234961","datavalue":{"value":"1263.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3094179$C2D46D93-D7ED-4F6D-B4F4-28A082863C5A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4a3898e8a4fdac79bfea67d4d28db3965bde9879","datavalue":{"value":"10.1017/S0960129511000132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3094179$C545340A-3104-4239-B8D2-77EFC84F1B4F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"99dd4c0b38abbab194ed1a57124787a9f57034d9","datavalue":{"value":{"entity-type":"item","numeric-id":987983,"id":"Q987983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094179$B06B17F5-57BC-468B-A788-00C6590B6B92","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094179$D5A71197-2492-4B21-9528-EFF0CFC11139","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5412e51208588a3303ff1411a4274ccfb0b7d7d6","datavalue":{"value":{"time":"+2011-10-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3094179$288BA2B4-F00F-419E-91AF-5E9FFA58311E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a2ec9521b502f81f55e6f150292cb4f866a0b323","datavalue":{"value":"https://arxiv.org/abs/1008.1213","type":"string"},"datatype":"url"},"type":"statement","id":"Q3094179$C658F08E-757B-4B3A-939A-E81EB6B75F22","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3094179$CFF3A8EF-801D-4255-9A54-03EF2AA3EBD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3094179$3DFCC220-FC7F-45B2-B093-351AC8857586","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"96a8886e6156a38f41c136f12b1ee9002146e76c","datavalue":{"value":"5961500","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3094179$4CC5C4CA-574E-4C58-A40D-259F22F7B209","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21cf102e52d55bb9e3ba4ca1c32b8839281988dc","datavalue":{"value":"interactive theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3094179$D58D8A30-3351-419F-B704-F5BDB8368CEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13fd823fa813aa32375d6c4605d9195c2318674c","datavalue":{"value":"dependent type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3094179$2A6F51A2-C1FF-4ACA-90F9-1497AA03EB24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0be1fe29e5a2dffffd1241af430b219dd200ba54","datavalue":{"value":"constructive reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3094179$1C4849EE-0F3A-4176-8DF9-C4986B349231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1684f6a3a3d2d33ded3d7ae7d9d2f02fcd067a1c","datavalue":{"value":"classical reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3094179$BFD89707-4F5B-4455-ADCF-BC48CC73289F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abbeead854a200de86d5c17a0b5fb8f9e5e5cfa1","datavalue":{"value":"constructive logic as an extension of classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3094179$9DE71B00-C262-4869-B280-B4768567A75F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2d9553d69151dd9d9988df77746c256d4f3dd59","datavalue":{"value":"classical function spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q3094179$48C5EFFE-D50E-4275-A0EC-826C5462A3DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5475108d7e2ffaae61a09242a00b7483d9060b3f","datavalue":{"value":"weak value monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q3094179$F906314A-DAD2-42F3-B819-80B893E770A7","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":"Q3094179$1AAFD200-A8C7-4FC1-BC1F-06DBF5A26FA2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a15f025b82e462b08b6da310a0699c520bda9047","datavalue":{"value":{"entity-type":"item","numeric-id":3543662,"id":"Q3543662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094179$1CECCAB8-9B59-4BDD-AD15-87D5E2D903A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"364715fdc2f0e93e050fee5206acb2c2513c84c0","datavalue":{"value":{"entity-type":"item","numeric-id":1210701,"id":"Q1210701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094179$A0FD048D-E15E-4158-94C3-7E558187E333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3592cd66fbd154fad3b6debbcfc102ee04f4b37","datavalue":{"value":{"entity-type":"item","numeric-id":2557763,"id":"Q2557763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094179$17927512-08B4-4900-891F-FFAB14334FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b14afb593e146a0b4848eb62178807bc4e55d4ac","datavalue":{"value":{"entity-type":"item","numeric-id":3523168,"id":"Q3523168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094179$F4FD3E33-55DA-4378-8FAA-B5461F51259B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"556c63d3d5fbb69adda2aaeb321f31370f38a3b9","datavalue":{"value":{"entity-type":"item","numeric-id":4716271,"id":"Q4716271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094179$D99703C7-1504-4AB7-A4BB-5F27C83D2E87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ade6af8b14e3e35f4108a39f58b550626f0e8699","datavalue":{"value":{"entity-type":"item","numeric-id":4220572,"id":"Q4220572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094179$DF3D006D-E085-4369-9CBE-ABDB9E951DF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48bf5954660715a07a41d17bc76e8053aaf445d2","datavalue":{"value":{"entity-type":"item","numeric-id":5747654,"id":"Q5747654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094179$72EB9BC9-4039-4E9B-9810-85D32F3AFD20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"759bde90362e4ac677ad1fc847e3957ed8e92bc3","datavalue":{"value":{"entity-type":"item","numeric-id":3395312,"id":"Q3395312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094179$E0B8CB79-B5FF-4115-BA8B-87C03D577887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ab5d7b35f67f940445411fa45c1b02bcb40d39f","datavalue":{"value":{"entity-type":"item","numeric-id":3999860,"id":"Q3999860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094179$B7B4728C-978B-4FFF-BA81-C3F587CB2956","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2a2943f60e80395277e22130a85423a4b02383c0","datavalue":{"value":"W2134649613","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3094179$2FB7364D-AA0B-40AF-B8FE-660A588996BA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dba42c8b31e2765c0a227cbcb4e2d0116b353eed","datavalue":{"value":{"entity-type":"item","numeric-id":2986812,"id":"Q2986812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7ba72d3fbcc3a58993816d40b26a81b579f284a","datavalue":{"value":{"amount":"+0.7336823344230652","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":"Q3094179$DD7F97C0-3AD4-407E-9B99-44CC63F83B13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c27468a1fdb9e29e6517ca913aee6d99c482fae1","datavalue":{"value":{"entity-type":"item","numeric-id":1976877,"id":"Q1976877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"148d6493b1280eb4ca64d99cd06481432220f96b","datavalue":{"value":{"amount":"+0.7198808193206787","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":"Q3094179$2958DDB6-9BDD-4D42-AC79-1444B007CEF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acbd36df9a97bd100338aed48371df5cfa5b301a","datavalue":{"value":{"entity-type":"item","numeric-id":2500813,"id":"Q2500813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cb0e14b35ef9bcf15098b582850a52664395232","datavalue":{"value":{"amount":"+0.7165631651878357","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":"Q3094179$48365CB8-A172-46A9-882E-54609AA2943D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6470757c5de15b076cb17672a4fbf19bfcd5cd91","datavalue":{"value":{"entity-type":"item","numeric-id":3305627,"id":"Q3305627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90eb2686632b2dfafe925f4aa8f1f8bd947e39e1","datavalue":{"value":{"amount":"+0.6972320079803467","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":"Q3094179$9620509C-6B17-48A8-84F9-5BD89923A0A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6706f674745437a28e826927d52883b093061b9e","datavalue":{"value":{"entity-type":"item","numeric-id":2988387,"id":"Q2988387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81e1608d010c291a9b65628fd30965cec4ca34af","datavalue":{"value":{"amount":"+0.69538813829422","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":"Q3094179$E2DF8112-9FD5-49EC-9F50-0181EBD20E04","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Classical mathematics for a constructive world","badges":[]}}}}}