{"entities":{"Q3655261":{"pageid":5685167,"ns":120,"title":"Item:Q3655261","lastrevid":50867288,"modified":"2026-01-15T12:11:19Z","type":"item","id":"Q3655261","labels":{"en":{"language":"en","value":"The modal \\(\\mu \\)-calculus hierarchy over restricted classes of transition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5654335"}},"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":"Q3655261$2B9DACFF-8677-4BAC-985B-13828DCB371A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e82d6f277f4a68eebbe52bfd95e07b0399badda2","datavalue":{"value":{"text":"The modal<i>\u03bc</i>-calculus hierarchy over restricted classes of transition systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3655261$F4829096-8CBA-4EE2-BC34-763590FC4FDB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d91af605e29725e2bfad7a4eb84cb2d63b04c12f","datavalue":{"value":"1191.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3655261$8123345A-0DFF-43A0-B148-5B2B308B2BFC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b03184d2d7bf4905e8e5f3558966f7300c2e521","datavalue":{"value":{"entity-type":"item","numeric-id":1015478,"id":"Q1015478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655261$CA8B41E9-4755-4824-BCDD-27307F09E4A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3df27bf3abfd8b673a0afd763bb7c85c5dc3b47d","datavalue":{"value":{"entity-type":"item","numeric-id":1015479,"id":"Q1015479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655261$70407D28-15BB-4DB4-A5F1-3D321047C7F4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d8ffb1992782dc99c2da3a06ceb643a586fe25de","datavalue":{"value":{"time":"+2010-01-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3655261$07E471BC-CED7-44C4-B534-CCB6E274E778","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0e6e28230dda212c2cced4000e23f2b365a84d95","datavalue":{"value":"https://boris.unibe.ch/36791/1/S0022481200003200.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3655261$9DED59D5-CF2E-4D89-B7D9-85263F13C663","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3655261$4B66658C-4C6B-4257-9371-CB4B921D4CD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3655261$E9C64DAD-6097-411A-B8C2-7C15613B90F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1be7cda1f2fda1d13448035bf1c8e3fcef0c4ff8","datavalue":{"value":"05C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3655261$2DF4A432-DB82-441E-8AAF-DBE27E2EE7D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3655261$698AC0D5-C0F8-4E5A-B442-AF244573D6A4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"33f999a214b53e902bebbe203d8e107b4e3cd829","datavalue":{"value":"5654335","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3655261$5C827FF7-EB89-4AFB-B79B-BD7184F6B231","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3655261$3218DF53-921D-4E62-9EEC-14232FF6CC82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26c4403d5fa8d9102bcd88ec8de73f9befa0d5ea","datavalue":{"value":"modal \\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3655261$588F61F9-C05B-4A97-A67C-A8BCCCF79E94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b277d5c1fdcf85c420ab8edc13f2c16380fbc05","datavalue":{"value":"parity games","type":"string"},"datatype":"string"},"type":"statement","id":"Q3655261$887FF733-401C-41FD-A305-B3961AAC34D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"085ef413298529287aada489e73f3fd01de600da","datavalue":{"value":"alternation hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q3655261$4BDEA559-76E3-4865-919A-BDC8407CC032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d9c2e1f00facc619242af9af43a4aae006f38ad","datavalue":{"value":"transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3655261$753F62A6-D21A-46BF-A67E-0D2864DE1C4B","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":"Q3655261$BBFB4EA5-C3A8-456D-833C-626A46E0E0AF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9fc894efa45ac4dad505fc402cbff0eaaaa6336b","datavalue":{"value":"W2007304763","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3655261$E7A9181C-F739-441F-AC40-DE690DF46335","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655261$96152A82-4A5F-430A-8EF1-D467C3BED61F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6adb1e48aa7d82b462397e04de8ae48c530c0de9","datavalue":{"value":{"entity-type":"item","numeric-id":1119630,"id":"Q1119630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655261$2CDA9069-874A-4A97-A28D-C1F0F3348E88","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":"Q3655261$77C13FD7-6D3A-4535-A88D-40DE87922557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eda3f908e35865c4db560c3dc5ac0c7e4b363b62","datavalue":{"value":{"entity-type":"item","numeric-id":4532193,"id":"Q4532193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655261$71298834-8161-4742-BCAF-751A1842E779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b7ae90865a45f4782f4d357aec271b4347861f3","datavalue":{"value":{"entity-type":"item","numeric-id":1015480,"id":"Q1015480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655261$259E8575-A471-48B1-8F35-34FBA318BE64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"498661e57f097849360a48f48785a3868e7f1cac","datavalue":{"value":{"entity-type":"item","numeric-id":1606130,"id":"Q1606130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655261$EFBB4B70-2E86-4D4B-8DDD-D0696A5492CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5a3ad609b1c317d69e08e452a14faabeab27771","datavalue":{"value":{"entity-type":"item","numeric-id":2508306,"id":"Q2508306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655261$9C6697FC-7D66-426D-8685-52DF5E1391B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54f1ad840706c682b0fedd77190bd24d7fda2981","datavalue":{"value":{"entity-type":"item","numeric-id":1117213,"id":"Q1117213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655261$4B807EA1-6173-4F8E-8A42-91E6E9FA7398","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":"Q3655261$63F6B8B8-16EB-4B35-A11D-8C41F7C3CBFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19af37d190007ff6ebc0d93b6c1957931f3dcf9","datavalue":{"value":{"entity-type":"item","numeric-id":4698331,"id":"Q4698331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655261$8D5846E2-2B30-41BB-9B59-69E7F7F898D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec39c4ba48368fe55c340c99f72435d76d7465e0","datavalue":{"value":{"entity-type":"item","numeric-id":2433098,"id":"Q2433098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655261$8E54EE61-B345-4C39-8C22-E3DCBCAA58BB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f91bf78e0118c554b301df70cc499ecc7d9d235c","datavalue":{"value":"10.2178/JSL/1254748696","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3655261$6EEA97AB-EA9C-445F-B273-445BF1ACA5B6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655261$48C18310-A267-48DE-AABE-9098062910BB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"138d3139f4cc5aa61b1802a68a1a6b5c684e9706","datavalue":{"value":{"entity-type":"item","numeric-id":606994,"id":"Q606994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2eca1b44edab4426f3bb61ed5820f8be5328d4f","datavalue":{"value":{"amount":"+0.8409119248390198","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":"Q3655261$1C1670BF-A6B9-4D97-BAA0-941F73FA8363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e792b64248599fee99b1f1bb0e9d143da60f597","datavalue":{"value":{"entity-type":"item","numeric-id":5300576,"id":"Q5300576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e278d727b6cb9bf1c640ff52c46c32adab17930f","datavalue":{"value":{"amount":"+0.8290808796882629","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":"Q3655261$EB88F8F7-8A91-4F60-B0F8-84C3F9C77ACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20ac10ae2351adb42f518865ccc0b8cfed9b88fa","datavalue":{"value":{"entity-type":"item","numeric-id":4412834,"id":"Q4412834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c684617ef56598eb6c94e23b0aed63fb4987e60d","datavalue":{"value":{"amount":"+0.8252624273300171","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":"Q3655261$7C46B383-FCC2-4B9A-82C0-36DF79CBA6EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85a19e4fe756e84b14e0c1cb0b1fd34a1397a1ec","datavalue":{"value":{"entity-type":"item","numeric-id":5710722,"id":"Q5710722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c684617ef56598eb6c94e23b0aed63fb4987e60d","datavalue":{"value":{"amount":"+0.8252624273300171","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":"Q3655261$EB71A6A2-5AE4-4788-B605-171998276E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f43600c7ca878f3eee91bce418037d187d16583","datavalue":{"value":{"entity-type":"item","numeric-id":477204,"id":"Q477204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c54debde3f84dabccd8f7af685a3a73911755c27","datavalue":{"value":{"amount":"+0.8232097029685974","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":"Q3655261$2B7E378B-8DAE-4BE0-B4FB-D7E57E161B5D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3655261","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3655261"}}}}}