{"entities":{"Q3444645":{"pageid":5155635,"ns":120,"title":"Item:Q3444645","lastrevid":90185027,"modified":"2026-06-04T19:30:13Z","type":"item","id":"Q3444645","labels":{"en":{"language":"en","value":"Proofs, denotational semantics and observational equivalences in Multiplicative Linear Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5161050"}},"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":"Q3444645$F34358E1-11E3-4233-8FB6-21D21D305D25","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4644439309da402bd8e37bdb2a908fb8a7348103","datavalue":{"value":{"text":"Proofs, denotational semantics and observational equivalences in Multiplicative Linear Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3444645$82CFFAD0-0D0C-4A04-9B73-5AAC3C181C54","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f49f7e4dc773afd0dc8df5a0e66fac861d15fe0e","datavalue":{"value":"1124.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3444645$0F69DA01-F9B1-4A9D-B120-BACE6F7AF0A4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"da1769ff9721d24f11f9f3c925c5c85efdb70aa6","datavalue":{"value":"10.1017/S0960129506005652","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3444645$6C65F408-6A79-4E91-A39C-3269D9C12E28","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9ab36af565d8772d4e2c198b9339781fbb08db6","datavalue":{"value":{"entity-type":"item","numeric-id":409320,"id":"Q409320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3444645$EA034128-CC95-4663-B986-3433D65B3684","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":"Q3444645$9E563C19-030A-49C2-AE7C-5B3DD9932DF0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"36245292ed3f481a9afbac2e0b7b7fcb988329ca","datavalue":{"value":{"time":"+2007-06-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3444645$8E2B85D1-BB6F-4160-B7C1-FC41717067AF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3444645$E901D83D-54A0-41CB-81A6-301977E8E5C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3444645$5E4F5ACE-8645-44F7-B7D9-4F39317AD69F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7cf44b50b1656135b10d692f421533ec7664feac","datavalue":{"value":"5161050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3444645$12C3E89C-1446-4BE6-B93B-8813FEDFD4CC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef07b3138676aab0c29826b8e961bd9e50153980","datavalue":{"value":"multiplicative linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3444645$AB848E00-25DE-4182-8D8F-EE1E31D8508A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ace8bf4699cb64394d0b2677300163ec8dcbc25","datavalue":{"value":"observational equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3444645$E90A1C90-21D6-4049-AD0B-9A22AB7C853D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6568d1c3f04ba1b48da5043c1efd53b30da4ca7d","datavalue":{"value":"proof structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3444645$8503E81E-684E-43D7-B21C-7AD65B18EFC6","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":"Q3444645$501C38C0-E679-45C5-AD69-7E13D6FEECC9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b489aba308eda11ff7e755601c605fa103fce531","datavalue":{"value":{"entity-type":"item","numeric-id":4379682,"id":"Q4379682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24298a4ad52850e7042b3c9ad56f16eecc86793e","datavalue":{"value":{"amount":"+0.8201993107795715","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":"Q3444645$E4DCB657-C5C0-4023-B406-E3DD608E808C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1048a47a90373bc7b5355c785e75695b5eb5afff","datavalue":{"value":{"entity-type":"item","numeric-id":4842966,"id":"Q4842966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9748cb5c53d2781b660dd7668c55a1d54217b975","datavalue":{"value":{"amount":"+0.8191628456115723","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":"Q3444645$495B86F3-E2CA-4F51-8007-3CE761329733","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":"7995b00a72154a6e8f2d3fc4ce331470759da811","datavalue":{"value":{"amount":"+0.8161192536354065","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":"Q3444645$1ACB263B-3B6B-4712-8D1E-4DBEB5E0770B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2943627d25dea64fc3b5477e944d8e42a4f63e9","datavalue":{"value":{"entity-type":"item","numeric-id":4302338,"id":"Q4302338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1e687cc3f65b7b2583a282ebd4c24a36016fe14","datavalue":{"value":{"amount":"+0.7926479578018188","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":"Q3444645$8FDB2FE3-3389-46DD-AED8-917AA6075A35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d178ace3e6ef69bc9f0dd36da63f4015ecfbe11","datavalue":{"value":{"entity-type":"item","numeric-id":4222900,"id":"Q4222900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8924243d69c7e0bb614bb196badc3e0f3693ee6","datavalue":{"value":{"amount":"+0.7904232144355774","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":"Q3444645$7991D8C5-53C4-4A06-B6CC-CA68A7D9EFC4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proofs, denotational semantics and observational equivalences in Multiplicative Linear Logic","badges":[]}}}}}