{"entities":{"Q4943546":{"pageid":6973128,"ns":120,"title":"Item:Q4943546","lastrevid":47460064,"modified":"2026-01-01T19:39:21Z","type":"item","id":"Q4943546","labels":{"en":{"language":"en","value":"The<i>\u03bc</i>-calculus alternation-depth hierarchy is strict on binary trees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1416502"}},"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":"Q4943546$2F5A99A0-E3EB-4742-B35E-9138A6E186AF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8a155bbed69dc6b2b86dd2e69ccbfa505f385c28","datavalue":{"value":{"text":"The<i>\u03bc</i>-calculus alternation-depth hierarchy is strict on binary trees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4943546$9BADEAF0-414A-4B13-A036-691A9657BFF7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f36e1d7696f1d85465b3ae7e8340257846d7b659","datavalue":{"value":"0945.68118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943546$DA3A93B0-8616-4EB3-BDA7-0E4D0B74CE7F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cb11a7d64aa2e2ac6f5f0a641dfeb8e0525b889d","datavalue":{"value":{"entity-type":"item","numeric-id":2720405,"id":"Q2720405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943546$7780561F-EFAE-4D39-8FE1-1ACE4B905A81","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4a831e2ddd3ec081d65f9d9ba86075a05ae19362","datavalue":{"value":{"time":"+2000-10-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4943546$4146C396-01AF-466C-93BF-218789A3A782","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"50e67bdf283bffd7435356a654d55f6f6402b749","datavalue":{"value":"https://eudml.org/doc/222087","type":"string"},"datatype":"url"},"type":"statement","id":"Q4943546$ED600B64-1177-4610-BD3E-E543689FF043","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943546$C5C7F0AC-BF85-4303-B8A3-D8FC71C6C043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943546$380C8E2F-DA94-4011-A8A6-7075E44D78B8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"281092adb642466749e50867343164c090207d83","datavalue":{"value":"1416502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943546$5D970810-10D1-45BE-936E-6A7E627F22EF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0b85e268d42194b1d36aaf8d78157e979eb5c30","datavalue":{"value":"alternation-depth hierarchy of the \\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4943546$891D75CC-2EBC-4705-8987-488BE8CD4603","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f07bf463f7dd0ae34a6ca7eac63af8055d6cf8ac","datavalue":{"value":{"entity-type":"item","numeric-id":671987,"id":"Q671987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943546$56981500-8681-4F28-BF6D-8BF76A147BD9","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":"Q4943546$F1B94F10-4EED-43E4-8D74-4ED554B2528E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"54c27cc4214c78c4476b26fb559e96aa254cc4fc","datavalue":{"value":"W2126399192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943546$942858AC-9B33-4999-B496-920E467C49BE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6721fcc47da070857b3f7d1ec5e358b45de214d5","datavalue":{"value":{"entity-type":"item","numeric-id":1114673,"id":"Q1114673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943546$52C94C91-A9B5-4605-9074-980EF9339B0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55b83c570bc0fa5f34151a69008a196fd7d52f05","datavalue":{"value":{"entity-type":"item","numeric-id":3900995,"id":"Q3900995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943546$862FD6A8-1EA8-4004-85DD-D67C4FCD8661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62dc119d1fc4fbffa3a21100d918912888c55175","datavalue":{"value":{"entity-type":"item","numeric-id":5753528,"id":"Q5753528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943546$30858920-71B2-4636-8C5F-7B7079AD095A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe8caa258152596951f3aed3546536f53bb4ec18","datavalue":{"value":{"entity-type":"item","numeric-id":4273664,"id":"Q4273664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943546$43192A59-3B19-447E-8D59-BB1F87BFEE66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b14ca4bd4280b253262c53bf2707644111b6884","datavalue":{"value":{"entity-type":"item","numeric-id":4943547,"id":"Q4943547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943546$4F473FC3-58D7-4CEF-BFBF-63EC8BBBB83C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad47ece55927a6d87e6131ec1fa32ea3017ee5d8","datavalue":{"value":{"entity-type":"item","numeric-id":4381381,"id":"Q4381381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943546$DE1000BD-DD95-4548-82EB-EC65B28E3FE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa853dc52082146519bcf70a82325d270f5956a4","datavalue":{"value":{"entity-type":"item","numeric-id":4818826,"id":"Q4818826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943546$6F6BE641-8EC3-4AA4-9C88-1F2F76EB4876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d80c09a488acc12cbf48e92182699f69eca5d3d","datavalue":{"value":{"entity-type":"item","numeric-id":805253,"id":"Q805253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943546$FA9A148B-170A-4DE4-80C7-5A900B667B3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5bc06e40c3528b0faae85044dcd81b49798fb25","datavalue":{"value":{"entity-type":"item","numeric-id":1193871,"id":"Q1193871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943546$F9910912-1A20-4F53-A425-377F10C623CA","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":"Q4943546$19CEDB95-79FE-4386-AB7F-B72C439310B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d4bf537c518963fde2af2f1ac38ffa9e9a54861","datavalue":{"value":{"entity-type":"item","numeric-id":1389678,"id":"Q1389678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943546$BF323AFF-74D2-4BBE-8556-81EDFE1FD876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be575331d770a3844c9a53865201d97f80b083ec","datavalue":{"value":{"entity-type":"item","numeric-id":3967525,"id":"Q3967525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943546$7E55C7B0-FABA-4B25-B2F0-DABE9C556133","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":"Q4943546$7FE4C352-9D09-4871-92E9-F68800DFD625","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9a4158ee26101d8cb0f1b357fb8021d9eccbb4b1","datavalue":{"value":"10.1051/ITA:1999121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943546$C1EC7819-3DCB-46FA-B5CB-8E3062C58B51","rank":"normal"}],"P1643":[{"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":"3491bedf3184da2a5c4ade56221bfcde9f5bd712","datavalue":{"value":{"amount":"+0.8547728061676025","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":"Q4943546$B51E2F0C-B25B-4505-ADC5-C28AC6A0A612","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":"3491bedf3184da2a5c4ade56221bfcde9f5bd712","datavalue":{"value":{"amount":"+0.8547728061676025","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":"Q4943546$A065DB55-C97A-4E94-8C3D-2222B6EAC256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d4b70d7c951d8a3f0e20de83b9f1207090fc3f0","datavalue":{"value":{"entity-type":"item","numeric-id":4818826,"id":"Q4818826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21d189fefd1ce147a8cdc3a3998baac76f639012","datavalue":{"value":{"amount":"+0.8244330286979675","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":"Q4943546$23309033-7C65-4015-9078-F88FF4095169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc444b44f0eee0e0481210a5f84ddce2355275c6","datavalue":{"value":{"entity-type":"item","numeric-id":4943547,"id":"Q4943547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c756cacad73ed3c353d9e6f6239d8103ebf6cc0a","datavalue":{"value":{"amount":"+0.8001611232757568","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":"Q4943546$F911F4F8-A65B-4FE8-84CD-492CA3C24B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f872a4b5a691d7a739e754a0e6a34cab5c805007","datavalue":{"value":{"entity-type":"item","numeric-id":2770141,"id":"Q2770141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b6651020ea3ffd7e7b0fc3ac05c2ef6cf837201","datavalue":{"value":{"amount":"+0.7912778854370117","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":"Q4943546$487A97EC-6367-45CA-86C0-2C5AABAB936C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4943546","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4943546"}}}}}