{"entities":{"Q4928272":{"pageid":6957854,"ns":120,"title":"Item:Q4928272","lastrevid":91008914,"modified":"2026-06-04T22:01:42Z","type":"item","id":"Q4928272","labels":{"en":{"language":"en","value":"Coherence of proof-net categories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6172902"}},"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":"Q4928272$8C1127A5-D83C-4180-BA39-AF6112A3D416","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1948f0bff01de0a86f433b755139e1a7ad0abe32","datavalue":{"value":{"text":"Coherence of proof-net categories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4928272$33E736FF-AD81-4AEB-962F-DE07ACD84989","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"88947a86187901ad1ed5eb5fa4acaf7eea8752f8","datavalue":{"value":"1274.03089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928272$FDEFE4B0-13C7-4A02-BC3F-0E9AD7CB3E8A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"20388ed5facadb7449ccbfc65d36a62276bf5fd3","datavalue":{"value":"10.2298/PIM0578001D","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928272$1751B86F-2149-444F-A26F-18547CC0D199","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3cf3d2b6ff3020598de12f1ebbad1e4de92dcc82","datavalue":{"value":{"entity-type":"item","numeric-id":383357,"id":"Q383357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928272$1D749150-FDB6-4DDD-BD09-0F02F3ACDBB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"560fadb272ba9670b6f7e2522deaa7e7e693aa5d","datavalue":{"value":{"entity-type":"item","numeric-id":383358,"id":"Q383358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928272$D3ACE6CE-8AE3-4A20-8BB4-BC70644FA2CA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00034c34431941ef173c32ddaed6c9a7c9ade616","datavalue":{"value":{"entity-type":"item","numeric-id":2815240,"id":"Q2815240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928272$DEFF1808-768F-42AC-B23F-AA3F374EF55F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"24e68cbde7cd9bb92668bce7881c12e27824931b","datavalue":{"value":{"time":"+2013-06-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":"Q4928272$61966E28-4AD4-48F6-9B7C-7F2079832BE9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"90a0d11533516388d910a4a5dadd54c03ce17f93","datavalue":{"value":"https://arxiv.org/abs/math/0503301","type":"string"},"datatype":"url"},"type":"statement","id":"Q4928272$E9F63228-6AD0-445E-A7CF-C43D4DCD6D15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"9776c859b779afc8d4e96ee68bbffd7fb8ea0b9f","datavalue":{"value":"http://www.emis.de/journals/PIMB/092/1.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q4928272$7DD62A8D-DD13-4C61-8E75-0E5B65DEA46F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928272$DAAE6E0E-13F0-451E-B238-C54E10579F67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928272$22CE580D-9F92-4D9D-833E-C20F78529581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bed973268be96744b8db60caa0543ff50965a902","datavalue":{"value":"18A10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928272$2CF366D9-4F56-40E5-BD61-4E172DD1629A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aa2d311bfebadfc58292672011b7418c359f6a26","datavalue":{"value":"18A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928272$E90C729A-442F-40CF-BFCF-15B2B1326E11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928272$C90B241F-65A5-4A97-B3A5-9FB8B7368FA8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6bab8e09b2ad68d74056dbc5f7af419f1221a781","datavalue":{"value":"6172902","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928272$59AB468C-6AB8-4FEC-BE31-6F8EFA256523","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f4744b2e770ae01466d9a05fa958a024305ac1b","datavalue":{"value":"generality of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4928272$99EDFEC4-5262-47D9-8D3C-B7894980835C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4928272$EA65DDE6-3269-4C91-8354-553D28E580AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19fd5f84668d8e4801de9ebe4028adeaff784397","datavalue":{"value":"mix principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4928272$DB8EE626-5EE8-4817-9F66-B0B538C55F0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d82d54321dd9799ec54c6e2eeabcd189cda5e80a","datavalue":{"value":"proof nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4928272$B6343571-88EA-4DCB-8D54-E12EFE257884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e88a854ab7aac61a2bb1002e41be6da445f43409","datavalue":{"value":"linear distribution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4928272$C0710323-636E-438A-959D-4BA885961ED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"820a4f5926da7df5e6930f0df41a3a614a9113b2","datavalue":{"value":"dissociativity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4928272$14710338-E629-4A4A-ACC0-E5947C1FAFBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"062263ffeff1d0bdae46bbb4e0b03be084d69adc","datavalue":{"value":"categorial coherence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4928272$E05B552A-E17F-4817-B71E-1EBE7EE93767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56279ed3b5d9768eda83b6feae30e82d7bc99fc3","datavalue":{"value":"Kelly-Mac Lane graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4928272$39DA25B5-F99E-472D-93FA-133485C6C4F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3cb06b2598439742447a64fc2f2e1f547a1a791","datavalue":{"value":"Brauerian graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4928272$1E3B05FE-C808-4543-BFD6-CFEE649F7D0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da70a4397bb4fa10e59e02c80b0af275aab837ba","datavalue":{"value":"split equivalences","type":"string"},"datatype":"string"},"type":"statement","id":"Q4928272$E2E17A62-A542-4EA6-8FC7-057B102BC236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad80aebe80196423fa694ed46354ee45d24df48d","datavalue":{"value":"symmetric monoidal closed category","type":"string"},"datatype":"string"},"type":"statement","id":"Q4928272$A1441AB6-E6CD-4678-98C5-6FCDBB8A76A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"159eb22fc83356f1e6392980ca5f6f8e60be2898","datavalue":{"value":"star-autonomous category","type":"string"},"datatype":"string"},"type":"statement","id":"Q4928272$2CB7B019-4F3F-47FC-B20D-5101AF6899E5","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":"Q4928272$946220A1-478D-41AE-9BCE-29FA4112D946","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"a41dae1cabf3084169d58a9940e4f105839bbe17","datavalue":{"value":"bafkreihbqelzjvxwtxhr54p664ltvmb7omdi3momdv5kou2ztdz3xhmaoa","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928272$5FE503D3-91C7-4F64-8518-81D05467A57B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71d5ef3313ffad92ab63539330c5ac640d3c666b","datavalue":{"value":{"entity-type":"item","numeric-id":5411254,"id":"Q5411254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e050f16b8fed99b32fdbed3139bfb3116a799779","datavalue":{"value":{"amount":"+0.9382900595664978","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":"Q4928272$A37FE2A7-B23B-4EF9-8FA7-48EA436968D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eebdd0b218777c7184a5d10cf8ad8d1fba089cb1","datavalue":{"value":{"entity-type":"item","numeric-id":4282573,"id":"Q4282573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df632565fb509103038ec034e24e9666a358e6a0","datavalue":{"value":{"amount":"+0.8966506123542786","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":"Q4928272$AEB8F3C5-AE59-428D-83C2-33A4C5D16CF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ce5f0e800ebd86c56a289872953c9119e12a1c6","datavalue":{"value":{"entity-type":"item","numeric-id":1011758,"id":"Q1011758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"384bee2fe43631794b9a6f428a4d418e0b1a859d","datavalue":{"value":{"amount":"+0.8670417070388794","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":"Q4928272$901AD1BE-404E-4D64-8428-B215F958446F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5042da839f30de08484a642d83f7912a1885006f","datavalue":{"value":{"entity-type":"item","numeric-id":1126244,"id":"Q1126244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9952f60e2d4015bbdeabbaa918f3ee2317051d47","datavalue":{"value":{"amount":"+0.8621616959571838","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":"Q4928272$3021B0F9-FE6A-4411-BEAB-CE9B27252FC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8ebcdb43103982ed85c0ed5387a7afe264687a9","datavalue":{"value":{"entity-type":"item","numeric-id":685406,"id":"Q685406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca5c5b96d90b81c84ebf2725f2abf0cb22adb474","datavalue":{"value":{"amount":"+0.8615177273750305","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":"Q4928272$B943D5B5-4438-4FF1-B0AD-223284F57654","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Coherence of proof-net categories","badges":[]}}}}}