{"entities":{"Q3570171":{"pageid":5600075,"ns":120,"title":"Item:Q3570171","lastrevid":51021152,"modified":"2026-01-16T06:04:43Z","type":"item","id":"Q3570171","labels":{"en":{"language":"en","value":"The bounded functional interpretation of the double negation shift"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5725872"}},"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":"Q3570171$0EBFD907-B73C-4F8B-B8FD-F08985AC9442","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c3a67937c0624d9e154a89c2a829fe504d8656fa","datavalue":{"value":{"text":"The bounded functional interpretation of the double negation shift","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3570171$7FBC58E6-87BD-4741-A3A8-58EAFBD61A7C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"408ff9bf1af9f1772569bfd7bf007e7f882c8f32","datavalue":{"value":"1192.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3570171$8694983D-073B-42C9-AA67-C01D0BB40680","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0643b451d3d4d7cf4c29765bcd3acb917829b66f","datavalue":{"value":{"entity-type":"item","numeric-id":435191,"id":"Q435191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3570171$58C7AB05-0C0B-451A-A343-9D8E32CC8F15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"241055fcac63c6f72df96341f7230b9bedb68e6a","datavalue":{"value":{"entity-type":"item","numeric-id":558442,"id":"Q558442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3570171$5EFE525A-8FAA-42A9-A17F-0117644269D3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"caf3f7cd2503675447a84ac318a43c4484b6a487","datavalue":{"value":{"time":"+2010-06-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3570171$4B87CF51-3048-481F-A6DD-85300514F591","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"53a6dd9f6671ef90670f5c57fd3a10f9dadfeea8","datavalue":{"value":"03F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3570171$86D9F06F-A892-4E7F-8887-32AF34FA6B34","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"905e7344fcd32ae4dd1e8ceb2223ba7c943b808a","datavalue":{"value":"5725872","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3570171$84F9E219-5CA4-49BA-A836-47445C33468C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5d1997c26d11ecc220dd31fc4a934865bdf201e","datavalue":{"value":"bar recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q3570171$B74692C7-D68F-4D78-A9F8-9889D337F493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"492942e689dba58f90096ed1c12c52b0f868caa6","datavalue":{"value":"functional interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3570171$003AB3AC-D740-4F9E-9DD8-D15A603BE003","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":"Q3570171$E94F2E4D-CD31-4C2A-A938-A7C39C2E4262","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"65951bb15e0a29d604f4b779dc0bfa187c0b3fe4","datavalue":{"value":"https://doi.org/10.2178/jsl/1268917503","type":"string"},"datatype":"url"},"type":"statement","id":"Q3570171$51DDE689-1D34-4470-B46F-D3A5A274115D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0e65e3fc536a275d13e1fd361ea215dd831a1c00","datavalue":{"value":"W2014033049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3570171$55EC6F32-22F5-491C-99C5-E57992461B52","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d26b1ef00bc67d2868d77b06ad6b8d2cf11afcb4","datavalue":{"value":{"entity-type":"item","numeric-id":2488269,"id":"Q2488269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3570171$648D7854-411C-4001-A539-6618D693FE8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d357a47c04e8c031646a6927518ecdcc37982e0","datavalue":{"value":{"entity-type":"item","numeric-id":3262780,"id":"Q3262780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3570171$5B5C5DB2-CA51-4FFD-B1F4-721C6C025442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69b0a1b403cc1be2f4317eb0c0daf968a10e49ae","datavalue":{"value":{"entity-type":"item","numeric-id":1038604,"id":"Q1038604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3570171$809F9B9C-255D-4002-8376-E713CFBBF510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e73cbdc4f532ed72bacdc9e85f4929b162897095","datavalue":{"value":{"entity-type":"item","numeric-id":5450521,"id":"Q5450521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3570171$295CBFAB-AD87-4418-A055-538B10AC3B93","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5441d3e3d5c3bcf1e687813a278757c36d401127","datavalue":{"value":"10.2178/JSL/1268917503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3570171$8133058C-DAFC-4E92-9ABD-4E65046A6F1B","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":"Q3570171$348798A1-E46D-4704-9803-E93A4F7B4EDF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f2ca2f7785c5c758f37d5bc6832da68a2049b37","datavalue":{"value":{"entity-type":"item","numeric-id":2488269,"id":"Q2488269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5c1244eb4d67fa31cbf8adda60dc4abc6f8f3f7","datavalue":{"value":{"amount":"+0.8082773685455322","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":"Q3570171$95B7A176-F168-40BF-96C0-E79F41172238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c1eca4444bb99a64ff5e45d5c3692d1f030ef28","datavalue":{"value":{"entity-type":"item","numeric-id":424545,"id":"Q424545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"239ffa5f035e9503e321c888f78876bebcbd0069","datavalue":{"value":{"amount":"+0.7915132641792297","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":"Q3570171$19AF94D9-3DA3-4BFF-BF67-2C7AA68A4BAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c4c5dc87f68e92a41cfce1f0ebdd165aad6b8e9","datavalue":{"value":{"entity-type":"item","numeric-id":435192,"id":"Q435192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f9537119f19bd18ef00596fb88ae8904b10ddce","datavalue":{"value":{"amount":"+0.7764472365379333","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":"Q3570171$C6DC16D7-F040-485F-8EC0-6103059F66DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1566a8661a3749d8a0e2cb3993b7dd8bb7ac742","datavalue":{"value":{"entity-type":"item","numeric-id":866559,"id":"Q866559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f4c8acd51bd553ed0b2dbef7849c877b8763600","datavalue":{"value":{"amount":"+0.7711399793624878","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":"Q3570171$09A88749-4C4C-4244-9683-12BAD05FFB08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b0971ae14a0042af53c3be105ed8834bdf08b2f","datavalue":{"value":{"entity-type":"item","numeric-id":2344622,"id":"Q2344622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7270b1aae495a4a6d178b6051b69600a59e567b1","datavalue":{"value":{"amount":"+0.7696964144706726","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":"Q3570171$0A847583-BE80-43C1-BBFD-4699C05C5944","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3570171","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3570171"}}}}}