{"entities":{"Q1139946":{"pageid":1150695,"ns":120,"title":"Item:Q1139946","lastrevid":66921153,"modified":"2026-04-12T13:44:39Z","type":"item","id":"Q1139946","labels":{"en":{"language":"en","value":"Semantics of nondeterminism, concurrency, and communication"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3677233"}},"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":"Q1139946$DA3F8B52-4F53-428A-80F1-9BFED6524986","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e89a9518d2b969deac76c873cd1879c3dea6dd09","datavalue":{"value":{"text":"Semantics of nondeterminism, concurrency, and communication","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1139946$E7EE5825-33ED-40B1-A4A5-CA0B3B33F181","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f53f83a44373de513f592d3719da93dec2a990e1","datavalue":{"value":"0434.68066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1139946$7B91DDA2-6968-4BD6-B650-90349E2446F9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c49236f281e43b2fc9fe1428757354387eac084d","datavalue":{"value":"10.1016/0022-0000(79)90006-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1139946$12E04083-651D-418D-BC0D-B8088D61BED7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aedf720352fcca932fab3523c4bbcafd7c4c7cdb","datavalue":{"value":{"entity-type":"item","numeric-id":1104176,"id":"Q1104176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1139946$0CB3A82B-481E-4C1C-A7D0-6A3F3E2CA7A7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1139946$4484EAB8-26AC-4942-B1DA-B998CB759F63","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-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":"Q1139946$524E8AF9-AB80-4990-8A33-A088102DEB8B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"05823bcbce9b9abde68e5eafce67dd631513b9fb","datavalue":{"value":"https://dspace.library.uu.nl/handle/1874/15886","type":"string"},"datatype":"url"},"type":"statement","id":"Q1139946$DAEBABA8-CA51-4C40-8537-38417268F6D1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1139946$030A6EE9-E471-43E5-9F06-3FDF1EFE1904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1139946$DD9FCA50-5A09-43A2-86F2-772FFD427F60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1139946$E285B43B-AA66-4F80-9E3B-FCD5565830E9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"542d2c133c3d9c06f7110eb3e3cc7efb279da822","datavalue":{"value":"3677233","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1139946$2D5B9DC7-9D14-4F3B-8E9B-703294A8EE04","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"856826ed672be6e08eb0029951f04f1da17c463e","datavalue":{"value":"concurrent programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1139946$57484A63-F371-4BC1-A8EF-72DE39E71D3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ecaeeab4e4e28087c0875bb73cc6106bd3ccc0a5","datavalue":{"value":"domain equation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1139946$800C0517-1CAE-44F4-96A2-F8B88FDE0700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9a7b0cf17169865b15e8c9d7014c24bafb8410c","datavalue":{"value":"fixed points","type":"string"},"datatype":"string"},"type":"statement","id":"Q1139946$AC38F07E-F454-424C-BB0C-744DE394A47B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"976ade8af42b4848d42968ad6ae5ee3ad1005d27","datavalue":{"value":"binding termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1139946$B82FB3C8-2174-4E5B-B623-F73C96A0E1DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3fd83cc2b811a478fae92d90f62fc8892efb3ae","datavalue":{"value":"denotational semantics for a high level language for distributed programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1139946$CD190C0F-E7FC-4A1D-BB82-213FBE613FE2","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":"Q1139946$7D0EF49E-8606-4480-B0AB-52E195CCB8E2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c4161491303ac2a4ca125890a2dec3825f181153","datavalue":{"value":"W2152957765","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1139946$4D698FEA-649E-4656-AC82-4ECA58A07108","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a98d35b307a232a4c7a961285d22ec864173245","datavalue":{"value":{"entity-type":"item","numeric-id":4125720,"id":"Q4125720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1139946$A098064F-32DC-45AE-AB9E-BA9FE39CC698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"226149966044b48001c0682076573b6d91099455","datavalue":{"value":{"entity-type":"item","numeric-id":4773988,"id":"Q4773988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1139946$CEB67875-8B9C-4B8F-903E-7A28152304E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ec3996c14b206674e33c3ff3678191b3d324529","datavalue":{"value":{"entity-type":"item","numeric-id":3922144,"id":"Q3922144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1139946$7ECDA0BD-CBB8-4A91-826E-81D9D9EE27C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"caabd38fa7c3aaa24933710e7b1549af247a0a35","datavalue":{"value":{"entity-type":"item","numeric-id":4151143,"id":"Q4151143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1139946$E5E52431-A490-42D0-B318-64B8C7C2A5D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004642c985382b5c70e78b542aebcb6240614609","datavalue":{"value":{"entity-type":"item","numeric-id":4162644,"id":"Q4162644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1139946$3DC37D48-2AB3-4018-A1D8-211E1481DAC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3528a4c6aa7c1dbb75517b1e32592cd5687df0c4","datavalue":{"value":{"entity-type":"item","numeric-id":4066584,"id":"Q4066584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1139946$2E8117FF-2A05-4B66-A78B-458F8E5ECA66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe5c2b7ba3775d6670cc3f4433080eb488fd8ace","datavalue":{"value":{"entity-type":"item","numeric-id":4054644,"id":"Q4054644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1139946$975CBC76-942A-4D1A-84DD-B89AA5F84BB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc557107289be9a4c0444ad03ef91bd85cca4e21","datavalue":{"value":{"entity-type":"item","numeric-id":4178474,"id":"Q4178474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1139946$DE9FC55E-BFE3-480A-A5D9-8E2BFDEF1CE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"856b93e25e4d1d0f8f1a57ec0b7cae72b039f6ba","datavalue":{"value":{"entity-type":"item","numeric-id":4077434,"id":"Q4077434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1139946$C2895658-E608-47E9-8A60-76FC6EE9727A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"796364eeefb9789a01eab3a144d0337d6c23ee01","datavalue":{"value":{"entity-type":"item","numeric-id":1219675,"id":"Q1219675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1139946$AC706A1A-18C0-4838-A963-3FF5FE02EE2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a24bd10a27e1b8e759cf20e25bbc96fc409e8f8","datavalue":{"value":{"entity-type":"item","numeric-id":4127356,"id":"Q4127356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1139946$48EC6253-6DAD-4278-9699-0A98CEA8EDCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9f293d0fef92619b42dc4811f7c0a2dcd5fe3a1","datavalue":{"value":{"entity-type":"item","numeric-id":4109269,"id":"Q4109269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1139946$2DCA8323-E67B-4779-989E-A10B49ADF348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b379364cb252742c8efdf365072062c0dfb27c0","datavalue":{"value":{"entity-type":"item","numeric-id":5685626,"id":"Q5685626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1139946$4439C998-0E78-40AE-9318-02520ACF4D73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f894835a06dff0f50849bd4ff97552acc97d9b5","datavalue":{"value":{"entity-type":"item","numeric-id":3853124,"id":"Q3853124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1139946$AA543C8A-A352-44DF-97D1-720875B9D6DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cf91379516875102cbd34cc81bf4325eee6d826","datavalue":{"value":{"entity-type":"item","numeric-id":1251475,"id":"Q1251475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1139946$4F559812-F135-4167-807D-C3366011A1C4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Semantics of nondeterminism, concurrency, and communication","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Semantics_of_nondeterminism,_concurrency,_and_communication"}}}}}