{"entities":{"Q3138010":{"pageid":3148726,"ns":120,"title":"Item:Q3138010","lastrevid":47195227,"modified":"2025-12-31T23:34:57Z","type":"item","id":"Q3138010","labels":{"en":{"language":"en","value":"Kripke models for linear logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 431180"}},"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":"Q3138010$3B686A15-E8A0-42DA-8049-AB3CD6ED6490","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0b3064e93f0057f6eaacab02235ddc52fa8bf691","datavalue":{"value":{"text":"Kripke models for linear logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3138010$AEAE2DCA-D1EB-4824-A4CF-5A94A74FA094","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5684674c30b3fbf46d6157bd529207a060f599bf","datavalue":{"value":"0795.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138010$9F79A2A2-4565-48E0-AEDF-E3FDF9964B89","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"85dfd47f5b8c847dfb55e6bf6e461bbb6498fe98","datavalue":{"value":"10.2307/2275217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138010$01E7E90E-7641-49CB-B813-0AEF51DEFC24","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a99e140463feef29a3990f0935b0b5e2887b7ec","datavalue":{"value":{"entity-type":"item","numeric-id":227765,"id":"Q227765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3138010$56DE93D1-4BFE-4969-9D21-407DA733D604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f2c9310ba4403f502f62bb76aa7c520204441b8","datavalue":{"value":{"entity-type":"item","numeric-id":358689,"id":"Q358689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3138010$B73ADBB4-2952-49CE-8EFF-BA0D7E3DB07B","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":"Q3138010$504AA1AC-0F0C-4BC8-BAF1-99A1BEE46120","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a4582cf37b19337c7eae16fd67b6e107844c9e6","datavalue":{"value":{"time":"+1993-10-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":"Q3138010$CE58505B-F57A-43EC-A3CF-135AF53D9F4A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138010$37F582FF-A5D6-4E78-B6C2-552A6E04C3B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed0e9d16aabdfc4de2754948a872b6ceb30bba56","datavalue":{"value":"03C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138010$C1A3EABF-254F-4D60-9420-284FE280B4D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e8c40330eb2379a40e6c9b62fdbcc32287207f24","datavalue":{"value":"06D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138010$771BCA03-CDE2-466D-A066-6E4AA87BC378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138010$D5D5E17E-C5F2-47EC-9731-74AF9B289329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138010$3CBF8B6F-513D-485A-B4E0-1ADBA4E697F9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a1cc2c91870a714f8be0b3f98a50efb019d73b3b","datavalue":{"value":"431180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138010$5D1FEBF9-3B88-4EF6-89A8-C176F70384BE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138010$D3387D52-6AC4-4A48-8D24-FD20F127DC3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7e09117e81e450aecefb66424762aa185da197f","datavalue":{"value":"Girard monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138010$C4CEDF5D-39FE-40F4-A38F-50AEE44CDC09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138010$78268912-F81C-4E1B-A7F0-75019899DF13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4b9dc8ad3d716500945f24344bc628ac3e6598e","datavalue":{"value":"representation theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138010$66335BF3-3C0F-4265-B92C-9156680D2E9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc0bbe0626434db354119e075bc64e9fc0b9b5d9","datavalue":{"value":"De Morgan negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138010$F6107AEE-B550-4068-9E0C-DBE51FD45729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97e9b68a25bf7c4fb71d43d64a9dc83ae32b951","datavalue":{"value":"relevance logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138010$2AE73FDF-0299-4DC0-B572-B41C75AB0397","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":"Q3138010$F362DCBE-B760-440A-A2CD-D01F9FFEF37F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9c76c9ab2f5d1567229b903a89c802d410b9ba7f","datavalue":{"value":"https://doi.org/10.2307/2275217","type":"string"},"datatype":"url"},"type":"statement","id":"Q3138010$AB0802B6-2AA1-4D38-B50B-EAF1CA006570","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"db2c35b5171b1ebc879be554f513274e6227741a","datavalue":{"value":"W2112576833","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138010$6BBD17E0-B7FC-4ACC-87FB-7D4D15B9DCE5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e2602422b1b9a961df0ba2025967b41fe30ab3a","datavalue":{"value":{"entity-type":"item","numeric-id":1247989,"id":"Q1247989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3138010$158CC4E5-2176-4A63-9626-E39A5921B361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3138010$F12C1506-92A9-44C5-BD4E-079B8DC409BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15ffb46be9e49b237f6fde18c89e459513c877e1","datavalue":{"value":{"entity-type":"item","numeric-id":5547552,"id":"Q5547552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3138010$2F51DA10-7E29-4648-86FD-C061A623C3FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82c7ff17d186eeec961fee84f228f3f7d74176a9","datavalue":{"value":{"entity-type":"item","numeric-id":1106836,"id":"Q1106836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3138010$9BC28647-4BE0-47C7-BEA3-8FC076A00805","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ab921b43519a27420ae2608eb09ba52857d2757","datavalue":{"value":{"entity-type":"item","numeric-id":3433179,"id":"Q3433179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b30077fc743ef7827ff403498f10e927b01d19f9","datavalue":{"value":{"amount":"+0.8011701703071594","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":"Q3138010$5FA43EFA-83EA-421F-BE74-78B0F370AF79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"522ad55ff9d4a411da0a313d55045ee2d239f9aa","datavalue":{"value":{"entity-type":"item","numeric-id":280840,"id":"Q280840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94e89a8b3e8f1a048e8a85b73f931cbf31975c8f","datavalue":{"value":{"amount":"+0.7816583514213562","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":"Q3138010$EABF858A-3329-4018-8AB7-0C82D7174B18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5dac58e0f9de192628ca787b085c3cf014ec4e7","datavalue":{"value":{"entity-type":"item","numeric-id":4887109,"id":"Q4887109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2eab66bc974c9c7b3a6ce6d9b1f64144855d6cc0","datavalue":{"value":{"amount":"+0.7815946936607361","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":"Q3138010$23E2916F-EBCD-41FB-8AE0-C8D81EDD0591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a1d4267ae9ccb75c911cd4e2207c77deef960df","datavalue":{"value":{"entity-type":"item","numeric-id":484156,"id":"Q484156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"297aa531b86db8e73d3adf3ad756e769bfc8f42d","datavalue":{"value":{"amount":"+0.7813745737075806","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":"Q3138010$7857E6BF-CE78-4A69-8D38-3DFDFB878560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db8908d07d74648e9bce6d3148e1103ae9bee81a","datavalue":{"value":{"entity-type":"item","numeric-id":1863750,"id":"Q1863750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a1a1d51837a1d61e3eb037e947c174e75b2301e","datavalue":{"value":{"amount":"+0.777897298336029","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":"Q3138010$A37ADECD-3AAD-48D6-B527-C30464133087","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3138010","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3138010"}}}}}