{"entities":{"Q3636908":{"pageid":5666814,"ns":120,"title":"Item:Q3636908","lastrevid":50694977,"modified":"2026-01-14T20:17:21Z","type":"item","id":"Q3636908","labels":{"en":{"language":"en","value":"Exploring the relation between Intuitionistic BI and Boolean BI: an unexpected embedding"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5572313"}},"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":"Q3636908$D29AD455-6A2A-4DCF-B547-8C854F3A3194","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"60e4752f15e2fff3f9f6aa68049a03ca2e198b21","datavalue":{"value":{"text":"Exploring the relation between Intuitionistic BI and Boolean BI: an unexpected embedding","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3636908$FBC3C5C8-35B2-4C82-AEFC-1FBBEF3FBA93","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1b141f12b151c39ae3fba85b11920a5ff2453b86","datavalue":{"value":"1169.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636908$B2D18C42-E255-45D1-B834-2E2CAD1A2F9C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"52819e0d7764e7a9743e35e51e34883b492b252c","datavalue":{"value":"10.1017/S0960129509007567","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636908$FA50D5FF-82AC-4EF6-A33F-A48E3E07A8F6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa467ab0fb5921a8aef55b984db7a2882bc4957f","datavalue":{"value":{"entity-type":"item","numeric-id":877885,"id":"Q877885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636908$E548304E-9167-4471-869A-64DE43D23BD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c43c9dea2040a308ad1527d71ba75aae30019412","datavalue":{"value":{"entity-type":"item","numeric-id":290916,"id":"Q290916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636908$88CF4376-D44E-4CE3-BC23-1E3108358998","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636908$F8DB0D86-02CB-47D6-84B8-E39AF8A83DBF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09df791b31880a83cb69102ced8fef72b45dd8e8","datavalue":{"value":{"time":"+2009-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3636908$0781ECFC-A6B1-44DA-8098-51FF75B94D5D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636908$7C98F7C7-DF5C-48DE-977B-0DA5859C3896","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"00625a9eea884e3882a61182f4b6b3ca64cdf2f8","datavalue":{"value":"5572313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636908$A6B67C5B-67C9-4FA9-8307-7FCCDF20B946","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ffb9a61cf7197ea8f775060b75a2afdf5838ec6","datavalue":{"value":"logic of bunched implications","type":"string"},"datatype":"string"},"type":"statement","id":"Q3636908$8CEA78F8-676A-4C54-9F7D-8F6B8D831105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a0f0ad48d236cd78f6fffbd8f8a48a91a9a8a4c","datavalue":{"value":"spatial logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3636908$80CBEC6E-96AD-4248-A29D-24BB0BB99FD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3636908$621CF00D-65F7-4118-9931-7F9C31E36004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3636908$FA6FB88F-451D-4DDF-8C69-30A3D87244CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bdaad7de694f873a71edf66d086aa3b9e15da45","datavalue":{"value":"tableau proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3636908$31A4AD57-E5F3-42AD-AD97-7B7ADCDC6A3B","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":"Q3636908$3CB5CCBB-22BA-4002-A4B9-C1172E8719FA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c9fd957d06f9549d11ea84200d3ec675a0d0b11","datavalue":{"value":{"entity-type":"item","numeric-id":855007,"id":"Q855007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636908$6121833D-69FD-4A82-B639-2CD703E55AD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac23d65a9afeff852c7bda4556ad42907e525e44","datavalue":{"value":{"entity-type":"item","numeric-id":5178870,"id":"Q5178870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636908$EE98E753-15BB-41E9-8013-FE793F2CFA2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2590c931a9c6b4bbc26e5131629de6b00286afa","datavalue":{"value":{"entity-type":"item","numeric-id":5178865,"id":"Q5178865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636908$5FD60EEB-D681-468A-B3B8-70AD06B5257B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ab411898e21b7ff1dd2c5306da3bb87a5aa3f33","datavalue":{"value":{"entity-type":"item","numeric-id":3371525,"id":"Q3371525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636908$31EC28B8-B680-49AE-B060-FA07D43F1DB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c013e136cb03e4c5ab8c3a7e8c7df1e0a2f62e41","datavalue":{"value":{"entity-type":"item","numeric-id":3189791,"id":"Q3189791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636908$FE7954EB-ADE2-46A4-9191-8E2733BF8436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88fbbff2b84430f48a139d9c8fb770312b000db4","datavalue":{"value":{"entity-type":"item","numeric-id":4444937,"id":"Q4444937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636908$5587CEAA-D7D0-4567-BF4D-B059D1130829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bec42b90297b26fe3f31f8daa839dbb32e166d6b","datavalue":{"value":{"entity-type":"item","numeric-id":3367666,"id":"Q3367666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636908$99779EB5-68E4-4600-91F3-3338944BF471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"485a7a6672dba1fc70c93fa2ba5b30e1d1d5822b","datavalue":{"value":{"entity-type":"item","numeric-id":2503043,"id":"Q2503043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636908$49B5A15E-C570-47CB-A21D-8D7FEE8C5969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"454f7ae21f81dd356823b4e6d4bc77d27e5f3c29","datavalue":{"value":{"entity-type":"item","numeric-id":3540188,"id":"Q3540188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636908$2B3FE837-0460-4480-85FF-BE0B92CF8880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11d9d9b8023163e908a6815aefae5281160c3d4f","datavalue":{"value":{"entity-type":"item","numeric-id":5427253,"id":"Q5427253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636908$5BB65D56-130C-4520-8AF3-12A7F0724D99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cea085d8c059c5f81ccc8c6d0a2a9f9fb30e1313","datavalue":{"value":{"entity-type":"item","numeric-id":1259589,"id":"Q1259589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636908$ABF54E14-60EA-4232-9186-97CD22C03169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a7ce0f725b63255ac8127665f12a6e30d1bf3f9","datavalue":{"value":{"entity-type":"item","numeric-id":2864163,"id":"Q2864163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636908$05694776-F811-48F2-9C7C-AB446B91F6BF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02159f3f688481d5a2c00c163956044f31d71342","datavalue":{"value":{"entity-type":"item","numeric-id":5385999,"id":"Q5385999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78ec2c32690c783023bd599800701619ade9e81b","datavalue":{"value":{"amount":"+0.7749678492546082","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":"Q3636908$8A47B6AF-F93E-4015-8273-8C91207047DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ad2f97480a250a4f35c90d792203333973cefb2","datavalue":{"value":{"entity-type":"item","numeric-id":2487871,"id":"Q2487871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"508fbfc2e1121eb84ec471ae6d5f96e325ccf004","datavalue":{"value":{"amount":"+0.7454736232757568","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":"Q3636908$3BE9BE83-40CE-4B8E-8926-6869D7A85D0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"417be89ccb68ad16338f37d3799a3d1b9fc7eb7f","datavalue":{"value":{"entity-type":"item","numeric-id":4262604,"id":"Q4262604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29d4b190e9569cfbe8d07e2f47c73ff4e14fdedf","datavalue":{"value":{"amount":"+0.7424432039260864","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":"Q3636908$14E9514B-8946-48C1-9BD1-AEE5AA6B3115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59f297ad79b2a18262dda508aed4ef519315613a","datavalue":{"value":{"entity-type":"item","numeric-id":391122,"id":"Q391122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9c6b2ff8ff0b3de45f2cbe3c807c9f8feb83a03","datavalue":{"value":{"amount":"+0.7284408211708069","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":"Q3636908$013D5AB2-4B3A-4B89-B8A9-ADD59D81C81B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03838d59c766ca64adfa743d39c1ec00dd190ea7","datavalue":{"value":{"entity-type":"item","numeric-id":3644756,"id":"Q3644756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4294cb0348345d9d50f36900af9f57de15fd0736","datavalue":{"value":{"amount":"+0.7280533313751221","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":"Q3636908$A94950DE-D626-47C8-ABBB-B830FD4E5DA4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3636908","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3636908"}}}}}