{"entities":{"Q1575656":{"pageid":1586396,"ns":120,"title":"Item:Q1575656","lastrevid":43221540,"modified":"2025-07-22T12:42:37Z","type":"item","id":"Q1575656","labels":{"en":{"language":"en","value":"Symbolic model checking for \\(\\mu\\)-calculus requires exponential time"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1493446"}},"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":"Q1575656$A1DEFD2A-C679-4D7F-A889-6458205ABC3C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b0a788278f76373ee369ebdb3545a2d5f74f5ce4","datavalue":{"value":{"text":"Symbolic model checking for \\(\\mu\\)-calculus requires exponential time","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1575656$F28BF075-CBB1-4C1C-9242-9D9A0E6A0765","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f7fbd90bd9c1354bf4941af36ffc078825530e01","datavalue":{"value":"0944.68035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575656$E85894B4-5EC8-4DC5-A511-7DFE75D3694B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9d17110b1b566ae3075483c5614b9a98d24a1daf","datavalue":{"value":"10.1016/S0304-3975(00)00033-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575656$204E4827-737F-4AE5-8AEF-6C4D4FEF94B4","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":"Q1575656$FADA8740-932F-494F-BDC7-0B51D985CB4A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3a497233c3b9babc42d370358782cbff338a7a1","datavalue":{"value":{"time":"+2000-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1575656$575A747A-B8EA-44BD-8E31-01E70C2FBA81","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575656$A4BFB986-5F5F-429C-9F9F-3756ACCEAF8C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d3f1f2b09a8d1358ba985024364352b893c5d77d","datavalue":{"value":"1493446","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575656$B56DA918-886D-4208-A15E-543330B22BAE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575656$AD190930-A5EE-4099-B109-1A43E9B3355E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f9689adbc3715cd2cb361f6c8e3fad3aee397e4","datavalue":{"value":"MU-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575656$49AD01AA-1CC8-49E1-ADC0-9EC23B6253C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575656$D37CA686-0ED9-49A7-B17E-67C16954E393","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"91a6d5b55b11b7c5072badc33d9b23eaf1c7a459","datavalue":{"value":{"entity-type":"item","numeric-id":259067,"id":"Q259067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575656$6FE50D7E-2F67-46E6-BF77-325F317D85F1","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":"Q1575656$93276B37-0988-44B4-BA2C-601D5B2C99B8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4fab5a4519bb0e4a7392865538dc50ad77fca2","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575656$A9D0E2F5-A1AD-41ED-9623-8926EDEA7D6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"648af4444efef3dfface63422920536bd2b0c180","datavalue":{"value":{"entity-type":"item","numeric-id":3928246,"id":"Q3928246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575656$C900B34A-AE51-45E7-BC67-AA1C6906D903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575656$E41DCC14-9216-4813-97F1-A5156ACB377A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb52c3e31220c64c6dcc9fcf2736dbb2690c6f99","datavalue":{"value":{"entity-type":"item","numeric-id":4267798,"id":"Q4267798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575656$BB98DF57-01B6-41A5-8F35-E540CA63A04F","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":"Q1575656$345D2D4A-D22C-4D17-8D6F-CB2B6F3947F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e70d25d335984640e6dfdb95e29f1c296c0c5fbb","datavalue":{"value":{"entity-type":"item","numeric-id":3325058,"id":"Q3325058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575656$F69E652B-44B0-4DC7-B1F9-50E574AE7B79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ed42a67ea4a489bc2843c16fc36181e4361fce2","datavalue":{"value":{"entity-type":"item","numeric-id":5606602,"id":"Q5606602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575656$9B323302-0594-4E0F-8E0C-D6158F769AC6","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":"Q1575656$D2A71D69-A0AA-46B6-A3E4-D116EAF1A47F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d0b3d39649082ff6de9169c6e51eb8e1d8d7a0b","datavalue":{"value":{"entity-type":"item","numeric-id":5385339,"id":"Q5385339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575656$D101BD90-E73B-4C50-AD69-CD45AE569A74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7357cdfb87c5446d835ccaebc7252250132fd0bd","datavalue":{"value":{"entity-type":"item","numeric-id":1383143,"id":"Q1383143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575656$7AFE128F-FF95-42DC-9656-BA4DB8875089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19bc50e2f4d2cceaac2ab96d0b4ab028848b7d4b","datavalue":{"value":{"entity-type":"item","numeric-id":4023900,"id":"Q4023900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575656$31FFEF75-A891-409C-BDF3-AA7E2FEC0A2E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"292c75c7faa995957b06dd82dd89107cb4b228a8","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(00)00033-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1575656$A8EF41AE-FA44-49EB-B73F-58E1FB38493C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0b6cc38b5c2ac8a62d0a0dac59497edefbf43777","datavalue":{"value":"W2063651327","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575656$7E6D3E77-5D60-4027-B73B-DB4C0DBC1FCB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1575656","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1575656"}}}}}