{"entities":{"Q4379682":{"pageid":6409281,"ns":120,"title":"Item:Q4379682","lastrevid":46981506,"modified":"2025-12-25T23:58:50Z","type":"item","id":"Q4379682","labels":{"en":{"language":"en","value":"Subnets of proof-nets in multiplicative linear logic with MIX"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1123626"}},"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":"Q4379682$B1D0B99C-008A-43BC-8139-D40DBD3808BC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c2b0838ba3013c42a3dc63db2883ad6a601fed7c","datavalue":{"value":{"text":"Subnets of proof-nets in multiplicative linear logic with MIX","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4379682$99690C0C-0758-4464-856A-6F2FEC6781B4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"281ae7f794e82cfa16c292b6d10cdc1b65d42144","datavalue":{"value":"0893.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4379682$53642F4A-3CFA-4E4E-9842-93CBCF413E9F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5d1bf01901300d1b98dd9db333a204411a8bb716","datavalue":{"value":"10.1017/S0960129597002326","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4379682$FB16AC15-720F-478E-88FB-C9EA3867B0FB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"52e93a0cd05b273179f9b07d27a043ad61db98b3","datavalue":{"value":{"entity-type":"item","numeric-id":860831,"id":"Q860831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4379682$F8A02AF6-F1C4-4FFD-84F5-74ACD9C0091B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4379682$8B5E58D5-5A31-4DF1-A412-45B65BCE87C2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a9d6f5a9f715374e026f7d9de7084a499dad06e8","datavalue":{"value":{"time":"+1998-03-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4379682$E41743FA-7971-4268-ACA1-BEB50F24A5E6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4379682$46EFD7EB-EE74-4967-8763-A01AC429F221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4379682$F1E68EA8-D055-4E6F-A216-DDD4B388E8D7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c8d6c2d65c0a780b0499a0d4061ac826b2fc12bf","datavalue":{"value":"1123626","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4379682$AC1867CB-66C8-4720-8910-32353411C893","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86c708e0c394c1ffa00cffe69341e8dd18fba2b7","datavalue":{"value":"Mix rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q4379682$EE3AB327-8E43-42B6-9D9E-A16C3EDF209A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15e97757287f09e66ab8a2edf2613fa78c2f528a","datavalue":{"value":"subnets of proof-nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4379682$569382B1-DA75-4D06-9212-2F3173068CBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5054f6093f6f39344fd520ed2abcfa8bb030d108","datavalue":{"value":"Multiplicative Linear Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4379682$35A4AA30-F06B-4248-B0C7-343659E31909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ac4ef6ef6c5f8856ee80195276e724e0b6225a","datavalue":{"value":"correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4379682$585CFD7B-3A52-4AD4-B044-3CFC6061A5C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09b99ae733070d3d1855ae2b169bdb873a71f7e3","datavalue":{"value":"concurrent processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4379682$1C0CCB13-2BBA-49A0-B54C-90479E255BCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ece4b9fad34fbe4144ec182f23de3b987a096da","datavalue":{"value":"sequentialization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4379682$53738C57-B45D-4D1A-8125-A31CEE34B14A","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":"Q4379682$9B5ADBD0-AE2E-4640-ADBF-E39C5866B3EB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82e6546f3de4936d021cd034ae093ad1264a0b2d","datavalue":{"value":{"entity-type":"item","numeric-id":4842977,"id":"Q4842977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cec661c738adf013ab1063f8d1492cefe79d0b45","datavalue":{"value":{"amount":"+0.8615427017211914","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":"Q4379682$7A20BA5B-EC39-4657-9032-FA1BE8949365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2943627d25dea64fc3b5477e944d8e42a4f63e9","datavalue":{"value":{"entity-type":"item","numeric-id":4302338,"id":"Q4302338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cac7081afab6ebdc1c04cb45afe5035e0147a10c","datavalue":{"value":{"amount":"+0.8441320657730103","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":"Q4379682$BC133081-E4F3-45A9-BA95-F6112C240192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9adaf9e5c4cf3fabf8f4ff510bb69d809d2787c6","datavalue":{"value":{"entity-type":"item","numeric-id":4501135,"id":"Q4501135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dae2458e71d3a4e95bee0d9bbccb58c972c48a8","datavalue":{"value":{"amount":"+0.8314239978790283","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":"Q4379682$689E9EDB-BD83-419F-A33A-A66470A44850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e9df911d8fc52dc907113926085d367d87c0673","datavalue":{"value":{"entity-type":"item","numeric-id":4862762,"id":"Q4862762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"211a56495adf45afce775759346f9c3de7305c72","datavalue":{"value":{"amount":"+0.8195391893386841","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":"Q4379682$B6A082F4-ECFA-4B1A-89CA-71279E2A33B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acaac62a126f95f2c67d0de92bb73a5099713bc1","datavalue":{"value":{"entity-type":"item","numeric-id":3444645,"id":"Q3444645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9748cb5c53d2781b660dd7668c55a1d54217b975","datavalue":{"value":{"amount":"+0.8191628456115723","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":"Q4379682$D8481B96-437D-40DE-96AD-4E7697EE2F13","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4379682","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4379682"}}}}}