{"entities":{"Q4222840":{"pageid":6252441,"ns":120,"title":"Item:Q4222840","lastrevid":46608834,"modified":"2025-12-25T05:01:18Z","type":"item","id":"Q4222840","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1231525"}},"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":"Q4222840$F4FFC5B3-2F1F-493A-8828-A4771664ADB8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8efb915fcd9f1dafd73d338fd60fa370fd242b40","datavalue":{"value":"0909.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222840$9612C07C-7DF0-4636-805D-317DFA09F376","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d07da6141e61d14f40fca64574461dd10f1172df","datavalue":{"value":{"entity-type":"item","numeric-id":1327481,"id":"Q1327481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4222840$B6E850BA-B82A-40B7-84AE-FFC9A0B4BA0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b26cd3ce2ca6a508af647c0b8ee8a10745379af0","datavalue":{"value":{"entity-type":"item","numeric-id":235600,"id":"Q235600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4222840$8445AE55-4EC0-4BC3-B092-3D64F77C3304","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d75c8972e3f2f65d76ef5c0db6d9fd21365ddf3b","datavalue":{"value":{"time":"+1998-12-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4222840$C39A8E32-4B96-4173-9DA7-A40E0294F913","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1bf092dc585cfa84ce80c058c4a66699cee14907","datavalue":{"value":"http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume3.htm#nagayama","type":"string"},"datatype":"url"},"type":"statement","id":"Q4222840$778A44C6-05BD-4108-968D-564F93E7720D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222840$DA24E7D4-A5E4-4013-BE5D-C51D25F0F43C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222840$95F211EE-2229-493F-A728-8F3F5737B9F9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d10dce2c3512670583d03fb07b914d0022285a3a","datavalue":{"value":"1231525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222840$D283DDDF-C47A-4BEC-B751-712B315CBBC5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"694b76f7563d521db335d9afd66a91ca1077a6a8","datavalue":{"value":"multiplicative fragment of cyclic linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4222840$91809AE6-4959-461A-8436-E2138AC7DB65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ac0c6422a4d224790a204c3a2d2a1ba7c233089","datavalue":{"value":"Danos-Regnier graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q4222840$563AB7C3-D0CE-4874-B63C-7813F083B40F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40fdd4032ca1bbd06f8dccad54d01be081c24445","datavalue":{"value":"switching condition","type":"string"},"datatype":"string"},"type":"statement","id":"Q4222840$1B5C3E7F-3619-4557-BCE3-C6046F2AFDCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da0f5c9d249e53ce5018f00dac88a4ad22bc82ea","datavalue":{"value":"noncommutative proof net","type":"string"},"datatype":"string"},"type":"statement","id":"Q4222840$36EE767C-775A-43C1-8923-9BDF75899FF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21837d79a0251447ecc36568dd9313482f7813e5","datavalue":{"value":"long-trip condition","type":"string"},"datatype":"string"},"type":"statement","id":"Q4222840$5658BC09-A8A7-49C2-BC54-5B485077C16B","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":"Q4222840$8F19F7A7-0DC3-44C5-9622-A4900E991B03","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75b355564f1c96100de30a30fff8428abdca9230","datavalue":{"value":{"entity-type":"item","numeric-id":1398479,"id":"Q1398479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4d32c838fa3846e239e76fb8478a8a073e7fdf2","datavalue":{"value":{"amount":"+0.9913182258605956","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":"Q4222840$CDF18CB9-69AD-4C01-BD6A-4FC881C38046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18cfa5a292c05ae87a6d6dcbdb2ae28a02d2c098","datavalue":{"value":{"entity-type":"item","numeric-id":4328819,"id":"Q4328819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1200f2b3e26aab16290e69a580276ce6058f3569","datavalue":{"value":{"amount":"+0.850436270236969","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":"Q4222840$08B079AE-B07D-4B5F-AB73-651EFC3C5A79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07bcf84558a5484935709c444e08fba430e636a2","datavalue":{"value":{"entity-type":"item","numeric-id":1280050,"id":"Q1280050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9f1d9e1817c2e14ddb72dc3615bba1367a8b808","datavalue":{"value":{"amount":"+0.824985146522522","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":"Q4222840$20BB0531-EFF3-4944-B94C-F98B7194D71E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4222840","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4222840"}}}}}