{"entities":{"Q5501929":{"pageid":7531489,"ns":120,"title":"Item:Q5501929","lastrevid":58582224,"modified":"2026-04-05T20:55:14Z","type":"item","id":"Q5501929","labels":{"en":{"language":"en","value":"A logic for true concurrency"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6472746"}},"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":"Q5501929$33C27923-8B6F-4393-889B-50083333AED9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"640b9a8a451c0ddbc36805e50b7e759eab5c1351","datavalue":{"value":{"text":"A Logic for True Concurrency","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5501929$6E28F453-B75E-49AE-8E5B-5B29A2640797","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7c83e61ca0fc14916fbf69128a3df8da4932f6bf","datavalue":{"value":"1321.68355","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5501929$BB9E63BF-80C9-4655-8860-1309A95B277D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b1eedbdd65bf9786a102f39a44a6e798ac5e353f","datavalue":{"value":"10.1145/2629638","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5501929$B651D787-575D-4CD5-BC65-57A54058677F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a84734b2f28e9a35d6144f12b4db78e213891dea","datavalue":{"value":{"entity-type":"item","numeric-id":338612,"id":"Q338612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501929$5542D45B-9C9B-4CA5-80E6-8DA0BD9844C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"90895b93f6477dbed2fd5c5f6a5817499c9aec93","datavalue":{"value":{"entity-type":"item","numeric-id":453543,"id":"Q453543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501929$8B267E72-893E-410A-A41C-BF6BAF41884D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501929$A6A13090-4F21-4629-84C2-4FF15D5C2029","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6e707dd4d7213461cc903b9e4b7897b1f5211ea3","datavalue":{"value":{"time":"+2015-08-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":"Q5501929$450ECB53-2998-4E02-9321-DC01BDC3CCCE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e4df1afdb3689cd05661dc154f3bb254216a3243","datavalue":{"value":"https://arxiv.org/abs/1110.4094","type":"string"},"datatype":"url"},"type":"statement","id":"Q5501929$27F9365D-2065-45B3-A0A6-20AB7C092E4E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5501929$A710AEDB-DF58-4546-B65F-CCBA1EE4000B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5501929$F630F2C5-7A16-4614-BF38-6723E6DDA51A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9085a33d24cd25925f65dbdeb07cb01a6bfb1441","datavalue":{"value":"6472746","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5501929$1DA1F5A4-78BF-4554-BEF6-889C2827DEBC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c798bc82d40898e5a150c07cc309b46baa155c3","datavalue":{"value":"true concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q5501929$ED1018DD-F20E-423C-8E25-5CB3395CD321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f79e31496d11f73c7d8c7a3026ef41cc58d335a8","datavalue":{"value":"behavioural equivalences","type":"string"},"datatype":"string"},"type":"statement","id":"Q5501929$16C3F337-99D8-4BCE-BB63-CC733DEFB9B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c40ddf808060ba42d097128ffb37e89bf3adfd06","datavalue":{"value":"causality","type":"string"},"datatype":"string"},"type":"statement","id":"Q5501929$9DE3AF97-9652-463D-8626-F18E74D1DF4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9543d191890c3fc35c2b31a437a879636e45869b","datavalue":{"value":"event structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q5501929$4C916F4B-6C6A-4215-A4C4-2B9F790EFCA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfab0d0d3ba777bc7b15061e7e75fd00096740d9","datavalue":{"value":"history-preserving bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5501929$ECBAE681-C2BD-4AAB-ABA1-CD9BF9EF1E3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7aa3fdbdf3b7584bcd007098b5e184978502a1cf","datavalue":{"value":"mu-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5501929$3CB77FE5-76EE-4C88-A79E-8CF026DB906E","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":"Q5501929$B68DF752-EF8D-44CA-91F9-37B422E46E7D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d1448d6c8210d47bbd867254f73ed2e160c42ee7","datavalue":{"value":"W1766510866","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5501929$A82C54A6-7EFD-4D57-82C7-69990587D2D9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"51bcb66389af5c9800030e05f1760a3ae6c9169b","datavalue":{"value":{"entity-type":"item","numeric-id":3584927,"id":"Q3584927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501929$AE1131F4-764B-4180-B213-14BB75A97332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acc59e1a97f709973d7c5b044b91b207ea41b5c1","datavalue":{"value":{"entity-type":"item","numeric-id":2639636,"id":"Q2639636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501929$983B5718-6610-4C2C-8EEB-128820243C69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bb4a1b31e9e3174c7a913bf8b623fb33dd0f5f6","datavalue":{"value":{"entity-type":"item","numeric-id":3150204,"id":"Q3150204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501929$C1C8F8A9-35FA-4B82-96E4-8EFEA3FEE96C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83161df7af63eedc4290251972386040268e71f4","datavalue":{"value":{"entity-type":"item","numeric-id":5394588,"id":"Q5394588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501929$FF668E96-B4D9-4F7F-81FC-B1E365F32C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0513e22144b53456c6aed2f4f352bcd7b7121d93","datavalue":{"value":{"entity-type":"item","numeric-id":4015945,"id":"Q4015945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501929$B8F9C6AB-0670-4100-9E0A-792FBFCB3025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fc7354c078ca1bcf23d6037391e2a7ec7a2200a","datavalue":{"value":{"entity-type":"item","numeric-id":1817220,"id":"Q1817220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501929$B901A85E-A309-4E01-8B92-DC87B519776A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1000ea3c7437af88e8dc77a6449b31406f60ba3","datavalue":{"value":{"entity-type":"item","numeric-id":4941914,"id":"Q4941914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501929$FC250E0F-0D10-48B7-A90E-369510E8A821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c78a3a50de3ff9fbe1c2ef9d48d581cfc82992e1","datavalue":{"value":{"entity-type":"item","numeric-id":2486254,"id":"Q2486254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501929$77D6E2DC-A9DA-44D9-9919-39EA9F33C7CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4655dc37d8fb0adc7f681684ac655d481db130a1","datavalue":{"value":{"entity-type":"item","numeric-id":3617720,"id":"Q3617720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501929$E922159E-0454-469B-9E67-B36DF4DA44F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fc77ddef9bb73197043afa79eb88f37f0586f2a","datavalue":{"value":{"entity-type":"item","numeric-id":532389,"id":"Q532389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501929$4C6DC4CC-AD67-45A0-9CDF-CCAAC502AB16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d4baf4cfc136de4baadaf98b4e69050d207c707","datavalue":{"value":{"entity-type":"item","numeric-id":3184685,"id":"Q3184685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501929$03E5D30C-A110-4DE5-B822-87C1AFAEF1DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501929$FA624854-2B6F-43D0-A574-BFCF3626DC38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4492fc9d681b8fd74609e5ac1ed3ead3d0aab736","datavalue":{"value":{"entity-type":"item","numeric-id":3704887,"id":"Q3704887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501929$FB1C2882-47C3-4DBA-9CDE-D5C4F13909AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91869d0ebd85d409febc981bba3d100f4938d22e","datavalue":{"value":{"entity-type":"item","numeric-id":1923101,"id":"Q1923101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501929$A6A54A64-9B03-4AC3-97BC-7BB3A7713F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3a89304773bc457e5fef3c469cc695eb89fc11d","datavalue":{"value":{"entity-type":"item","numeric-id":1401953,"id":"Q1401953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501929$EC21E64E-7B9E-4042-B25F-28A6B66D795D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd27afdeb3b0ce480fb87fec4d84bb5c36040b57","datavalue":{"value":{"entity-type":"item","numeric-id":4847022,"id":"Q4847022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501929$360D4C97-1C81-4F1D-8249-2D9025C52B69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"270a066a6aceb1912b7c375b7b589a7b3cd15951","datavalue":{"value":{"entity-type":"item","numeric-id":1148680,"id":"Q1148680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501929$6713DE8C-4BB4-4ACD-9FCF-6486265F08EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7cac7fbe3edf8dd45e61377edf3265a1c6bdbb5","datavalue":{"value":{"entity-type":"item","numeric-id":3805922,"id":"Q3805922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501929$3EC0BEB6-7D2B-4AAF-99FA-E13B992083A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bde89a2565987f3fce774ef2cf6b25f306124df","datavalue":{"value":{"entity-type":"item","numeric-id":2760238,"id":"Q2760238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501929$30262AE0-3EA3-4064-974C-10651DE7D6E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba736d12b0ddb1288a9f5a0bdddcdbdfa89750d4","datavalue":{"value":{"entity-type":"item","numeric-id":5925821,"id":"Q5925821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501929$A7C14E50-9AEE-4050-80AF-15B84967E5B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8537f6a57826b3db1ef7a461ab0575417933ffc7","datavalue":{"value":{"entity-type":"item","numeric-id":4036588,"id":"Q4036588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501929$8D21E14F-FD52-4AE8-917D-5CA833EA633B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ca540a9d5ebd796fe6a5e693155f03d52cd441a","datavalue":{"value":{"entity-type":"item","numeric-id":4225153,"id":"Q4225153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501929$7343D358-90EE-433C-A2A0-E1CE8C30501D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"0ee566367785ee5f41ec1796cd213d54f8793333","datavalue":{"value":"Q130864088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5501929$62A06A99-84F3-41BF-93FD-6EF88F392DA6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a80dff32e03f11cd2e067fc4f19317f0fe7cca91","datavalue":{"value":{"entity-type":"item","numeric-id":3584927,"id":"Q3584927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c182c5ab3c1998ebd5df937391bddfe551da34d1","datavalue":{"value":{"amount":"+0.983595371246338","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":"Q5501929$5A2B6BF2-DF68-47C5-AD6F-C346C296534E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36344bd309b4d9fa226075a0ab7bf1d14008ed74","datavalue":{"value":{"entity-type":"item","numeric-id":2988383,"id":"Q2988383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"978df40fcdccaa9f3af4c59f865e63a245f9d97d","datavalue":{"value":{"amount":"+0.8347238302230835","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":"Q5501929$9609A7FA-2814-472B-8687-BCEE5FAE094D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a343c304d2c8494bb30668ccdc25219fb045504","datavalue":{"value":{"entity-type":"item","numeric-id":2848423,"id":"Q2848423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99629cad0c99466d47b3f517511e15f2f2b82e23","datavalue":{"value":{"amount":"+0.8241634964942932","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":"Q5501929$F7703D7A-2A86-4771-A0BF-68C17525DE7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8be6e4690953a4de13c020298adf5656f1868960","datavalue":{"value":{"entity-type":"item","numeric-id":3358716,"id":"Q3358716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62a974b103277d28c0c99525b999d57201143c91","datavalue":{"value":{"amount":"+0.823954701423645","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":"Q5501929$DDDA06B1-B8B3-4091-9882-37EC89D014EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9080a9d552ceeffdf221bf522f2a4ab1d3869895","datavalue":{"value":{"entity-type":"item","numeric-id":5034222,"id":"Q5034222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39aa24d80802c82c1b09d49bc6adb00e66e25cad","datavalue":{"value":{"amount":"+0.8224729299545288","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":"Q5501929$A602690C-D0D2-499A-BBEC-B261887F5E69","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5501929","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5501929"}}}}}