{"entities":{"Q6104378":{"pageid":13238685,"ns":120,"title":"Item:Q6104378","lastrevid":40781115,"modified":"2025-04-04T16:19:05Z","type":"item","id":"Q6104378","labels":{"en":{"language":"en","value":"On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7703596"}},"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":"Q6104378$E2B9FBE9-D612-4B87-8597-A3F1F2081810","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bd9999752817709a5a40de338a1e75973a555ccf","datavalue":{"value":{"text":"On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6104378$02DF4EA4-80B6-4E6C-9970-51137E9126A3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4a3b9fd9b157ad93d96c5197fdbdddbce332edd3","datavalue":{"value":"1514.68171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6104378$BB8FDB7E-D9C5-4C1D-9A0C-6862F3E0AFD4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"45c3b07074220e0c76b83302b83fb86feb1bd146","datavalue":{"value":"10.1007/3-540-61604-7_60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6104378$9A6CEF2B-C940-45BE-9720-92AF5F0EB459","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"63b87220b128340149e10ebf560470ab65c97307","datavalue":{"value":{"entity-type":"item","numeric-id":906980,"id":"Q906980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104378$3E1723A3-A057-4993-966E-06F73F7B845D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"775a644844a555d1fdaddfac8fec302da0d27d3f","datavalue":{"value":{"entity-type":"item","numeric-id":342706,"id":"Q342706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104378$45D082BA-80FD-4F8E-BB53-A521C705EF47","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"40e977a827c62303d6a73bc259ccdb9bde4f6877","datavalue":{"value":{"entity-type":"item","numeric-id":6104361,"id":"Q6104361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104378$1D6ECF1A-591C-4501-BD1C-A74E67E1FD02","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9b878ec3713c817dca00288e268c11822e517167","datavalue":{"value":{"time":"+2023-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6104378$C062A8F6-1B71-446D-9797-C151A642466F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6104378$D5F740AF-0781-4805-A176-1AAF4FE88A09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6104378$2C7C9607-BDF4-4226-93E7-1E21F38EA5CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6104378$9094A325-5277-4974-A85A-FEBC9BC9A211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6104378$E0A19693-BFFF-482F-9C31-4C934E8EEF37","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2d411fcc47eae577d8ee0fa8b256124b561521e0","datavalue":{"value":"7703596","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6104378$E01AD1C7-571C-4BF4-AEB8-1586B5AF59A0","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":"Q6104378$212A641F-65D7-49BA-BD7D-7A852A9550CB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"936885405b872193c89dcc5903c79e674d57bf09","datavalue":{"value":"https://doi.org/10.1007/3-540-61604-7_60","type":"string"},"datatype":"url"},"type":"statement","id":"Q6104378$50A0B808-4882-4FEE-8FA5-3B3736C0F934","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"81e87b5a443da0d80fc8bed685da8a4d55bd0821","datavalue":{"value":"W2113800199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6104378$4AD660FE-457A-436D-AB2B-48D43E5D8968","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc84650ab83a0a7bb46fd53edd15abdda6a5b261","datavalue":{"value":{"entity-type":"item","numeric-id":4726222,"id":"Q4726222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104378$864A1FC8-CED8-48CF-9009-62CD087FFEA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4861ad6b832bac12a95a11f6298cd74a8cad1bcf","datavalue":{"value":{"entity-type":"item","numeric-id":4289659,"id":"Q4289659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104378$97038FB2-CB4E-47A6-9F79-8D28D53AC75C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1078de0dacc7640af35258a090cc299186d8f008","datavalue":{"value":{"entity-type":"item","numeric-id":1188935,"id":"Q1188935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104378$894117E5-0A52-4BC8-AFFF-85A97580C403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35fde0a84a4f25daa3e642664f36f975a49d3484","datavalue":{"value":{"entity-type":"item","numeric-id":1089791,"id":"Q1089791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104378$BCF11DF6-F6DF-486C-A046-F7042DD9D92F","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":"Q6104378$56BC57BE-B67E-4F84-82E5-98CC6B1F1A34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24e8b232baa9b03a98b6de510505525c83b98fe4","datavalue":{"value":{"entity-type":"item","numeric-id":3674621,"id":"Q3674621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104378$CC626DED-96C6-4E91-9CB9-3B8E203E3F83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c3f72e4cfa0d440af72fe380c939fa418d344db","datavalue":{"value":{"entity-type":"item","numeric-id":3666827,"id":"Q3666827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104378$237C829D-1C25-4B59-A94E-D331C40A80DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4d63fad87ee9ef86f723aa7605967cbf5545e39","datavalue":{"value":{"entity-type":"item","numeric-id":3768883,"id":"Q3768883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104378$8446A825-F408-4C5E-8BC9-BDD69F7135A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80ab2d8390145c5151ca35ad49ab39837a18a8d7","datavalue":{"value":{"entity-type":"item","numeric-id":3137712,"id":"Q3137712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104378$603EA64F-744F-463F-93CB-D38C503D0544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b616d03b1219418af06ece48bd855e350c3cf3d4","datavalue":{"value":{"entity-type":"item","numeric-id":3569045,"id":"Q3569045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104378$FBA84250-4AEC-4D9C-BA67-D46D7D10CC00","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":"Q6104378$EF12031E-FD6F-4141-B32D-C50C7A65FC0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104378$45397205-2583-4384-907A-B210991A05D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc8538023ff8d40f43d3f0f24e047ecceb14e467","datavalue":{"value":{"entity-type":"item","numeric-id":1098325,"id":"Q1098325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104378$4CAEA029-5B4A-462C-95BD-448561002E05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b476279f9ef74fddb27272ad70ec34f0a4ec2a74","datavalue":{"value":{"entity-type":"item","numeric-id":5625141,"id":"Q5625141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104378$22FE980F-44CE-4BBC-844E-37BE685E34C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"383a3ca7aae52562570b64d9d10b45f0e5fd4501","datavalue":{"value":{"entity-type":"item","numeric-id":4593948,"id":"Q4593948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104378$A90182DC-4FA9-4DE9-92BB-A8C631AF6EF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"505ed0ccd70e9dac58c0d9145b209425580f86f4","datavalue":{"value":{"entity-type":"item","numeric-id":4857386,"id":"Q4857386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104378$4826CA10-FDAB-4814-BE1B-3430197570E1","rank":"normal"}],"P1643":[{"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":"76a23f73416a95a7fd67b51ea4d39e45d373191b","datavalue":{"value":{"amount":"+0.9369794","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6104378$0318CB22-FEF5-457D-9F06-874D130AC6EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"903ddfbef704ed7ba6bb68673e20082c00e4b10c","datavalue":{"value":{"entity-type":"item","numeric-id":6047662,"id":"Q6047662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59bc2615d353f1246be0e17d70e292d17a892c69","datavalue":{"value":{"amount":"+0.9115732","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6104378$FC356412-003E-455F-8BD4-6FEBFCB34488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec4a8c0b4de7ee56825982eafcdf16c0418b3cda","datavalue":{"value":{"entity-type":"item","numeric-id":4593954,"id":"Q4593954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57707fc0d6836626b5410a318ce6a867491a37bd","datavalue":{"value":{"amount":"+0.8994641","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6104378$9C718679-CCF6-46AF-AE16-B209291F76FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad28eb7c4c69d36a7246716c7539d498dcb5a05b","datavalue":{"value":{"entity-type":"item","numeric-id":1731834,"id":"Q1731834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e539f922f02728028a009a3fd906124724a403e","datavalue":{"value":{"amount":"+0.8979497","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6104378$A42284AE-1211-4F70-8040-BA11365A3284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"147c6bfd28f499b09baf6da1add39b17bd630247","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"beb279e9cd3a9997bb2a5af612913235a6a17008","datavalue":{"value":{"amount":"+0.8955317","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6104378$D24D9F2C-73A9-4DAB-BF10-AB3CD4036C20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfea5698a204f16cb6a5f34f9368fd4daf28f1c1","datavalue":{"value":{"entity-type":"item","numeric-id":4825712,"id":"Q4825712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87c1a294bc59287aa1e05fac985878f8b81244ec","datavalue":{"value":{"amount":"+0.89483684","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6104378$80E57D0F-3BCD-4073-B598-22787E7A6CC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12e6bebaf77674477110e407efa15aadf6929a94","datavalue":{"value":{"entity-type":"item","numeric-id":1731842,"id":"Q1731842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"759b8d099597fed5c1ab940a6530c5faa3538daf","datavalue":{"value":{"amount":"+0.8941064","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6104378$71F190C5-EBEE-4659-BA1D-719F8B8E3D0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2dfc025acdbcb2b51a01d9c79ece8e8eb0fb3b01","datavalue":{"value":{"entity-type":"item","numeric-id":5278080,"id":"Q5278080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a0b45ee7dcc483744a92e396df5410045940e87","datavalue":{"value":{"amount":"+0.8937733","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6104378$9EDA06AD-55BF-4FE8-9ECC-28E8AB949290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb98a717377b511b6a99fd65a6ea8dbf72099eee","datavalue":{"value":{"entity-type":"item","numeric-id":1854336,"id":"Q1854336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b93a7fab56443248f5c98e098d6ee5e30511ba31","datavalue":{"value":{"amount":"+0.8911096","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6104378$9C66FBF7-EE6A-4322-BD7D-63970D678BBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c6343f32cd8650c017ed3dfca336f2278aa42b6","datavalue":{"value":{"entity-type":"item","numeric-id":5689266,"id":"Q5689266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5c03b0fe59308fa57b5774f4f87ab5492d1bc09","datavalue":{"value":{"amount":"+0.8911013","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6104378$DE14BDF6-7FF7-4E25-ABB5-0E5A9C3B54CE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6104378","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6104378"}}}}}