{"entities":{"Q3694669":{"pageid":5724575,"ns":120,"title":"Item:Q3694669","lastrevid":87554897,"modified":"2026-06-04T11:58:45Z","type":"item","id":"Q3694669","labels":{"en":{"language":"en","value":"Two complete axiom systems for a theory of communicating sequential processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3919791"}},"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":"Q3694669$C7143078-5F7B-481E-A723-E2F3564BA802","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ed4580af918a62cd8bd33e0e8da5ed480ac6489c","datavalue":{"value":{"text":"Two complete axiom systems for a theory of communicating sequential processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3694669$49BFFE5A-9989-4CFD-B606-199ACF5E9E4A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a76b412b672227559aab5d4ebb08c48f84831dfe","datavalue":{"value":"0575.68020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3694669$1EC0FC06-7FE0-4909-8DF6-084C87440709","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6837f7e3678d95b94b510e3419e62b7496e270ff","datavalue":{"value":"10.1016/S0019-9958(85)80048-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3694669$566CE513-40B8-4AA7-829B-B0D74602B478","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"467355300579464725662c12a473c283bc71860e","datavalue":{"value":{"entity-type":"item","numeric-id":384931,"id":"Q384931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3694669$E41E0427-6740-41F2-8E2E-A41901231A61","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4434820098e3b6c980c31814818af7c68f56bd22","datavalue":{"value":{"entity-type":"item","numeric-id":2832035,"id":"Q2832035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3694669$E19C826F-DB52-4052-8A2D-73E30EC12B3D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q3694669$A5B16560-0A0D-4BF6-AEBA-441BDDC00A67","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3694669$FC9EA9A6-AF37-4C40-AA93-0941D10FC0CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3694669$1C480D8E-CAA2-4BE7-82CD-82BA4DF34A30","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e5dc2dc606aa8b6082269d11eaa0f0c82965b800","datavalue":{"value":"3919791","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3694669$D0850130-61BC-4746-B89D-5A5D2DF57D62","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb1658b60e766a02ebffc17e47bf24ae50d17b7e","datavalue":{"value":"CSP","type":"string"},"datatype":"string"},"type":"statement","id":"Q3694669$01A88991-E4E9-46FD-88CD-9C41C0B228DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3694669$A4676979-A964-476F-AC39-00A364FF580C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f754dfb98468413b54a72c3952cd5883fb04bd00","datavalue":{"value":"Q114656779","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3694669$D659B819-C3DC-4D16-930A-90F72AEDDDE6","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":"Q3694669$4CA5B511-AE73-47E1-9772-990F2F42ABA7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b373cc8b14cb437464ea39c519c64eec68dfd349","datavalue":{"value":"https://doi.org/10.1016/s0019-9958(85)80048-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q3694669$914D2ACA-FB52-4F35-818D-1EB525E290AE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0daa4826e3980e1d722dadc5fd5016d1edac564b","datavalue":{"value":"W2038505412","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3694669$4E69FE02-3CA0-4D20-B2A0-14ADFEDD2B36","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Two complete axiom systems for a theory of communicating sequential processes","badges":[]}}}}}