{"entities":{"Q4862762":{"pageid":6892342,"ns":120,"title":"Item:Q4862762","lastrevid":41062706,"modified":"2025-04-18T02:01:24Z","type":"item","id":"Q4862762","labels":{"en":{"language":"en","value":"Causal dependencies in multiplicative linear logic with MIX"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 843730"}},"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":"Q4862762$82B631A7-BCA6-4A39-A6A9-029FE66DEFCC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0fe5004572c5e1e9e537c0e896100dac33f910c5","datavalue":{"value":{"text":"Causal dependencies in multiplicative linear logic with MIX","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4862762$D5138609-6960-4670-965D-5CC123F78C43","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4743d8ea9392d2f8b08797510b5849398733ce99","datavalue":{"value":"0852.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4862762$9FF44464-7C8D-46E9-B541-4E7B85E5B70B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2816f24694418807137e4409b687e48d182823f6","datavalue":{"value":"10.1017/S0960129500000797","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4862762$9C55B60E-34EB-4A52-AA4D-87AB0DA8812B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7eb816b28b9c1f72e9b0af72e4651889c7844f4","datavalue":{"value":{"entity-type":"item","numeric-id":287278,"id":"Q287278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4862762$7F6123A8-A053-478F-A345-BC18C7C4322E","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":"Q4862762$AEE022DD-A4EE-4D08-8E04-97FF36E4DD33","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"506e87fc86252a2bde5b75d9d665c6e1091336d4","datavalue":{"value":{"time":"+1996-12-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4862762$76B62421-E2A4-4C6C-9CFC-F5600FADD4A6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4862762$D5A44D1A-EE4A-490D-92DD-03B358083FE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4862762$DF4B560B-9474-4582-968C-B12CB59A8D40","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"315d5f08d8bf44e0f5c1eee278748eb719fceaa2","datavalue":{"value":"843730","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4862762$8BC8D144-C7D8-4F81-A3F7-F3BF85115249","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d82d54321dd9799ec54c6e2eeabcd189cda5e80a","datavalue":{"value":"proof nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4862762$0EBEE239-517A-4E40-B8D9-E13F045BAAE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6568d1c3f04ba1b48da5043c1efd53b30da4ca7d","datavalue":{"value":"proof structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4862762$20404CB2-445D-4230-A5B2-742393AA3505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef07b3138676aab0c29826b8e961bd9e50153980","datavalue":{"value":"multiplicative linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4862762$EC9371B6-4F01-4CEF-93FE-A872282CE0A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"722f34a6e9ca3808525d1cd06edc1edddbc6963a","datavalue":{"value":"MIX rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q4862762$4B6FF6CC-5118-4891-A9B9-C496A19A39AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f82d9744537c8929843a9f698e900cd31ff81587","datavalue":{"value":"distributed systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4862762$2A9CBDCD-FAF9-4BE2-8FF6-38E1DAA1F1BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65d09ccd4bad33e9463dc7e54cd5316d27084317","datavalue":{"value":"logical flow of information","type":"string"},"datatype":"string"},"type":"statement","id":"Q4862762$DE071A87-7086-4347-AF5C-25EB784C019B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11323911c0c294b6103450af1999ba3a7af86344","datavalue":{"value":"Girard's token trip","type":"string"},"datatype":"string"},"type":"statement","id":"Q4862762$CFEE4604-B70B-4D88-9640-8B5B440E4E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bb90bae78b148e77dd6f7ab720e1fe21d46fcfc","datavalue":{"value":"deadlock free","type":"string"},"datatype":"string"},"type":"statement","id":"Q4862762$95C394D2-AB0F-4AD9-8C1B-CAB682173F4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"790059a346f8186810c9b068be36d376d47abec7","datavalue":{"value":"causal dependencies","type":"string"},"datatype":"string"},"type":"statement","id":"Q4862762$F839BA4C-F45C-45DC-829A-4B4218479C14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93358a4588e9eb8de0360f7dc9dc814c25f381e8","datavalue":{"value":"acyclicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4862762$6100ADB1-E4FC-4E85-B62C-487043CF7B77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ad5599d0b8005742d4eb354b6906a61e9640688","datavalue":{"value":"chains","type":"string"},"datatype":"string"},"type":"statement","id":"Q4862762$7CB3473A-568E-48B3-BB93-1CB7F7857AE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3f92c94e13dca39939e31c08c78dc71da91aeca","datavalue":{"value":"empires","type":"string"},"datatype":"string"},"type":"statement","id":"Q4862762$CB892647-A280-4A4C-8E43-D0AAFE0383A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d29ef02087a1b64feedb34d14746db0c94c389dd","datavalue":{"value":"concurrent computations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4862762$12C72FC7-B40A-4F13-98C4-A449881D7EE7","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b27410fd7d86505d519b8fb94824672f32c3fa7b","datavalue":{"value":"Q114653953","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4862762$766B3489-1553-443A-9EB3-4E3F0C9F1EC7","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":"Q4862762$6857F2B9-58D7-4AB9-9508-DA3082337E3A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea08311e5cede8e103fdccb0049502f7fb72a285","datavalue":{"value":{"entity-type":"item","numeric-id":1264140,"id":"Q1264140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4862762$790E3861-AF38-4CFE-9232-A11214BD210E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16f5733546fd01e66290c9b52ab793c3d042ffa1","datavalue":{"value":{"entity-type":"item","numeric-id":1186430,"id":"Q1186430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4862762$BA598E37-FFCD-430B-B63E-42329DDC5EE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f353e97938040ada5b04d78e18191e9bca457854","datavalue":{"value":{"entity-type":"item","numeric-id":1066880,"id":"Q1066880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4862762$643B1673-A851-4167-8268-B77851767E27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"005537799f3a85442d3ad04f80b3b2e785727979","datavalue":{"value":{"entity-type":"item","numeric-id":3999603,"id":"Q3999603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4862762$49DA1963-4471-44BA-AA3A-6FACB05CAE44","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"58c9674676a86c68fa2c7b6523abecfa63e05f19","datavalue":{"value":"https://doi.org/10.1017/s0960129500000797","type":"string"},"datatype":"url"},"type":"statement","id":"Q4862762$E0AEBD1C-49A3-40C5-B1E0-A3E7AEC44C70","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7db3fde10e3e5e288f5f9c0208390db4072ef881","datavalue":{"value":"W2098064994","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4862762$08D42E2C-23ED-4F71-B8F9-E0DBFB546E1D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b3745f8deb2daba424d7aef1a223cf429816839","datavalue":{"value":{"entity-type":"item","numeric-id":2289069,"id":"Q2289069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74e57974eb1ef9a32cda735966778fe3c41f2653","datavalue":{"value":{"amount":"+0.8840152","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4862762$EDA5371C-3DEF-4DBD-8C3B-E4CD622C1D53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91027e02dd7b9b5fe0af4c3476a182566a46f5bd","datavalue":{"value":{"entity-type":"item","numeric-id":1733058,"id":"Q1733058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94a59fcf54c265efb3d360dfa4c1a1b9c0b34d2b","datavalue":{"value":{"amount":"+0.86218864","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4862762$7D659625-078F-4C3F-960B-F9FFA60B226B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61579440e0f66a8929e8edf74d4c3688a0adae56","datavalue":{"value":{"entity-type":"item","numeric-id":1121867,"id":"Q1121867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb7cea18620033045828cddf8657d57b21c92eba","datavalue":{"value":{"amount":"+0.86169493","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4862762$F12FE049-58DC-4EAE-AE0E-AC8D0DF4D504","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":"2b4f17456eb122873ba3d8ca12aa880505ffed9a","datavalue":{"value":{"amount":"+0.8594583","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4862762$012A544C-4CB7-4F97-8D13-DCEC31FA4C78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98b8d24f38299191e5bfec6a64c23c58e9f1031c","datavalue":{"value":{"entity-type":"item","numeric-id":1606128,"id":"Q1606128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa53074773ae81b0db0cee58eb20b1ef80e1e103","datavalue":{"value":{"amount":"+0.8580839","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4862762$D06C36C8-9345-433D-AE3D-B4EFCE21999E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4231711f64857ba2e329b7e7142afcaecd03a32","datavalue":{"value":{"entity-type":"item","numeric-id":2996262,"id":"Q2996262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2348ee965c5498fb2a73e4ec42482e9b6b3f25d","datavalue":{"value":{"amount":"+0.8547245","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4862762$67D1D08E-4990-4980-A1AB-D8B3F2187C65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"098864d4f1623b9dae5e4bd7f3c2bc7e2f7afc21","datavalue":{"value":{"entity-type":"item","numeric-id":4708933,"id":"Q4708933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d1033db9a4a11ba0a25e3ef864c8f4e416aca01","datavalue":{"value":{"amount":"+0.85401833","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4862762$23DADB5D-D20A-4B25-9E7C-59A441366C2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"616ca0cb233449c03fdad8e01897259fba1f52de","datavalue":{"value":{"entity-type":"item","numeric-id":2931267,"id":"Q2931267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"793f13edfb686502120810b02b0ee3753ac2f4cb","datavalue":{"value":{"amount":"+0.8499452","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4862762$C6FF0E41-154B-47B1-89A2-1017CAEDD81D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d67ac1eb6e368d0812d4daea113d2ffa59ab8b9","datavalue":{"value":{"entity-type":"item","numeric-id":3087450,"id":"Q3087450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"130405ec39bc8ccffff7eecd8e374afb52f60ab8","datavalue":{"value":{"amount":"+0.8466189","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4862762$C8AA1C33-9B36-49EA-B216-4F3237EFC584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aecc57dc61e3046e3290a11a2cbf1326f0c96604","datavalue":{"value":{"entity-type":"item","numeric-id":4522330,"id":"Q4522330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"388d1c1bd1f7dc6aee7306aa56e9cbbaf305862a","datavalue":{"value":{"amount":"+0.84256774","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4862762$D77C11E7-20E2-4CCE-8ADB-03D103AEAD2B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4862762","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4862762"}}}}}