{"entities":{"Q4635600":{"pageid":6665181,"ns":120,"title":"Item:Q4635600","lastrevid":58315965,"modified":"2026-04-04T16:51:47Z","type":"item","id":"Q4635600","labels":{"en":{"language":"en","value":"Decomposition theorems and model-checking for the modal \\(\\mu\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863075"}},"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":"Q4635600$283ECF81-7FD3-47FF-A067-E09A1E34CB0A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"81de795faddee98a9a5522c19d97f162787853da","datavalue":{"value":{"text":"Decomposition theorems and model-checking for the modal             <i>\u03bc</i>             -calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4635600$D7174A1D-536F-4B84-9BC9-15C2A9F67086","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8d84946d4c9b7e5ff30fc7e84ef6f859b7a0d4e9","datavalue":{"value":"1394.68222","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635600$9566DFA5-E2D7-41CF-BD1A-22372B277002","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"992f7b469b4b92a3022fdb379a10f99724a2fbb2","datavalue":{"value":"10.1145/2603088.2603144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635600$6E0A3CF8-7358-46B9-AFD0-87D3C6F5A921","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f5b3c3247f723a8dd053286a58f85570c0f08c2","datavalue":{"value":{"entity-type":"item","numeric-id":290907,"id":"Q290907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635600$F3075186-DA13-488E-B90A-558BD7D44580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"918080086cebdbff5bc6043fbb9d0517bf6ba5db","datavalue":{"value":{"entity-type":"item","numeric-id":906272,"id":"Q906272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635600$FC12A995-B9BB-402C-B399-958164A51BBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5e3d022de394d7241ddffa43602fc112cf57e9e","datavalue":{"value":{"entity-type":"item","numeric-id":266261,"id":"Q266261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635600$E1EE4E73-BE5D-4853-B615-163B8FCB0742","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6572bdac0e197f580103bb5e9b289936a884acc4","datavalue":{"value":{"entity-type":"item","numeric-id":4635585,"id":"Q4635585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635600$4A75D452-12D3-4B3B-AC66-9721BB52BD95","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4635600$83455544-B996-40A8-A0BA-A826D82548EC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"63c52c2442d299769abfa5eada2e35e680126fdb","datavalue":{"value":"https://arxiv.org/abs/1405.2234","type":"string"},"datatype":"url"},"type":"statement","id":"Q4635600$7055AED5-2C12-4C44-B168-3DBB5FFFDCF3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635600$6D58FD66-378A-4EFF-968D-358153C99EAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635600$10565AA3-1773-49B5-BA46-681D9D2DC8F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635600$F4CE81D1-34D1-4E10-B6AF-41E61D58DEEB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2eb3ccac60f6b88a4f8f0a66e4cd6059b89ea1a0","datavalue":{"value":"6863075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635600$A4D24450-CD3D-48A6-88FF-98F9D4345C47","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbc74b1e632b80e3329eaf4bf60324448aa8f079","datavalue":{"value":"decomposition theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635600$BE45C879-78CB-42CF-86A6-DAE36D055740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"037dab8d69537d363b6bf3f8c116e421390cbebe","datavalue":{"value":"fixed-parameter complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635600$D39A5EEF-AC99-4C72-A521-526CCA087EDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635600$C650775E-F7E1-4F28-B4CB-D5BB1A652F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635600$C2D8F619-0B1E-4E46-9D6B-3AF0A3A937CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7aa3fdbdf3b7584bcd007098b5e184978502a1cf","datavalue":{"value":"mu-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635600$2E2EFF10-AD67-4A9C-A667-874C09FA4DAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b277d5c1fdcf85c420ab8edc13f2c16380fbc05","datavalue":{"value":"parity games","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635600$05DA150A-20A5-4FD3-9ACD-C572CFBF98FA","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":"Q4635600$5A361722-368D-4A7C-830C-5C5FAC9AFFAB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9329a224a48151f63e538d1ef3b0a457170c03df","datavalue":{"value":"W3105868061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635600$6E3DB39E-D137-4AA2-8435-FAFD6F8F7837","rank":"normal"}],"P1643":[{"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":"492e9899df29aa2030662b049649720a87b7f08a","datavalue":{"value":{"amount":"+0.7961397767066956","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":"Q4635600$1559D5EF-6D9F-470F-88B7-6D42703813D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d822ffcd1cfc0c408f2405e7079d92040be30bb5","datavalue":{"value":{"entity-type":"item","numeric-id":3023539,"id":"Q3023539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53e8806311597f5838c7e27dc943633b9fe7ddb4","datavalue":{"value":{"amount":"+0.7824024558067322","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":"Q4635600$84EEED30-78B1-4CB7-9450-33C8D279F112","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":"0c9baaf7370201d140fb09fd4d1fb3b4283402ef","datavalue":{"value":{"amount":"+0.7816197872161865","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":"Q4635600$2A402AA4-4238-45FE-BD5F-0B0053F1FC2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d815a62d4dd7fdf5d4c13c5a34a0f5287b2b39f9","datavalue":{"value":{"entity-type":"item","numeric-id":5900672,"id":"Q5900672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9db7266b4c43a30c6079d39e0b0936fddebd4d1","datavalue":{"value":{"amount":"+0.7815579771995544","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":"Q4635600$C2AE01DB-6EB0-4B28-A6A1-5A9B47A1C9C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec36172d005e4eb4f539d380bc30ca077d8ca169","datavalue":{"value":{"entity-type":"item","numeric-id":4603451,"id":"Q4603451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6927b1e84fc36f69369879c0430b719b42a428af","datavalue":{"value":{"amount":"+0.7811666131019592","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":"Q4635600$FD150C41-AE67-45B0-ADEC-FC547227D4BD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4635600","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4635600"}}}}}