{"entities":{"Q280840":{"pageid":282607,"ns":120,"title":"Item:Q280840","lastrevid":60621864,"modified":"2026-04-10T18:06:50Z","type":"item","id":"Q280840","labels":{"en":{"language":"en","value":"Relational semantics for full linear logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6578545"}},"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":"Q280840$C45782EA-92D9-437D-9752-662E25CE6592","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c16d59a5a5b59d6a32a577c803eb7ca3f921be73","datavalue":{"value":{"text":"Relational semantics for full linear logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q280840$BFCA88ED-892D-4AA4-9F0A-595A5BD942DE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"05ba9f0e9d7941fcdb896c86f109a3bf2e364368","datavalue":{"value":"1335.03063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q280840$6A2F6F09-576A-4BD4-A7C9-6E02DED38217","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ada4956663a35079726d9fcaa761f75541fc5bc6","datavalue":{"value":{"entity-type":"item","numeric-id":280838,"id":"Q280838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q280840$82F479AE-E2C3-418F-9F80-83EC52E14946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b834b8a5fa066825015fdce4bdac31cee4bdc84b","datavalue":{"value":{"entity-type":"item","numeric-id":186438,"id":"Q186438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q280840$F862DE7D-D088-4760-928E-CAB248C74106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ae33c0616525b468c27a2fa5ba59309a0e5b7067","datavalue":{"value":{"entity-type":"item","numeric-id":280839,"id":"Q280839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q280840$E9016E19-4A6F-4E05-A297-61ADBD47F823","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fd9c858b64e538228c66f00c768fd1506ee71010","datavalue":{"value":{"entity-type":"item","numeric-id":124852,"id":"Q124852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q280840$689C46ED-2C87-4185-8479-01374202E230","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5080655d79bf372c5c5ce3cef49e38026d2edcb7","datavalue":{"value":{"time":"+2016-05-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q280840$98696DF4-24F5-4835-A754-4496C490A610","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q280840$199FE67A-9446-4CAD-BB72-17A50C59DFD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q280840$0016DC29-7A54-4F40-A150-C2B112FD74F7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"804c344d0803e5a4391f69654ec48a86191d75bb","datavalue":{"value":"6578545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q280840$49C51908-CF4A-45D9-A0C9-3D5EC0726BDD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q280840$674C3471-A2C3-413B-AEBE-66C2B8663E9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31d2faeb57b57f360251067fd610e199173399d9","datavalue":{"value":"relational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q280840$5B3D024C-3E7F-496E-8C07-58864F8D2695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0366dd319579349da14fdeff0d88dd87b917a305","datavalue":{"value":"canonical extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q280840$2632D6F2-4C45-49C5-8786-217D41F38264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0330316506ca239cfff19d0e3df96793e84e6ecd","datavalue":{"value":"phase semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q280840$3E69622D-F8A7-45C5-B5B6-925FE56BA02A","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":"Q280840$0D530379-97FA-4E54-AE2A-39176BA9DF83","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"99b2e5e8e01c78f9e21a86bc840efe666fc834ac","datavalue":{"value":"https://doi.org/10.1016/j.jal.2013.07.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q280840$05F3ADE3-8C96-4112-9DD3-F0942BF05A4B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c87ff8460d2e5f990b82d72184e3a390a380ac57","datavalue":{"value":"W2047220130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q280840$E438027D-E811-4ACC-9324-4377CA914546","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"078192816d95203f01e91497dad7cd1890e9f185","datavalue":{"value":{"entity-type":"item","numeric-id":3138010,"id":"Q3138010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q280840$81ADE0C2-7516-448A-8A63-436F63DF22BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc98b7af946caf4f71ad7c3e4099fc0494799ef2","datavalue":{"value":{"entity-type":"item","numeric-id":1015482,"id":"Q1015482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q280840$CD416396-AD95-420A-AAC5-C39E69C2D0EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q280840$FBE32081-0876-497D-9969-F20DE853FCE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"131e70300e3f8227ceafb7d0685319cdbb06e3d3","datavalue":{"value":{"entity-type":"item","numeric-id":5718685,"id":"Q5718685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q280840$30F15293-A99E-4209-8C36-9F42137FE67B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"328d2f5d61ca2f242d573803cf1ae0db66ea1c7f","datavalue":{"value":{"entity-type":"item","numeric-id":863180,"id":"Q863180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q280840$33C6AF1D-AC3E-4DFF-9E21-C4A468EFEF0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e8f88f9033642cabec78d5aedfdc947accfe792","datavalue":{"value":{"entity-type":"item","numeric-id":5936163,"id":"Q5936163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q280840$05F9670B-9ADB-49D5-9136-EC27BB883EF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6027f7e7caa3f9f4bec3d5352d5c5a0eccf91c9","datavalue":{"value":{"entity-type":"item","numeric-id":4313857,"id":"Q4313857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q280840$C7B9562C-2AB3-45E8-A7FB-E682C675556F","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":"Q280840$B2A83F2C-1007-4458-93EA-55842EBA7807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f898a236e8a2ae4e36da9dab850b67fb635ce60","datavalue":{"value":{"entity-type":"item","numeric-id":5810598,"id":"Q5810598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q280840$1F5CEE4F-3EFE-4D99-8C09-A333839AA651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dabddbda2c90efbc7858f44bea11b065fa6ae574","datavalue":{"value":{"entity-type":"item","numeric-id":5810599,"id":"Q5810599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q280840$807F4ADD-C64E-4372-98C4-63042F416F52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"652d70412e741600b08d0b2cede4a9cacadf16ad","datavalue":{"value":{"entity-type":"item","numeric-id":4495851,"id":"Q4495851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q280840$5DA2BA95-4240-469B-97DB-0A06C8DC9D83","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4cb51959c6bccb945bb7c7ce734f0c190335ab09","datavalue":{"value":"10.1016/J.JAL.2013.07.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q280840$5794C3C5-DEE7-4AE5-87E1-27B2E81E5298","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bf7d9a7f5e2e335f80d9eb52c2a55457f11fd33","datavalue":{"value":{"entity-type":"item","numeric-id":2874885,"id":"Q2874885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f245d60c15ef8ca03e4f2b71a6852f689513376","datavalue":{"value":{"amount":"+0.8543665409088135","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":"Q280840$17F858D9-2695-4430-A259-43BD190347D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ff0df3602aad140001d0e816f3b60779c64993f","datavalue":{"value":{"entity-type":"item","numeric-id":4357322,"id":"Q4357322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e41bde0044b543ea7d755e8df149561fb891978a","datavalue":{"value":{"amount":"+0.8312467336654663","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":"Q280840$3A8A3FAA-4BC1-42F6-95A9-D59AFB130626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7faf8974560c28ced35834baac82819c43239cfd","datavalue":{"value":{"entity-type":"item","numeric-id":4362881,"id":"Q4362881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e41bde0044b543ea7d755e8df149561fb891978a","datavalue":{"value":{"amount":"+0.8312467336654663","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":"Q280840$46C1B267-99AE-4668-B53E-EC0983323E48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a65a7f3fdbf940e440593ae40b1bcfd8d1ab4918","datavalue":{"value":{"entity-type":"item","numeric-id":1337609,"id":"Q1337609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ca7efd2af688f135923be5c00feffeef7ffddb7","datavalue":{"value":{"amount":"+0.8298048377037048","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":"Q280840$2BAAF0E6-B5D6-434B-A5F4-9D50588EC981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d04f0ac087b246e173848a29c356ce224347ab69","datavalue":{"value":{"entity-type":"item","numeric-id":5871537,"id":"Q5871537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f2f9b9361421872e01b9839cb546b923d4e0581","datavalue":{"value":{"amount":"+0.7894258499145508","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":"Q280840$D550F4CC-7F20-4087-877B-1B924403D9AC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Relational semantics for full linear logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Relational_semantics_for_full_linear_logic"}}}}}