{"entities":{"Q3237138":{"pageid":3247846,"ns":120,"title":"Item:Q3237138","lastrevid":45759544,"modified":"2025-12-18T18:35:21Z","type":"item","id":"Q3237138","labels":{"en":{"language":"en","value":"Formal systems of constructive mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3120038"}},"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":"Q3237138$95F85B52-7E72-47C5-AFF7-93F5D4B0282C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"00fc77617266829847484ead9a17460d2e55384f","datavalue":{"value":{"text":"Formal systems of constructive mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3237138$78842DA9-72B6-4F39-86A0-3A6D6B4BFEEC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a447c2b79d5d21b59e2d6ff7df5241ec44e55bb4","datavalue":{"value":"0072.00107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3237138$026D76E8-D49D-4641-8FDF-D326A4E626A7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4f4b7b04b6079740797804a79755316923f892e6","datavalue":{"value":"10.2307/2268489","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3237138$9FF58384-0DFE-42BC-A74B-88CD0E322EE9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3237138$808DDD22-D7D5-40FE-B387-58C61B5F0E0E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2fdeec1d184478b3fdb458fc97fe9e12c6f6e278","datavalue":{"value":{"time":"+1956-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3237138$6FB8E5A6-5824-469A-A891-C53DC2D7D51C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3237138$C21139A7-47AF-42BF-BC3C-B7A701CF2C5E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0cb26b650a472fcab51c65beda21885f07c7d403","datavalue":{"value":"3120038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3237138$4BB5F526-050D-4BA3-B7A1-DA6B45D95053","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":"Q3237138$56691D90-BAEA-4F35-BB99-B5417DB5F469","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2c7002b28abc6b64abc6fb26d08eacdb2cb82988","datavalue":{"value":"https://doi.org/10.2307/2268489","type":"string"},"datatype":"url"},"type":"statement","id":"Q3237138$E5EDD0A1-8FDA-4554-A5E1-30F286E9EB10","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3417606517b937d1187379d0e4ea1f34156c7df8","datavalue":{"value":"W1971389797","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3237138$27200228-0A48-4427-B796-625749617FED","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"67f63602864ba0f92673863c4e08e8c412c43a5e","datavalue":{"value":{"entity-type":"item","numeric-id":5845381,"id":"Q5845381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3237138$4750324B-1CD0-4404-A5A7-81CD440C54FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"012b1d6c0f10a6942b99540dd3ba9e03f65c4e47","datavalue":{"value":{"entity-type":"item","numeric-id":5820550,"id":"Q5820550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3237138$90E2628F-82D3-42A7-9DB8-1AB05D120A59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b91cb77fd4d8b939e5c935dd129d8cc3732189e","datavalue":{"value":{"entity-type":"item","numeric-id":5824360,"id":"Q5824360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3237138$773196D0-6757-418E-A925-B354C41C15F5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c13c00e1e2156638ba2fe0d467f7cd0d2008908a","datavalue":{"value":{"entity-type":"item","numeric-id":6481229,"id":"Q6481229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3237138$535D1564-189E-42F7-8449-6C2B0096EADF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb24a47f03b7d7974d34ca45b1bc9d03e66b1ce9","datavalue":{"value":{"entity-type":"item","numeric-id":3094180,"id":"Q3094180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"305c7c540ab20a0311d7e76d8996926e4f9aeda7","datavalue":{"value":{"amount":"+0.90185755","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3237138$0E41AAD4-BFD1-464F-8A30-AF32AAEF53D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"708792ce3dbf2f0f13c0d570467d3249161df16e","datavalue":{"value":{"entity-type":"item","numeric-id":4694210,"id":"Q4694210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b50dcce09909df9337543a2848ffa8bd60a3ac3","datavalue":{"value":{"amount":"+0.90180063","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3237138$25F56FFC-85E9-4BF9-AC86-FCA3FF7DAC55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"296fe6675d89bea4ad31995a9449284b6ddf5342","datavalue":{"value":{"entity-type":"item","numeric-id":5187278,"id":"Q5187278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c8296ec597cab47533a1f73ded5f1008fa13921","datavalue":{"value":{"amount":"+0.9002402","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3237138$74D22080-364C-4EF7-9C44-100501F14CF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f01c3f4b41d7a8ca058f69ad9aae6d1fce833db4","datavalue":{"value":{"entity-type":"item","numeric-id":4328086,"id":"Q4328086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0d8bcf0f9bd7ae2527ab1fe955d2189cedd759d","datavalue":{"value":{"amount":"+0.90003496","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3237138$FB0DCCA7-3B68-4BD1-B1DB-0E3CE5BA30B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e55c6492b28b35ac9838117b979cd1423e6220b7","datavalue":{"value":{"entity-type":"item","numeric-id":4795874,"id":"Q4795874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b7d7e5efcf6319e2da44c05db8143294b9a96ea","datavalue":{"value":{"amount":"+0.8996832","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3237138$16B6ED54-0056-4E3F-AA54-0D45BD5F080D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e99e03f2ff88983128551f254eecd90daebb3be1","datavalue":{"value":{"entity-type":"item","numeric-id":3755455,"id":"Q3755455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21af4efe3e60520f8655d77ead814a3f3aff064d","datavalue":{"value":{"amount":"+0.89656043","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3237138$440EE46C-53AA-4565-A0AF-825E6F3401BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aecdd27b198190ff3ad89c3388c78e942d0fe973","datavalue":{"value":{"entity-type":"item","numeric-id":3714071,"id":"Q3714071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b5f3c2c269440cf5e7db16e7f3eb691c3147bde","datavalue":{"value":{"amount":"+0.8918725","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3237138$BF731B1C-F67B-4C71-9FF3-075E15B6C286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"997f5de2fdb0624a9176c40ea1a57a0bcaeb7637","datavalue":{"value":{"entity-type":"item","numeric-id":5809947,"id":"Q5809947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ba4f93788bd88c023c2981609ba304192c6ad09","datavalue":{"value":{"amount":"+0.8904299","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3237138$5F6C0932-70EE-48BB-8982-C1506C9F7DB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f00505647345f8b7631fb6155e40048cd7d8dab8","datavalue":{"value":{"entity-type":"item","numeric-id":3754620,"id":"Q3754620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32dad608d7ec6863f0b96b70eaf4fc8d55c9e679","datavalue":{"value":{"amount":"+0.8863613","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3237138$2750FD87-B041-4623-9DFF-C7EDBBE74D0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4790188b056e1c8cc057819dd8c5198445cdc88c","datavalue":{"value":{"entity-type":"item","numeric-id":3585998,"id":"Q3585998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73ae060f8fba466c340ba88b8ad95c20bdeeca7f","datavalue":{"value":{"amount":"+0.88612556","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3237138$B87235A1-9A49-4A12-BFEF-7D5C04E8F892","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3237138","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3237138"}}}}}