{"entities":{"Q2882965":{"pageid":2893690,"ns":120,"title":"Item:Q2882965","lastrevid":51463553,"modified":"2026-01-18T09:01:50Z","type":"item","id":"Q2882965","labels":{"en":{"language":"en","value":"Automatic recognition of the interpolation property in some superintuitionistic propositional logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6033052"}},"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":"Q2882965$57C29B9D-01B0-4E40-A98C-AC9086FF370C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"36daadfab907f201b6fcb4acfee8e14d7dbd33e0","datavalue":{"value":"1249.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2882965$43C33986-2C75-4F9D-B65B-0E51BE874002","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"97fd20f90c1a925f15cf1a12d1c8cbd10b35082a","datavalue":{"value":{"entity-type":"item","numeric-id":2880607,"id":"Q2880607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2882965$308EC441-B010-4587-8611-B634593F651A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ebad7c55eb31a5728be157b82e80bb61556d824d","datavalue":{"value":{"time":"+2012-05-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2882965$2B349C15-9694-4E30-9390-0F6907263BE2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2882965$2417B165-8CEF-4E2D-98F6-13AF191CD337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2882965$88A4BA08-44F7-47D9-BE6C-20A0CF0043B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2882965$D5B33BB0-A9E3-4B13-A9F0-BA98239F04AD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"efda65f33a0af763f21bf3b4a6ca8dd41f151434","datavalue":{"value":"6033052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2882965$30ABE2DB-F472-4A88-9238-0477DDA0DA23","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d86666bce4e863fa22d076e113065531d77c2aa","datavalue":{"value":"propositional variable","type":"string"},"datatype":"string"},"type":"statement","id":"Q2882965$58721A9C-A9F8-49F1-83C2-269BFD1622FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a797c65dd907c92eac74ea955343571935d1aba","datavalue":{"value":"Craig interpolation property","type":"string"},"datatype":"string"},"type":"statement","id":"Q2882965$70AC2258-868D-4B10-B5E1-C0A7FD06FA1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2084b849ee67e5f6da6a1d9e7f05185dabe5826d","datavalue":{"value":"deducibility interpolation property","type":"string"},"datatype":"string"},"type":"statement","id":"Q2882965$7585E1AB-35E9-4842-AEE7-270C1C8984B7","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":"Q2882965$5EEBC76F-4CF4-4382-B685-173ABD569642","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"542d9a91a62584593cf1afe6c31b684b3c1c50c0","datavalue":{"value":{"text":"Automatic recognition of the interpolation property in some superintuitionistic propositional logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2882965$D8BC4D2E-2E77-4AA1-B33A-3E907A4B9782","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a759a6aa711e0f4b33e673c6ad25e33676785b47","datavalue":{"value":{"entity-type":"item","numeric-id":6773955,"id":"Q6773955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2882965$FA21A24E-5F16-467B-8973-7C7A5EF20535","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2cfa0d90eeb9e7ec8cc97e02b6c18ad9afb7ca0","datavalue":{"value":{"entity-type":"item","numeric-id":3577906,"id":"Q3577906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"073a957eb2e67559c84c8b0b102530537f841a99","datavalue":{"value":{"amount":"+0.8112356066703796","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":"Q2882965$2344DBD1-E098-4EFB-9208-F98140B067B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09ca1e82096cba1e07a69b8ca5d4e2068b28c8fb","datavalue":{"value":{"entity-type":"item","numeric-id":1577480,"id":"Q1577480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8462b6cd1fee4c90e1d9421317c78dea72a42156","datavalue":{"value":{"amount":"+0.796393632888794","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":"Q2882965$8C08B1D4-FB7B-468C-9952-223FC14094B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ec8fc0b629f05a314b45af4bcea0863f48ef8b7","datavalue":{"value":{"entity-type":"item","numeric-id":2709301,"id":"Q2709301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7da071b040e9ddabfe05047787878972619a394a","datavalue":{"value":{"amount":"+0.793777346611023","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":"Q2882965$4362B17F-C7D6-4E80-9D4C-314DD7437DE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c80fd685c36fd67a8e6ea49489305c7c4bc4e0e2","datavalue":{"value":{"entity-type":"item","numeric-id":431670,"id":"Q431670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed06a4a922f4619ec763391c95e2a6b16b1fa404","datavalue":{"value":{"amount":"+0.7924121618270874","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":"Q2882965$2CC04440-BF30-4C2F-9FB3-0EC41B21D88F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d21de3de614e699cc9a3622d178aa49a519252d7","datavalue":{"value":{"entity-type":"item","numeric-id":1288274,"id":"Q1288274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0273471de975378d8c74e71202f8e85d6c06bc27","datavalue":{"value":{"amount":"+0.7858906388282776","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":"Q2882965$A376E671-6F65-47EE-9CF7-D9103BB840FB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2882965","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2882965"}}}}}