{"entities":{"Q6535611":{"pageid":14146754,"ns":120,"title":"Item:Q6535611","lastrevid":95489525,"modified":"2026-06-05T09:08:39Z","type":"item","id":"Q6535611","labels":{"en":{"language":"en","value":"Sky is not the limit. Tighter rank bounds for elevator automata in B\u00fcchi automata complementation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7798023"}},"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":"Q6535611$3EF232E9-89FA-4DAC-BCF7-06EDED5F60BE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d44018eaa33e79b20f90b7bbacfee5dda6ba0960","datavalue":{"value":{"text":"Sky is not the limit. Tighter rank bounds for elevator automata in B\u00fcchi automata complementation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535611$4A4F8D3C-AACE-4765-850F-20A8DFFBCDCE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ebc4552050bef71fe8f783c51148f75cc4d3dda6","datavalue":{"value":"1547.6834","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535611$5705B474-C102-4BFB-8691-69D305AA23AF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2a8fc215090c7c714fe3649942a5a498921e4fc8","datavalue":{"value":"10.1007/978-3-030-99527-0_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535611$9B143884-8C15-4CDF-8888-E0C5C163DCC5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"27fd7f8ac9d02e546743864814989ba04fcab120","datavalue":{"value":{"entity-type":"item","numeric-id":2038089,"id":"Q2038089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535611$F90F8EE5-C6CF-4663-B469-66C437F22A71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b2f44950ca7dd1c6c1a3c279ac4a004cf6e7360f","datavalue":{"value":{"entity-type":"item","numeric-id":300411,"id":"Q300411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535611$3718B0EA-68D1-4286-8864-A9F8F9723892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"52911dcfac75d6feaf4ae954f50595565e7473ac","datavalue":{"value":{"entity-type":"item","numeric-id":6485616,"id":"Q6485616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535611$362EF1D7-7513-46EC-9E03-8327528D46BC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ee76859de6cb7315119a0b9d8fb63ade5f4cb1a2","datavalue":{"value":{"time":"+2024-02-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535611$1067E91D-F476-490A-8327-D09A38D69043","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535611$8E2E46AC-E7DA-4715-A96C-3E721075E1F2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b1122abcc388226fa607814ee7227703dc220daf","datavalue":{"value":"7798023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535611$C6340FB1-EE2D-4B39-8752-0CDC521365BC","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":"Q6535611$075892AD-F7DA-4B1B-B6C5-955A418BFC59","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c41c1e91de5da70fe5eaabd2d3fbddd54b105b4","datavalue":{"value":{"entity-type":"item","numeric-id":5145275,"id":"Q5145275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535611$041FEAD7-5B3A-4776-881A-866F189441C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76aaab8e3b3aebfebf97b87f55acb624a063fb96","datavalue":{"value":{"entity-type":"item","numeric-id":2272937,"id":"Q2272937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535611$A253B3DC-E5F9-4212-911C-9FA78D0D9AF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a67f94d4f62492b8f6f8a03bf68a55a2b9b1df5","datavalue":{"value":{"entity-type":"item","numeric-id":2226719,"id":"Q2226719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535611$CB1AE8F3-40FB-483B-8D87-61CE5BCF303A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93012b005b28f88f06d195cae71745ececccb097","datavalue":{"value":{"entity-type":"item","numeric-id":4539644,"id":"Q4539644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535611$11C9FF1D-0816-4B04-970A-ECED96E8A195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7a30a939090a3c23bf0f46867938a34d999a1a1","datavalue":{"value":{"entity-type":"item","numeric-id":2892768,"id":"Q2892768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535611$A104D161-E7CE-4A9F-902F-DCF72415D4ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c411f40bd3fed70a734570dda325013084ac01","datavalue":{"value":{"entity-type":"item","numeric-id":5525343,"id":"Q5525343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535611$2E0DCECB-6CDB-404F-A40D-EF120DA63BB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c4596ae47c103fcacae85cdee746157ca70ad52","datavalue":{"value":{"entity-type":"item","numeric-id":6536321,"id":"Q6536321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535611$D6E49D71-AE3E-4674-97BE-95BE768A09C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72133fa5aed061c3346d2e39c4b23aff7a408f87","datavalue":{"value":{"entity-type":"item","numeric-id":3617751,"id":"Q3617751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535611$7587C808-38E3-44D9-A8E6-2E2112DD6143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1f9c53c6f494471f72e1c0519150de6221c5ccb","datavalue":{"value":{"entity-type":"item","numeric-id":5484906,"id":"Q5484906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535611$0924C4A4-7B0E-4FA5-83C7-4A59D58077B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b9e409e52b45711b71923ec79d5ed3e4d06b759","datavalue":{"value":{"entity-type":"item","numeric-id":5897059,"id":"Q5897059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535611$AA520AA7-51CF-4191-9259-24529B866D9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca74d0435d0118a636b08e3dbde4e1278c46871a","datavalue":{"value":{"entity-type":"item","numeric-id":6134248,"id":"Q6134248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535611$EE7670B5-BDD4-4FFF-A1C2-A8F214287F75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b388c0771db5db3897588379bd4b417551adfb47","datavalue":{"value":{"entity-type":"item","numeric-id":3521961,"id":"Q3521961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535611$DE866692-AC1E-47AA-82EC-55283C8E0AFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b07a57ba4d70616b4f878d68c5f222ec79861b62","datavalue":{"value":{"entity-type":"item","numeric-id":3648701,"id":"Q3648701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535611$CCFB7877-3E07-4AB6-BCAC-95DA7635E0D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af7709ed700ae454081ce9b4a28a22d24dd33b13","datavalue":{"value":{"entity-type":"item","numeric-id":3503894,"id":"Q3503894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535611$295FD9D7-D000-40F8-931C-1D2815FF24B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdbace6415d89fca5d9ba31adb1a3b4e1ba6373e","datavalue":{"value":{"entity-type":"item","numeric-id":3549125,"id":"Q3549125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535611$1BFBCAF0-7283-4C93-9B44-1E8BD133EFDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ab4573b227fbba8ffa410ea5afa5ff5132abb7d","datavalue":{"value":{"entity-type":"item","numeric-id":1116702,"id":"Q1116702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535611$D402829D-3F2F-4006-B19B-D0CD070D6DEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"372d6c766b186946389fd539faa234a65186fd76","datavalue":{"value":{"entity-type":"item","numeric-id":3296336,"id":"Q3296336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535611$8FF02F1A-ACC5-4AED-AE5F-7A2D22690B31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2708d88d955ebb9560ca2e18e02307b90dcc11a1","datavalue":{"value":{"entity-type":"item","numeric-id":5021011,"id":"Q5021011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535611$D270C6CA-9B0D-4326-8E1B-A8442CB3F91A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b83c9d4efd413897503b85c80b118615a4b61f90","datavalue":{"value":{"entity-type":"item","numeric-id":3297598,"id":"Q3297598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535611$7DD90E34-02AF-4064-A5C2-A2D5EDBA38B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bed3bc478993852311ce77786a6a2b106b505f1d","datavalue":{"value":{"entity-type":"item","numeric-id":2931784,"id":"Q2931784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535611$8CC6692F-14F2-4566-80A2-29C238A7D50B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5216594ab26dc420117c0934281b2e8f583a7fe4","datavalue":{"value":{"entity-type":"item","numeric-id":4255591,"id":"Q4255591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535611$08A841AE-B0E9-4AA2-BDDF-03AFD1E9F2ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22776ab6df6d965eee7a85c38c01c6d8ff808663","datavalue":{"value":{"entity-type":"item","numeric-id":5426071,"id":"Q5426071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535611$CE76F9FB-3A9D-464A-8192-3E24C1F838A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"086d47125b4187e2eb771d2a658eb5d9a5ff7ee9","datavalue":{"value":{"entity-type":"item","numeric-id":3168197,"id":"Q3168197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535611$E347B246-1FBE-4DB3-9B26-1E7F6713A793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66c3da6e8e22eb9ce673b708daba3d803e9c1df4","datavalue":{"value":{"entity-type":"item","numeric-id":5390016,"id":"Q5390016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535611$6D6BA20B-1A0B-45FC-8366-6850254D9909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d079b47cf1ba2d598f964b28ddec583cafa7821","datavalue":{"value":{"entity-type":"item","numeric-id":1088653,"id":"Q1088653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535611$A557032B-3DAC-4C8E-86D5-5E238E5E9347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b3daa3db03ea11be8dc2196c96ebade778eaf14","datavalue":{"value":{"entity-type":"item","numeric-id":5387853,"id":"Q5387853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535611$2BEC5F1E-3717-4322-BA8B-4E7A728BEAD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42ed490c0161c8fc876128d09c594b8e411735be","datavalue":{"value":{"entity-type":"item","numeric-id":3073645,"id":"Q3073645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535611$5A99984D-D04F-4163-867C-3F82C3187BFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b898b3378e6dce0e6ca53be33ec7d556378d190a","datavalue":{"value":{"entity-type":"item","numeric-id":3086936,"id":"Q3086936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535611$29407861-8C30-4509-92DA-0288D2735166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12ab89692bfa2e1548d91c2b146e4643d877632e","datavalue":{"value":{"entity-type":"item","numeric-id":3591446,"id":"Q3591446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535611$7E118F18-3E3A-4DF7-B72C-0B6D6C292FB0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2287a49d81a7a3767b504f68b65a8d43404fb47","datavalue":{"value":{"entity-type":"item","numeric-id":6487336,"id":"Q6487336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c909f01d52cec7c37fa3c7c3636375821218fb49","datavalue":{"value":{"amount":"+0.8604668974876404","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":"Q6535611$6E04BF80-3800-4A34-9876-B49A42C40DFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd7dd0bc3858b5c55a916706d3d629f5921c4d2b","datavalue":{"value":{"entity-type":"item","numeric-id":6535356,"id":"Q6535356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9192ba96fc567694a904f1752c16b7c54aabd7f","datavalue":{"value":{"amount":"+0.8333132266998291","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":"Q6535611$0E9DAA1F-F8CB-4C96-9414-8923E2C70FA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c462af7950e9305f76e2cbaeb6aa14fd71207076","datavalue":{"value":{"entity-type":"item","numeric-id":2915686,"id":"Q2915686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a1bc4090bea687f690e0290e4aaf50982072d93","datavalue":{"value":{"amount":"+0.8105243444442749","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":"Q6535611$CECEADD7-F0F5-4545-81D6-BAD359903B48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f314deed9ea70a6eb8b0a2afe6c137f80a3e99c8","datavalue":{"value":{"entity-type":"item","numeric-id":6536321,"id":"Q6536321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc262947abb668fbb8d102644e31bc9d6b8f2497","datavalue":{"value":{"amount":"+0.8078979849815369","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":"Q6535611$9DB731E4-58B7-4309-9A9C-C6E8F3E612D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"018ca21a5fe4c10e439969d0df798caf245564d0","datavalue":{"value":{"entity-type":"item","numeric-id":2892768,"id":"Q2892768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a75506a7045b84733c10a065684ea05fe7f0ffe","datavalue":{"value":{"amount":"+0.8069672584533691","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":"Q6535611$7AAE0F54-6799-457B-9479-98BC142B01AE","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535611$A8A01290-86FE-4F6A-BE0C-BB7262050703","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Sky is not the limit. Tighter rank bounds for elevator automata in B\u00fcchi automata complementation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Sky_is_not_the_limit._Tighter_rank_bounds_for_elevator_automata_in_B%C3%BCchi_automata_complementation"}}}}}