{"entities":{"Q3362716":{"pageid":3373421,"ns":120,"title":"Item:Q3362716","lastrevid":49764160,"modified":"2026-01-10T12:16:36Z","type":"item","id":"Q3362716","labels":{"en":{"language":"en","value":"On arithmetic complexity of some constructive logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4217340"}},"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":"Q3362716$05051525-6C1F-4FBE-9487-D90454908E6D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"28c4044f78695f23770f707d8bacd7278aa71270","datavalue":{"value":"0770.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3362716$7C9C9D03-14F3-4ADF-AE6B-D8E621A20718","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"074fca8e7eb97ff9031d44469e4dd227e8d0736a","datavalue":{"value":{"entity-type":"item","numeric-id":234728,"id":"Q234728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3362716$589FE39E-A42F-45E5-BF8A-3A6BF72A0BD3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ebf2f83ceb66feb8490ae2b363c9cada085a3535","datavalue":{"value":{"time":"+1992-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":"Q3362716$9296C00C-1FC3-435A-BE1F-E043B37F9C5D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3362716$BD0D3C52-C885-4708-AC0D-5B2D61B6B779","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f1b9dde04589343aeb27fdedcdcd074a0f4f3f4f","datavalue":{"value":"4217340","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3362716$F1ADD8D6-103A-47C8-B505-76E754ED78C7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b40814bfb9713b6ffb18947b83d0cc7e4a5dde41","datavalue":{"value":"constructive logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3362716$4DB9D1F4-C8A5-4554-B4E6-A8AB63504108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"baf5c837625e1da4bd98945a1fdab2c9aeee6d84","datavalue":{"value":"constructive arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3362716$3CD85FDA-A4AF-4A4C-BFC2-52EE8751535C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7922d95715ecc82a18695ad90d004f77e686cb8","datavalue":{"value":"intuitionistic deducibility rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3362716$3267A988-6F1F-4537-A6AF-A49104B5149A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3362716$EFFDB82D-1A5F-428F-AF3E-5D509245AFAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3362716$E88D094F-F5F1-4CF6-8C1E-E9C6554B8E31","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":"Q3362716$6B282704-454D-477C-9C87-EE456D3695CB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c04c3cea3e46fa9091d90969e3027262d67b3c7","datavalue":{"value":{"entity-type":"item","numeric-id":4761670,"id":"Q4761670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6f0642d085d99af72a6d37d71f8ab5d4ee6ff8c","datavalue":{"value":{"amount":"+0.8435750007629395","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":"Q3362716$503DE0F9-E7DE-4734-8602-D6872F325259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eebe24f6f6aa43c28211b0a0a604c810eef559c8","datavalue":{"value":{"entity-type":"item","numeric-id":5957916,"id":"Q5957916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cde3f376f5bb4a0e6b08bb0f6eb80b8875ffda8","datavalue":{"value":{"amount":"+0.8035770654678345","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":"Q3362716$0978CCAB-213F-4B90-BA91-2743F4863CD0","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":"908e013f33afd5cfd54bdd54b8c3a41619d72bf6","datavalue":{"value":{"amount":"+0.7995244860649109","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":"Q3362716$BE87F511-1660-4A63-865D-7773426C5655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90dc0ffdfd43a44a8ec1748a6e94a6dd8d7a9319","datavalue":{"value":{"entity-type":"item","numeric-id":3755454,"id":"Q3755454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c77b42e502fe3268064f48bc6aaba5bb28e92bd","datavalue":{"value":{"amount":"+0.7890727519989014","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":"Q3362716$8026582F-6EAA-4550-A1D6-4F45852E76E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"356da67ff07214b46c7b6b40aad8dd4c255ef701","datavalue":{"value":{"entity-type":"item","numeric-id":3222190,"id":"Q3222190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"122ba9b5abe33dc46199d3b287a25c96e89f04d5","datavalue":{"value":{"amount":"+0.7846485376358032","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":"Q3362716$4E2F4C41-4882-4EA0-BF09-92E3CCF5DB2E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3362716","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3362716"}}}}}