{"entities":{"Q3509064":{"pageid":5538968,"ns":120,"title":"Item:Q3509064","lastrevid":50397290,"modified":"2026-01-13T23:27:48Z","type":"item","id":"Q3509064","labels":{"en":{"language":"en","value":"Complexity of intuitionistic and Visser's basic and formal logics in finitely many variables"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5295721"}},"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":"Q3509064$13DA632D-0494-4C1B-B582-85C98BE27CA7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"20bcdcb0a7e99d58af1c331b4ccb480723a7b792","datavalue":{"value":"1148.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3509064$96368291-E9BA-412F-BDB5-9930CC659E83","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30feb3836a21b69361e192b6f271605be3d90179","datavalue":{"value":{"entity-type":"item","numeric-id":1623148,"id":"Q1623148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3509064$1D234D6B-0F46-44B7-AA09-4BB949B99841","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3452fc2c55d5d5fb6a689b083479f84064b8692a","datavalue":{"value":{"time":"+2008-07-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3509064$C7F4A98A-CB44-48CA-ADB4-194CDD98E526","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3509064$C7AF36B5-A43F-4339-9755-5B72BBF07766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3509064$C0E0FC39-1A69-4A84-9BC2-0B3EFE3FF8DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3509064$BB2446AE-EB25-46E3-A1BD-9803408F2FF4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af41d784e1522b59a35ac5f5c3d3f3bee509e1cc","datavalue":{"value":"5295721","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3509064$3A5B0024-02FE-4BBC-AE3C-5724E141F75C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3509064$CF5C7CAC-974F-4A19-8758-38FC6E62BCA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3509064$84177E30-7826-4BD8-BCB1-D42E7EE715E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3509064$FC550C84-DCF1-487B-8F6F-EC8099507FED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ab14670fd645ceec284d741b18aecb5f5131180","datavalue":{"value":"decision problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3509064$81A810EC-F234-4C04-A655-D89585790AF3","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":"Q3509064$50A09CF4-3AE6-458E-9747-5C6624EFF535","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c5c9d532a78e12ac8859a04013deff4858a4010","datavalue":{"value":{"entity-type":"item","numeric-id":4467744,"id":"Q4467744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a40ebfeef45069fbb4d34e30c5865bfb815e34b","datavalue":{"value":{"amount":"+0.8687410950660706","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":"Q3509064$8BFF08F7-4516-47C3-A9D3-6D2D647B9F1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fd79ff2285e7b5cd6a90d1a49705413510ebdeb","datavalue":{"value":{"entity-type":"item","numeric-id":5692811,"id":"Q5692811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bbfb18b537d36f290278012a213c5057c60bac2","datavalue":{"value":{"amount":"+0.8301944136619568","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":"Q3509064$50D3B7CD-37C6-4A0C-BC08-A4066B467370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ef938da9dfba3b5484628d38cc97b810578fa0b","datavalue":{"value":{"entity-type":"item","numeric-id":3643316,"id":"Q3643316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e174d2a5cf67c358b238c1854b1fbe4bab9ea3dc","datavalue":{"value":{"amount":"+0.8235965967178345","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":"Q3509064$78DA9322-5BF0-4A1B-8517-60A337C51ED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acfabe7bc5fe0aeab2bf5bc7b9d4a7cb190379f0","datavalue":{"value":{"entity-type":"item","numeric-id":5465436,"id":"Q5465436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3639f1634dbd536cf1a34f2a348169093b567824","datavalue":{"value":{"amount":"+0.8092606067657471","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":"Q3509064$2C27FC24-7DF9-4FD9-BDBB-D322DD71E665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55da0fb3c3a50085cacd73f9513ed889569a8143","datavalue":{"value":{"entity-type":"item","numeric-id":4648961,"id":"Q4648961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab1cc114927ff77c1b721617d63e7753442aec8e","datavalue":{"value":{"amount":"+0.8006551265716553","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":"Q3509064$31819A09-8D8B-4122-9F68-70819F6F6860","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3509064","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3509064"}}}}}