{"entities":{"Q796990":{"pageid":798838,"ns":120,"title":"Item:Q796990","lastrevid":64406586,"modified":"2026-04-11T19:39:28Z","type":"item","id":"Q796990","labels":{"en":{"language":"en","value":"Alternating finite automata on \\(\\omega\\)-words"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3866589"}},"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":"Q796990$53777438-5622-47EE-A1E6-E285390C3B8F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e8902fddfc6ef2a3e3fa667cc95752648af8b8fb","datavalue":{"value":{"text":"Alternating finite automata on \\(\\omega\\)-words","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q796990$6D7DB75B-2436-4C2D-BAD6-7AE552329947","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0737a7c0b4a37e7763e6bb201f2ea48e7b703ef3","datavalue":{"value":"0544.68042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q796990$4D5C4B9D-003B-46D6-826D-283889C29CEA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c4b75275588ef1ae1d431cc109c533f2ef64112f","datavalue":{"value":"10.1016/0304-3975(84)90049-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q796990$118588BC-D531-4807-8EFE-82D9D8387F2B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c72921619bb1683825427c57b2aba25da8a8b109","datavalue":{"value":{"entity-type":"item","numeric-id":610146,"id":"Q610146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796990$43EDBC3B-4862-4E75-B56E-84DD9C0CFC3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"adae1c750f5d19de5a35b60d4ed8c53467a8c45a","datavalue":{"value":{"entity-type":"item","numeric-id":796989,"id":"Q796989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796990$666C59BB-9FB2-4CEB-8DD4-609679B9CBDA","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":"Q796990$44A419F7-89B1-4B71-AACE-4022D2C2E4E0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q796990$4F917210-61F0-4AA5-9F22-5CC54CD7DFBF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q796990$ACC4E09E-2404-4B58-B653-B65A5B3EC588","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0340ec442a703c449c794144b20329b882f27333","datavalue":{"value":"3866589","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q796990$97184359-15B1-46AB-ADAA-7B0791A2A851","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba2ce113af8095df655f8415ffed41881428f1df","datavalue":{"value":"omega-language","type":"string"},"datatype":"string"},"type":"statement","id":"Q796990$9C3F513E-837E-4003-B959-EBA57E8ADEFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39cd50af9594ff4e7823ae9afccca800d8b1385e","datavalue":{"value":"Alternating finite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q796990$3FCBC877-5F75-4E5F-960D-057D0485FB93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e98c93a2044ec9dbdbc20819720b30cc8a0d00a","datavalue":{"value":"infinite sequences of symbols","type":"string"},"datatype":"string"},"type":"statement","id":"Q796990$E9C54007-446E-4CCF-AD44-4C1C56D7171F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8248a1dce4178bcbdf50d1b921f9653b658d3d1b","datavalue":{"value":"alternation","type":"string"},"datatype":"string"},"type":"statement","id":"Q796990$E6DF2E11-8B13-49C2-9D44-69F0C0834B22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f532e2b08234dd6967fc70eafbf0c8f20a836d3e","datavalue":{"value":"nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q796990$4155490A-EF47-4FAA-8537-01103230B08B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"135d8aedfa48efbdf272187bb5e64a07ac5bbe92","datavalue":{"value":"nondeterministic finite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q796990$201976A5-4B52-44EC-B21B-8E6F96B9E76F","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":"Q796990$656AD967-B122-41AA-A097-5C3E90E6A251","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dd0977551cb77bf3f927971ddb0777f0c1dc9e16","datavalue":{"value":"https://doi.org/10.1016/0304-3975(84)90049-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q796990$A1963FA7-196F-48F1-92A7-962B3B270410","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7ad3a3086305924c300ad701ee5436f1d12f2aec","datavalue":{"value":"W2050073538","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q796990$171DBB47-04CF-49BA-9EB7-DB3B93055831","rank":"normal"}],"P223":[{"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":"Q796990$AD9A7AC3-4BD8-482A-8FBE-D2CDB7B57AA1","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":"Q796990$4BE327ED-541B-42F9-8B3E-A369CCD7EEEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e4c9eb0bc39c2db4fa09c1fc685181796f068e9","datavalue":{"value":{"entity-type":"item","numeric-id":1211504,"id":"Q1211504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796990$8302E5C4-493B-424E-B45D-F17C96720C16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a41da88234adbed83efe7412ca5c92908a4dda70","datavalue":{"value":{"entity-type":"item","numeric-id":1240574,"id":"Q1240574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796990$E4466754-8D04-4E09-B9DC-47ACFC8AF2B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c92a171c183f8eb8e618490f508b6b07fbb69939","datavalue":{"value":{"entity-type":"item","numeric-id":1240575,"id":"Q1240575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796990$FDE08324-D4DE-4E02-B0DD-3A13A7C899BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4026710286be0e296501d6694a98ee92e525c96","datavalue":{"value":{"entity-type":"item","numeric-id":1247962,"id":"Q1247962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796990$76E75724-16CE-40AF-BF54-4EA2560EF813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce7c812bd60b932492b9462aaa96aba626f65de4","datavalue":{"value":{"entity-type":"item","numeric-id":1242685,"id":"Q1242685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796990$9738CE7E-1054-4479-9B36-C7334C77CBB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36d84aa78f0d96f7d40459af01bc21793f5962fa","datavalue":{"value":{"entity-type":"item","numeric-id":4079524,"id":"Q4079524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796990$67C59F6F-8714-43E7-82B5-BF204AD6B72F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc9fe293eae8d6c3b569d6ba4430c4e20cc24b5b","datavalue":{"value":{"entity-type":"item","numeric-id":5527824,"id":"Q5527824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796990$6B72105D-7468-4C7C-A338-903ABD4187AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a592cba5bd50a769a8b95145033ff13a570cf73","datavalue":{"value":{"entity-type":"item","numeric-id":5573396,"id":"Q5573396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796990$72627713-135E-4DDB-907F-09155E593E06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a5aa94c8e45c27c05c3a12795740c87d5e2ef2f","datavalue":{"value":{"entity-type":"item","numeric-id":5613960,"id":"Q5613960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796990$63C783B6-DB35-42D6-BFE3-17FCBD6BAE5C","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":"Q796990$216F1641-2C04-44A7-8EE1-4F7666B1FEF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f24dde664dec592aaf2efc66afcadf834211d90","datavalue":{"value":{"entity-type":"item","numeric-id":4055589,"id":"Q4055589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796990$7534671C-F2FF-4D7A-98A7-4FA0252BA502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe7a66982317f943528a01ca680cec7be690c105","datavalue":{"value":{"entity-type":"item","numeric-id":4158997,"id":"Q4158997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796990$152B44D6-6DC7-4F80-B6A4-1D5B08CAFEED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd1e092eb099a32d4d756ee9e4c56322cfbee0af","datavalue":{"value":{"entity-type":"item","numeric-id":3873568,"id":"Q3873568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796990$7D470C88-0768-4243-B6B8-61F5340D29B7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34a3e848b9b5112b02e9caee5f97e720ac789dfc","datavalue":{"value":{"entity-type":"item","numeric-id":3334086,"id":"Q3334086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ed0d4a8002d98ae475e924c65685a1d36c2409a","datavalue":{"value":{"amount":"+1.0000001","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q796990$821EE0A5-2547-4AA7-B11B-57336031C831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b963534fbb631da7daa8943d06e4effe44c82c5","datavalue":{"value":{"entity-type":"item","numeric-id":1109572,"id":"Q1109572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dab450e84816109254891ccbdd0b291777216236","datavalue":{"value":{"amount":"+0.9613553","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q796990$0D0606D4-17B0-4F29-A6E8-BEB7BA204C70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80d7744612015955ba512201d56c92484288ea88","datavalue":{"value":{"entity-type":"item","numeric-id":1575674,"id":"Q1575674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b27495959fcb711db840f08022e754695c8f87aa","datavalue":{"value":{"amount":"+0.9044981","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q796990$C92A0AAB-8808-4CAA-8CA7-A61739044F5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c4df880c4891380f88e86f4337efb055fc18020","datavalue":{"value":{"entity-type":"item","numeric-id":3477972,"id":"Q3477972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"348cf65ec753a105295c557695da351cd3854807","datavalue":{"value":{"amount":"+0.90085435","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q796990$770149DB-9B11-46C7-B985-BECF0C89759A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4568f6f39171ddfb576a18713932d08db09c4845","datavalue":{"value":{"entity-type":"item","numeric-id":2074208,"id":"Q2074208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef6187a88ef2ed01418f221e0b591bb7d0a399a7","datavalue":{"value":{"amount":"+0.89862835","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q796990$C8B0ECC2-885C-4237-A470-DCF2770F8DF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02676bfd4b7cdfd20e01e05f586f449f8bd426c0","datavalue":{"value":{"entity-type":"item","numeric-id":4412823,"id":"Q4412823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef6187a88ef2ed01418f221e0b591bb7d0a399a7","datavalue":{"value":{"amount":"+0.89862835","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q796990$29AEB0B9-4F88-446D-A1E6-5F410C8952D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2047a7db1a3ba81b0a1f3e3a15dad1dc1119338","datavalue":{"value":{"entity-type":"item","numeric-id":4536446,"id":"Q4536446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"466949ae562c80b40e7b1525036b7906364a2496","datavalue":{"value":{"amount":"+0.89763856","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q796990$9E40D61F-8C1B-4E29-805D-EE919DBDD5A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0204b868bbd8b6798edf95391f9a77b6a6270eb4","datavalue":{"value":{"entity-type":"item","numeric-id":2881089,"id":"Q2881089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5a0c64af8f8b44b88992b6148b075e34354398a","datavalue":{"value":{"amount":"+0.89397013","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q796990$EF4D6FB1-EBFE-4CA7-8E91-C1452E64388D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5eb3a81ee5d7a0002793cd8af6c34b5e0ef12ffd","datavalue":{"value":{"entity-type":"item","numeric-id":5486002,"id":"Q5486002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"baa0153c4fdc21a2b27e058867ee16a31ef8eb2a","datavalue":{"value":{"amount":"+0.89243954","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q796990$3192A9A1-86A4-4354-BD0D-1B2E11AE61FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94259fa2fba3085cede5330632f55470fc2eb02e","datavalue":{"value":{"entity-type":"item","numeric-id":442279,"id":"Q442279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0e32d20f2dda4ff24927bdf7bb98bc6ea686c9f","datavalue":{"value":{"amount":"+0.8912217","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q796990$34D08484-8094-4969-BF81-B37D9094F0C5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Alternating finite automata on \\(\\omega\\)-words","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Alternating_finite_automata_on_%5C(%5Comega%5C)-words"}}}}}