{"entities":{"Q6124964":{"pageid":13259271,"ns":120,"title":"Item:Q6124964","lastrevid":55628338,"modified":"2026-02-17T19:58:39Z","type":"item","id":"Q6124964","labels":{"en":{"language":"en","value":"Succinct graph representations of \\(\\mu\\)-calculus formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7830385"}},"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":"Q6124964$2B3718D5-A058-4784-A53E-6A08F2152DF7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"28d8c9047b2bb72e50bbf56be800744851436c53","datavalue":{"value":{"entity-type":"item","numeric-id":618168,"id":"Q618168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6124964$8E1FE8B9-5A16-4D90-83BC-B934E9337EBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"46f7074353c6dc85f739de24e8c3bfb3a0179d4e","datavalue":{"value":{"entity-type":"item","numeric-id":1742624,"id":"Q1742624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6124964$4A35F2AB-EF3C-497E-AEC3-06CAFB3CB60F","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":"Q6124964$ECECBEC4-00AD-409C-95D1-6A6A223EFEC4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0aaef9e7e62e4d5052aa36b93d814a95d302adc5","datavalue":{"value":{"time":"+2024-04-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6124964$5C6AB96E-ABF3-4DED-88D1-74DEAD5392F5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6124964$1E5BCC7B-A2B1-4599-8DD9-6835F7FF11B8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"22bfdd22734443a322a7c1c865d066b7d6c00014","datavalue":{"value":"7830385","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6124964$8BC21643-686C-43FE-8511-3780CA3738B0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26c4403d5fa8d9102bcd88ec8de73f9befa0d5ea","datavalue":{"value":"modal \\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6124964$5FB5BE94-8F39-42C7-893B-86C3260853C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6124964$8E4AE8C1-CEEF-42E3-BB02-096D1B05F6C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50eb2948a3ad8ae2842382e57af23ca278f07101","datavalue":{"value":"alternating tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6124964$7D088DD0-9FF3-43DC-8801-98361A5A469F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e460a57ce7761524650135d4ce7e94da43d6e4da","datavalue":{"value":"hierachical equation systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6124964$F427D312-44A5-4700-8DBF-73FFFA3200E7","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":"Q6124964$7AC97E70-8F2F-40C1-BCE5-32E3288062CD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"abc09bfa95619a77bb0817c4d58bff98d625fbde","datavalue":{"value":"10.4230/LIPICS.CSL.2022.29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6124964$B14B8FA3-9E72-4E46-ADFE-4AAB39EEAD96","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"970fb0c5ae805872d1cf98e3a19408c016b9b383","datavalue":{"value":{"entity-type":"item","numeric-id":6649448,"id":"Q6649448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21f520615a3773dd80d1d9ba14c7e49973437c57","datavalue":{"value":{"amount":"+0.822508692741394","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":"Q6124964$DDB9161C-02C9-4BED-B838-C6CE24DB205D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57df6c4616ac1c1e21409daa50b938d22cdce121","datavalue":{"value":{"entity-type":"item","numeric-id":1433941,"id":"Q1433941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6893b9ccbce5895cb9626623f643ef3a5a632ae9","datavalue":{"value":{"amount":"+0.7943187952041626","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":"Q6124964$0F1663D9-5B50-4E7F-8766-955F75927F4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"306f27ef787fa91b00b5802d39e2d9044ba98198","datavalue":{"value":{"entity-type":"item","numeric-id":5309728,"id":"Q5309728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1cf0b24e92c660dd04d2601f7e1d13b01a6db56","datavalue":{"value":{"amount":"+0.7865945100784302","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":"Q6124964$F98D6DF1-3EAC-4F4F-85F3-404316C95299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abe943cbf6e238a22b9a5983cb2e1f12e06be1b9","datavalue":{"value":{"entity-type":"item","numeric-id":4644509,"id":"Q4644509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8fe23ef61ba097c5273a66d560c018aedda5855","datavalue":{"value":{"amount":"+0.7856096625328064","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":"Q6124964$AE44E42F-7FF2-42A9-8041-8103A2DFCAA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14396cd9bd793a2ddf8fa5ff64e5c9589086b357","datavalue":{"value":{"entity-type":"item","numeric-id":5941205,"id":"Q5941205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6d9711d07ec9ee593cc5a1449806ce66dc70850","datavalue":{"value":{"amount":"+0.7653495073318481","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":"Q6124964$0B41698A-848D-4FE0-B47D-9B125879AD0E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6124964","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6124964"}}}}}