{"entities":{"Q6979827":{"pageid":21382005,"ns":120,"title":"Item:Q6979827","lastrevid":84029156,"modified":"2026-05-08T07:45:36Z","type":"item","id":"Q6979827","labels":{"en":{"language":"en","value":"On concurrent program algebra and demonic automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8044867"}},"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":"Q6979827$FB2D239A-624B-4A9A-BE05-E72CA32EB897","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7dcc4160423292a080444c9f3d78a801f27e27e8","datavalue":{"value":{"text":"On concurrent program algebra and demonic automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6979827$ACAC4775-5744-4167-8E12-FDAE702CC271","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2a72eb2fcdbcc36fa67691cd29aa378587f26511","datavalue":{"value":"10.1007/978-3-031-77019-7_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6979827$A51F7AB8-4329-48BD-A0B5-CFFE9BCB4617","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf12918d2cd53d62a4016b87062f1f8d045787a4","datavalue":{"value":{"entity-type":"item","numeric-id":706514,"id":"Q706514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6979827$A0F95B9B-A39C-4F60-935C-C6F1941C2D65","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1dee5eef72567f68024f6e6f6a29dae74ed5cfd5","datavalue":{"value":{"time":"+2025-05-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6979827$A51304AC-653A-428E-A678-7B2C49E8B28A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6979827$E3867E55-6F11-4DE2-989F-5E0EE81E78ED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4dafcfb3cb581c432bae0763fa2084bf06130c36","datavalue":{"value":"8044867","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6979827$BE595103-0BB2-4106-A7B7-62DCC5BFE816","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b421d15570bd8e635cdc14719f77419a2d2df369","datavalue":{"value":"concurrent Kleene algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q6979827$0E770D56-2E6D-4AB0-8CE7-777058E00B07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb8d04c869a7c957a2fb637bf61f6c6b39fe9a39","datavalue":{"value":"regular expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q6979827$58A4F3F1-74AB-45BF-AAC1-AB9ABDC4359C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c041fe86c2cc24c4d74a3b149bc730195409c12","datavalue":{"value":"finite state automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6979827$7F79C54D-7D3B-4D3D-AE00-80142EE14F1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5c8ba46ca3cfc960c989c4fc1677ad7c552dab4","datavalue":{"value":"automated verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6979827$A54FE49E-A739-48EF-9E71-0A8E16731022","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":"Q6979827$EE60242B-D5B3-4254-ABC8-7F51ACAB9207","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b45d831a4557870676af5ebf4de210d596aa31b0","datavalue":{"value":{"entity-type":"item","numeric-id":5146514,"id":"Q5146514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6979827$0342E395-5482-4346-A5DB-6AA019CDDA3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79e807f14dcd5f9ad4f6bbeb1f8ea3c4bbb7d6d4","datavalue":{"value":{"entity-type":"item","numeric-id":4396958,"id":"Q4396958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6979827$2245C4CB-DE6B-44B7-BE9F-EFDD61330134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3db0712512ae39e64635b9634cdec19b25e852ac","datavalue":{"value":{"entity-type":"item","numeric-id":2931822,"id":"Q2931822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6979827$1D74225F-CD61-4C9F-B97D-58925B5093AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42fda785ba06a1c78c3b1fa3da035e72d736ecb8","datavalue":{"value":{"entity-type":"item","numeric-id":4048566,"id":"Q4048566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6979827$E3477ABD-2FD7-4D1B-8223-6D27A87BD2E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4642bcb7c915521a77293757841128c7fd74d05f","datavalue":{"value":{"entity-type":"item","numeric-id":5756729,"id":"Q5756729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6979827$129836E1-93B5-4009-8171-F4D7F40E41F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34eadbe36c49f9178a910e720c2abeb84a17708b","datavalue":{"value":{"entity-type":"item","numeric-id":5045387,"id":"Q5045387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6979827$F95F498C-36AA-4B85-94E8-78F21F2A2F3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c161911368e95aeec4ffa7e9e9102373a69c553b","datavalue":{"value":{"entity-type":"item","numeric-id":2946652,"id":"Q2946652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6979827$994E4581-C324-42EB-9ADC-B8358B36965D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49d4053c16b8e88bf6141f457746ce76fcc1d1ef","datavalue":{"value":{"entity-type":"item","numeric-id":549679,"id":"Q549679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6979827$7CACA26A-E7ED-4683-A79B-DD45FFDBB23F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64aa0ed468fd886cc533069b6de50b53337db881","datavalue":{"value":{"entity-type":"item","numeric-id":299202,"id":"Q299202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6979827$2DCDB83D-FC60-4B07-9186-373DF91D5A29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ecdcca463445112101708876695eded3f30222","datavalue":{"value":{"entity-type":"item","numeric-id":1327385,"id":"Q1327385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6979827$2584EBE3-2919-4210-A2E8-EFEB3F4712D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"041f06c5f4d96966e4f8ac616636e66ada5901e6","datavalue":{"value":{"entity-type":"item","numeric-id":4876413,"id":"Q4876413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6979827$7F07F36C-A7B0-4F87-9F80-E68ABF0DB25F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c61272f80d8ad5526763c99a877ae40ff6ed139","datavalue":{"value":{"entity-type":"item","numeric-id":870283,"id":"Q870283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6979827$B8180A2C-285C-4C84-8F99-53CAC562F938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27ea564efc740124803ad16ff2c7c525657a956f","datavalue":{"value":{"entity-type":"item","numeric-id":2640348,"id":"Q2640348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6979827$C492E08A-58A4-407C-91B1-D7B744E29127","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On concurrent program algebra and demonic automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_concurrent_program_algebra_and_demonic_automata"}}}}}