{"entities":{"Q329611":{"pageid":331378,"ns":120,"title":"Item:Q329611","lastrevid":61135992,"modified":"2026-04-10T21:24:49Z","type":"item","id":"Q329611","labels":{"en":{"language":"en","value":"Learning regular omega languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6642360"}},"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":"Q329611$26019014-978B-4B8E-B0B6-0BE851CEEAC1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4ffcbd908146b46848aa7f1e021175792aa6680b","datavalue":{"value":{"text":"Learning regular omega languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q329611$47C6D189-44AB-45EB-961A-1F1B87118E26","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c76ea23146b4baaa02455aa0a50bb59351d39221","datavalue":{"value":"1362.68118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q329611$8B75906F-A23B-4BDF-84BE-C123BB6C76BA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"872cb1a46370e0c83f201b79a3fcb92c3a33baf2","datavalue":{"value":{"entity-type":"item","numeric-id":329609,"id":"Q329609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q329611$0E3E1FFA-8170-4960-8951-CF64922AE313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ec5145617683a72c465241950a1a3fd51da99b2","datavalue":{"value":{"entity-type":"item","numeric-id":329610,"id":"Q329610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q329611$2D663696-1042-4D1C-81F8-621E1809D6CA","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":"Q329611$161CFA3A-B989-4A13-A045-28EE0BF881E2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7cfd9a39413360519196116a588605fc66450df0","datavalue":{"value":{"time":"+2016-10-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q329611$B2104D1C-6A6A-4426-969D-3E84370F8960","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"02bc07e7fdf69b7795d4694a59f3d739066e6204","datavalue":{"value":{"entity-type":"item","numeric-id":259038,"id":"Q259038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q329611$4CF5A908-3DF3-443F-998A-727DF5E9484F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c189c45b466f89dd188bd061df8c45f23f05da60","datavalue":{"value":"68Q32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q329611$2A997113-0AF5-4EBD-836D-CBF2B4FDCDF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q329611$B989E7D9-3351-4A06-995E-CB2AC85F94B0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3dde8876d9e722d6a94885ec011f7ef886084f64","datavalue":{"value":"6642360","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q329611$6D390887-F724-478A-923F-CF52A930000A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdd3f5520afe65917fef71fbdb2e37f6590f2b38","datavalue":{"value":"active learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q329611$D6F4F44F-4A48-4434-A8E5-01E50CAF591E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ba557444b897097033856321ae8326f5206cc27","datavalue":{"value":"language inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q329611$34723AEE-78AC-47AB-B694-6AC53B71223A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce95b28a95528077a174c75b643a8f80cd4fab5e","datavalue":{"value":"infinitary languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q329611$932F475F-7F74-4D36-A48E-F7230E2D1FCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"194a7981be8a61c957a52941991a2560b2a80bc4","datavalue":{"value":"membership queries","type":"string"},"datatype":"string"},"type":"statement","id":"Q329611$382F4C4D-369B-4A04-8961-FA279DBB68E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53e184b113927957f73395138538920a2475d8d7","datavalue":{"value":"equivalence queries","type":"string"},"datatype":"string"},"type":"statement","id":"Q329611$4A531530-05B6-49A0-B1DB-F6DC864D1AD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5e8ee6d6c130ba687d9b7eb1c058acea995f4c2","datavalue":{"value":"B\u00fcchi automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q329611$96226E5D-5C9F-4889-ACDD-2EB7E9EB43D9","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":"Q329611$D765F495-1414-4772-A434-DD2A8EBE67D1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0625638b07c0f48b1980c2bc4196ac588ba4caf8","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2016.07.031","type":"string"},"datatype":"url"},"type":"statement","id":"Q329611$379E6B53-F935-4442-9C47-285D3B75EC70","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"02e6ad1ac4745a058576039a2616613f8373a080","datavalue":{"value":"W2535981059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q329611$FDD45EF8-7B5E-4C61-AE8C-9466B28B4E75","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f43d7854e50381630023e07192383000eb7eb63d","datavalue":{"value":{"entity-type":"item","numeric-id":5276138,"id":"Q5276138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q329611$E6DC7D97-553D-45BD-9050-14D1E0A3FC16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c55114ff063225064064e30c2c7ef5bef45a55b0","datavalue":{"value":{"entity-type":"item","numeric-id":1098326,"id":"Q1098326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q329611$9956BB8B-91EE-4E77-8460-79481C11AC46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccae94d546766ec43e1d02b749d63c91c9b2811b","datavalue":{"value":{"entity-type":"item","numeric-id":2938728,"id":"Q2938728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q329611$9CD64499-81AB-42A9-8EF8-1E3B393EC401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71f809b829ad226aaf187e107ba4f2f8abde5cfa","datavalue":{"value":{"entity-type":"item","numeric-id":1066675,"id":"Q1066675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q329611$382E1C2C-178B-40B0-B424-34A09BB76628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae460692886e086c9d093742ba01c2c6e46528ea","datavalue":{"value":{"entity-type":"item","numeric-id":4297397,"id":"Q4297397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q329611$92A99118-7131-498D-940C-105AD980AC4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"600d8a1514e6fed4e4c66ebeb9b62bee4bc86b61","datavalue":{"value":{"entity-type":"item","numeric-id":4417936,"id":"Q4417936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q329611$CD7FB2C5-D50F-434F-883F-C6815F5D5763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f249c12cc67da8748b5297b1f43751e7e68732f5","datavalue":{"value":{"entity-type":"item","numeric-id":1426153,"id":"Q1426153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q329611$E4EBCD29-73DF-4E4A-B70F-57D8E44B499D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a852f9828a60d6febd0b82b3b250f25d038b258c","datavalue":{"value":{"entity-type":"item","numeric-id":5458316,"id":"Q5458316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q329611$10304054-2B30-4E36-AAE7-62F5C80479E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b006b8c69e155d429c6f2e527a477171a2179d5","datavalue":{"value":{"entity-type":"item","numeric-id":3335014,"id":"Q3335014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q329611$1BB0083A-7BDD-4AE1-AB32-7D25E5262CBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbf43e5b69a3202fd900fa93869f7b74992ed955","datavalue":{"value":{"entity-type":"item","numeric-id":4474860,"id":"Q4474860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q329611$3D019481-B8A7-4852-8D92-5D7C3CB7B29C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25e9e93983124752ec662acce6e6ad47ec41210f","datavalue":{"value":{"entity-type":"item","numeric-id":3525110,"id":"Q3525110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q329611$3A97EB17-C915-42C0-94EC-E98782F7234D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd76eb58a7689822fa94f15b123aaa86e91684cf","datavalue":{"value":{"entity-type":"item","numeric-id":4770336,"id":"Q4770336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q329611$8E212844-C537-4999-890C-1AD37B4A1603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"394d3beb4a9fece0dbe9b5435363e4067e55d788","datavalue":{"value":{"entity-type":"item","numeric-id":1892893,"id":"Q1892893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q329611$367DFCF3-4ACA-4B7B-ADD1-C6F6F08C810D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f941a902bffea90343b48b0a1332386973403c0","datavalue":{"value":{"entity-type":"item","numeric-id":1391139,"id":"Q1391139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q329611$47C8067A-AE28-431F-ADB7-81D2ED63B99E","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":"Q329611$71F0D8B2-D3F6-49E2-B021-D47429C71989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"938dcb73216715170662d858dae7976b67488904","datavalue":{"value":{"entity-type":"item","numeric-id":934713,"id":"Q934713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q329611$F4F2EBC2-4ADB-4447-899C-026CC92B5B1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a99a1e97e4c0b9150b7eebffc4b5a1b3088104b4","datavalue":{"value":{"entity-type":"item","numeric-id":4404801,"id":"Q4404801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q329611$06EF69E0-FC1A-4A76-83AF-84AB0DA7CBDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ed3f02215df087589d62d47d8e61453264aaed6","datavalue":{"value":{"entity-type":"item","numeric-id":794443,"id":"Q794443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q329611$E2B33DB4-C82E-4E3B-B333-0CA85BB1CB94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"000c6e3680f801318aa34bfabb01fb0af531ed28","datavalue":{"value":{"entity-type":"item","numeric-id":5723183,"id":"Q5723183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q329611$6315B85C-7977-4490-B15D-4E10D2D0E657","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2637784ebb6ec9b66faaf499659b77f7b4c643f1","datavalue":{"value":"10.1016/J.TCS.2016.07.031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q329611$8F866F77-BFF2-45D2-B8B7-7200FD41786C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"15d5c0f60eb670ccb6e4572c59acfe2c27822549","datavalue":{"value":"The paper investigates three algorithms for learning an unknown regular set of infinite words using membership and equivalence queries. These algorithms use different canonical representations of regular \\(\\omega\\)-languages. The representations are based on families of deterministic finite automata (dfa) accepting sets of infinite words:NEWLINENEWLINE1. a dfa representation used by \\textit{A. Farzan} et al. [Lect. Notes Comput. Sci. 4963, 2--17 (2008; Zbl 1134.68406)] which is based on the \\(L_{\\$}\\)-representation introduced by \\textit{H. Calbrix} et al. [C. R. Acad. Sci., Paris, S\u00e9r. I 318, No. 5, 493--497 (1994; Zbl 0917.20053)];NEWLINENEWLINE2. the syntactic FORC, introduced by \\textit{O. Maler} and \\textit{L. Staiger} [Theor. Comput. Sci. 183, No. 1, 93--112 (1997; Zbl 0911.68145)]; andNEWLINENEWLINE3. a new representation.NEWLINENEWLINEIt is shown that the second and third can be exponentially smaller than the first, and the third is at most as large as the second.","type":"string"},"datatype":"string"},"type":"statement","id":"Q329611$D9140D05-AE22-4EFA-AA03-A093A3F00920","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79672a7ebdd557a27b81ccf39ce1a5a908f543de","datavalue":{"value":{"entity-type":"item","numeric-id":2938728,"id":"Q2938728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37229cf40644d71f6a9f401274c41bb9582cda8d","datavalue":{"value":{"amount":"+0.9956835508346558","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":"Q329611$1A2A1328-3F85-457C-852B-0DF4C245F1BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ebe8370444c2175a7c5650a95156d4ca2228001","datavalue":{"value":{"entity-type":"item","numeric-id":1892893,"id":"Q1892893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e30300dc7502075aa4b17a923a55d9cdfde82c50","datavalue":{"value":{"amount":"+0.8658941388130188","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":"Q329611$CDDFB472-D5A2-4750-AED4-F1009688AC76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd7132c82db36782d2875593512ad6edbe62b39c","datavalue":{"value":{"entity-type":"item","numeric-id":5111177,"id":"Q5111177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e30300dc7502075aa4b17a923a55d9cdfde82c50","datavalue":{"value":{"amount":"+0.8658941388130188","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":"Q329611$AD87D67B-BF4B-43A3-9F91-0FF9A2553211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fb1356012ca70fb853a7040e8aa6d3597e05e94","datavalue":{"value":{"entity-type":"item","numeric-id":1648037,"id":"Q1648037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12f53dab26deae514e56a07419de22e24913f041","datavalue":{"value":{"amount":"+0.8251793384552002","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":"Q329611$5C9C1417-09E3-4D75-9458-99A23EEDEAAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50c3aafa09933a7f8fa0b3848dd591b6f0a667c4","datavalue":{"value":{"entity-type":"item","numeric-id":3528435,"id":"Q3528435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54fdabae6d567ececc70fe7f74f8576f529cc6d6","datavalue":{"value":{"amount":"+0.8182811141014099","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":"Q329611$58D2AB6A-A1A4-45A6-A943-C01B1C5968F4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Learning regular omega languages","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Learning_regular_omega_languages"}}}}}