{"entities":{"Q832943":{"pageid":834791,"ns":120,"title":"Item:Q832943","lastrevid":64751322,"modified":"2026-04-11T21:58:55Z","type":"item","id":"Q832943","labels":{"en":{"language":"en","value":"Second-order finite automata: expressive power and simple proofs using automatic structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7498730"}},"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":"Q832943$ECE88737-BC3A-4648-ACBA-E8EF62505272","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c26fa936e26f6d9e0d0caa728e00c61a93cf9ae8","datavalue":{"value":{"text":"Second-order finite automata: expressive power and simple proofs using automatic structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q832943$712B33AA-4966-4534-9C4F-7514E4602FC7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8471317e5c0f00de7fdac52f9456082cd40e14a2","datavalue":{"value":"10.1007/978-3-030-81508-0_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832943$9367FC18-09B0-484D-AC01-C7CDAA576207","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a8f9028ed4d5274f77df4d4f9e07b117d4309ffd","datavalue":{"value":{"entity-type":"item","numeric-id":420855,"id":"Q420855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832943$9F10F5AC-82CF-4C63-BCE6-4957D5BAA61B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"26426ab4d5a6ecfa201abc41ba9257e3996155a5","datavalue":{"value":{"time":"+2022-03-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q832943$01D1A3CA-25B5-493F-A609-F55A563DAB82","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832943$AC82A7D5-9779-4B31-9C63-AB5AE3827449","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8c3838eb16cc340f18c97092aad8fb8b82fbe2a0","datavalue":{"value":"7498730","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832943$6D1077EF-B58D-4BB3-9DFC-C002BBE8394D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fbb2e9d154ceb175756c19a9cc042a97d1c430f","datavalue":{"value":"classes of languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q832943$51CFC1F6-C1DA-4F7A-97EC-C29CB27E3EB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0be3912121ad79b9bb968c84460a2f4bde143ee3","datavalue":{"value":"automatic classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q832943$262C5683-D597-4A1F-99DE-728D6C5794F1","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":"Q832943$91A595D8-6330-44CE-B3DB-95FD79D02E42","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"025124eedc570fa24bd5749f8ce87c6aa5e55a6c","datavalue":{"value":"https://doi.org/10.1007/978-3-030-81508-0_20","type":"string"},"datatype":"url"},"type":"statement","id":"Q832943$C1357411-90C8-466D-8BD6-C22D18ECD8A0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2ceb35a46079f11864a52e1f205f60a15a635c56","datavalue":{"value":"W3188056966","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832943$3117D08A-1528-4D86-BC8E-924CDC2D6C5B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"48f6a6ef670f1d6345361278ae91758182d8ca05","datavalue":{"value":{"entity-type":"item","numeric-id":5042226,"id":"Q5042226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832943$F1B03EF9-C6D5-470B-995E-FC918D958CFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"751b61b5dbe828d0db5885461ea9cc6b65fc1e82","datavalue":{"value":{"entity-type":"item","numeric-id":4910735,"id":"Q4910735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832943$D6F66F02-95AF-4728-964B-6F63277C5573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b53be89a612099d77e16da5d46ee3cbff4f7fb55","datavalue":{"value":{"entity-type":"item","numeric-id":3608411,"id":"Q3608411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832943$A64C1A2C-D554-4D47-B576-8C7E71F593EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1a4ad88d7c64a4f68e8ebc72c2b1bcc064d3cd7","datavalue":{"value":{"entity-type":"item","numeric-id":685453,"id":"Q685453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832943$CE497EC6-2F6C-44F4-96AE-BFE17741B720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13e99e341bc136b2b72b14fe15c3f49fc3754fd5","datavalue":{"value":{"entity-type":"item","numeric-id":1168306,"id":"Q1168306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832943$1166BDD6-281A-4823-873A-0A44A9911064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07ed873c80a79876ad3cd7ba21aa9158e085c749","datavalue":{"value":{"entity-type":"item","numeric-id":1757849,"id":"Q1757849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832943$F24FF156-AD82-4535-8586-7B5837D3239C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50e4f27326ba1b39abb6810942a72d8b72dba84e","datavalue":{"value":{"entity-type":"item","numeric-id":6064290,"id":"Q6064290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832943$08CFA52B-CEAC-4ECB-9D2A-18C3C3483A9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00144166505ec73118ba0d5af030c37d1ab9357e","datavalue":{"value":{"entity-type":"item","numeric-id":3113778,"id":"Q3113778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832943$FF5420D3-7E53-4254-AB1C-D983F92A068A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ca66d0fc529b4872dc6f382fc8187bb12b9806d","datavalue":{"value":{"entity-type":"item","numeric-id":3098042,"id":"Q3098042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832943$0E9B6784-90AB-486A-8EE6-0DCA47366F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08b41b5798dd7caa454017c2078a2a255a42065a","datavalue":{"value":{"entity-type":"item","numeric-id":2847190,"id":"Q2847190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832943$A3747514-CC3E-4148-B07C-ADDE58AD9BA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b59bced87e99878593065857bea6e456351ee211","datavalue":{"value":{"entity-type":"item","numeric-id":5899097,"id":"Q5899097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832943$464D2372-A5F6-4B06-B6B0-814ED0B81B16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09b26e20a31d304a65db33daf659790af170272d","datavalue":{"value":{"entity-type":"item","numeric-id":3503740,"id":"Q3503740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832943$7C535FE1-CD25-4A07-AE32-7869194A9B76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b14874328e06322f55427a98ad1a9767d46fe80","datavalue":{"value":{"entity-type":"item","numeric-id":1120286,"id":"Q1120286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832943$75145E9F-70F0-4860-8BC2-33854CB636E6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1291f6e785d55fa140c0c82fbd033d02e9f06e9","datavalue":{"value":{"entity-type":"item","numeric-id":2158302,"id":"Q2158302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d181b775d2254fda6fcdc99fc2d5c2437eb62f7e","datavalue":{"value":{"amount":"+0.90655875","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":"Q832943$514B5770-7DE1-48CF-9233-AA71C3D9D8CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cf55c7811550929ec3ace4106dc75d952e00e08","datavalue":{"value":{"entity-type":"item","numeric-id":5042226,"id":"Q5042226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d181b775d2254fda6fcdc99fc2d5c2437eb62f7e","datavalue":{"value":{"amount":"+0.90655875","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":"Q832943$0C7323A7-CEFB-4A2C-A4E8-F1BF2502C710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dccc3afae3b541db37a532c0b6b844402689c29b","datavalue":{"value":{"entity-type":"item","numeric-id":2898048,"id":"Q2898048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02c6d14bca783a0e32c554d32b0d06e5b9cd3d7b","datavalue":{"value":{"amount":"+0.86720496","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":"Q832943$E8B12A99-64A4-4F22-995A-5052DD2A8774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a211e31abb7386ff7282214106d044cfb21fdc20","datavalue":{"value":{"entity-type":"item","numeric-id":773246,"id":"Q773246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d818e0e0be4b6bf8898049f2c38342b52a5fe757","datavalue":{"value":{"amount":"+0.8601435","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":"Q832943$EC9DCA64-C6D0-48BA-BFF8-1B6C430F09A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc2f87d6d2f1860c1c40ec6a7592a53b2a27ce5d","datavalue":{"value":{"entity-type":"item","numeric-id":1064781,"id":"Q1064781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2758be319f9dc0c51c8b18336801ae29fc616099","datavalue":{"value":{"amount":"+0.8575811","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":"Q832943$F4690B9E-6BD3-40D6-A795-94C7BC4B4EC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73f9b0d6e4174e818f0e5c8969703c9362ca1e16","datavalue":{"value":{"entity-type":"item","numeric-id":1948277,"id":"Q1948277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59a1fc4f3f4573c80e7ea6f37b2a3b21b5500fc3","datavalue":{"value":{"amount":"+0.8536806","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":"Q832943$9958AE40-4A1E-4677-A295-9612E41AA647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69eba8502a1543a1d178cb83e50d27bac27eebe6","datavalue":{"value":{"entity-type":"item","numeric-id":2814129,"id":"Q2814129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37a7a62aefe429ece15b630bf2c23433f774cd38","datavalue":{"value":{"amount":"+0.8503485","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":"Q832943$3C919BBF-A561-4177-8FF8-24D74D631185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e607ef4588220f1123499a7b4925cd7c1475275","datavalue":{"value":{"entity-type":"item","numeric-id":4992511,"id":"Q4992511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62c75629b468450ef2468fb95541460fccbd3789","datavalue":{"value":{"amount":"+0.84952116","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":"Q832943$0FB3D490-3A70-4959-85C5-7CC64BE02228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"227e2734725cccccc8a68d11aac9db14e8502415","datavalue":{"value":{"entity-type":"item","numeric-id":5747095,"id":"Q5747095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a221b18de97dd863cd9b7beda3c8387abf68bef","datavalue":{"value":{"amount":"+0.84716177","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":"Q832943$3408AF27-9908-443B-9193-C64C80DAD375","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Second-order finite automata: expressive power and simple proofs using automatic structures","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Second-order_finite_automata:_expressive_power_and_simple_proofs_using_automatic_structures"}}}}}