{"entities":{"Q1081296":{"pageid":1092048,"ns":120,"title":"Item:Q1081296","lastrevid":66849378,"modified":"2026-04-12T13:16:25Z","type":"item","id":"Q1081296","labels":{"en":{"language":"en","value":"A theory for nondeterminism, parallelism, communication, and concurrency"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3970097"}},"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":"Q1081296$A84862CC-AE21-44DE-A38A-A1B12C7937E5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a24783780c714839a96911df9f875c69892f8d45","datavalue":{"value":{"text":"A theory for nondeterminism, parallelism, communication, and concurrency","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1081296$1FC3F533-7012-45B6-9D47-33C3F45A22D8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d252d4854f718c29fdb488b9161c0ce91ce8e220","datavalue":{"value":"0601.68022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1081296$5E11C0C1-BC0E-4CDE-90EB-FCC0D9A211F5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"89a2509e3fbeb6bca6d4cbbac13a79472194a188","datavalue":{"value":"10.1016/0304-3975(86)90040-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1081296$09D40BF9-B47E-4837-848C-17F8788D0B14","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8fe0ba64045f6b8bc93a417d90524c47759b2541","datavalue":{"value":{"entity-type":"item","numeric-id":213032,"id":"Q213032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1081296$7EBF0321-74C2-43E1-9189-85DDFCF23B9D","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":"Q1081296$621834EF-05BE-45E8-BE7B-C7BA4699E0F6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1081296$67DA5872-16D1-4DC7-B38A-49A462319AA4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"58557fe0ec1d73a56f154ff2b0ddec45ae691bdd","datavalue":{"value":"An applicative language is introduced for representing concurrent programs and communicating systems in the form of mutually recursive systems of nondeterministic equations for functions and streams. Mathematical semantics is defined by associating particular fixed points with such systems. These fixed points are chosen using a combination of several complete partial orderings. Operational semantics is described in the form of term rewriting rules, consistent with the mathematical semantics. It represents data-driven reduction semantics for usual expressions and data-driven data flow semantics in the case of recursive stream equations. So the language allows to treat the basic semantic notions of nondeterminism, parallelism, communication, and concurrency for multiprogramming in a completely formal, applicative framework. In particular, it provides a semantic theory for networks of loosely coupled, nondeterministic, communicating, stream processing functions. Finally, the relationship of the presented language to partial recursive functions and nonconventional models such as data flow and reduction machines is shown.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1081296$3C4553CF-AB40-4710-A09C-EE47F64FB9D9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1081296$A8075417-4694-420B-96A1-C3D5AB7824B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1081296$20FD7988-17EF-4CF6-B9C3-C4958F6D488F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6a1c9a9f3d6eafec85b69510b8b5b930649283f6","datavalue":{"value":"3970097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1081296$5E62406C-6C9D-438F-B2C9-3F01A60B09EA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a850ee01f9fe6c0e93ae692ac21d7eb4a5f1f68c","datavalue":{"value":"concurrent programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1081296$2E323585-561D-414B-8F6C-B6F93AB53348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1533885a6f24a657dadfdcd8850be8fba51836c","datavalue":{"value":"communicating systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1081296$D8162313-031C-403A-881D-587172AB9B9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"955a9d9ba13a7ce4817cc815cee5cb22ca633ba3","datavalue":{"value":"mutually recursive systems of nondeterministic equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1081296$21122542-5032-4401-B4BB-39EB22F815E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9a7b0cf17169865b15e8c9d7014c24bafb8410c","datavalue":{"value":"fixed points","type":"string"},"datatype":"string"},"type":"statement","id":"Q1081296$6A7F4B59-27C9-4EDA-A7E3-A4365F0DFE59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e58670a309075c0628bd32b252a3d4f2c30abc0","datavalue":{"value":"Operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1081296$B76AF6D5-4A99-497B-A3F6-352E77ABB523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"237bb64abe07c31904fc0e8e2ddf2df232747977","datavalue":{"value":"rewriting rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1081296$52DD3302-C46B-4B92-9940-A25A4CBFCBF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4f910d285c91fc0e733ea8675f85a7032da975e","datavalue":{"value":"data flow semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1081296$6A0535F1-7C1B-4FE2-9A96-C96437A29892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cd1b952e68e0cc5f8b3f00f822ed277d73f35be","datavalue":{"value":"recursive stream equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1081296$5D7101C3-6B51-4653-8F39-F59828619DE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af541f94d6037431b9e752dc9eb27dbb12919900","datavalue":{"value":"multiprogramming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1081296$03CCEBFD-6D62-4B13-8C5B-FFDCC12BFF0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af28c8a3cff52fc935892d049089c58e057c8744","datavalue":{"value":"stream processing functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1081296$212841FC-DD70-471D-80FD-E62574FD1133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84be346d5b2e3007dfca566cae60632b5f37519c","datavalue":{"value":"partial recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1081296$62543E41-36AB-4C9F-8C2A-05C085D919A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e06d261ec34b11da64b0eca1e25948f4f23a7917","datavalue":{"value":"reduction machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q1081296$B8EADE97-AF48-44B9-8E0A-15C92A15E078","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c007ae1867363f659c11dfe2e26b294ddb7e58e3","datavalue":{"value":{"entity-type":"item","numeric-id":33608,"id":"Q33608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1081296$59F8ED9F-E21C-42C9-BA19-8364A833FCC9","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":"Q1081296$4FA1A911-7E48-43BB-965D-CB55433F95E0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c26e00c153459bdbd242c7f50de953c2bdc3daaa","datavalue":{"value":{"entity-type":"item","numeric-id":3917476,"id":"Q3917476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1081296$AD3FAEE3-A536-4C7D-BEF3-1ACB60542C23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fa22b8020d2e02a46ee6f96a629706536ac1789","datavalue":{"value":{"entity-type":"item","numeric-id":4134908,"id":"Q4134908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1081296$F6E54C29-1A1A-4592-81E9-D0ECE079CE87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e32bdd26b1722d697c361e1af8375b54da7f447","datavalue":{"value":{"entity-type":"item","numeric-id":4151708,"id":"Q4151708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1081296$D35953CC-64E7-4AA7-B775-C8155D82009C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"425d125c03bb8ddab42a5c649997600ed2010462","datavalue":{"value":{"entity-type":"item","numeric-id":3206309,"id":"Q3206309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1081296$9196A663-14E2-407D-942B-EC64B93D88EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19f32365b7a322b24cf5d5cb10fef31efa05053a","datavalue":{"value":{"entity-type":"item","numeric-id":4162630,"id":"Q4162630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1081296$52BA0103-8C12-4C42-A39E-C184B5440ABD","rank":"normal"},{"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":"Q1081296$0C73CDD8-6518-4C57-AAF5-A98FD4C705C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c0a80954f9de54d146e0f04ca4a2bf474c83897","datavalue":{"value":{"entity-type":"item","numeric-id":4195917,"id":"Q4195917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1081296$9D2CB93B-4013-4032-B1E3-531579CA56F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1864da5723c78304b4a6b7d13338b6a6c9e59a1c","datavalue":{"value":{"entity-type":"item","numeric-id":1253244,"id":"Q1253244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1081296$D8A5839D-9FDE-4ED5-86A4-E4048203B7D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"713788c48b5667c40582e9f48ca1372d55c21273","datavalue":{"value":{"entity-type":"item","numeric-id":5339752,"id":"Q5339752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1081296$566533E9-1F60-42F5-813C-46D4AA89D93A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3265b3b9ee07f196e2dbbb1ffc22467424cda685","datavalue":{"value":{"entity-type":"item","numeric-id":3919053,"id":"Q3919053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1081296$D7376FCE-C0C2-455E-AAD7-478EC84C56D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8025965c2231d95612a82c35ba4712673d1711cc","datavalue":{"value":{"entity-type":"item","numeric-id":1131833,"id":"Q1131833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1081296$E4D962C7-928D-4E29-9E19-E53B6EF08612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0482b9635a2a1dc9690f15bcef1d26f1ab622c1f","datavalue":{"value":{"entity-type":"item","numeric-id":3911357,"id":"Q3911357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1081296$FB784BC8-9EA9-4926-ABFA-91EA6577FE81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61a99054f429c16bea1b472c7f8800efc6c8c144","datavalue":{"value":{"entity-type":"item","numeric-id":1144920,"id":"Q1144920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1081296$807058E8-326F-4BA1-B5B9-71CC1DFB0E64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c64b6ccafd77be295bffb3990c7688874dea1138","datavalue":{"value":{"entity-type":"item","numeric-id":4746778,"id":"Q4746778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1081296$04408FC1-3357-45BA-A817-7068187A6D86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22efb154070fef6ad6967705a8e06083465b993f","datavalue":{"value":{"entity-type":"item","numeric-id":792081,"id":"Q792081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1081296$94944A97-5C6D-4404-9D8C-B14FA1059F5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30da60b1cbb0bdce1839789e5e6577b231b8d2b6","datavalue":{"value":{"entity-type":"item","numeric-id":3871894,"id":"Q3871894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1081296$5559A1AD-1D14-4DB2-BA2C-7710E18277D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3f1d22759dc3e1d2d1547a2cbe8ef2c19f3df9a","datavalue":{"value":{"entity-type":"item","numeric-id":3912057,"id":"Q3912057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1081296$E07607BD-FEAC-44BA-9B16-A25CACDE62B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b5b732c4ffa7b56a3631819adc7a20415738ad4","datavalue":{"value":{"entity-type":"item","numeric-id":4192046,"id":"Q4192046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1081296$DE3ABF83-E45E-4ED3-A303-67EA69BFF1E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b9623d3f270ed69bfea25dbb507243b9ded0abc","datavalue":{"value":{"entity-type":"item","numeric-id":3886833,"id":"Q3886833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1081296$4C7947F5-73AC-4B70-9133-D3D62DDD3E79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c8358538c5505f8c368aa2c38fabae5fdc6c7bc","datavalue":{"value":{"entity-type":"item","numeric-id":4048547,"id":"Q4048547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1081296$CF8B1634-20BC-43BC-AA6B-13B9B58E0F83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbbb1b157f33d76489ea473e2abeea1832605d73","datavalue":{"value":{"entity-type":"item","numeric-id":4053084,"id":"Q4053084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1081296$FCEB9FA7-6C78-47A7-9A0E-F7624386878C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"648af4444efef3dfface63422920536bd2b0c180","datavalue":{"value":{"entity-type":"item","numeric-id":3928246,"id":"Q3928246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1081296$9EADA057-EBB3-43BB-A492-93AB6CC5BB38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a95725ef959f462ddc538789b5dc4c37dff0f0f","datavalue":{"value":{"entity-type":"item","numeric-id":4076730,"id":"Q4076730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1081296$9EF1B53B-B58A-4E19-8DFA-544C3C52BF15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b27d44a0e50fda314668a36654efb04ab5135cb3","datavalue":{"value":{"entity-type":"item","numeric-id":3868730,"id":"Q3868730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1081296$F6982C8E-8FCB-4B4E-8607-AC9BF1968D2D","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":"Q1081296$843F1E63-30AA-45CA-A70D-2169BDD54F6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29c2ea94302422429fd8f5bd5e8d442e26c100ab","datavalue":{"value":{"entity-type":"item","numeric-id":4151136,"id":"Q4151136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1081296$458AF583-8413-487F-A3BE-DC0450FE78D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97558af1147bf1da17aeb8d7f9212fe1000d9538","datavalue":{"value":{"entity-type":"item","numeric-id":3911367,"id":"Q3911367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1081296$2BCC4FE5-A5E7-4543-904F-59CE055940B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8ad05e1dbcd9f4e7ce00ce1cb77758dc112504a","datavalue":{"value":{"entity-type":"item","numeric-id":4167526,"id":"Q4167526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1081296$7199D4DF-377E-451C-99FC-9E0530CE699D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e002c7703a7e63f8238d4e7c16ac6a5af026e65","datavalue":{"value":{"entity-type":"item","numeric-id":3862437,"id":"Q3862437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1081296$99618091-ED83-4A43-B67A-D060ED677B91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68b7535936022f5c60af89f9e74af92a70ed79f3","datavalue":{"value":{"entity-type":"item","numeric-id":3878733,"id":"Q3878733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1081296$E945B74F-6594-48D6-ABB3-B8B3770F924A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67dcc2c4572fa2102c218c9860d413453b282542","datavalue":{"value":{"entity-type":"item","numeric-id":4159365,"id":"Q4159365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1081296$439FF35D-89A1-416B-A1FB-C8073C60239C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68e3697952a379e5dc856805691deee313dd3520","datavalue":{"value":{"entity-type":"item","numeric-id":1152949,"id":"Q1152949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1081296$872C9BCA-9D7B-4FD2-ADBE-B4AEEA374558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1f2307c5ef057d8aff424bd60874dd22b1595b7","datavalue":{"value":{"entity-type":"item","numeric-id":4172940,"id":"Q4172940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1081296$6F5C3B58-61A8-44E4-A444-379DF9C3A2BA","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":"Q1081296$8187E24F-FDE2-4B83-93C0-0C98D3DE928D","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":"Q1081296$781FC726-65B0-42A1-BC24-0F5C609E272E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f7e92412f6b79d84af77b11b1aebb79e0508b8","datavalue":{"value":{"entity-type":"item","numeric-id":4138147,"id":"Q4138147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1081296$73B9583E-0623-4588-83CB-B102E00B49C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1b82bb86b1cf33d404c107a80a8d4df94b3a95d","datavalue":{"value":{"entity-type":"item","numeric-id":3888522,"id":"Q3888522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1081296$BE65198A-4059-4FEC-9A2A-972B8FE2A6C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1081296$808A7483-42A5-4670-BEDD-A41C8F209602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd8a1e7c7aae77afda3dc242c9a9d4c2ad31ecb8","datavalue":{"value":{"entity-type":"item","numeric-id":5799732,"id":"Q5799732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1081296$625F8C0E-9347-453B-8BA9-D6171072BD74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1208c35792fdf6d7234d5d330a526691eb60bc71","datavalue":{"value":{"entity-type":"item","numeric-id":5345264,"id":"Q5345264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1081296$A11104B2-2570-4014-991A-86F7B1CB5CD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6774fef36684106218701017c86fba6fa8a59db5","datavalue":{"value":{"entity-type":"item","numeric-id":3863054,"id":"Q3863054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1081296$E8ECF8C2-666B-4155-997C-11DD509D7245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ecd6a95ac70b3920a98b58f6909f94df8490e8a","datavalue":{"value":{"entity-type":"item","numeric-id":2541847,"id":"Q2541847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1081296$1AC03334-DFDB-40C7-B103-92ABE542EEA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea12a9d5054eb283864eb6e1e0f33182f274918f","datavalue":{"value":{"entity-type":"item","numeric-id":4404415,"id":"Q4404415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1081296$D0FB87EE-3822-4DA8-A150-39A210EBB35D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eaf43a88b14444f4a8e2ab2282321b709bbbae3","datavalue":{"value":{"entity-type":"item","numeric-id":5601829,"id":"Q5601829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1081296$8D89C7EF-1488-41F3-9FF2-5BF16D3FF910","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":"Q1081296$C7FBFFEE-B9F1-4825-87C9-B4C9ED804986","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":"Q1081296$441ACD25-DC1A-4579-B8E3-213FB943EFB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a1ec2e9dab4526cde6d0a87ea84f37a2ca45a0b","datavalue":{"value":{"entity-type":"item","numeric-id":4143228,"id":"Q4143228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1081296$99B4B24A-C7BB-4EF8-BA73-483A5ACECD24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62329ea6dfc1bcd7f928f88d3b29f0d4ff3319d4","datavalue":{"value":{"entity-type":"item","numeric-id":3888505,"id":"Q3888505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1081296$29B3DE86-53E2-4F82-9F2D-982BB3DD2D65","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":"Q1081296$9EB3A716-BA00-4344-8A4B-31564FA4E7B6","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":"Q1081296$E097F23E-9884-41D2-AC7A-E6FA0CFE09E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26844ae575fb4cdebf73566954301f72a527cecf","datavalue":{"value":{"entity-type":"item","numeric-id":1243117,"id":"Q1243117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1081296$1286E9D6-3D05-407B-B4A7-EAE10E20FF7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17695e225aa63c7d95318b417de6aa4b6f4f2367","datavalue":{"value":{"entity-type":"item","numeric-id":3661543,"id":"Q3661543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1081296$B2B4063B-90B2-4566-AE7E-2C08CC3E62D8","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":"Q1081296$1C70E552-9DFC-4BEB-B22B-A811E606EC17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8470718175ec6109a436628221c5cffb3ba70aa9","datavalue":{"value":{"entity-type":"item","numeric-id":4167525,"id":"Q4167525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1081296$516FCA4F-E71C-4DB3-8DB2-F96E9C9E4B28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0b708b22d72c3975cf34ae3e34c8628d2afc625","datavalue":{"value":{"entity-type":"item","numeric-id":4092932,"id":"Q4092932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1081296$D57CA28B-C8AC-4C3C-B5EA-D0682363B453","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"417d153de0f23897014393c1bac75bedc3552a19","datavalue":{"value":"https://doi.org/10.1016/0304-3975(86)90040-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q1081296$8E78A0CA-42F3-4FD0-906A-AC01AFDA6612","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"868440471bf69ecbfab4d0b6d9a1e7cab54d062b","datavalue":{"value":"W2065927961","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1081296$CDBCF22D-274A-4DA1-93DE-84F01562A0AB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd11127be0cb5ae9f4ac7b4fb9d5b827cf0be3c4","datavalue":{"value":{"entity-type":"item","numeric-id":1099612,"id":"Q1099612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2cf028f999b5bbf156d02bd6fbe877971a32c93","datavalue":{"value":{"amount":"+0.89160204","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1081296$6CA90B5F-C990-4FE0-A76B-5EC94911D67E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"458b975e2d944dd059301109a34b25b4d8bcada9","datavalue":{"value":{"entity-type":"item","numeric-id":6116582,"id":"Q6116582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91dc549392b5323f40566a66d2704e634bc47f99","datavalue":{"value":{"amount":"+0.8880418","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1081296$AFC86B43-BF19-407F-BFAE-3EF26761C7F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13960a32f0259626006be9a582f01a0192b686aa","datavalue":{"value":{"entity-type":"item","numeric-id":792754,"id":"Q792754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf25c91e7597ea3a488b7ee64f0223c5103e871b","datavalue":{"value":{"amount":"+0.8844936","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1081296$8E53CC70-F826-459F-A6C0-777D2A307271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27b0969450caa37b1155bc43fcf7ca1455b3ae98","datavalue":{"value":{"entity-type":"item","numeric-id":2117255,"id":"Q2117255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"621b10e9e6eb5040956d0e85a90cd115731e18d7","datavalue":{"value":{"amount":"+0.8814425","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1081296$6DB636A2-3C45-4512-9A5E-CB37559215AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1f1d19eeaba7690e11aa21cdbf8c6d39f05e4c6","datavalue":{"value":{"entity-type":"item","numeric-id":4664063,"id":"Q4664063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e99000787222ae56649f4563430284ccb122790","datavalue":{"value":{"amount":"+0.8790239","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1081296$44A67893-E40D-4557-9BDE-5ADD30A4660B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03ceb2f4ca06b12d46cbb4a748710de845f20651","datavalue":{"value":{"entity-type":"item","numeric-id":1884887,"id":"Q1884887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f77a3df6590a87bc8fa5b630f71ba85279a5278b","datavalue":{"value":{"amount":"+0.8784654","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1081296$FD4BFA7A-9601-4ACE-9515-9087D6C52D0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9aeb77f402d2831ef00418da3e485be796f2b959","datavalue":{"value":{"entity-type":"item","numeric-id":4411819,"id":"Q4411819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f77a3df6590a87bc8fa5b630f71ba85279a5278b","datavalue":{"value":{"amount":"+0.8784654","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1081296$005D9B10-1931-4522-90B2-2573F0DFA4EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8888295462daee14a90e49bf846e3cba441893d5","datavalue":{"value":{"entity-type":"item","numeric-id":3975136,"id":"Q3975136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24f89d2d4ed5b8b6319dc682eb27a676b4d34992","datavalue":{"value":{"amount":"+0.87843215","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1081296$9CDC3121-7981-446E-A053-DC9F3B1756FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f1582084e11aae078ec3c87845d8f991567580a","datavalue":{"value":{"entity-type":"item","numeric-id":5176793,"id":"Q5176793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ae3fd64453fa47833ced8b32c4d62c1f1d2aede","datavalue":{"value":{"amount":"+0.87747514","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1081296$CF951821-98D0-46E4-B405-52D1FF42FADD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A theory for nondeterminism, parallelism, communication, and concurrency","badges":[]}}}}}