{"entities":{"Q782555":{"pageid":784404,"ns":120,"title":"Item:Q782555","lastrevid":53780138,"modified":"2026-01-25T17:20:20Z","type":"item","id":"Q782555","labels":{"en":{"language":"en","value":"Approaching arithmetic theories with finite-state automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7225114"}},"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":"Q782555$D2B7DF05-67E2-4C87-B050-F11933579DC2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3254200212abe177d1afdaa8766888b9f822e497","datavalue":{"value":{"text":"Approaching arithmetic theories with finite-state automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q782555$AC617189-EC3B-4EDA-9798-279FB25E4854","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"10ea2eeae4d6f9989939c66168481e50274ae330","datavalue":{"value":"1484.03122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q782555$181816D0-92F9-4C57-9002-96DA63BAE3BD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"643776b6aad7661f7937c0d89e8370b5414e63ed","datavalue":{"value":"10.1007/978-3-030-40608-0_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q782555$C9293871-8013-41D2-B475-3FAC6B0191FF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f36849b1874dad2ed4c54ecc7d6b4a4c27f76d0","datavalue":{"value":{"entity-type":"item","numeric-id":782554,"id":"Q782554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q782555$CD638A7E-ABD7-425F-BE12-702033674C43","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e23cd61fb52044c0fb2903ade6fe3c7d224eeaf1","datavalue":{"value":{"time":"+2020-07-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q782555$2F7DE8AE-CC58-4BD2-A458-D9D79311FEB5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q782555$809E1912-7EDC-4C0B-A98D-B4D9D715CA96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q782555$2B63C2D3-5103-489B-82B5-7ECD8962D1AA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b7c058663ea5ee1334af16c83fc88fe8f22958f9","datavalue":{"value":"7225114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q782555$6FF4BBE3-C69A-443F-ADD9-31623FCC6317","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e5e6e64f7f171dc89f3c77310230730ce57088b","datavalue":{"value":"Presburger arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q782555$65BB50A7-3661-4178-9C07-D9F1AB5E34E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9d9a64d8e4256e1c8c4a7b9ce572aedfe67bacf","datavalue":{"value":"B\u00fcchi arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q782555$A910097D-624D-475F-B47A-6513C72AD0E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q782555$E60CB6D1-09FF-4BEE-B784-3238CB6F97C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b2f3ab8ec237c3f05afd995c2c137f62c66c8b5","datavalue":{"value":"automatic structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q782555$5BB4AF70-2D73-431C-9D7A-E0DA9ECDB2DE","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":"Q782555$AC0072A2-644C-4499-AE47-5D6202070950","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cd9fe41031c9818a65c3b9be5e81ca7a82850533","datavalue":{"value":"https://doi.org/10.1007/978-3-030-40608-0_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q782555$25865355-F51E-4C9D-B2C0-E5F43B066EFB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2d505ba622b29d770b39cff784757168912dc47d","datavalue":{"value":"W3006700193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q782555$5F46EE58-D4C7-446F-8502-A09D54C2C1CB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ee6477906dc9161468bc7d194da076db843d4cc","datavalue":{"value":{"entity-type":"item","numeric-id":5277733,"id":"Q5277733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f90112f4b8a4340495c313aacc0a5dd7036a0497","datavalue":{"value":{"amount":"+0.7862534523010254","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":"Q782555$A8EE3201-5C5A-4BC0-92BA-C7B7C66255CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a54789e32430f1018054948eb060d2fc452ab3b","datavalue":{"value":{"entity-type":"item","numeric-id":4809151,"id":"Q4809151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a92037c45aec7cbf918413d490ceb908dd098d0","datavalue":{"value":{"amount":"+0.769919753074646","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":"Q782555$B1EB1A31-1458-47C3-91EA-3DFC54B6F69F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72759b6f84446c00b4869f94bd50cc5c75b15889","datavalue":{"value":{"entity-type":"item","numeric-id":4539644,"id":"Q4539644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b39e36c3f499108120380abb0d905c673c67d330","datavalue":{"value":{"amount":"+0.7633742690086365","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":"Q782555$3955C3CB-D479-4BD8-95DA-426FCD9C26D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"851982118c33af1d968ebae908e05db55f9aa0aa","datavalue":{"value":{"entity-type":"item","numeric-id":710741,"id":"Q710741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e41adafa0ecf148b870737eed78785225954bee","datavalue":{"value":{"amount":"+0.7607022523880005","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":"Q782555$98873AC4-8728-4C37-815E-FA41837778D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8587664099ca70f18d3fd5c6522605e85ff1d785","datavalue":{"value":{"entity-type":"item","numeric-id":4910740,"id":"Q4910740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10d2871209703e938a5a8284ade7e2f287e0b781","datavalue":{"value":{"amount":"+0.757183849811554","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":"Q782555$BFC717AD-BBBC-407A-85CD-931B411469CD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:782555","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:782555"}}}}}