{"entities":{"Q534698":{"pageid":536465,"ns":120,"title":"Item:Q534698","lastrevid":51240899,"modified":"2026-01-17T09:59:49Z","type":"item","id":"Q534698","labels":{"en":{"language":"en","value":"A semantic measure of the execution time in linear logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5886379"}},"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":"Q534698$11B1E681-15E2-438C-89E4-99A6F3E958E8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f5c33492d1c111ce7bce71561e0752c39d8be04c","datavalue":{"value":{"text":"A semantic measure of the execution time in linear logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q534698$1833D1C2-7EA5-4F47-8965-CE23FAA492F4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9eb03cc57c07a1ac2d3a59c11546ac1176c7d9e2","datavalue":{"value":"1222.03070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q534698$FB55E88C-F65F-4033-BD93-A0D8FC3FE322","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":"Q534698$6043F66B-3340-4DC5-AEA3-4B5BBACA8462","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6355dd651d7e8925edcf5ba080dbea252734508c","datavalue":{"value":{"time":"+2011-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":"Q534698$B6AB1D59-FB52-4440-8E05-7C6F6477DB21","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c87328a911221fa033e62d538371fccf2da28430","datavalue":{"value":"https://hal.inria.fr/inria-00206099/file/RR-6441.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q534698$7EB7AC5D-D5E0-45C7-A85E-0B312E02E075","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q534698$DE2B373F-1057-4960-990F-0CF1F669FAA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q534698$51623674-1CDD-4BB5-B656-5C9507FAEDC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q534698$8DCC432F-222D-4F43-B7B5-D2403EFD6198","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a9887e964410a759d8d63b49fcb2cd107a6e196f","datavalue":{"value":"5886379","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q534698$56703DDA-22F3-4BE4-97B7-44B38DC5C52C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q534698$3F7CB04B-B001-4D2B-B8BB-1A1D77757916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q534698$260AEC94-8844-4F29-890E-3F02649B2CF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q534698$DB8A6DA6-3295-4951-AF5F-9DC46A4CDDBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q534698$60EAB4C9-7C73-40E3-9C72-C1F3EF8FA194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59dfbd2b7172f0e7cb930aeb31e1906e35865f6b","datavalue":{"value":"cut-free normal form of a MELL net","type":"string"},"datatype":"string"},"type":"statement","id":"Q534698$12383D4C-2E5A-4FE3-89F1-F40D4E6D1406","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"98d17c34f7570301f50f71cd9e0d89b712b5d33a","datavalue":{"value":{"entity-type":"item","numeric-id":276258,"id":"Q276258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534698$5CBE0ED8-40E9-48EC-82C8-E891893BF388","rank":"normal"},{"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":"Q534698$42312933-9E7E-4994-ADFE-4ABD7571C1C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddd92fba6e58ba3ad12b0f7634976998ce8fce29","datavalue":{"value":{"entity-type":"item","numeric-id":276259,"id":"Q276259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534698$EC03B57C-45B0-44C3-B400-5ADE9BBE453E","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":"Q534698$C9CE8DA8-C06B-4693-A732-1A019688D3E1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e3797045df3eb52cdaf341f2678b9a407c8f7d55","datavalue":{"value":"W2081694512","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q534698$EDFF1315-F7B9-4CA5-8CBB-83E5EC5EB97B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a553fedd51b2b7ac5a3e7474152ecb075ea6aed","datavalue":{"value":{"entity-type":"item","numeric-id":1827389,"id":"Q1827389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534698$5B3D6067-3E42-4C06-87D3-84D9A8DA23F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"017faa94968e29038d7d2394c91fae837b898480","datavalue":{"value":{"entity-type":"item","numeric-id":3474631,"id":"Q3474631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534698$07967151-8A03-4C1F-BF0D-D285725CC754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91843824dd14d90801af804a7f423a24d1b3f5c8","datavalue":{"value":{"entity-type":"item","numeric-id":2851090,"id":"Q2851090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534698$568F9D30-F5A2-4DCB-AA0E-DE1CD059FCCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c99fad36f552f6c9f003614420eedba916456aa8","datavalue":{"value":{"entity-type":"item","numeric-id":4577984,"id":"Q4577984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534698$C4416884-86BB-46B0-B27E-A6F17FCB466C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea08311e5cede8e103fdccb0049502f7fb72a285","datavalue":{"value":{"entity-type":"item","numeric-id":1264140,"id":"Q1264140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534698$4EAEEECE-466B-4253-B5C7-FB6AD6B24A5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdb9e1d8ac47b2da5172822d140197006c8b55fe","datavalue":{"value":{"entity-type":"item","numeric-id":4842980,"id":"Q4842980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534698$433E6F73-97B6-42F5-879C-466C16DA2A51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2edb7a0c6ea1f06765b6708ba458501deba3011d","datavalue":{"value":{"entity-type":"item","numeric-id":5898816,"id":"Q5898816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534698$B573E5CD-9FC9-4300-A84F-301FACA70662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1209cc2519c0798504384b3a297a5def88b5a62","datavalue":{"value":{"entity-type":"item","numeric-id":944386,"id":"Q944386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534698$163ABDA2-C9D7-46C6-88CF-95546759DA10","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":"Q534698$5FC6E3C4-AE69-4B72-AA4C-7ED1626FDAC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9737a75e7a6ebe10ad34d63defab1ffce57fa270","datavalue":{"value":{"entity-type":"item","numeric-id":1271560,"id":"Q1271560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534698$56732E0F-56F9-4101-AAEB-B8B2C1E106AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dfdd91e659b4b4ef923bfa979109e4affebd5ad","datavalue":{"value":{"entity-type":"item","numeric-id":3540182,"id":"Q3540182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534698$DBBF06FB-0312-462E-9D09-DD87089FEAB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e3ca23894b3ffe90c195f250f318fd879e9e732","datavalue":{"value":{"entity-type":"item","numeric-id":5898807,"id":"Q5898807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534698$C565D104-C88F-4E6A-B372-F7E3F3193C1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"693bf5d49b2dc1c71923779a46d08e2176174e00","datavalue":{"value":{"entity-type":"item","numeric-id":2753690,"id":"Q2753690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534698$F6B791FC-DF21-466C-BE51-0E2932BBDE9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"553131f826053d99983f487350f21af235a7cd10","datavalue":{"value":{"entity-type":"item","numeric-id":3444645,"id":"Q3444645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534698$DAAFA1D9-962C-4057-AC22-2F40B9DEE156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c4fdc336b43063ea23854b1e9b2526543940aaa","datavalue":{"value":{"entity-type":"item","numeric-id":1044837,"id":"Q1044837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534698$FB364BBB-C266-41DE-BF1E-500A267E340F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6b6a0f1004b92d4286ffbf8aa52803f1fe93d7c","datavalue":{"value":{"entity-type":"item","numeric-id":4811556,"id":"Q4811556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534698$A2DE2E8D-A420-4E2F-BE79-2E385A858D37","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f3582e15a98369f1efa08c65631a18816024a06a","datavalue":{"value":"10.1016/J.TCS.2010.12.017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q534698$6D529346-F0F6-4EC7-8080-00A4A61885B7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f6d9075c9e829d985d67493ee701c3beb72520e","datavalue":{"value":{"entity-type":"item","numeric-id":276260,"id":"Q276260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cede760fdb90f2511c88bb42e31e541f0e6649a2","datavalue":{"value":{"amount":"+0.8232265710830688","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":"Q534698$67EA4A6B-8013-4396-BA42-D5D580D9EF46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7e00492223d8a74fdffca3bd01a0982fa7c35cf","datavalue":{"value":{"entity-type":"item","numeric-id":1583245,"id":"Q1583245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df5b2067a75142bbea133887d3d4450d51e819ce","datavalue":{"value":{"amount":"+0.7996061444282532","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":"Q534698$F1874DBC-BD45-4DEC-8326-6A602BFBD830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fcfa93fd42706fd250b86c0229ac5eea7f43930","datavalue":{"value":{"entity-type":"item","numeric-id":4577984,"id":"Q4577984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"decb571da5165d05fd952783b28aae9fb31ce3c8","datavalue":{"value":{"amount":"+0.7680193781852722","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":"Q534698$D644ABFD-E4BF-4953-BC4F-59345B087AC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90cb267d11e24349bb9f2dfd2f5edc94b76cae13","datavalue":{"value":{"entity-type":"item","numeric-id":1044841,"id":"Q1044841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"160180bbb1179080979898c6f46885f1301d6d2a","datavalue":{"value":{"amount":"+0.7594653367996216","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":"Q534698$B976CCAC-E08D-463F-A194-AFF0CFB0D3D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04cf48d345a9987c8b45f9a4b469b5de078fc5a2","datavalue":{"value":{"entity-type":"item","numeric-id":3540182,"id":"Q3540182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17582ce2a7ed43072fe1cd2abbf8f200bbc15703","datavalue":{"value":{"amount":"+0.7561659216880798","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":"Q534698$4A1DFA37-24F8-4606-A7D8-3269127F075A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:534698","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:534698"}}}}}