{"entities":{"Q3454725":{"pageid":5234125,"ns":120,"title":"Item:Q3454725","lastrevid":52403291,"modified":"2026-01-22T13:56:29Z","type":"item","id":"Q3454725","labels":{"en":{"language":"en","value":"On the modal \\(\\mu \\)-calculus over finite symmetric graphs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6514018"}},"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":"Q3454725$87EF93C1-C0F9-43B3-BC5D-BCFBEC344283","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"932b9cf70ce8874e2371f5321719756a75e63f78","datavalue":{"value":{"text":"On the Modal \u03bc-Calculus Over Finite Symmetric Graphs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3454725$92E34F80-6F7A-4FE8-8DE1-2FCBC3ED677F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"684f85ec7031a72898d7a7ac6ddd6a4033743a34","datavalue":{"value":"1363.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454725$4F717B9F-8792-4F84-BEBF-1596F1567AB2","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":"Q3454725$8F22CC33-E346-4C8E-BC79-61897DFE6354","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":"Q3454725$E464F879-F607-4CCA-AED7-FAE26E8C1640","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9654dda326c7625386dfa5d02ed88aa11952965c","datavalue":{"value":{"entity-type":"item","numeric-id":2054591,"id":"Q2054591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454725$2E475EB9-E220-46F6-A576-73493745093B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bd994e0b9bc80c86ef5ab9dd4c197e5cd2394cad","datavalue":{"value":{"time":"+2015-11-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3454725$5EDA7446-C901-4C8D-9FA6-94548FCEFC8C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454725$B9AEE4BA-D3BD-41EC-A2F4-44B301836E74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454725$00988B99-DD69-464C-855B-711A608AE819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454725$D5E147A9-1E94-4AA9-91B4-44F30C4ADC0C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c1f2cce6755f1fda5a6d3f721e9e7639071107e1","datavalue":{"value":"6514018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454725$1BDFFB35-2F11-4E04-ACC3-4DFB18119BBB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9a7b0cf17169865b15e8c9d7014c24bafb8410c","datavalue":{"value":"fixed points","type":"string"},"datatype":"string"},"type":"statement","id":"Q3454725$A42989AD-8E49-4A08-A75A-F3C98D291DBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70385047063e32e899a03bc21d34ece5ee0e5655","datavalue":{"value":"modal \\(\\mu \\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3454725$5EA6C961-27BE-4F79-A15C-2D4AE9E9F363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b277d5c1fdcf85c420ab8edc13f2c16380fbc05","datavalue":{"value":"parity games","type":"string"},"datatype":"string"},"type":"statement","id":"Q3454725$86767402-D4CB-4731-B347-E3C10A717F6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5cad1b4c902c651f8560ebce6ecad68baf0e844","datavalue":{"value":"fixpoint hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q3454725$46D2702A-0280-4C86-94A0-DC71EFD5E268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6491321b1032aac7a785e087a05a385fc00423e","datavalue":{"value":"finite symmetric graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3454725$A11E317C-BE42-4095-990A-81AF0E68F929","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":"Q3454725$703EF590-F673-4F4C-B323-B8A937E77330","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7c523fb06f4426e1a8c888587ed44195410bdacf","datavalue":{"value":"https://doi.org/10.1515/ms-2015-0052","type":"string"},"datatype":"url"},"type":"statement","id":"Q3454725$674F97DF-15F6-4280-BBBA-895A95962CAE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"00644140fd63e24d0890c9291773c77f3f2281b8","datavalue":{"value":"W2565414966","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454725$7BC2C480-6242-40B5-B959-0FC8E070CCE2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"26351d31fbeadb545469cce791aa7715b203dccb","datavalue":{"value":"10.1515/MS-2015-0052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454725$E9D0DDFA-58C8-4F6D-A631-2EEC6D0BE550","rank":"normal"}],"P1643":[{"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":"ff8e1a603f5ec306b5abf1a8c2c1d36058ad4cf9","datavalue":{"value":{"amount":"+0.8499071598052979","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":"Q3454725$877064C3-3E00-4DF1-B81A-2AC65EA4C93C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64a3f7f38c780ff8ec4ef4b6f28c5a6c3e46bbf7","datavalue":{"value":{"entity-type":"item","numeric-id":2841958,"id":"Q2841958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dbb697998b5f3b06bcda11d1c698772bda558ab","datavalue":{"value":{"amount":"+0.838108479976654","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":"Q3454725$60EC4598-F37E-4498-8461-5E88CE8B73F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8cea7ba08318cf2bfbdbf58582c7bcf1eda954b","datavalue":{"value":{"entity-type":"item","numeric-id":2719798,"id":"Q2719798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bb0671c0eb37e18cb31f5b1bf633b9e50f91027","datavalue":{"value":{"amount":"+0.8268979787826538","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":"Q3454725$B96034F8-7320-4634-9951-D9F976007543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"936c00b110d083fe18b85a9e15a0981c697e397d","datavalue":{"value":{"entity-type":"item","numeric-id":4381381,"id":"Q4381381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bb0671c0eb37e18cb31f5b1bf633b9e50f91027","datavalue":{"value":{"amount":"+0.8268979787826538","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":"Q3454725$197AC655-2511-4A31-AA9C-1A9E9DDEDDB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c43ed1f34a04101fe88762448461aa1b3686a82a","datavalue":{"value":{"entity-type":"item","numeric-id":2909221,"id":"Q2909221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"346377ba8994ba3ee26b2ed84ca287c4dc98891e","datavalue":{"value":{"amount":"+0.823694109916687","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":"Q3454725$E20307D1-ACEC-435C-A778-611FF6A772FA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3454725","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3454725"}}}}}