{"entities":{"Q3617381":{"pageid":5647287,"ns":120,"title":"Item:Q3617381","lastrevid":87444560,"modified":"2026-06-04T11:41:56Z","type":"item","id":"Q3617381","labels":{"en":{"language":"en","value":"Closed Fragments of Provability Logics of Constructive Theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5531017"}},"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":"Q3617381$479B9967-1B6A-4373-A423-F5DBADAC9291","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"93de1ed85f032c41bd1620cd2ef6cf2fdf22f103","datavalue":{"value":{"text":"Closed Fragments of Provability Logics of Constructive Theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3617381$7A317B96-6AEE-496F-B9ED-B993A8F74900","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"257ae7c83573f3a98a28572eaa7019de19479b9c","datavalue":{"value":"1165.03049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617381$7038502C-BCF8-4F40-A74A-BE7FC7A5E870","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"74e30887b1661f9905213e819a799c929192d3a6","datavalue":{"value":{"entity-type":"item","numeric-id":190340,"id":"Q190340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617381$503B2686-B474-4834-91F1-FD2114D20E08","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":"Q3617381$2178C9C2-82E8-455B-BB0A-C9D559F00F1B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7f048b9b8a41b82f9765bf157ba4b1fd3be60b72","datavalue":{"value":{"time":"+2009-03-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3617381$77E4D535-EBDF-4436-9F3F-92AF91A98F14","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617381$1746419F-D731-4525-B8CC-FED1528AE100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617381$86A881AE-9B31-4263-9FF2-F8AFE31A24E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617381$DE7B783F-E114-4EF7-B3FF-15D9CDCDEE17","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c96c3976808fdb31f3efed4f47fcf9aacc3f9963","datavalue":{"value":"5531017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617381$286825AC-96D0-4629-AF18-3D3BC7C9035C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3617381$535F075B-060B-4D55-8862-B59265A0B987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97c6b970990dab40d69357bafd674174e833bc7d","datavalue":{"value":"Heyting arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3617381$284EC795-FC5D-419D-8468-8442E2135BA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"baf5c837625e1da4bd98945a1fdab2c9aeee6d84","datavalue":{"value":"constructive arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3617381$97C7FBCE-742F-455C-87EB-9D992E705783","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":"Q3617381$5D628399-D1AF-4138-8769-E957426DF2BA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6ee9780b34d34fe259c39e3e8aa49f2c50e5948f","datavalue":{"value":"https://doi.org/10.2178/jsl/1230396766","type":"string"},"datatype":"url"},"type":"statement","id":"Q3617381$B61CF2DD-9278-4282-814F-0BD4BFE93266","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5b2e72e17771d89e9a3bbec04541082f95940e92","datavalue":{"value":"W2160442456","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617381$6FEFFE6A-0462-4C8F-85E7-0663F746687D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"43f8813e8675696f0d7094e43d976880ae450f05","datavalue":{"value":{"entity-type":"item","numeric-id":3416116,"id":"Q3416116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617381$C0D06DB5-D7F9-4A29-AF3E-0DDA7C9CFDF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4b937da0dd9bb2e82591f8d65bd9050f5bc70f6","datavalue":{"value":{"entity-type":"item","numeric-id":5957858,"id":"Q5957858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617381$6E3953C3-20DB-4C3F-B8D8-5BA929528349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6bdde33d7655e7b51f89c495e13b554090e3744","datavalue":{"value":{"entity-type":"item","numeric-id":4740561,"id":"Q4740561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617381$C590EDD2-46B7-41DD-AFA7-EE4D3888CA91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617381$E11C0673-09F1-4816-A5D9-50C5CE2558E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96b42dfb20fcebbb8f50196c4d22414616af898b","datavalue":{"value":{"entity-type":"item","numeric-id":1078163,"id":"Q1078163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617381$C3559EA3-B6B9-4106-9734-447EC93FAA4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617381$B2A9AF3D-C42A-47BB-8E07-1D9E623F6A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"042b11a9a3ddbf1a7b9453fc8d59573eb0a65a8c","datavalue":{"value":{"entity-type":"item","numeric-id":1176093,"id":"Q1176093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617381$5DA722F9-8FB5-4C30-8213-DCF3181BE597","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"27edfade72e771d3b48221f7c44c93024d2cb7c1","datavalue":{"value":"10.2178/JSL/1230396766","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617381$807F6FE3-7BE8-4810-8D26-0B430398D585","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"527456668c396996d12e5016f26cd8b569b7b342","datavalue":{"value":{"entity-type":"item","numeric-id":5696302,"id":"Q5696302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f9b07b6d1370f0919b83eb0daf4a7b1741135df","datavalue":{"value":{"amount":"+0.9180299","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":"Q3617381$A1112A95-83C1-429C-8AFF-15EAB2F3659B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34a05b131fe22ba7f3e3766eeb81e4bf48593858","datavalue":{"value":{"entity-type":"item","numeric-id":482919,"id":"Q482919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d30146d5dde67875c69cae11c6ab7c85685f84e6","datavalue":{"value":{"amount":"+0.90987027","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":"Q3617381$DB822D18-2BC1-4AF5-A1DF-C0AD5579DE49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bddec542e985137fc50a10496b607a1641edec97","datavalue":{"value":{"entity-type":"item","numeric-id":5213615,"id":"Q5213615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1230c982357b3c9fb0ca2480a412d6bc09a55394","datavalue":{"value":{"amount":"+0.9026931","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":"Q3617381$91982254-B161-44CD-897C-839020E19CA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4db50635e467389f6d90b2657eebc850585f054e","datavalue":{"value":{"entity-type":"item","numeric-id":5472008,"id":"Q5472008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abfbb4ff50371ce37b0b1762e15e3a90ea16724b","datavalue":{"value":{"amount":"+0.8950248","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":"Q3617381$75434302-FBC7-4730-B4C8-2FBEBFB9A55E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b67dd631c1f0aac1ac6d0f57b56d5ad1e38ecc6","datavalue":{"value":{"entity-type":"item","numeric-id":2732527,"id":"Q2732527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e29c6b7856b4e7e0e970b7ef5119f8e8a605d11","datavalue":{"value":{"amount":"+0.8931384","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":"Q3617381$33977B31-C6A1-4D3D-A96F-7CEA27F8FAF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c7a868cd2603b131ad761af067f61d90fa9e26a","datavalue":{"value":{"entity-type":"item","numeric-id":4681896,"id":"Q4681896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"234e4528e4a1a67b198182fc7b08a476fe505ffc","datavalue":{"value":{"amount":"+0.89198834","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":"Q3617381$53460287-80B4-4BB9-845C-560E1F8983B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f2f0832f72d797ed6c5f651b9d46ab8df2ec772","datavalue":{"value":{"entity-type":"item","numeric-id":3318745,"id":"Q3318745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb3adb3e220121e60180cb4fb035c8199a982b4e","datavalue":{"value":{"amount":"+0.8889581","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":"Q3617381$5A9A5C1B-2A09-4EBF-9A81-547DF53813D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a38dc7409dd4cf70b35b1a480a6ec992e1b9e945","datavalue":{"value":{"entity-type":"item","numeric-id":1740459,"id":"Q1740459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1732dcd46ce20a940e220958180df4830c8aa5b0","datavalue":{"value":{"amount":"+0.8880425","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":"Q3617381$70EB9985-50C5-4B3A-9E1F-E02B0EAF1B36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd6679d3dccd2ff8e390074af6b46d05a6ae6989","datavalue":{"value":{"entity-type":"item","numeric-id":3333018,"id":"Q3333018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6cfa23c430f7a16bd7a92a07e8ea688c155efbf","datavalue":{"value":{"amount":"+0.88699305","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":"Q3617381$D7B9CD26-02C1-431A-9089-94DC228F7B9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22985527f161d2d0296f5bc946ff051aa2b92c7c","datavalue":{"value":{"entity-type":"item","numeric-id":377475,"id":"Q377475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35edd5775fd28acb30c9ff0f371d812d76e93d5d","datavalue":{"value":{"amount":"+0.88692","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":"Q3617381$99801D40-D666-4F40-B51A-EC5BF25D49E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Closed Fragments of Provability Logics of Constructive Theories","badges":[]}}}}}