{"entities":{"Q909439":{"pageid":911287,"ns":120,"title":"Item:Q909439","lastrevid":65274132,"modified":"2026-04-12T01:27:54Z","type":"item","id":"Q909439","labels":{"en":{"language":"en","value":"A functional programming approach to the specification and verification of concurrent systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4137305"}},"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":"Q909439$F0EFF263-5CC8-4E7B-A595-030162701455","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"662797f3b97939baed2552ef02cae5be7e515c48","datavalue":{"value":{"text":"A functional programming approach to the specification and verification of concurrent systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q909439$1A17D3F1-92D6-4F0C-94C2-4DE229E5E6FC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"06ac725f5e01c8c319e6b311346fde0c2caad210","datavalue":{"value":"0694.68015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q909439$C1055026-9076-4A50-946E-168CD7DB8B01","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"93e3bc04e667d7b2ae23cb0dacb1eaa9fdc1fef9","datavalue":{"value":"10.1007/BF01887211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q909439$9DF4203D-8BF1-4AC1-B74E-10BD9D544CD7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d75275853fb84ac426baf809ec86decf612055f","datavalue":{"value":{"entity-type":"item","numeric-id":651314,"id":"Q651314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909439$1BC07A31-D086-4066-8F56-834D536CD2D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4546d016038ee2c84dd6fe93f2664c55a17c5f01","datavalue":{"value":{"entity-type":"item","numeric-id":909438,"id":"Q909438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909439$024069C0-D569-4E03-BDBF-92D51E671172","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909439$264F205C-CC4D-40DD-9D42-9731DA465512","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q909439$CBC30B35-ED5B-497C-9C32-25E737DA8E02","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q909439$BF1D0F3A-CA00-48F1-A504-B98709C3D655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q909439$994DB584-D894-494A-B25D-9F400986EDC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q909439$1B875744-D256-4C42-9156-AAE336E3EA1A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"384b10030c5e9524ab7dee46cc38a2b8d56fe4e4","datavalue":{"value":"4137305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q909439$D0AE1322-0316-46F8-A184-EF294704A286","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q909439$2F0ED3D0-E287-4DA4-A176-C51A554DCD4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b72256b6a13297213de443cd771f85f06c0041c7","datavalue":{"value":"Kahn-networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q909439$72EAE078-2A77-4625-8740-03684FCBD206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"846cb546de3cbd1bcf14392ecf63d780b7eb5a14","datavalue":{"value":"greatest fixed point","type":"string"},"datatype":"string"},"type":"statement","id":"Q909439$4B100AB2-CEDD-49B7-BE6C-8D72E521D9B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdd2a975d483fb17d6897edde352d508ed722194","datavalue":{"value":"\\(\\mu\\)- calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q909439$C9050254-AEE2-45F5-8B1F-DC9BA56C9467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df99c0b396e5ea8ae04e775119322db7d466e6ba","datavalue":{"value":"non-deterministic processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q909439$97BB660A-48C1-40A5-84EF-93082F7032B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06dacf54f2b6d6a113f47a7b4aee1e9d715afb58","datavalue":{"value":"alternating bit protocol","type":"string"},"datatype":"string"},"type":"statement","id":"Q909439$D76A028F-9EC4-43F1-8220-0D3B3F8E67DE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909439$423F7F48-8330-4978-B922-FC64C9F6C9C6","rank":"normal"},{"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":"Q909439$BB7AA6EE-466A-46B8-8E04-2AE19C032A25","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":"Q909439$5C9D2F39-9260-41A9-95D0-9107ED434ED6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d2913641d9c5dee8401341c953da633b8a057ae","datavalue":{"value":{"entity-type":"item","numeric-id":3912779,"id":"Q3912779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909439$3E63F133-0D58-4695-9194-85D892449F8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b24a6d683995c2cc1888ddb40fdfa217caaf5e43","datavalue":{"value":{"entity-type":"item","numeric-id":1095640,"id":"Q1095640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909439$4334C308-15A2-4D4D-82EC-0A6242EC1D68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e74acf0055d8c66a56df4574c5bbeebe37656c4","datavalue":{"value":{"entity-type":"item","numeric-id":3685173,"id":"Q3685173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909439$9CE16468-4037-4EA6-9D8C-3737877A33B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6a55f23c5a67c2c9fd627d4bf85d3851ca0b09e","datavalue":{"value":{"entity-type":"item","numeric-id":913479,"id":"Q913479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909439$A872C77E-9E8A-421A-B5CD-7C69FA6D6D3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc8abb92210655a5bd4143cbbadd6eadb52d635","datavalue":{"value":{"entity-type":"item","numeric-id":1801222,"id":"Q1801222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909439$37AF4AE6-9DE4-4777-B3D4-B44E3CC9B723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2bf8ce9aac73bf50a8b75ec97283321f86bf552","datavalue":{"value":{"entity-type":"item","numeric-id":4168046,"id":"Q4168046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909439$C7ED7DB3-B7A3-4B07-AFC1-4A890C60EE36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"177c6c31d20ced5b129ead20e44a4131493dde0c","datavalue":{"value":{"entity-type":"item","numeric-id":911261,"id":"Q911261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909439$D68C56C9-011F-4CAF-B08C-6F7585447689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1cd12baa5961bbc694ba5f047f92bee48fc3657","datavalue":{"value":{"entity-type":"item","numeric-id":3771648,"id":"Q3771648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909439$CEB11117-D99E-4056-8A27-1D90DF45EAB1","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":"Q909439$9D86C5E2-BAF7-41A7-9C3C-B152EE2EFE24","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":"Q909439$46FC24B9-820F-439B-AFA0-F5F053BF33A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03e4c3801010a4bee6d03ee81a6a1a5d94252213","datavalue":{"value":{"entity-type":"item","numeric-id":3792217,"id":"Q3792217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909439$94B6F95A-5397-4D88-BA95-6B688A8FDCBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909439$40301783-BEC7-4F4F-A99D-5C237D69A0D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be8c0966fcef61d518749b07930f255b555f362","datavalue":{"value":{"entity-type":"item","numeric-id":5624635,"id":"Q5624635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909439$C1415467-4E2F-4C38-A4F7-8B9B398587F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85f8c72a9350326364dae4fb324c635b65cfcd95","datavalue":{"value":{"entity-type":"item","numeric-id":1236111,"id":"Q1236111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909439$D5F6C3FF-A57C-4AB6-82F8-C87BA8F2A315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5a9ce9c8c880aefc9d2dc9b570d0d80abecb8f2","datavalue":{"value":{"entity-type":"item","numeric-id":3042377,"id":"Q3042377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909439$45329832-231E-431E-B04A-53D7B6C437C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1404903fbb3450c69ae4b46e148487834232fe43","datavalue":{"value":{"entity-type":"item","numeric-id":1823013,"id":"Q1823013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q909439$FC24CE59-2E20-4C04-8FF1-3886E82F4FBF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f29cf50642243a0fc14a9412d69e23d0aaf91d99","datavalue":{"value":"https://doi.org/10.1007/bf01887211","type":"string"},"datatype":"url"},"type":"statement","id":"Q909439$62AD68A0-7158-4CBB-A00A-ECF807CE953E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"baf0b2b8e59b025e9de2554f4cf43b3152883df6","datavalue":{"value":"W3015550054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q909439$AABB5293-8EF9-47AB-A467-C2107EDE2CCA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cf9f33132033959f86213d85e92785c658fba8e","datavalue":{"value":{"entity-type":"item","numeric-id":579917,"id":"Q579917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b80aa92be10ca8541bac4196ed104e62999292b","datavalue":{"value":{"amount":"+0.7699732184410095","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q909439$40EED8F6-1F92-4CE9-8DA3-E45373286930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90e296abe4c88cb213ab55539925a11592987bcb","datavalue":{"value":{"entity-type":"item","numeric-id":3681905,"id":"Q3681905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4921a8721465c07de807b6b3c92e20d0f58678cf","datavalue":{"value":{"amount":"+0.7687234282493591","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q909439$3E7719F5-A60C-4484-9D49-F2BCE451A20C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a9063ce4f8ee99742dba24e7a6d1df1ef75eacf","datavalue":{"value":{"entity-type":"item","numeric-id":3727367,"id":"Q3727367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c283abf2cad3cbb01637461545296520c51c52a3","datavalue":{"value":{"amount":"+0.7686979174613953","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q909439$8F1F88AD-7A6A-4259-B672-302CF67E78E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01017b3d1c200749df743ffbc642572962518ffb","datavalue":{"value":{"entity-type":"item","numeric-id":1355748,"id":"Q1355748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"140fa488b12fc72da818e40dd675d3aacaf4fcab","datavalue":{"value":{"amount":"+0.7650104761123657","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q909439$78945DDE-0B12-4D72-852F-A7198D1FC90E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e783e2e2a3a318da97329f6b41660e41b2180ff","datavalue":{"value":{"entity-type":"item","numeric-id":3512442,"id":"Q3512442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad9d2d34d3e1233e9dcf34f14c0c02e29de8ec8e","datavalue":{"value":{"amount":"+0.7584566473960876","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q909439$A8917E9C-4973-437C-9BD9-7C64FF2EBAFA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A functional programming approach to the specification and verification of concurrent systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_functional_programming_approach_to_the_specification_and_verification_of_concurrent_systems"}}}}}