{"entities":{"Q777901":{"pageid":779750,"ns":120,"title":"Item:Q777901","lastrevid":64262811,"modified":"2026-04-11T18:41:33Z","type":"item","id":"Q777901","labels":{"en":{"language":"en","value":"On the construction of multi-valued concurrent dynamic logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7218629"}},"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":"Q777901$0F341564-A721-44A0-8132-C27D96029692","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a053951e8e6574d5cb50f4e06af843f25b47f6c0","datavalue":{"value":{"text":"On the construction of multi-valued concurrent dynamic logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q777901$B35C1849-D636-4990-95D0-BEEEFA3D3FA4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"95fde7ec84cf27765b296ab4521c6e84ffb3aeba","datavalue":{"value":"1495.03051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q777901$C9454F13-FE39-4D7E-97B3-DB0705AC8D5D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9efb9b1deb55b52b4660793b658915c9d15e31b9","datavalue":{"value":"10.1007/978-3-030-38808-9_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q777901$A4F2C098-4945-4EF1-8910-CFEE20A1ABC2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7a00d12a888ce0ffc3aa72928c7254f31eb87f77","datavalue":{"value":{"time":"+2020-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q777901$A715BEA7-8B6D-4920-BE06-E9D751A88785","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"98e7340c18885fb94b053f7bbddde37cb8323781","datavalue":{"value":"https://arxiv.org/abs/1911.00462","type":"string"},"datatype":"url"},"type":"statement","id":"Q777901$F9F3D7CF-A97E-4A5A-AE61-11D1CB71C8AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"9875016dfbbd3f1cae86dd9b6b501396141fddde","datavalue":{"value":"http://repositorio.inesctec.pt/handle/123456789/11260","type":"string"},"datatype":"url"},"type":"statement","id":"Q777901$EFF901BE-2DF9-4ACF-8A5A-5CD35FE760A0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q777901$AD94B383-D05A-4F85-A890-BAC821F5033A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q777901$D8CCA010-0487-4AB2-B048-17DFD88B286E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q777901$29819601-4AB5-4578-B3E5-D4751E263194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q777901$C927710F-67D7-4C02-A691-45CBF192C688","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ce29df6cf70d55c89a419da61f1ff65bce7ec561","datavalue":{"value":"7218629","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q777901$6A321C8D-B7AD-48BD-895D-902CA1B45E83","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f03e93ece85fbe7f3275d32f6a49798defcd1d0","datavalue":{"value":{"entity-type":"item","numeric-id":2050967,"id":"Q2050967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q777901$5640E9CB-457B-45BB-B560-F8295669CB6B","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":"Q777901$78DF3563-ED5A-4E72-B938-90D451D244C1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"adbb7c4079bddc1fa20e70b83b8a5e2aadb4a4a9","datavalue":{"value":"W2999491751","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q777901$BF3405C1-98F5-456E-B12A-A54A0EC73ECE","rank":"normal"}],"P1643":[{"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":"d0c8fd70ac1417af3c58cea54ee48283d1bfa638","datavalue":{"value":{"amount":"+0.7890047430992126","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":"Q777901$EEFF85D6-8252-4FC0-8B76-53C27B3CBB5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bc497674c61e3440a76a169b135906494978917","datavalue":{"value":{"entity-type":"item","numeric-id":2374313,"id":"Q2374313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37d5a9bb468f2d74b41a399bbc91dd9e3016bb76","datavalue":{"value":{"amount":"+0.7709295749664307","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":"Q777901$6023EBA8-FB10-4C1B-B4F5-74AE434EE19E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d64f7cf5a4a8bef95f15d019d7e2ebc07da1af6","datavalue":{"value":{"entity-type":"item","numeric-id":1207436,"id":"Q1207436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7115fd75ef046caede33b3c3f0e82d252efac14","datavalue":{"value":{"amount":"+0.7655206918716431","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":"Q777901$E26B861D-0BAA-41C6-90D5-60EE0A87F25B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"789edbfedc483f4f27be291a26ad57f2645a94f9","datavalue":{"value":{"entity-type":"item","numeric-id":3801527,"id":"Q3801527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db50117cb359a42a7190a8cfb5ef87bffd22fea5","datavalue":{"value":{"amount":"+0.7640083432197571","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":"Q777901$46332BE7-FA32-4390-AD89-062BF54639C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b51d4eecf3b7b39721e369a9d92a4676c8cc8ea1","datavalue":{"value":{"entity-type":"item","numeric-id":890620,"id":"Q890620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1abc6291b8a3a1769ffe47dd5aa5e6eb144d4e6","datavalue":{"value":{"amount":"+0.7483581900596619","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":"Q777901$D3DD9F25-CFD8-4AF9-871B-E15DCAB312D8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the construction of multi-valued concurrent dynamic logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_construction_of_multi-valued_concurrent_dynamic_logics"}}}}}