{"entities":{"Q647319":{"pageid":649168,"ns":120,"title":"Item:Q647319","lastrevid":51371750,"modified":"2026-01-17T23:33:57Z","type":"item","id":"Q647319","labels":{"en":{"language":"en","value":"Concurrent algebras: an algebraic study of a fragment of concurrent propositional dynamic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5977547"}},"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":"Q647319$710C224C-7AA4-4932-94F9-24C234932EF0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3db308ee86f59c0d0101bf616dbb1e80662f86af","datavalue":{"value":{"text":"Concurrent algebras: an algebraic study of a fragment of concurrent propositional dynamic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q647319$B849ECA5-7D0C-49B4-9438-708EB9AD82F8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8948e66baff079ac994f4ced568f10171d874735","datavalue":{"value":"1251.03095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q647319$8102311C-A55B-4738-9934-0CAB4BB2129E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"92eafc96a46092e2429ee13b6bdee39b631fd790","datavalue":{"value":{"entity-type":"item","numeric-id":634748,"id":"Q634748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647319$DF1B79E5-DE33-40C3-BAEB-AE8D1AE8B0B2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647319$98EC9CB0-1BE9-4DAC-812A-600ECE2EFDA8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e41089f084c402eced6627daeaaccc5646c70332","datavalue":{"value":{"time":"+2011-11-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":"Q647319$D03DB473-6881-4857-A561-3D9917D39DBE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"625495dc8cf796ad780e9da29b6a4a78ebce22b1","datavalue":{"value":"03G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q647319$504595C5-B618-4C87-9293-CE7DF9E91067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d85fc819987f741ef83c7852209bce325062055c","datavalue":{"value":"06E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q647319$A8C5883C-007F-4270-88F6-B6FC2A3777EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q647319$C32B47AF-8296-42EC-9D1F-E3AB89D2D57D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"65fedd0389bda92d9d5fc6072831334716dc8f72","datavalue":{"value":"5977547","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q647319$B081F265-E750-4CE3-95EF-FA8FBE151BF7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abec281b5f1d997842b0ce9e98282ccd39bc96d3","datavalue":{"value":"algebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q647319$0679CFB3-240C-4FF7-9337-9D2FB59C0075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8a0c6d144196179a32c3955e18bae432f10e806","datavalue":{"value":"concurrent propositional dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q647319$4FFA20A6-A37E-42A1-BE21-8F8777C5A48A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee1eda855a4c508408b44ae3bc79a230aa69b887","datavalue":{"value":"concurrent algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q647319$CDCD520E-4B89-4AF0-A411-55C7F8A779B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"578d22b4943d233d02ade801f210524a90ddfdff","datavalue":{"value":"modal algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q647319$75D3F6AF-5B98-400E-AD39-393E4695741E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0aed5d325a9629ab7e64bb14b6f4c52f44b60d0d","datavalue":{"value":"complex algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q647319$247890DB-A605-48A8-863C-6635C5FCDAD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3c02ec5426e6d0393234b872b20ebe7c5158e71","datavalue":{"value":"variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q647319$2DB34DEE-AC74-4DFD-8C23-DAA1F6E48554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14f34eed909bc359581cb5f08cf69f237f3bc106","datavalue":{"value":"frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q647319$12062D8F-F0FD-4AD9-BEA9-EE5CB4BAAD6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e4073f920e1ca9e1982bc89372a9ddf00607c1c","datavalue":{"value":"topological duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q647319$9D857580-571E-41C0-A5DE-8916CBE03CBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a98af4fcd9ca216f9e95027ada6e0c2e5435f70b","datavalue":{"value":"concurrent spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q647319$314BD6E8-216E-4BC8-BA3E-A1C04C32A6D1","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":"Q647319$65465F5F-2EB3-429D-AF6E-C13D5B5CC786","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d320541767156924342c4dc71f015fae237badc0","datavalue":{"value":"https://doi.org/10.1007/s00012-011-0153-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q647319$0468DDEE-DFEB-4540-9AD8-7DE603CD95F8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"789f86d0e06436dfb7d80f503217f1be161b7543","datavalue":{"value":"W1989857104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q647319$E2D88D60-0A58-4A5E-889E-8B7749BF9C54","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"331f3204cfdc26058224df450989eb4034bda450","datavalue":{"value":{"entity-type":"item","numeric-id":1016093,"id":"Q1016093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647319$1510ED2F-70C3-49C9-98FE-6944A90B96AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ac3d7ec2b15acefd0efec27878eb9b4d230b02","datavalue":{"value":{"entity-type":"item","numeric-id":3867808,"id":"Q3867808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647319$D6ADFB06-9467-41BF-8D83-CCD467F57D8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c46af4e2dbdec71e2e1e67a8fb006535d85d316","datavalue":{"value":{"entity-type":"item","numeric-id":4495853,"id":"Q4495853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647319$EBA78929-9107-4021-A904-08E27911BABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8aa930a4e97da80c6689f7e7640c76695c3738cd","datavalue":{"value":{"entity-type":"item","numeric-id":3773852,"id":"Q3773852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647319$EC22036F-FB91-49F9-A29F-DE556B31327D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c828766f544d12c1b296a8e13167a15c2a6b818","datavalue":{"value":{"entity-type":"item","numeric-id":1207436,"id":"Q1207436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647319$0312E6AD-ED18-4213-94D2-1A7823DC8E6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1536047fa128c2bce7315a3157d37136d0a80e6","datavalue":{"value":{"entity-type":"item","numeric-id":3965241,"id":"Q3965241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647319$149C11C9-4477-4985-B102-C53213B251CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1071374d0523d40698e19a10e8936331a5f47f2","datavalue":{"value":{"entity-type":"item","numeric-id":1297057,"id":"Q1297057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647319$0F6A8C84-1AE6-443D-952F-ADC550387F87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"463cf8243e4109af3f29fbbc771487068a0df78f","datavalue":{"value":{"entity-type":"item","numeric-id":703523,"id":"Q703523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647319$9EFC0B82-B4B8-40E0-9586-2BF7EC9D6F17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cdc59dad01421f0a964152eb9040269c855c67b","datavalue":{"value":{"entity-type":"item","numeric-id":5806377,"id":"Q5806377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647319$34000AEB-4FD6-4AED-9D5B-868BA123F374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"951ab841fc2d6409fd3ef21cbd438d82955c369c","datavalue":{"value":{"entity-type":"item","numeric-id":1101436,"id":"Q1101436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647319$491185F1-CA97-45A0-9E1D-AA03CA829A7F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b8d8e37656938d3ae9beddb92902c6812fd7f187","datavalue":{"value":"10.1007/S00012-011-0153-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q647319$7D2621B0-BE2C-4E5B-B66F-9B0B34408A9F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d883a34b506e2bc76c18ad9bcedf2d31266fd5d","datavalue":{"value":{"entity-type":"item","numeric-id":5277895,"id":"Q5277895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18fc80fc0dbc044d31912df0c91e27f513b7bd27","datavalue":{"value":{"amount":"+0.8401591181755066","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":"Q647319$8B415A37-74A6-4BF1-9815-3F4F0DC85AFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ba6a67ff13712332ec07cffd813f5e21320b3e1","datavalue":{"value":{"entity-type":"item","numeric-id":549679,"id":"Q549679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af124a05d1618afb6bf027763a41daf64dc240ad","datavalue":{"value":{"amount":"+0.7732651233673096","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":"Q647319$CBA8AC3B-5032-4751-996F-D4CBF77872E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d94965db9bd31d44f4c8a8afe44f39b708aeb966","datavalue":{"value":{"entity-type":"item","numeric-id":3787981,"id":"Q3787981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61e80fead12c3f39466ec0b0bc87e41fa11bc8fc","datavalue":{"value":{"amount":"+0.7670813202857971","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":"Q647319$A5496D94-C613-4940-AED3-AE3FC88A1EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"040151c5d810214d94f2fa1386332c2c43bb6d24","datavalue":{"value":{"entity-type":"item","numeric-id":3184688,"id":"Q3184688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d06ed65ccfd3c5e9346f390e838ed85daecb016c","datavalue":{"value":{"amount":"+0.7609938383102417","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":"Q647319$8863C029-A707-4507-9D5F-13E9A67BD7ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1997ccb6825157f9221a5fe5ba3b572811bcc941","datavalue":{"value":{"entity-type":"item","numeric-id":3651515,"id":"Q3651515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38d00fe95f1c43b57e5c28d4472f926d011af250","datavalue":{"value":{"amount":"+0.7564982771873474","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":"Q647319$B9A38162-4D16-4EA9-B1C8-136B233F8001","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:647319","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:647319"}}}}}