{"entities":{"Q606994":{"pageid":608770,"ns":120,"title":"Item:Q606994","lastrevid":63045120,"modified":"2026-04-11T10:00:38Z","type":"item","id":"Q606994","labels":{"en":{"language":"en","value":"On the \\(\\mu \\)-calculus over transitive and finite transitive frames"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5817533"}},"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":"Q606994$A13B98C9-410D-4344-B643-421EF5BADB4B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e514274b7489936b75178dd911c9ffc8ef9528d8","datavalue":{"value":{"text":"On the \\(\\mu \\)-calculus over transitive and finite transitive frames","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q606994$5794DF82-CBED-45BC-9D24-F17232737801","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9368b0cf77f23ce56e6f08579a79a8f67aba49c4","datavalue":{"value":"1208.68145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q606994$B59614C5-DCDE-4D12-87C0-1513153D871A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bc4d377d3637058f1e83788786b9a25ae94a603","datavalue":{"value":{"entity-type":"item","numeric-id":481099,"id":"Q481099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q606994$3BDD7956-1F49-4907-B4BF-A3561A98BAE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a24a57d77aefd8460dbb03e9524615c44c518008","datavalue":{"value":{"entity-type":"item","numeric-id":392378,"id":"Q392378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q606994$E6DB75DA-46A5-437B-97CC-5E8B24C1AD32","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":"Q606994$B6206074-E67A-4B74-B0F5-8619650142B0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b1a8b0b4410e75478f392738ec80b73d0645c344","datavalue":{"value":{"time":"+2010-11-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q606994$D4FED272-CE60-4A7D-9535-3F66CB363D15","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q606994$4D8E195C-6D6A-4A11-A0F0-46BAFCAB6D95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q606994$7B377196-698E-4445-B24C-ACC3DEE17766","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7ebab046822bb4a5b01392d7cd4896453a3263ce","datavalue":{"value":"5817533","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q606994$713620B9-EB50-4CE7-8175-CCF888BEC09F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9a7b0cf17169865b15e8c9d7014c24bafb8410c","datavalue":{"value":"fixed points","type":"string"},"datatype":"string"},"type":"statement","id":"Q606994$17A2D87D-204A-496A-A127-8A9A72D630A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70385047063e32e899a03bc21d34ece5ee0e5655","datavalue":{"value":"modal \\(\\mu \\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q606994$57B836C7-094A-4B54-B95C-6A58A299911E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"085ef413298529287aada489e73f3fd01de600da","datavalue":{"value":"alternation hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q606994$DD582AD0-D705-4101-B8B5-9264EE90305F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c07494b98b2fceb96b2946fa9c4e62544202cf81","datavalue":{"value":"collapse","type":"string"},"datatype":"string"},"type":"statement","id":"Q606994$4B21EB09-3B0F-475E-A9E3-83C1E6F2A3BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fd13694bb08432de988357ca10a85b3558dc35f","datavalue":{"value":"finite transitive frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q606994$F664679F-1221-4FC3-AA57-372094F574FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef49b0dab78c38968e3abdd318e8b4e208629e32","datavalue":{"value":"B\u00fcchi and co-B\u00fcchi definable","type":"string"},"datatype":"string"},"type":"statement","id":"Q606994$15CF5911-3467-4943-9B28-28CDDAE30888","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":"Q606994$BEECC91D-35E7-4FB9-AC1E-19495082AF6F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7494e4bac495a90634e861a5a1fdca521b85f7c7","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2010.09.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q606994$0860A400-3C98-4D7A-ADBF-0EA88BC0F133","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"379eae731de2a0cb2bcf9cf473b94cd1c90c1039","datavalue":{"value":"W2020504188","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q606994$BC97040B-D9A7-4954-949B-73F8CF4DF993","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"64094cc4201a6201db371ef94b6e6db97b1ecea8","datavalue":{"value":{"entity-type":"item","numeric-id":5926539,"id":"Q5926539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q606994$9FDAD35B-0C8E-485A-98F5-5E67D1A7CD80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71300c9d6626c040c8b83b0552be673eacfb707b","datavalue":{"value":{"entity-type":"item","numeric-id":3655261,"id":"Q3655261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q606994$D8EBF440-49A3-4D28-8A77-66EE0C0EDC83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b8cb182758fb38507da200e061d13e9bc8ccafa","datavalue":{"value":{"entity-type":"item","numeric-id":4943546,"id":"Q4943546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q606994$9946A854-1652-4E43-9843-663F7D9E3D45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8ff4f787fc7070b2b34786e80f0fcdbf8c04bde","datavalue":{"value":{"entity-type":"item","numeric-id":1276239,"id":"Q1276239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q606994$53896553-FB0C-4653-A012-291D9AD4742B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d514211ccfd63cf5766b4330f8be3f3c4eb2e60","datavalue":{"value":{"entity-type":"item","numeric-id":3520237,"id":"Q3520237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q606994$C9DD7E3C-FDA4-4191-B99B-1EBE1F91C77C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4cc0a6a9d07189fa58d95b5e39c9be824d38f45","datavalue":{"value":{"entity-type":"item","numeric-id":5151000,"id":"Q5151000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q606994$C91F21C3-4695-4CE3-A2CF-61DAE68ABAC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b616d03b1219418af06ece48bd855e350c3cf3d4","datavalue":{"value":{"entity-type":"item","numeric-id":3569045,"id":"Q3569045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q606994$0DC20C66-D4A1-467C-81B4-1FFC2AA10339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q606994$8B5D76AD-BA49-43AF-B297-27FF6EE9FE71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bffcfdc65c2a4a236ea3a2b5146ed684d3413aa","datavalue":{"value":{"entity-type":"item","numeric-id":732052,"id":"Q732052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q606994$204A1FA9-F874-4266-8125-B0EDEB10778C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c91e1750d7854eef47d809170adcf0210bb99f72","datavalue":{"value":{"entity-type":"item","numeric-id":1237723,"id":"Q1237723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q606994$3CD35402-5527-48C2-A7F8-CF7848C3D6C7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"293d3f1b556b1c8545a9c30940f53731dfddf23b","datavalue":{"value":"10.1016/J.TCS.2010.09.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q606994$82CADABB-2BAE-49A9-835D-3707F85C3C4E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a12633c3471c18b0a77b18257596d96c300bd835","datavalue":{"value":{"entity-type":"item","numeric-id":6160744,"id":"Q6160744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bf35a281e67faebd4603a5dbc30fccece931e9e","datavalue":{"value":{"amount":"+0.9228541","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":"Q606994$301F51AF-0290-48EE-B9BD-DCB2AD02243F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7d6dace9c12d1f2055878bceb4e6b0cbe3f79fb","datavalue":{"value":{"entity-type":"item","numeric-id":5394590,"id":"Q5394590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aeebb73ce7b9eb509551c767dd43478edd0280aa","datavalue":{"value":{"amount":"+0.88270664","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":"Q606994$8C9EB045-5F41-470F-8F27-19744152016B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f5ec32bb26c0533c9e4e2724b0026441189ad14","datavalue":{"value":{"entity-type":"item","numeric-id":2303578,"id":"Q2303578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edd57fd918d1825aeacfdc272afcd42ab724287d","datavalue":{"value":{"amount":"+0.8694131","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":"Q606994$465D646E-D118-4C6A-9B1B-8E0561F8CD8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"621587773eb4f46fdf0f065777e4bb9c456465a8","datavalue":{"value":{"entity-type":"item","numeric-id":4295227,"id":"Q4295227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"912aafcd4331f58b5d8fb40d63f3389b47209b49","datavalue":{"value":{"amount":"+0.8692869","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":"Q606994$299720A9-FCA6-4357-BC98-5D92D3F1CC95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d4b70d7c951d8a3f0e20de83b9f1207090fc3f0","datavalue":{"value":{"entity-type":"item","numeric-id":4818826,"id":"Q4818826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16e7ab766b1057c51d0852ea3090b05003d2b129","datavalue":{"value":{"amount":"+0.8603899","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":"Q606994$7189F5A2-A06A-4A75-B374-B3D2E19524DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6956d7da2b47b2b8591f3b093091a7c8687189e4","datavalue":{"value":{"entity-type":"item","numeric-id":1946673,"id":"Q1946673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afeadb0a75327c6a2b1ee82a15a703b7c268a9c1","datavalue":{"value":{"amount":"+0.8539778","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":"Q606994$0230F354-50D3-4927-876A-9E960E90F3F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23009ce55f8277af134c1b6790070733fdb97bc0","datavalue":{"value":{"entity-type":"item","numeric-id":4583170,"id":"Q4583170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fedeb1e06e0b35e19084459774e25346dee0a0c","datavalue":{"value":{"amount":"+0.85239774","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":"Q606994$60E1677A-35F3-4098-A453-E0D432C4B1A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6204e7cfa3325e620855870f1a622f2001a38090","datavalue":{"value":{"entity-type":"item","numeric-id":3586099,"id":"Q3586099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e43b370542f1f52700aeb5ec9368b5650e6a6d42","datavalue":{"value":{"amount":"+0.84823954","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":"Q606994$B5C929C1-9C41-460A-9D14-BBD75BE709B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e75c0d8a572ebc46f40462b76ce946bacf65a4e","datavalue":{"value":{"entity-type":"item","numeric-id":6168438,"id":"Q6168438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e110c3cf524d5c27846512a98f01a70411cd79e","datavalue":{"value":{"amount":"+0.8444871","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":"Q606994$ACC0535A-14E3-4E66-A8F4-7B7E453EEAE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dce7c84e782719acf493847535fb127d67b1a5b","datavalue":{"value":{"entity-type":"item","numeric-id":761445,"id":"Q761445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a58b6c0459bc3491454caefa0084e9c0c33e82a3","datavalue":{"value":{"amount":"+0.83920234","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":"Q606994$90E0B265-0E96-4614-A535-D7AFA7585D31","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the \\(\\mu \\)-calculus over transitive and finite transitive frames","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_%5C(%5Cmu_%5C)-calculus_over_transitive_and_finite_transitive_frames"}}}}}