{"entities":{"Q6091631":{"pageid":13225938,"ns":120,"title":"Item:Q6091631","lastrevid":55521880,"modified":"2026-02-17T18:09:43Z","type":"item","id":"Q6091631","labels":{"en":{"language":"en","value":"Automata theory. An algorithmic approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7770922"}},"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":"Q6091631$AB5F642E-6EB1-49D4-91EF-B2EC3EB2C7AA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e47b8a1818346ce22bd45f99ec3c619fd43a6a3","datavalue":{"value":{"entity-type":"item","numeric-id":264200,"id":"Q264200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091631$2F481252-5EF2-400F-A4FB-66DF5BBB00D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"09afcd9c56be4b77abcda2e0283879317777151e","datavalue":{"value":{"entity-type":"item","numeric-id":347112,"id":"Q347112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091631$F22C196E-69DD-438B-A3EB-A3D39A1A393B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23cd7302534ebac1f5798f1388e7a545a7b25124","datavalue":{"value":{"time":"+2023-11-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6091631$61867652-893A-4D4D-AE42-C8E818A05EBD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"05590081d28ce0214a71d3b3de99a2f8604b69a1","datavalue":{"value":"https://mblondin.espaceweb.usherbrooke.ca/automata/files/book_authors.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q6091631$4774F88C-DD08-44D0-9982-42BD5BAF5CC5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091631$54DEFAF1-E723-4E3B-A262-C7DC285E9D9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091631$E7397551-8DC1-417F-A660-1DE72000E378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091631$FA5BA474-3EDC-46A3-8E07-45BB7DA0E27E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091631$65F70D7D-E74F-4365-A2C5-6C5BA486D890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091631$4D552B9C-0B66-413C-8A85-7971993254D3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8f90ef736ca30690d6b1634e16c752f80c952d41","datavalue":{"value":"7770922","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091631$B03CF527-D68F-4572-B515-D718097E0DD7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68c261570392928413cb911f93665f42e10898b6","datavalue":{"value":"automata theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6091631$940B88E8-0B5A-42E4-A22E-A665B7985E6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc548fa65965e14f5504a2673eb5d155594c66e5","datavalue":{"value":"finite words","type":"string"},"datatype":"string"},"type":"statement","id":"Q6091631$75F8CF6E-4D72-4DA3-94C8-547E2BA30AE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91bf40d767c64624931b686e81b905c7b43bef72","datavalue":{"value":"infinite words","type":"string"},"datatype":"string"},"type":"statement","id":"Q6091631$33E0821C-3A8A-4B44-ACC5-3598F3DDA03C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e5e6e64f7f171dc89f3c77310230730ce57088b","datavalue":{"value":"Presburger arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6091631$FD10240F-77AB-4394-9B04-B51F816CF884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3db880c44e3892417a5400283a3d37c5f9553d1","datavalue":{"value":"B\u00fcchi automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6091631$F5239B89-F95A-403B-9B07-FD5DD00E2F30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc77a7e3111fd5214deabdaa5217186aefbb37cd","datavalue":{"value":"co-B\u00fcchi automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6091631$275A639F-D883-4B4C-974B-32A9C03A22B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76c5439f2004aedef0dd1903dfebfa1c1f33abc1","datavalue":{"value":"Rabin automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6091631$18769EE8-00A1-41FB-807B-C59C1C39C31B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95aabcf2634c1e0b880b0c36d7d7248bb8548c19","datavalue":{"value":"Streett automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6091631$247CD3E4-E248-45DC-A179-D6E96B2334E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b277d5c1fdcf85c420ab8edc13f2c16380fbc05","datavalue":{"value":"parity games","type":"string"},"datatype":"string"},"type":"statement","id":"Q6091631$E34168F3-F6EB-4AE8-A86B-A4BC01A0E6E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03a4a344bc741b4eb9c9224c7c9b0d0a879d400d","datavalue":{"value":"Muller automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6091631$9547D441-59A2-4B19-B8C0-AC6208176477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6091631$593F874C-31E5-491A-8ECA-AA217DBA67F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43d8de44b3f88bd19a871628a3509981cd748562","datavalue":{"value":"data structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q6091631$C1107E6F-CB0F-4DE4-8321-60FC9554CEB8","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":"Q6091631$90291D1E-DAAA-4636-A7A7-18FFAEEDB8D0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c33094d5eaf6b5340c493970601efe6ef8d28cec","datavalue":{"value":{"entity-type":"item","numeric-id":5936849,"id":"Q5936849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"527b2655915e6fc34acf1d2ce08a31e36ae4b0e5","datavalue":{"value":{"amount":"+0.8603148460388184","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":"Q6091631$E00F8095-AE0D-4F93-B619-E864DBB0B4D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"629c1f4de26776cf53160e78a4694d545b93c3f1","datavalue":{"value":{"entity-type":"item","numeric-id":3176362,"id":"Q3176362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17218148db73190492cd0de664a86aee45c247f9","datavalue":{"value":{"amount":"+0.8478918075561523","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":"Q6091631$777DE43F-5419-48F8-BCA7-204219CE45FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a45a63a94db310200716c8c1631f52e03f111653","datavalue":{"value":{"entity-type":"item","numeric-id":3086936,"id":"Q3086936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae65760780ae4215335072c823633f7a32437249","datavalue":{"value":{"amount":"+0.8460966348648071","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":"Q6091631$7C31A014-A162-45CC-A9FB-BFCDBD4D6AC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02ea070e8d5f3f537a3a2aded4070955782b6022","datavalue":{"value":{"entity-type":"item","numeric-id":3325046,"id":"Q3325046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16dcd73d583e0def39cf5200e4edf7a8332f895a","datavalue":{"value":{"amount":"+0.8314117193222046","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":"Q6091631$CBAA9B2B-F767-475D-B171-3441D60A5F3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f46f43a32dfdf2238546675e8fc3909f788dff7","datavalue":{"value":{"entity-type":"item","numeric-id":3083622,"id":"Q3083622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e02db3b1731ad84524184b1352767c2515b8fca","datavalue":{"value":{"amount":"+0.8277937173843384","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":"Q6091631$952AF687-12CB-46EA-964F-69E87C70DE79","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6091631","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6091631"}}}}}