{"entities":{"Q5056000":{"pageid":7085577,"ns":120,"title":"Item:Q5056000","lastrevid":92258726,"modified":"2026-06-05T01:16:18Z","type":"item","id":"Q5056000","labels":{"en":{"language":"en","value":"Static Analysis of Multithreaded Recursive Programs Communicating via Rendez-Vous"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7631453"}},"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":"Q5056000$DFB94300-262A-41F8-995E-7C9C81589281","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5aa27a3b1dc919b1ecefd992101f59536773b61f","datavalue":{"value":{"text":"Static Analysis of Multithreaded Recursive Programs Communicating via Rendez-Vous","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5056000$E126EEC4-3F07-4F1F-90B9-0E6194062B41","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fe8c8180bcef3af3d0fca1c6a3b6550dc8bb249a","datavalue":{"value":"1503.68047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5056000$FEFA5046-F809-461B-A35D-B1A76F7D3E5E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aa76aa3d8102549f9f4e539963f7c0fddceac9dd","datavalue":{"value":"10.1007/978-3-319-71237-6_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5056000$07D82BE4-17AF-4466-9DE4-7EA7FEECE542","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c54d62ef0ac476071efaf1d32c10923287eab0cb","datavalue":{"value":{"entity-type":"item","numeric-id":2165217,"id":"Q2165217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056000$9E3E0B8D-3119-44CF-8ABB-3E80C9BC9BBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4210cde0488918f9e758e0070524bd78d3176514","datavalue":{"value":{"entity-type":"item","numeric-id":402128,"id":"Q402128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056000$3D5B416F-0536-4606-A01E-7EDFA406C027","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056000$EF9EBBB5-D725-4233-989B-6395A732C33A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11447fc0ad9bdb1f5ac45f1763d7f4fd1b0676df","datavalue":{"value":{"time":"+2022-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5056000$981BA817-2733-4B76-9448-21A9B749B338","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"924fef251ddd2f4e406f18a2932603f12ed1613e","datavalue":{"value":"https://arxiv.org/abs/1907.02834","type":"string"},"datatype":"url"},"type":"statement","id":"Q5056000$3F071229-83C2-43B1-86B1-86A51E31B6E7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5056000$2FA1B9E0-DFE7-4BB7-8734-1FB25E09A738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5056000$A6A5FBCD-53A9-4C6D-8F54-139DED57538A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5056000$B68ABC67-BFCC-4E1E-BC6A-46D8C391AC76","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9b4ed5bfafd0f89fd8b1519af3f67d7b26095cb8","datavalue":{"value":"7631453","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5056000$1FF23F90-07F0-473E-A7AD-D3975CF96D9B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6247df198fae23a5e3dd6f18640f39bea277e3c9","datavalue":{"value":"dynamic pushdown networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q5056000$9AF6068B-E0B1-4975-A27D-1563EBBA1244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fa36130e82077da1500a611dfdd0f247e985b15","datavalue":{"value":"synchronization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5056000$07AC150E-17C2-4E6D-9338-3B61337BB781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"efb3cac4557ada2b5d9fec134a0b84801721bc7b","datavalue":{"value":"execution paths","type":"string"},"datatype":"string"},"type":"statement","id":"Q5056000$6B023F11-C9BE-4BDC-A234-053BA9D80427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93ad74432a97864515236c973c2e4875f9123125","datavalue":{"value":"Kleene abstractions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5056000$DD4D5852-9E32-4885-ABF2-FB1EA295172B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b20bdd44ba5dda1408033b52815544ca46ca60dd","datavalue":{"value":{"entity-type":"item","numeric-id":26067,"id":"Q26067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056000$823A2ADF-78F0-47AB-B30C-C3868A5BE3F9","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":"Q5056000$301F2B01-3577-442B-A0F1-ECB8CA6FDF12","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cb63c8a15a568dcbbedc8cc4e1f161113240c0f7","datavalue":{"value":"W2962712590","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5056000$D28CECC4-F6E4-4F15-8E43-44D9DA3A66B5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6d44e0d283ee4a6747f41419e53b399d833e2ad","datavalue":{"value":{"entity-type":"item","numeric-id":5897782,"id":"Q5897782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056000$C64BF7AF-DD2A-4250-97E5-85986F4915F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05714b3da002b8b1bc619de4e60891497dad85dd","datavalue":{"value":{"entity-type":"item","numeric-id":2942913,"id":"Q2942913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056000$B7125D60-2C1A-4DF2-9DAC-09DE51C5B83F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5293f2f0deca0f93ed1dd066b1b8b9ab3717d0e1","datavalue":{"value":{"entity-type":"item","numeric-id":2851071,"id":"Q2851071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056000$C81FD5B2-296C-4225-A9DC-45DB47AF4F4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34c82e9f6dc46a17a1531710a1314df285e95f1c","datavalue":{"value":{"entity-type":"item","numeric-id":5897502,"id":"Q5897502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056000$BAF5FE9E-4F85-47BA-B608-6AF6603E5D69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bbe7a299d570facbdd631c622bdeafdcc911790","datavalue":{"value":{"entity-type":"item","numeric-id":5899068,"id":"Q5899068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056000$245AA3C7-A05D-4E7B-8FE5-255719DBD78D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a133b2b9476ffc4401b56d83bdfd1f487592e7be","datavalue":{"value":{"entity-type":"item","numeric-id":2754086,"id":"Q2754086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056000$F9E40F70-D673-4A2B-A220-9B334F192102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06a1669ea55c70484627fcb886923a0a7a7abbca","datavalue":{"value":{"entity-type":"item","numeric-id":5703798,"id":"Q5703798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056000$01583221-7D9F-4FB9-B996-2FE8835CF2A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ee0c598d6ddfbfae4ea8479557380be0e2aa296","datavalue":{"value":{"entity-type":"item","numeric-id":2568453,"id":"Q2568453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056000$142FE2A5-2160-47F9-B3D8-2310D031B5E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbd36a34ff94de1878e8f7d64f1a5161e9c9a57b","datavalue":{"value":{"entity-type":"item","numeric-id":3558251,"id":"Q3558251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056000$EAEBCDEE-9D9C-4E8D-A34A-7BDF75989048","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e5b73d9298f194ee9b9ccc06d2ed0d66bbe6810","datavalue":{"value":{"entity-type":"item","numeric-id":5897782,"id":"Q5897782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83fb7581288d3bfbe94c6b93a8232ff75d4da1a0","datavalue":{"value":{"amount":"+0.8006730675697327","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":"Q5056000$BE8832DD-4E32-47E8-BDED-08087830F42C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d37a362d214d39636c985928d616222826bb76f3","datavalue":{"value":{"entity-type":"item","numeric-id":2851071,"id":"Q2851071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7e7c9b16124700572fbc064cdb907f2c59647d1","datavalue":{"value":{"amount":"+0.7937604188919067","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":"Q5056000$110D3B8A-A423-41C5-B993-A7FEF43DEA12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d35e5285678827cbbceee9ed5a5efd863a1e6173","datavalue":{"value":{"entity-type":"item","numeric-id":5897502,"id":"Q5897502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ccd9ee8c5c5418ed5bc9107a8ad0064013d6f09","datavalue":{"value":{"amount":"+0.790342390537262","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":"Q5056000$A29BDBFB-F75A-4922-ADDB-AE2ECA700B92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f053beef2992a6eb6c8a6e7c69aa91d73e3bef7a","datavalue":{"value":{"entity-type":"item","numeric-id":5696926,"id":"Q5696926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"037b03f54f5f6882b1cbe04a0dcd7d3ad3f8843f","datavalue":{"value":{"amount":"+0.769905149936676","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":"Q5056000$3A37AABD-9CCF-49E4-A8F4-682C20C00CB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be80bdc1978d2b4ffa7991ea350b7af105e7f93d","datavalue":{"value":{"entity-type":"item","numeric-id":2942913,"id":"Q2942913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f93617342297b9f3ae62a27120abab3a033e5a93","datavalue":{"value":{"amount":"+0.7699049711227417","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":"Q5056000$56F11183-5179-430D-8347-D92BB9698A34","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Static Analysis of Multithreaded Recursive Programs Communicating via Rendez-Vous","badges":[]}}}}}