{"entities":{"Q4305350":{"pageid":6334951,"ns":120,"title":"Item:Q4305350","lastrevid":81913898,"modified":"2026-05-06T19:39:21Z","type":"item","id":"Q4305350","labels":{"en":{"language":"en","value":"Linear Logic as CSP"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 638374"}},"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":"Q4305350$45C401FF-FA8F-444D-99A0-1C02BC593B9F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b04470f43a37c8b448505755c79065280d1913c6","datavalue":{"value":{"text":"Linear Logic as CSP","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4305350$CC62026F-9E42-4A22-86FE-A21A4F5BA68E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c0e48837d1874c8a83bd0a9d8b55d4ac0214ecfa","datavalue":{"value":"0824.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4305350$96A3282C-40F0-4AAA-90EE-E20ADE3AABD5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"56a36081623f0ddbb1d9d9b3831c304c2801be7c","datavalue":{"value":{"entity-type":"item","numeric-id":4305349,"id":"Q4305349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4305350$8F7C77F4-E627-4157-9949-D538B5F74F0F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a511c8ef0b44d10360e4b2f51c22be5a4c1a9ced","datavalue":{"value":{"time":"+1994-09-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4305350$FEAEBFA2-0CD5-448F-AEDA-DFE032C30705","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4305350$BE9BA2FB-A301-45A3-80CB-8A06DF87A000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4305350$3A38DF9F-B04C-4E44-A027-FC06F3C45442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4305350$BAE73FFA-B30F-40BD-8C45-715C9296FA4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4305350$DA810011-13B8-49D5-993E-7D091929648B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"17001a85593a72803ea3c1e759afd4143598ac96","datavalue":{"value":"638374","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4305350$D4046262-C6B5-4F04-99DD-CC5447112C29","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ae8df666112d99fe87dfa9d4eca0b76f2f8988c","datavalue":{"value":"simulation of parallel computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4305350$14187103-60FE-43DF-B6C9-9795265262A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5b93f652c729007f1bf31a9bf0fb936ab7a0ab3","datavalue":{"value":"normalization of proof nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4305350$C0E9E7C7-7DB4-4838-9A21-AF5A7B4D3C8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d254d643f8492387881077f75657dac68db2060","datavalue":{"value":"multiplicative fragment of linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4305350$02CA8385-FD50-43EB-B4D6-B0E3F8A48FAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c253280367e5852d8c4715b30d32c3da1322bd6f","datavalue":{"value":"communicating sequential processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4305350$8A1E00F5-DB08-44AA-9510-AC221CD58665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4305350$BE06EC43-1C3F-4527-BADF-CE46866469DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ac4ef6ef6c5f8856ee80195276e724e0b6225a","datavalue":{"value":"correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4305350$7325E868-7724-4DE9-8798-56F5E9BF1ECF","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":"Q4305350$20F92421-9F4A-4842-9C54-26894F8AE34C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"df5392bb5ecf46d66a22bc4a051da1ca8d857310","datavalue":{"value":"https://doi.org/10.1093/logcom/4.4.405","type":"string"},"datatype":"url"},"type":"statement","id":"Q4305350$248EAB07-025B-4844-8F44-936084A74170","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0fa1917a99dc9b58b942295c2255f1dfbf8ce8a1","datavalue":{"value":"W2013393651","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4305350$AC41BC29-D177-44CE-A158-CDB8F07C397A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f6c9403f2a66e0f63d3be071bf2fb52a407c6291","datavalue":{"value":"10.1093/LOGCOM/4.4.405","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4305350$5811B4D3-ACD5-49FC-8CD9-2E67984408B3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4305350$8D4562A3-D289-419C-A922-D71F925C1649","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d8e691198e24242b5309c7e6a7afb2b53aec453","datavalue":{"value":{"entity-type":"item","numeric-id":1342247,"id":"Q1342247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3720fb79ccae16410588815d796a089661271352","datavalue":{"value":{"amount":"+0.8248493671417236","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":"Q4305350$7E38AFF9-E58C-4F07-AFCD-05E6E4243EB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3837bf372fb081e7e469905c459161e17c08ed3e","datavalue":{"value":{"entity-type":"item","numeric-id":4236204,"id":"Q4236204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02c227752e2c28434b4b74c8560f4c8a4804aca1","datavalue":{"value":{"amount":"+0.8214036822319031","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":"Q4305350$DEFB44B8-A8D5-4917-B963-A0D6B8160BDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92ad6bc08dd970785cf658eb046639b76bd87cf2","datavalue":{"value":{"entity-type":"item","numeric-id":4027625,"id":"Q4027625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c9a3f77c49cadaeade785e9689d36d94d52322e","datavalue":{"value":{"amount":"+0.8026647567749023","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":"Q4305350$E65B4845-34E6-4D0C-904A-BCCA173CBC96","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Linear Logic as CSP","badges":[]}}}}}