{"entities":{"Q4635657":{"pageid":6665238,"ns":120,"title":"Item:Q4635657","lastrevid":53070386,"modified":"2026-01-24T04:10:30Z","type":"item","id":"Q4635657","labels":{"en":{"language":"en","value":"Deadlock and lock freedom in the linear \\(\\pi\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863130"}},"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":"Q4635657$4E55C349-380E-4F4A-A065-AD64C3D6D9E3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"87578440ed1a33df1a353f7b03655580c217d73a","datavalue":{"value":{"text":"Deadlock and lock freedom in the linear \u03c0-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4635657$F056A5CF-8826-4A0B-A498-B821D0A50147","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"59bfc5857dfde89149265724ea65a7caa55bc7a0","datavalue":{"value":"1392.68311","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635657$AA0BA18B-04D4-4E14-9A52-0ABF3B32F16A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ed55b5443335e6f0132644b7440227c720d73721","datavalue":{"value":"10.1145/2603088.2603116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635657$E090519D-5D83-44CD-AA28-0D456659C13E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d55eb18a73a628c8e09a659ca6d5302e982bf63c","datavalue":{"value":{"entity-type":"item","numeric-id":493533,"id":"Q493533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635657$D2F00F52-B277-4DC4-963D-47A22A70274E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6572bdac0e197f580103bb5e9b289936a884acc4","datavalue":{"value":{"entity-type":"item","numeric-id":4635585,"id":"Q4635585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635657$68E16455-10A8-4C5D-A4AF-64BC3C00F141","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4635657$BC2BBD1B-AA3B-45DB-9FB2-2823843B978C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6be2df392fb1949b9cc6f02e83ec600e258c14e3","datavalue":{"value":"http://hdl.handle.net/2318/153607","type":"string"},"datatype":"url"},"type":"statement","id":"Q4635657$830B533D-CC8F-4E99-998D-9DBCB8E87920","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635657$BDA286F7-FE13-4638-98BE-BE562938AFDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635657$CA67F0CC-4D67-4259-983E-06AFECF045F4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b0e4b5c4a56ad756d7e19dc83595317511683e91","datavalue":{"value":"6863130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635657$B70F1A95-0ECA-417A-8917-327A0F7B6136","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"940cb896d2a66fbb3a26f32752f8329203e8a303","datavalue":{"value":"deadlock","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635657$5D71F16A-DE41-4168-B17F-B39BCB7EF7AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20a693bd428a391497ba0775f66fd2ebb6280500","datavalue":{"value":"linear \\(\\pi\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635657$8EF396E3-0F33-4368-8B2B-F62E54CF332E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c47bd69800ec9a3c8fdb3c483630a46ac282cb0d","datavalue":{"value":"polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635657$9D63F1EF-D2FE-40C5-AA3C-0E64BA7603BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"485447b25ea9ae3ba0e28b66b16f57c15b7c1fe1","datavalue":{"value":"types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635657$24DD5B3E-386D-473D-8B73-83CC94073506","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":"Q4635657$877E5F9F-90BC-4F89-BB1C-B978D437A9E6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e36d22c432e763c1fca317fab09ba05fa0c77fbd","datavalue":{"value":"W2085243417","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635657$A99B1E29-E743-45E9-9EAF-929C15AF4D5E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"705471f05b92b57333ebb90cf2ff7005aaa9956d","datavalue":{"value":{"entity-type":"item","numeric-id":5756618,"id":"Q5756618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26d18fd48033dce151fea3d5a72dd76f4c7b295b","datavalue":{"value":{"amount":"+0.8436838984489441","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":"Q4635657$6D33303B-B14B-4F3D-9267-4630C5AE2AAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ee04dd8c5cbe0df74580c97fad466feff2ae68b","datavalue":{"value":{"entity-type":"item","numeric-id":1652969,"id":"Q1652969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a030afff72b385c548c8ea7ef7d50ad991f4366f","datavalue":{"value":{"amount":"+0.8315521478652954","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":"Q4635657$97A0E5EA-5942-43D1-B211-A20B70949160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a1e1241fdb9b4eed8c3adace471561e0f761f88","datavalue":{"value":{"entity-type":"item","numeric-id":2497143,"id":"Q2497143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b83b1b469db09a33004657832a53f56bf1514198","datavalue":{"value":{"amount":"+0.8169468641281128","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":"Q4635657$16041598-93DA-4DC1-86EC-9F8036BD7787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a5517e102f64b6ace98b465b8a2f94de0638052","datavalue":{"value":{"entity-type":"item","numeric-id":3512484,"id":"Q3512484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5161ae31d26f12f625c1c2e684ef029fb8f6cd5b","datavalue":{"value":{"amount":"+0.8112305402755737","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":"Q4635657$199A4141-FE4B-4F54-ACEE-15BCB4157C72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a427cda6a5ce6bbe52dbc17b0c215b61bb5d2e9","datavalue":{"value":{"entity-type":"item","numeric-id":2827445,"id":"Q2827445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29ab7513842d0928f99f571e4d2b67fbb1be98e8","datavalue":{"value":{"amount":"+0.8098137378692627","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":"Q4635657$1CEC8139-94A5-476F-A3EF-D20D58BD778F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4635657","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4635657"}}}}}