{"entities":{"Q5277740":{"pageid":7307315,"ns":120,"title":"Item:Q5277740","lastrevid":52850435,"modified":"2026-01-23T15:42:26Z","type":"item","id":"Q5277740","labels":{"en":{"language":"en","value":"Proof nets for unit-free multiplicative-additive linear logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6743984"}},"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":"Q5277740$D38DF959-F955-4A97-BC24-DED84E18A339","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"32e429fbfe1ab050b140be5189e46148597e6025","datavalue":{"value":{"text":"Proof nets for unit-free multiplicative-additive linear logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5277740$93CF7F3A-619F-46FE-A192-B3B0EE587D76","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"829d5c80abca7e5eae0a88e477e50029f2bacd64","datavalue":{"value":"1367.03111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277740$CC0EA560-FE51-4C2A-9C55-827676D88ECC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8cd57b1e0c9d7fc02b5876c33fcf5306cc7116e0","datavalue":{"value":"10.1145/1094622.1094629","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277740$4D9F6BDB-2817-4F66-BF84-283AF1161DEE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277740$49EFAD77-209C-44B7-97A1-F09F0004A2BD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da4ed36bae8b600bf66a15aabe0c472becc2ce16","datavalue":{"value":{"time":"+2017-07-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":"Q5277740$EA08FC8D-1F7F-4FFA-A857-576F75EED031","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277740$5AC41AD2-5FAE-42E9-9DA8-08C8ABB469DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277740$23B64929-73B3-43A2-B574-8D83252CBA0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277740$8BE77923-5E92-46BE-9411-8D8E62A41AAD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"efb9120d60c4b6f6e4b9c4ed2ee443f970ce656d","datavalue":{"value":"6743984","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277740$F6896BE7-8F36-4DDC-AA19-868A0CFF9C23","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277740$A1645C68-B40B-4504-B7BD-B523B543C574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5e5569cdb72f7080ab7f2cfa25dad10cc3168b2","datavalue":{"value":"additives","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277740$32427F88-5820-4A0B-B99B-30C946AB64A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277740$31924F51-AFF6-47F7-A598-540D88E1129E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d82d54321dd9799ec54c6e2eeabcd189cda5e80a","datavalue":{"value":"proof nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277740$7DBA8C92-987C-471C-8B87-D1421C51DDE1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"91f5c09b5145beb9895e9a35451f643e912c82f0","datavalue":{"value":{"entity-type":"item","numeric-id":1936109,"id":"Q1936109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277740$2BEE7D28-A052-4535-9790-5DDB8BBFB33A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f107a74a1e1c64c94230a71c5504892f32efa126","datavalue":{"value":{"entity-type":"item","numeric-id":287371,"id":"Q287371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277740$5D5CD815-D4F0-4C6B-9B1B-E1106BF1610F","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":"Q5277740$94D289E3-5FBC-431A-BA9F-E1F95CD7D877","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4975594664b769e1e80b4ff0f5f0f6cbe184df9a","datavalue":{"value":"https://doi.org/10.1145/1094622.1094629","type":"string"},"datatype":"url"},"type":"statement","id":"Q5277740$7C69EBC4-F6AE-47EF-AED4-74843ABAE920","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"94b5e27ac7417a2417ac805515832e7da9185851","datavalue":{"value":"W1964454590","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277740$2AE34D74-74FA-41C2-B597-670824D5AE94","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a8a794d00410cc32fefb192994c5e8bbf33dd370","datavalue":{"value":"Q130888065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277740$9668B725-EB45-428D-8ED7-2A265A595BEB","rank":"normal"}],"P1643":[{"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":"389c130825ef86a55bff53471caeaf6b8c39d5d5","datavalue":{"value":{"amount":"+0.891169011592865","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":"Q5277740$548D8337-D661-4686-820E-06269E150F3F","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":"b84677135e35aca5bb6c97d8d3954cde5432251e","datavalue":{"value":{"amount":"+0.8478077054023743","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":"Q5277740$A0558C18-FE4A-48D5-9DF5-3BA160C90204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cec5b63bf422a656a17779819b0f5f4e5744d1b","datavalue":{"value":{"entity-type":"item","numeric-id":4635901,"id":"Q4635901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f74011490b447e3b1f4c3794d341583f1b0eaad4","datavalue":{"value":{"amount":"+0.8338450193405151","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":"Q5277740$C4A4DDFC-C9B4-4E66-BF72-28F2CD7D6096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dd827eacbfc809706753b656450e4e302b5167b","datavalue":{"value":{"entity-type":"item","numeric-id":5310668,"id":"Q5310668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82edb2ab3bbb933cf5a25b63142f3cacf3c8878e","datavalue":{"value":{"amount":"+0.8280923962593079","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":"Q5277740$EA230AAB-C19F-4818-BF13-D70600BD03DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"debd68b9486f4064fa537e8ed50615f4b651750c","datavalue":{"value":{"entity-type":"item","numeric-id":4217606,"id":"Q4217606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e70268b3be9d6251e1d05de0a1be4eb594bb9127","datavalue":{"value":{"amount":"+0.8278806209564209","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":"Q5277740$781480F9-62BA-40BE-A922-1E35FD19CAF6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5277740","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5277740"}}}}}