{"entities":{"Q5145339":{"pageid":7174910,"ns":120,"title":"Item:Q5145339","lastrevid":53911667,"modified":"2026-01-25T22:23:27Z","type":"item","id":"Q5145339","labels":{"en":{"language":"en","value":"Around classical and intuitionistic linear logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7298788"}},"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":"Q5145339$EEF76E4D-B599-4DF3-95B3-39F90E33FB58","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f15ccba208aff5affd418a5efd9fabd52ffb4146","datavalue":{"value":{"text":"Around Classical and Intuitionistic Linear Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5145339$FE70BE09-E3A6-45CB-8E78-5AA25FABF6B9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"03400f335c08c31be6b3cea188f6f0dc0d449ae7","datavalue":{"value":"1453.03068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145339$973702EA-2AFE-4900-9A18-F4F7E68EA399","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ac6ef3ce2ab2df789e33bfa64d5346bfbc211793","datavalue":{"value":"10.1145/3209108.3209132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145339$E1BC5D7F-CCD2-416B-AC56-DF52F9DC1962","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f594722cafe5ce1c947afb897f11796df18378c5","datavalue":{"value":{"entity-type":"item","numeric-id":556823,"id":"Q556823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145339$AECDCF1F-22CE-4785-9973-C9D3C82E3521","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ee82b0c640d35f6663be3f8a5187d8cc540da0b3","datavalue":{"value":{"entity-type":"item","numeric-id":5145269,"id":"Q5145269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145339$95408551-9BC1-4DFF-9063-9799750C19B7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"233394734482eba32ed4ee15da745b1ac2b96149","datavalue":{"value":{"time":"+2021-01-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5145339$F22D3C7D-E89F-4D8C-8E9F-826B9BCEDAED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145339$AB4334AD-6954-4490-928C-74284C8DC1A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145339$CE26C688-9A7C-43A8-8927-51E14BB8B7B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145339$FF8E1BFF-5750-4728-86D2-679CE2101323","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2a68eddd23f6cd16c5135014364937f7cdfbf9c7","datavalue":{"value":"7298788","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145339$CCFE25DE-DABE-46A4-9895-2819AE914C42","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4108cecd289b9cafbcb28752da70c2315de2efa0","datavalue":{"value":"conservativity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145339$504D3080-1BD3-4853-A070-322557DA5249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"415c9e6603aa414c9b61ba2ae30ecbfc0f4a93d3","datavalue":{"value":"double negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145339$745243C6-9E24-4E2F-BB8D-30689D009CAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98f41781e04ce8b5a53d7eeddf045b92e5e84bfa","datavalue":{"value":"focusing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145339$125A75FC-A7D5-42FA-A304-940A46334E93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc379d4a5dc59b94051dc9693c948e5879618dfa","datavalue":{"value":"intuitionistic linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145339$291F67C0-66C5-4F07-8E0C-B4701DAFC6DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145339$71C6A970-8F7B-4950-8437-4BE40D14C55D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f6ba1b8c7ab4586bef2806bae272d8dd878fd50","datavalue":{"value":"negative translations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145339$1DBEA06D-2943-472C-ACBC-939CF0949BB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ccf75d78e53402ea7bb1094e6a37f923437cd36","datavalue":{"value":"tensor logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145339$2AFA0C19-BF05-40F9-AEA7-DDD17B0844CD","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":"Q5145339$4FD58A88-71D8-4DE9-8FB3-2560C649A8F7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c859ac0f190e7233d9ed60932a319d428804d20f","datavalue":{"value":"https://doi.org/10.1145/3209108.3209132","type":"string"},"datatype":"url"},"type":"statement","id":"Q5145339$CCA075B6-FEDA-4BC7-9946-3E591EB7C9C4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1a7a2451cdd0d136e9f74fb7cf9698f7d3c7e3f2","datavalue":{"value":"W2799245014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145339$965F553F-141C-48AB-8B2E-2F8DC430C1C8","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9cd13e7d8c6cd5629c866ae6e87278a2bab7a7d0","datavalue":{"value":"Q130854265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145339$3DD6ADBF-571D-4EC4-AED1-48F45677CE33","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4c2f2f39a0c695dbffa7d725e1703c49ea94757","datavalue":{"value":{"entity-type":"item","numeric-id":1891252,"id":"Q1891252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4195c57ae06bd34ee74ef33ba059c568d327b7ae","datavalue":{"value":{"amount":"+0.7809359431266785","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":"Q5145339$D2FFF4FC-CF07-47FA-8392-A89A927CAF91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdac0def5eef14dd5aefdae45c73a9e0a0a878cf","datavalue":{"value":{"entity-type":"item","numeric-id":5466794,"id":"Q5466794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce0b73e97a20866bab1d10823f690ac6edb23abc","datavalue":{"value":{"amount":"+0.7788461446762085","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":"Q5145339$606C3010-700A-4148-AF60-707649D8DA3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57cfc6803eeecaf4dc3eba35d3a9d24d9ce1b912","datavalue":{"value":{"entity-type":"item","numeric-id":5892514,"id":"Q5892514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b70a328443dec0f46ced0e5ac6c9f76f8237570","datavalue":{"value":{"amount":"+0.7738031148910522","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":"Q5145339$1020A742-9C38-48CE-AA5D-CA1088D2BE39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9717f47c582a39eeb1829ae6667f765c31439ac7","datavalue":{"value":{"entity-type":"item","numeric-id":5902221,"id":"Q5902221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"060bfe3b841ec01a237757dcf6c92d7cc1a58638","datavalue":{"value":{"amount":"+0.7721040844917297","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":"Q5145339$4FFD4FFF-5ADC-424F-9296-4BD05B3E3AFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"838d7adbdc9eaef8c7f9491bab064308a3598e8e","datavalue":{"value":{"entity-type":"item","numeric-id":4262585,"id":"Q4262585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92c104d134e912d18b8a087a518c5885c70ae877","datavalue":{"value":{"amount":"+0.770846426486969","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":"Q5145339$44432C48-272E-411B-AD36-E4FAB5F44667","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5145339","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5145339"}}}}}