{"entities":{"Q5271085":{"pageid":7300660,"ns":120,"title":"Item:Q5271085","lastrevid":52843100,"modified":"2026-01-23T15:18:27Z","type":"item","id":"Q5271085","labels":{"en":{"language":"en","value":"A characterization theorem for the alternation-free fragment of the modal \\(\\mu\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6738828"}},"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":"Q5271085$CD9C3666-0AF2-45E6-9B61-55A282E89916","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5c8fac3187aa5da8c9e60c881fb82d201baece7a","datavalue":{"value":{"text":"A Characterization Theorem for the Alternation-Free Fragment of the Modal µ-Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5271085$BB2D51B9-8001-43BA-AA13-09B621A5B6DA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"37f5f43a508b95cd2c6625d578f00214613706ca","datavalue":{"value":"1366.03186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5271085$D2484A3D-3606-44AA-A36A-87EF7D444165","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f154169289c89a2b2dc9b8f1b1902e68659e5bc4","datavalue":{"value":"10.1109/LICS.2013.54","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5271085$C5DCD6BE-AEAC-4E9F-9364-9989A325ADD9","rank":"normal"}],"P16":[{"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":"Q5271085$51163566-4410-4712-AC38-97C9DEAAAC51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4dc922476b8762c0edeaa5934d7af7453851be77","datavalue":{"value":{"entity-type":"item","numeric-id":308155,"id":"Q308155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5271085$1D6CC1B9-C35D-4C4F-A73A-F8AEDD85E578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8bf048b02e69cafc813fe01f621b37f5d15aab40","datavalue":{"value":{"entity-type":"item","numeric-id":402119,"id":"Q402119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5271085$5A6DB6A0-EF9D-45CC-8752-BEF543C23C43","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8f2a27057ee3b9429467b9887dffe24f85e110db","datavalue":{"value":{"entity-type":"item","numeric-id":5271034,"id":"Q5271034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5271085$7FC8D804-5F0C-4F14-A929-291BCECBB70D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6edb88116a7eeacb35c0b679978087861f13003c","datavalue":{"value":{"time":"+2017-07-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5271085$B27DA02A-0D55-4D9D-B9BC-F611F071C090","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5271085$F520FBE9-DB79-4013-A245-AB2D773475F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5271085$9AC7FBB3-0758-441E-8ABF-F886EA044436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5271085$B245A297-1165-4DEF-B156-9BCE26D7ECBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5271085$131EA115-63FD-49C2-B5AA-AFE420D2E25A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dbb5f21db6702164fafcf30868eb482ce220f15a","datavalue":{"value":"6738828","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5271085$990DB4B9-0261-40E0-AA05-B1FB6D479EDF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26c4403d5fa8d9102bcd88ec8de73f9befa0d5ea","datavalue":{"value":"modal \\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5271085$B0E51D55-7CB8-49EE-BA01-68B6DA9AFAA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b1851198cc503f0984e29dba5bb08481966fe3d","datavalue":{"value":"weak monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5271085$A98CBB93-E89E-4EDF-B103-27D48C6DC76F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae0c233af3f66cec779528975b29d1277e87f55f","datavalue":{"value":"characterization results","type":"string"},"datatype":"string"},"type":"statement","id":"Q5271085$C8E4E16A-01D1-4BF6-896D-AB306667B132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80b3641129a98909eaa99f2645dd8eff185a0469","datavalue":{"value":"alternating parity automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5271085$D2FC856F-A57F-49DF-915F-3FC92BF6ED51","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":"Q5271085$C7BC0E5A-CB38-452D-8892-5A24C9352FD1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e820e70d404e4a515b10ee55eb13b7b48df6d220","datavalue":{"value":{"entity-type":"item","numeric-id":5121266,"id":"Q5121266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bb01f67f3c08392971a5e54e0c2321f92bfdcd4","datavalue":{"value":{"amount":"+0.8602002859115601","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":"Q5271085$0ECE57B9-6800-4FFC-B975-759C6F80F5FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56dea6ad997ecba48c4a0ab781f9549648f6e8f5","datavalue":{"value":{"entity-type":"item","numeric-id":4412837,"id":"Q4412837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76a09d5d45f0dbeb601377cc89afd1f5be2fbfb1","datavalue":{"value":{"amount":"+0.8479868173599243","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":"Q5271085$B6357F6E-55EB-45D9-89A9-03DEC178E91B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ceffdd329b916bec937476626c5b94b07cfb8d45","datavalue":{"value":{"entity-type":"item","numeric-id":2182315,"id":"Q2182315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76a09d5d45f0dbeb601377cc89afd1f5be2fbfb1","datavalue":{"value":{"amount":"+0.8479868173599243","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":"Q5271085$13583D80-82FA-4A42-B27B-93EB7DFF9F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c02e3ec25316e3da92f1e7db6f8e1529478a367","datavalue":{"value":{"entity-type":"item","numeric-id":4635611,"id":"Q4635611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"004d68a43e41ddfaeb50b30d29ea560713ad9128","datavalue":{"value":{"amount":"+0.8371864557266235","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":"Q5271085$723B6459-CD9D-4D95-9E68-3EAA5875D827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"067081d76927d979a5e039d672897139e96d4ad6","datavalue":{"value":{"entity-type":"item","numeric-id":4449213,"id":"Q4449213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d4704b9b404630f9a9a0bb62edaa36afd8df14a","datavalue":{"value":{"amount":"+0.8032749891281128","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":"Q5271085$D4310DAC-9515-4608-B0C9-1EFCDDDC728F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5271085","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5271085"}}}}}