{"entities":{"Q2289069":{"pageid":2299812,"ns":120,"title":"Item:Q2289069","lastrevid":78545840,"modified":"2026-05-06T11:51:05Z","type":"item","id":"Q2289069","labels":{"en":{"language":"en","value":"Causality in linear logic. Full completeness and injectivity (unit-free multiplicative-additive fragment)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7158696"}},"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":"Q2289069$4E6A917C-2F07-4FC5-A121-B4D0A39C97CE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"96bedf4f0f39f62855cf4b52591d84b6ca6b4539","datavalue":{"value":{"text":"Causality in linear logic. Full completeness and injectivity (unit-free multiplicative-additive fragment)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2289069$BC7D9267-AE8D-4429-B1BB-50C445ED03EB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"baa5f6a5d2c775121e2956857e03d5547c337645","datavalue":{"value":"10.1007/978-3-030-17127-8_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2289069$FD5951A2-643E-4BFB-9ECE-D3888E7B124E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"938af2ce07fc16cbb0856de7e6d7dfd8979851b4","datavalue":{"value":{"entity-type":"item","numeric-id":283742,"id":"Q283742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2289069$98EBB635-F381-4CF1-B548-71FAFA369C08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a10e2d4e7c7f35976aef2937159c2a644c708f28","datavalue":{"value":{"entity-type":"item","numeric-id":236085,"id":"Q236085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2289069$F5C8B763-9955-4081-863C-8FDAB455F4E1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c3667234f64e059790aacf6846d4478bb70e09b7","datavalue":{"value":{"time":"+2020-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2289069$0B99E15D-A439-4C57-86ED-9B8162E03E87","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2289069$8A9593BB-9345-4D08-9C31-C42C77B5A76D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2289069$EAB33563-B7C9-46D1-BEE5-93133A335024","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5650f55d30185fb0a949ef41b8e7259086ef0725","datavalue":{"value":"7158696","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2289069$AC24E792-6B42-46D3-BD41-36C7513BBC69","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9543d191890c3fc35c2b31a437a879636e45869b","datavalue":{"value":"event structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2289069$B6D987C4-061C-4D04-B8BA-192E9664AE34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2289069$9762C518-0057-4B03-9CCC-E8B8569F7EF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d82d54321dd9799ec54c6e2eeabcd189cda5e80a","datavalue":{"value":"proof nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2289069$0309DB87-1983-45C7-8C02-639BA7C4A033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d382bda2e2f6ac5660c2f01187826eb1f0e7ce31","datavalue":{"value":"game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2289069$9B05DD7F-C28D-488B-A761-6EC158FA7FE8","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":"Q2289069$A7FE6D35-055E-47DC-9719-66130B510209","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f29ea96de804813c7d077c8600ae630b75ca1002","datavalue":{"value":"https://doi.org/10.1007/978-3-030-17127-8_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2289069$126BAFD1-12F8-4E66-86D7-9B9C91686AB4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a600a344b66dc2a87aaa96afe0c6e55f17908c4d","datavalue":{"value":"W2933189939","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2289069$6343106F-0A19-4C26-AE47-3BECE54839C0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e9df911d8fc52dc907113926085d367d87c0673","datavalue":{"value":{"entity-type":"item","numeric-id":4862762,"id":"Q4862762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c66a2a948eda96a834e9077b3cd1ea31211e2212","datavalue":{"value":{"amount":"+0.7769529223442078","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":"Q2289069$6C5851A0-1D97-43EC-995E-CCA02A434293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34ddc8abad5e81415982be2b35e060a86ccb9d53","datavalue":{"value":{"entity-type":"item","numeric-id":4302352,"id":"Q4302352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56674af8cc203fb9204966666d72ef0d89245314","datavalue":{"value":{"amount":"+0.7616894245147705","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":"Q2289069$A735E568-226F-4A39-82F0-B72A9A0973EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7571a2596927124a219062d5ea2f8b20178c390","datavalue":{"value":{"entity-type":"item","numeric-id":1192350,"id":"Q1192350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5fb1bdcf73ec04259d7f7ff87fc5825dd43bc6d","datavalue":{"value":{"amount":"+0.7408384084701538","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":"Q2289069$E1418C81-C5A8-4966-9A72-D33E804595EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8b37468d28424d36c3021152c551704c3d423fa","datavalue":{"value":{"entity-type":"item","numeric-id":5277740,"id":"Q5277740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c6874a848e85514842deca79c55ca3aeff6bdef","datavalue":{"value":{"amount":"+0.7385976314544678","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":"Q2289069$432FABAC-020A-4A62-AE8C-20845EFDA1E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a3f79814dfe911a4ff01bb6387468d93ba125eb","datavalue":{"value":{"entity-type":"item","numeric-id":435194,"id":"Q435194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b68d6c50bd6e003988c85d2c586687445cf4fd1","datavalue":{"value":{"amount":"+0.7382398843765259","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":"Q2289069$FD0E4B63-86DC-40D2-8D8A-D5965B97DA11","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2289069$5D786E26-F2E4-4942-B100-FBD1BB4E9FF8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Causality in linear logic. Full completeness and injectivity (unit-free multiplicative-additive fragment)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Causality_in_linear_logic._Full_completeness_and_injectivity_(unit-free_multiplicative-additive_fragment)"}}}}}