{"entities":{"Q1325848":{"pageid":1336598,"ns":120,"title":"Item:Q1325848","lastrevid":68466822,"modified":"2026-04-12T23:53:52Z","type":"item","id":"Q1325848","labels":{"en":{"language":"en","value":"CTL\\(^*\\) and ECTL\\(^*\\) as fragments of the modal \\(\\mu\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 567727"}},"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":"Q1325848$BF61EDB7-A787-4036-BDC5-C30605B1E456","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6643b10b09974e95d857d318f41dfc76b0e9f472","datavalue":{"value":{"text":"CTL\\(^*\\) and ECTL\\(^*\\) as fragments of the modal \\(\\mu\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1325848$0605B6F9-6B6A-4D87-B71C-599233F7EDE1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"574d910b789f0adc29937500967b3311bb5cb79f","datavalue":{"value":"0798.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1325848$5C8B1822-79AA-4A81-A68E-478BB1A171F6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d768cbc0b507882af586fc7d72b63bb4ba766656","datavalue":{"value":"10.1016/0304-3975(94)90269-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1325848$D9EE6A4E-6A71-4407-992C-2BC39B50634B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6786702c945efafa0740aa01768ef3c300be6d14","datavalue":{"value":{"entity-type":"item","numeric-id":931114,"id":"Q931114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325848$98C4CF74-0F43-4179-A6A5-2581230E3C68","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":"Q1325848$32B58B28-C39E-4582-B014-2EBC0202A049","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1d9914bc6feb5fa01fb9ecfc8e4444ea1144570c","datavalue":{"value":{"time":"+1994-05-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1325848$8E0F8526-2F7B-4082-82CC-7430C713679A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1325848$B409348D-CCE6-400B-B94C-579C93F2B5B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1325848$83288F11-ECF4-4086-8DF9-E3FC85BAE871","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"beadbc833c66d00e8dc569d0cd2bd4f290b9a4f5","datavalue":{"value":"567727","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1325848$03283D15-5841-4DBE-AA96-FB63F5A0592C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1325848$D64343D1-A347-4FD7-82B9-3ED3FF99C779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e7bd08d0645482afa238d75eafdc688efacb395","datavalue":{"value":"embeddings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1325848$F14278E7-E708-48DA-B44B-903184AA43DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"974fc4290c781791e02c0455667b406f7d1e8293","datavalue":{"value":"full branching-time","type":"string"},"datatype":"string"},"type":"statement","id":"Q1325848$08D6C937-E82C-4956-8976-2DA6BC949B1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26c4403d5fa8d9102bcd88ec8de73f9befa0d5ea","datavalue":{"value":"modal \\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1325848$5BEC6237-6548-44C7-989E-E6C35AA35E40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45ba0550e07e04a3326d1cb7dbe398ac3d7c209d","datavalue":{"value":"tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q1325848$71025C48-2165-430F-AB54-4650EB05DCD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44865d5716f52cbcca380848838c0ba14df50dcf","datavalue":{"value":"extremal fixed points","type":"string"},"datatype":"string"},"type":"statement","id":"Q1325848$D0ABF5A5-ADD4-48DB-9E03-3FC90E15FAD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3db880c44e3892417a5400283a3d37c5f9553d1","datavalue":{"value":"B\u00fcchi automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1325848$F7E98352-D617-4603-A3D2-CF99F62EC0F6","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":"Q1325848$54F52424-711D-4455-9A3D-0BFFB90A343F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c4218b5c62bc61930677fc6e3768d143efe3c7ef","datavalue":{"value":"https://doi.org/10.1016/0304-3975(94)90269-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1325848$0AA2C74F-0C85-461A-91A6-3B246C519B97","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"19abf5abc3290e958054f10928f8adc2beeae05b","datavalue":{"value":"W2112535338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1325848$E0862813-0004-4CED-82DE-7CC92AB9F8BF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ef4165cdc01f313b12040c9657a14ef341fa2d9","datavalue":{"value":{"entity-type":"item","numeric-id":789895,"id":"Q789895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325848$686C8682-A041-494A-B2F0-3AFB5A57F225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c4d26544d22a30513dbdddd63598022e33eb3f4","datavalue":{"value":{"entity-type":"item","numeric-id":1190489,"id":"Q1190489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325848$38870E5F-02DA-421F-8183-372AEE50B323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd1e5527beee43e76ace8195dd1167b63319c8cb","datavalue":{"value":{"entity-type":"item","numeric-id":3743249,"id":"Q3743249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325848$8ABD523F-3845-4108-B1F7-634521B65EFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15024ffffc09145a7c76b637f653895eb7568695","datavalue":{"value":{"entity-type":"item","numeric-id":1318284,"id":"Q1318284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325848$6D572A36-5BBA-49D0-8C18-73E8A34E10E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325848$8C2D257E-5897-4A32-9919-510175578A2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a2a4179afaab6165623a114e2ec7a594c0496a9","datavalue":{"value":{"entity-type":"item","numeric-id":4207567,"id":"Q4207567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325848$DEE4F124-F8D1-4607-A741-C332EB037D64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9a8929f64733d1c383c51b83faab3572c8c41fa","datavalue":{"value":{"entity-type":"item","numeric-id":3329397,"id":"Q3329397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325848$B1877F6C-D006-4A6F-A7B9-CAD170EBEDFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c4261c45eb0bdc31b98abbe6dbdb3be8211dfa8","datavalue":{"value":{"entity-type":"item","numeric-id":1122572,"id":"Q1122572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325848$65DFB436-1007-4384-8C24-C5CFA23368C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd56f820547becaf1640ba57e415b67b2dccf11","datavalue":{"value":{"entity-type":"item","numeric-id":3766825,"id":"Q3766825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325848$7038DDFC-EC8A-4153-BFCE-251336115B06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93f7e9b51624f25e880af792c7f9d74c82f45335","datavalue":{"value":{"entity-type":"item","numeric-id":3722471,"id":"Q3722471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325848$9BDC3237-6310-4941-A2AF-9F7F80471597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325848$0A17DC5A-A7ED-4941-8D91-1ED6CF432854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d37e970d554272b80a4bc4c50514f5e1dbbe4f4c","datavalue":{"value":{"entity-type":"item","numeric-id":4139635,"id":"Q4139635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325848$EE89E1F7-9A3E-4CAD-BDB3-45A0B12A9804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325848$BA74E410-22FB-4FBE-80F3-D23FF970ACE3","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":"Q1325848$489B7391-A7B5-4D6C-A58C-2F8CA66AB286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a905ba949a06cde66174f0d589d9794d6c05423","datavalue":{"value":{"entity-type":"item","numeric-id":3711745,"id":"Q3711745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325848$1E36A93C-8155-4A24-8334-3FA586B4B4A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a5aa94c8e45c27c05c3a12795740c87d5e2ef2f","datavalue":{"value":{"entity-type":"item","numeric-id":5613960,"id":"Q5613960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325848$BDF77EF9-8B32-4726-9BF3-F1657DE1C335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325848$69228451-4178-4760-A7C7-E2CA30A91FEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa4614c3d7786f0db16d6ca3adbca9b075e1b1ff","datavalue":{"value":{"entity-type":"item","numeric-id":1177939,"id":"Q1177939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325848$06B8797F-DEAC-4D06-AD3F-B4441514C6C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d998f10dbe733ce0c4fe3996b622c39d39adbcb","datavalue":{"value":{"entity-type":"item","numeric-id":3662639,"id":"Q3662639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325848$C12C38FC-3691-4501-A959-5DF1C711E414","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":"Q1325848$0011B38E-B015-4D18-987C-69312CFF686C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"342e773b9e30385be9547647e572658e43d226c4","datavalue":{"value":{"entity-type":"item","numeric-id":4198738,"id":"Q4198738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325848$A00997C9-1963-4764-94EC-42C66D3662D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5b71b7e6f84e554c58be41609ee5d08fb2e826","datavalue":{"value":{"entity-type":"item","numeric-id":4733423,"id":"Q4733423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325848$8CDCA408-1B6E-4B88-86B7-930CF6079C81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3796d9f03b4ae0103a65fce1ee3fb718e92184f","datavalue":{"value":{"entity-type":"item","numeric-id":3341881,"id":"Q3341881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325848$D3130402-0E12-4FC6-AD29-F1F40745F5A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c647fa1d172318cd49d05d4eb4fca603299b18b0","datavalue":{"value":{"entity-type":"item","numeric-id":911263,"id":"Q911263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325848$BBADCDBA-452C-4311-ABC0-AC5C62471437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6a31e0cf3ff6a73ad4ee5a92d1ed62572bdd89","datavalue":{"value":{"entity-type":"item","numeric-id":3317085,"id":"Q3317085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325848$74821DEA-352D-45C6-B6E2-6FA5F68A4D9B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c57d75ac538d03013eaf352cbff07fbf1c0eefec","datavalue":{"value":{"entity-type":"item","numeric-id":549180,"id":"Q549180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b2f9ee18f0e3132ccb0c865dbea468ec723451f","datavalue":{"value":{"amount":"+0.805374026298523","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":"Q1325848$B1092E60-914F-44A0-BE4B-6F535485157D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fd64ad8194f7197fe6dc1e06b86a30b6e323741","datavalue":{"value":{"entity-type":"item","numeric-id":4501666,"id":"Q4501666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50398c8c2f8077ccbc9357471c69fc0c45cb2b0e","datavalue":{"value":{"amount":"+0.7707847356796265","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":"Q1325848$D40F05F7-6E11-4995-836C-D4779122BA13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"878200bb7d6deda2e858113e30ee5e79946f3371","datavalue":{"value":{"entity-type":"item","numeric-id":2500472,"id":"Q2500472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c57619dad442093b26a31d1561622efbc4afeac","datavalue":{"value":{"amount":"+0.7707621455192566","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":"Q1325848$A21E953E-3E57-47FE-9E6E-0A9F0236E20F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9ecaebec92af5dddd85d10e64d18937aa1be945","datavalue":{"value":{"entity-type":"item","numeric-id":3722471,"id":"Q3722471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"951353d3ef653da4fe0c2bb67b0d335dd5207e8c","datavalue":{"value":{"amount":"+0.7678648829460144","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":"Q1325848$A6EFAD8D-0F83-4F69-B871-CFBE1E239ADC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"CTL\\(^*\\) and ECTL\\(^*\\) as fragments of the modal \\(\\mu\\)-calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/CTL%5C(%5E*%5C)_and_ECTL%5C(%5E*%5C)_as_fragments_of_the_modal_%5C(%5Cmu%5C)-calculus"}}}}}