{"entities":{"Q3666272":{"pageid":5696178,"ns":120,"title":"Item:Q3666272","lastrevid":87587573,"modified":"2026-06-04T12:04:02Z","type":"item","id":"Q3666272","labels":{"en":{"language":"en","value":"Correctness Proofs of Communicating Processes: Three Illustrative Examples From the Literature"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3819097"}},"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":"Q3666272$23B1DD84-B7F6-4B70-9C9D-9FB16104728B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cbef418d6222a1faf484997f712d9a7e565d939f","datavalue":{"value":{"text":"Correctness Proofs of Communicating Processes: Three Illustrative Examples From the Literature","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3666272$FEDAB742-E03F-45CE-8FE3-B61B59166EA2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5f7084b858b4cd0b0dec1e52f453e013ab7890d2","datavalue":{"value":"0517.68054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3666272$FDB3EA35-7784-4255-8D20-07B3B7F509D6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0c23d68eed4761333aee54e5dbdc1ac3922ddb15","datavalue":{"value":"10.1145/69575.2083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3666272$71E36484-AFD1-4F81-8139-2155CB23A1F5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"31330c42c8147371f9ee5b3c40cec52360a6dd4d","datavalue":{"value":{"entity-type":"item","numeric-id":3666271,"id":"Q3666271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3666272$084AC13D-0255-4C0E-8852-967ABC156E7A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2bde53cdce44ac12832cdf9553e245848df9d2c6","datavalue":{"value":{"entity-type":"item","numeric-id":3038608,"id":"Q3038608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3666272$7DA9436E-2962-496C-999B-E7E0669ADEB4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3666272$84DC4C87-5346-43DC-BA29-0ABF8B460DBD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3666272$88A26145-FD44-492E-86C1-26E3DDB45758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3666272$A0ECCD44-29BA-4E2D-9210-B5FDE3F19CAA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"302c208292c1f4debed24b968207af91962af179","datavalue":{"value":"3819097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3666272$98CB0E3F-C6A2-46B6-B790-070E05F78D54","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3666272$65BCF209-FE88-4D3F-B606-42D2639DB2D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7babf4f7a62b699aed34cb04bb52d351807e18a3","datavalue":{"value":"message-passing systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3666272$5302611B-E430-4EEA-8822-8E925C5F7757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61f85335f454fc766a158a875e76ae70cb3dde56","datavalue":{"value":"program proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3666272$8B7F1E5C-9EC3-4274-81DF-2CA82C1BC219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"771341eea99af09c394c36d8003cac4f61bb9e09","datavalue":{"value":"rebound sorting","type":"string"},"datatype":"string"},"type":"statement","id":"Q3666272$918AD287-1BB2-4E5B-B552-25221C783586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c253280367e5852d8c4715b30d32c3da1322bd6f","datavalue":{"value":"communicating sequential processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3666272$63129458-9716-4CB5-B9E1-FDB6A2F02275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb1658b60e766a02ebffc17e47bf24ae50d17b7e","datavalue":{"value":"CSP","type":"string"},"datatype":"string"},"type":"statement","id":"Q3666272$4E02B8F4-5292-4651-846C-55F17938BF22","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":"Q3666272$0FA7BB95-E6BA-4DA1-9C03-C0D48EAE2A84","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d1acc5d78c6cf275dfca055d92f9f184580b6ac4","datavalue":{"value":"https://doi.org/10.1145/69575.2083","type":"string"},"datatype":"url"},"type":"statement","id":"Q3666272$B506C983-EAD6-44DB-8A82-26F19850DF52","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4cfa2da90f46f93e6f965e7ac7f3cc4607816b1d","datavalue":{"value":"W2003164038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3666272$E480A325-B4CC-408D-86FA-3B02C021B5A6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Correctness Proofs of Communicating Processes: Three Illustrative Examples From the Literature","badges":[]}}}}}