{"entities":{"Q1575871":{"pageid":1586611,"ns":120,"title":"Item:Q1575871","lastrevid":67909008,"modified":"2026-04-12T20:09:00Z","type":"item","id":"Q1575871","labels":{"en":{"language":"en","value":"Operational interpretations of linear logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1495164"}},"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":"Q1575871$263C85E6-7EFB-4C6E-A307-04D5AF64019B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"35c45b3790174baf6779634378cfa32f7b1e5eb2","datavalue":{"value":{"text":"Operational interpretations of linear logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1575871$503F7E87-2EEF-4941-8507-4F4E6E068F8A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2d38b190e234a2d547db61b8632195f66a4ed320","datavalue":{"value":"0951.03059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575871$E7CA1221-18F7-4704-A5E8-ACE35DA95213","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a8bccc13c398e049e45f3cc6c0fec190d0bf4405","datavalue":{"value":"10.1016/S0304-3975(99)00054-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575871$0227D975-5308-4AD5-BC95-2EAC0FF7D7D9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"36c49525711d5d21e1e6059bcda58a3a216bb3d0","datavalue":{"value":{"entity-type":"item","numeric-id":1575870,"id":"Q1575870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575871$43F96804-E3E8-44FC-A437-D51B1CC19657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d8fea356f84d37a924ceb58cfe03d1b4469ed36c","datavalue":{"value":{"entity-type":"item","numeric-id":879365,"id":"Q879365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575871$F36533A9-2321-45AD-8B63-79A9845A3592","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575871$FAABDC66-512B-427A-B901-8FF600D1D004","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b75bb4814c2bf285f873da0d0a308eb99ddd7a4c","datavalue":{"value":{"time":"+2000-08-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1575871$1493554F-C171-422F-9599-2B4E21F35472","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575871$44FB87D7-FCB4-4A6A-8E34-917275DAEC2C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"737a28993085b58a9fdea38bce23d1d02075fb0c","datavalue":{"value":"1495164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575871$34AEC111-80B9-4137-B27B-55AEDF394D55","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575871$3BC3C991-95FA-4752-8CAB-5F8170D2535B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e900d488b6c44823f56d5910845dd3af2a8d693","datavalue":{"value":"operational interpretations of intuitionistic linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575871$3C02D5C8-1460-4040-9DC8-63E2E5680409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1604b64d358b958b27bf87c121f683daab9cfd8f","datavalue":{"value":"call-by-value lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575871$EE276945-8723-49E0-9DF2-ABCBD971D41B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34871fb2ae8bb202df73bd3744f8a79b2978e083","datavalue":{"value":"memory-management","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575871$EA52371B-F26C-433C-B153-88FD64F8B01C","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":"Q1575871$0A0AAB00-A941-4142-A84C-D013B6C8047A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"29dbd2332f334ff0d14ad4db5a8a3c36c9c6d5b5","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(99)00054-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1575871$3F05AEED-789F-413C-A05A-DF2486FC8F5E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"db1f8c1e91874b3001efa2fa89693a4621666536","datavalue":{"value":"W2086571520","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575871$5B8A0678-76AC-40AA-9FCC-F3EEC238706C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"607f5bb5fcbb4bac05e6d97184163159b8708a7f","datavalue":{"value":{"entity-type":"item","numeric-id":685430,"id":"Q685430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d80daadac0fff0493bebafd82ee230fffe6df807","datavalue":{"value":{"amount":"+0.8328507542610168","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":"Q1575871$E0E94FF9-4FEE-46F4-B85E-9C5D1AD03415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bd7dc8a569a9b693e609aa4159bbae8bcbf6b44","datavalue":{"value":{"entity-type":"item","numeric-id":4895551,"id":"Q4895551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dda0900b054d6f24107fa2ff519331c9ecff438f","datavalue":{"value":{"amount":"+0.7996625304222107","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":"Q1575871$F3F8C32D-CDAF-4FD1-B4A4-29956164676A","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":"983af269a0ade0db2a4eca91ff0e0f4674caa862","datavalue":{"value":{"amount":"+0.7952535152435303","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":"Q1575871$53F6753A-75C2-4BA8-9C76-90FFC886B3B2","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":"e62ab549a8f1e0c0f8a36531c576e9fdf985ee89","datavalue":{"value":{"amount":"+0.79380863904953","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":"Q1575871$3C4626ED-8927-4E26-8243-9C0FA174D6C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Operational interpretations of linear logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Operational_interpretations_of_linear_logic"}}}}}