{"entities":{"Q3922144":{"pageid":5952049,"ns":120,"title":"Item:Q3922144","lastrevid":55001134,"modified":"2026-02-02T17:03:13Z","type":"item","id":"Q3922144","labels":{"en":{"language":"en","value":"A Proof System for Communicating Sequential Processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3735112"}},"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":"Q3922144$395BB0E8-DEAB-43FD-B558-A191AEEDE1FE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d78c7a7a9be282470fb79c6b4e2d584e4e8ee42b","datavalue":{"value":{"text":"A Proof System for Communicating Sequential Processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3922144$F6AF5BE9-1592-4CBB-9429-3C390600736E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"41a6ed757519135f605ed41af08d095d59ae270a","datavalue":{"value":"0468.68023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3922144$3BB0ED82-B2F3-43EE-8B0F-029DB2CBBF60","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5616e58dc2beded8f34eac8834acb817a0f84000","datavalue":{"value":"10.1145/357103.357110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3922144$80DDA728-5E51-459C-A51D-7B66B2AF7A82","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":"Q3922144$EF8EA623-3858-4AAF-8189-13B9309475A7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-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":"Q3922144$F65728CD-D416-47D7-8B52-FF73A1AEC803","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1ab6bc5d157b764e52f65bb90bd36ef803b58a01","datavalue":{"value":"https://ir.cwi.nl/pub/10267","type":"string"},"datatype":"url"},"type":"statement","id":"Q3922144$2AD1281B-A650-4FB2-989A-A93D1BF6D079","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3922144$047B69A0-08D8-47E8-AE70-F4F647EBFFEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3922144$49DE019E-C7C9-4A0E-937E-1CBD102149C3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a1eebf5fdeff889ca93af7faaf7197f63784e28c","datavalue":{"value":"3735112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3922144$FA745F89-861A-4621-B383-00A7A9C36CC5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9c82afb69cbf64da174c9943eb7f13d62eafc55","datavalue":{"value":"Hoare-style proof rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3922144$F9B7CCBE-E92F-4395-8DA3-1753C0C57B74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24c0946ca1c7cece261e7cb3d3e9af5ea3b79649","datavalue":{"value":"partial correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3922144$85BB9BCD-0902-4D3A-88FA-08C456F6F827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e9d35c24d517d992c7e9becf473ceaefaf6e5fa","datavalue":{"value":"global invariant","type":"string"},"datatype":"string"},"type":"statement","id":"Q3922144$A66552CA-754B-48B4-AC13-B8C38C6D323E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11910342e4675d7e38cc76ce540ba3bd332552db","datavalue":{"value":"cooperating proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3922144$E7FE8D98-969E-45C5-ADFE-BC0695D2650A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb1658b60e766a02ebffc17e47bf24ae50d17b7e","datavalue":{"value":"CSP","type":"string"},"datatype":"string"},"type":"statement","id":"Q3922144$2C90CA71-4D8A-4622-B1BB-D6CC489742B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3922144$60E406DF-B25C-4114-89A6-D2BACBE9853F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb789c4f5b63b1f62a0c8b037defb0c473b2f0e1","datavalue":{"value":"absence of deadlock","type":"string"},"datatype":"string"},"type":"statement","id":"Q3922144$1401A1BD-5DC2-495D-8CB1-800790EE4DC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5ebc797a20b41b114bf017a4c468eb6accb676a","datavalue":{"value":"blocking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3922144$98E70879-2865-4109-A302-2051CAD3892C","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":"Q3922144$D6AE994D-898B-4968-9F5D-4262449EB252","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c5e3ab01f7dfdd46d7a1844dbaff75d76431d73f","datavalue":{"value":"W1984831616","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3922144$7D150E01-5F1F-4017-B595-85BBD5BCF55E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3922144","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3922144"}}}}}