{"entities":{"Q845856":{"pageid":847704,"ns":120,"title":"Item:Q845856","lastrevid":64810818,"modified":"2026-04-11T22:23:18Z","type":"item","id":"Q845856","labels":{"en":{"language":"en","value":"Infinity problems and countability problems for \\(\\omega \\)-automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5664708"}},"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":"Q845856$50A09F28-9154-485C-ABD4-8B33D9EE5474","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"717c030e15c0867ca9720c0675f2bbb6fbb34b6e","datavalue":{"value":{"text":"Infinity problems and countability problems for \\(\\omega \\)-automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q845856$BE4A94AB-0943-4E12-B01B-707C77060C91","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4e77a21b761a986f1afca8a19eef21fa25383661","datavalue":{"value":"1185.68400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845856$8DD8261C-53A9-4779-8A23-C9AB36BBE0E4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e73d6adcc4dd9f44328e432199f240f9088236f9","datavalue":{"value":{"entity-type":"item","numeric-id":845855,"id":"Q845855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845856$7A4CFF64-A6DA-464D-B3BD-E175F6E5A607","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845856$5C541A09-D006-4CA9-B633-AA6141C368B3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f401d416e6e46815e09909774a39b16cd83f71c6","datavalue":{"value":{"time":"+2010-01-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q845856$7239EE28-40F3-4942-AB2A-A9D1BD02FB9C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845856$556C2976-56F6-4202-A8AC-A91F2C2CF5E9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5b0bf671ab6651c5177926e31b5f243c4b243c5b","datavalue":{"value":"5664708","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845856$7F59F506-4D7B-4F90-9E51-9E0A35DC0C58","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b30b88dd7d8d4d3a542dd1829bf3206a53951e76","datavalue":{"value":"formal languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q845856$8EE97539-2681-4854-8DCB-49030FD24D9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0033d72a66c22aa56640ec7b048cbe773155a59a","datavalue":{"value":"\\(\\omega \\)-automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q845856$78B223A7-E081-45E2-8ECA-B126168A322A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb17444a0c934bfa9857ba687a7fd5889f986cfe","datavalue":{"value":"cardinality","type":"string"},"datatype":"string"},"type":"statement","id":"Q845856$FB431B8B-970E-4631-9714-BDF367867F6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q845856$CA87F413-A16E-4047-9512-8F7A4976824D","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":"Q845856$DE7FE096-5665-4272-BACD-79837E22241A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"725dfc038009ae2f6ce8fa6ecd62926dbcf5b936","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2006.06.011","type":"string"},"datatype":"url"},"type":"statement","id":"Q845856$C746F814-ABAA-4A71-A3DB-23EC5D417DBB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f3eb7b03055d38a0dfff2936080e4a75ac15679c","datavalue":{"value":"W2077572182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845856$84335D39-681B-4D15-8371-20836AAD3584","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f93cddb0db9fc7ad47ee6ca0befe0097ec7daee4","datavalue":{"value":{"entity-type":"item","numeric-id":4412823,"id":"Q4412823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845856$17FD1145-3740-4833-87AA-2593EB772601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bad49cd841316bcf3ddd26beff4684fe12db55e","datavalue":{"value":{"entity-type":"item","numeric-id":2769034,"id":"Q2769034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845856$D335FC26-20EC-4070-8A56-0A0B50D7CA40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bcd71ac0ee1662e3c5c0f5046af9d7c75419ed0","datavalue":{"value":{"entity-type":"item","numeric-id":1221749,"id":"Q1221749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845856$DC56003E-A988-4A1B-8252-19373BF8618D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91c4942106721a64170eac457c679e8849558bca","datavalue":{"value":{"entity-type":"item","numeric-id":3214824,"id":"Q3214824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845856$8FF4843C-C4C8-44E8-A867-A602E3DA9388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55f15a06cca8860881268c21912d68f28c8d36db","datavalue":{"value":{"entity-type":"item","numeric-id":4035346,"id":"Q4035346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845856$C4152622-A72F-498F-BB26-85EDCAE611D9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8c13c6fbc82eeefdd0617e85fc7aaad24f142847","datavalue":{"value":"10.1016/J.IPL.2006.06.011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845856$4DCEACE3-5A4F-4E7E-93CD-75C94C99BEAF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41f4a65259272aa1d0a268111e126b7b710e6749","datavalue":{"value":{"entity-type":"item","numeric-id":4649452,"id":"Q4649452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4dd3dc4f43e03355db67a286f5c877b57cf43cf5","datavalue":{"value":{"amount":"+0.8253726959228516","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":"Q845856$E0CC7384-FC76-415D-A813-D4A16391FD78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1e34521a8049bcd8601747241b43adff5c6f341","datavalue":{"value":{"entity-type":"item","numeric-id":3117545,"id":"Q3117545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dc1fd0176f08044dfedd3c2e3e2c147220327a1","datavalue":{"value":{"amount":"+0.8151355981826782","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":"Q845856$9279C0F1-E2C4-445D-81A3-78A857AE0A8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f05aff34ee5570b3bf9bf01ab93f3cc3fca4769a","datavalue":{"value":{"entity-type":"item","numeric-id":990079,"id":"Q990079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"394456bfad4119dc3efc361c915f59805659eba1","datavalue":{"value":{"amount":"+0.796473503112793","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":"Q845856$D9E1A33D-5E59-48B3-8D38-08BF74E4371F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebc47e2152fc243493e7f43aae9aa79e8ff1d53f","datavalue":{"value":{"entity-type":"item","numeric-id":3625697,"id":"Q3625697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0b93c66586ff1bbf7d2e1ae95461d9faa5473fe","datavalue":{"value":{"amount":"+0.7927917838096619","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":"Q845856$28B09B6B-138B-4B4A-9120-A2C1882E2980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa6e49eebc1e5273f75b915c394987988e883e2a","datavalue":{"value":{"entity-type":"item","numeric-id":3401139,"id":"Q3401139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eafb125abb7bc0f7f790b4bbdc735040851af3b5","datavalue":{"value":{"amount":"+0.7811080813407898","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":"Q845856$6CB26A49-97C4-4521-A9E6-11D32A9BD1E3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Infinity problems and countability problems for \\(\\omega \\)-automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Infinity_problems_and_countability_problems_for_%5C(%5Comega_%5C)-automata"}}}}}