{"entities":{"Q1088403":{"pageid":1099155,"ns":120,"title":"Item:Q1088403","lastrevid":69613575,"modified":"2026-04-13T08:12:48Z","type":"item","id":"Q1088403","labels":{"en":{"language":"en","value":"An algebraic theory of fair asynchronous communicating processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3990853"}},"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":"Q1088403$F46DC90E-4F57-42CF-A7E8-DB385756B945","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"35e81799ae931aaea0ed5bf8c3448e6d2cfa2e2c","datavalue":{"value":{"text":"An algebraic theory of fair asynchronous communicating processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1088403$1E279D8D-2535-412B-B483-2ADDA736BD5A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"89fb449f43fa7a68bac1277b7f50658aeb2b721c","datavalue":{"value":"0612.68026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1088403$3AC28427-6934-43AE-8AF6-BC3F4077F6ED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a8e7ea169da4c589dc8c49d3df55d2a6eeebbfad","datavalue":{"value":"10.1016/0304-3975(87)90004-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1088403$F427D934-0280-4AC7-BC0C-44C113E73589","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1088403$1A412AE4-3BDF-40DE-90E9-0623EC28A1EE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1088403$EC70CD0A-A2F7-4FAE-A4E5-28D16F7105BC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"535bf0b39e8c65752f633390714482f5d03230d0","datavalue":{"value":"Cf. the review of the preliminary version [Lect. Notes Comput. Sci. 194, 260-269 (1985)] in Zbl 0566.68022.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1088403$30CE2BB5-4279-4ABC-9FCD-406D02062211","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1088403$24F6814E-8534-4DCA-AC0F-3FC8DCA09485","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d2dc461bce7927348eee9b741d3bef99ab5fe8a1","datavalue":{"value":"3990853","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1088403$3920F212-6402-47D1-B043-87511A41DE47","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c124433b6e21c61d04b25eff1f80ec1aca366b9a","datavalue":{"value":"fair asynchronous communicating processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1088403$D8FC98D7-C568-49A0-940C-90EAE200F384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1088403$32A29032-B638-44DA-B6B6-2016A9978EF1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4defb854fecd50f7286406c1c01a07626e69744","datavalue":{"value":{"entity-type":"item","numeric-id":1138390,"id":"Q1138390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1088403$9B901367-3CAA-4566-BEA3-456794DF313B","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":"Q1088403$B92CB2E3-2B4F-4FD1-BBE9-804042D8E51B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ed66a22882e173dcfb0868e3fbb029b57ebe491f","datavalue":{"value":"https://doi.org/10.1016/0304-3975(87)90004-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1088403$7B49AAB3-9F9B-487D-85D6-DCCC0A0A42B3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1d280c17f208b71780520b2a39f5832977acee7e","datavalue":{"value":"W2048399275","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1088403$D3E3B1B4-F006-43AE-91DB-76766EC91679","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b3ed42e6afa67e0a876b228125ab53413fe2a0f","datavalue":{"value":{"entity-type":"item","numeric-id":1050109,"id":"Q1050109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1088403$29D8FCE7-FDBF-48AD-800C-CBB1FBD5B95A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c35a1a80c0da3d3f61672040176573b0342fc7b3","datavalue":{"value":{"entity-type":"item","numeric-id":3667927,"id":"Q3667927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1088403$8C83B176-6320-4373-A6D9-70535E8DED0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e215efa0374b9ac3d4f39aaabe0c97071421da30","datavalue":{"value":{"entity-type":"item","numeric-id":3678656,"id":"Q3678656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1088403$D573A5C8-CCDC-4948-A794-BAAEA0FF73CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a88e06b186a83bc1abbde69c4cd83326d414709","datavalue":{"value":{"entity-type":"item","numeric-id":1348526,"id":"Q1348526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1088403$7D62B4BE-C221-4347-AC9A-ACD31E5EECE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e5963ea28037dec9fe662323c70cab231400aeb","datavalue":{"value":{"entity-type":"item","numeric-id":3334070,"id":"Q3334070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1088403$E98AB47B-EA4C-455C-80C7-ED5FF6801BEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44983e2ae363bc5c2752c63f157ff2598b292b6c","datavalue":{"value":{"entity-type":"item","numeric-id":3771649,"id":"Q3771649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1088403$E23EC716-232E-49A6-8838-42A858AE1271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1088403$B5BE935B-6FA1-4127-BCD6-7DCDD401719D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0be2d7a498e1fa1a8eec9f77d2e3dbc81e945234","datavalue":{"value":{"entity-type":"item","numeric-id":3906397,"id":"Q3906397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1088403$8E6AC7E3-5816-46D9-A953-AF6CAAA43B4A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An algebraic theory of fair asynchronous communicating processes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_algebraic_theory_of_fair_asynchronous_communicating_processes"}}}}}