{"entities":{"Q952490":{"pageid":954338,"ns":120,"title":"Item:Q952490","lastrevid":65629575,"modified":"2026-04-12T03:54:30Z","type":"item","id":"Q952490","labels":{"en":{"language":"en","value":"Proof nets sequentialisation in multiplicative linear logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5365122"}},"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":"Q952490$D3CE6369-14E8-463C-9FD6-9D42534CCCBA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"580577ef5f6fe07f60112348b200102f12e386e9","datavalue":{"value":{"text":"Proof nets sequentialisation in multiplicative linear logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q952490$05D4E51F-AE50-479E-ACEE-9654E48AA86C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"26f25c5c91eb07dedaacc96cfc935857405f8e0e","datavalue":{"value":"1165.03051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q952490$D2E8C2D8-16D9-4793-A403-B4B991820F7A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"626d813dd21225782d743792b825522e8ff580e1","datavalue":{"value":{"entity-type":"item","numeric-id":952489,"id":"Q952489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q952490$5609BEFB-E441-4B14-B011-96BD344DC4D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9aaf1e7c2b1ba0b424702ec2021099c86aa7244","datavalue":{"value":{"entity-type":"item","numeric-id":418200,"id":"Q418200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q952490$FAE3CC4F-CC28-4889-89D4-22625227798C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q952490$C245669A-6F6E-4DC2-B53C-DEC6FB49DEEC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9c0c5d55f421b4befea01725a45f89d7530e49d2","datavalue":{"value":{"time":"+2008-11-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q952490$987AF0AD-5CDF-41B6-8A6E-C78E30AACC39","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q952490$E728D414-0D2B-4576-89BD-C55ECB80B7D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q952490$2D43A31E-F9B0-4F3F-BA9D-8D2A3BC0664C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"357499bc2febbc9e0f8650318f30afbee2e079e4","datavalue":{"value":"5365122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q952490$21E87E47-19D9-4669-B51A-2131EDB2F309","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q952490$1BCC31C3-746A-4418-AEB7-E97FC21646C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d82d54321dd9799ec54c6e2eeabcd189cda5e80a","datavalue":{"value":"proof nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q952490$CD261057-92D4-4955-8F4A-7F37D4E42647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ece4b9fad34fbe4144ec182f23de3b987a096da","datavalue":{"value":"sequentialization","type":"string"},"datatype":"string"},"type":"statement","id":"Q952490$D491A55A-867A-4B1A-A373-BB94EBFD4086","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":"Q952490$42F9EA6D-F4FE-4AE9-97B3-591A25131ED0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dbd8f288296c8c8ad4bf34ba266d710eb60258ae","datavalue":{"value":"https://doi.org/10.1016/j.apal.2008.04.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q952490$349DC62F-DA09-45F0-9667-00D318848878","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1c9adbfba2f7136538747b4c6434f1dfb6a9a09b","datavalue":{"value":"W2163170048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q952490$29B26D06-D037-40EB-994E-384ABD262F15","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf02a35a649edb67a9fd19dce373a029ce21e1cb","datavalue":{"value":{"entity-type":"item","numeric-id":1892938,"id":"Q1892938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q952490$800177C3-23DA-4F36-BB36-CB9218283978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14b8931cc97b9286fd379243bba1d9fe33561752","datavalue":{"value":{"entity-type":"item","numeric-id":4842977,"id":"Q4842977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q952490$713BF193-891B-41DD-855C-B13BDDF96473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a2f74a9e88d258473730b686b7ef33dbbd28b59","datavalue":{"value":{"entity-type":"item","numeric-id":418201,"id":"Q418201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q952490$FD9A38B0-1A46-4361-8DA0-98719F66EE38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e92dd05c13a971bb768dddec151dfe6cff2f451","datavalue":{"value":{"entity-type":"item","numeric-id":5394576,"id":"Q5394576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q952490$DDE823E7-5BCF-4E9C-95A1-35FC486C3A73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"315548b1c57609dd77552984d0b6b41608a13f8a","datavalue":{"value":{"entity-type":"item","numeric-id":3613346,"id":"Q3613346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q952490$67AC309A-60EE-4934-A3E7-E54B71264201","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":"Q952490$B9FA58D8-515D-48AE-944F-CAFA6DE9A5CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38da14e132b6ed87ebd6a06d39b0509028cb9550","datavalue":{"value":{"entity-type":"item","numeric-id":4896506,"id":"Q4896506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q952490$D7F1CD6E-2DA2-49F5-A06D-5FE3B1205C6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eb9a13a12f6ead53d5e4eb13f6bc48e3490bb07","datavalue":{"value":{"entity-type":"item","numeric-id":5277740,"id":"Q5277740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q952490$884FE73C-D9CB-4CBB-B913-6137DD061E89","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1c7910deb5084ef9d33372df5d4d46819040c470","datavalue":{"value":"10.1016/J.APAL.2008.04.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q952490$E8453306-CBB8-423D-A4D7-F071A9D56C1F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"937629fa43e0f906d93464269a2d1d04d08fe27f","datavalue":{"value":{"entity-type":"item","numeric-id":3613346,"id":"Q3613346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"108ec0bfa67ff5c7e4cfc7f28303105dab70255c","datavalue":{"value":{"amount":"+0.8591207265853882","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":"Q952490$9DDE82EB-0E61-4395-B507-30FEE29D2803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fd19c9ec9c20debb1519572d873334eeb991120","datavalue":{"value":{"entity-type":"item","numeric-id":1892938,"id":"Q1892938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9236d01834978b143af9723df25f61686c39ece9","datavalue":{"value":{"amount":"+0.8513802886009216","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":"Q952490$B2D3B8A4-676B-4135-9AAA-D4A4675BA129","rank":"normal"},{"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":"77163ccc4f49737339821e8537d307be8d2f8976","datavalue":{"value":{"amount":"+0.8492316007614136","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":"Q952490$E924FDED-9A89-4218-9A68-8C4C5968C675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1748af548a2db5d7d245a0ebb4650561cd1670ee","datavalue":{"value":{"entity-type":"item","numeric-id":4896506,"id":"Q4896506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe0cb529b8ced2128d2c6e447a06c9af5b2097a5","datavalue":{"value":{"amount":"+0.8294159770011902","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":"Q952490$10889DB9-15F5-4211-BC23-98578FB60558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31060e3f577fb75f63334367614882164bb64a90","datavalue":{"value":{"entity-type":"item","numeric-id":5311252,"id":"Q5311252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41f64da41ed4a1c8cd963de7eb839c3b78c11406","datavalue":{"value":{"amount":"+0.8237908482551575","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":"Q952490$A71513B3-24BC-4280-9470-118AB6F5C8ED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof nets sequentialisation in multiplicative linear logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proof_nets_sequentialisation_in_multiplicative_linear_logic"}}}}}