{"entities":{"Q4907853":{"pageid":6937432,"ns":120,"title":"Item:Q4907853","lastrevid":90949091,"modified":"2026-06-04T21:52:15Z","type":"item","id":"Q4907853","labels":{"en":{"language":"en","value":"An introduction to finite automata and their connection to logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6138793"}},"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":"Q4907853$E2E675FF-B1AE-4485-BA5B-2970B354DCFE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"78b42e3f1e49c1058417066a0f89422d1cd6d342","datavalue":{"value":{"text":"An Introduction to Finite Automata and their Connection to Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4907853$5EF48160-709E-4707-87BB-12337FD5686E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ebe84cd3d899672073e24361114ce7686ef06cd2","datavalue":{"value":"1256.68112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4907853$55AF7AE2-5809-485D-806B-B0C5952B823C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d044be80ca9b4c699405e33c7e1cc8202cb884fb","datavalue":{"value":"10.1142/9789814271059_0001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4907853$345C0BE0-BF8A-4121-AD89-8AFE5635CA6A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9fb8d4872513e25b3cb2ee4b054caa1dd9caebba","datavalue":{"value":{"entity-type":"item","numeric-id":599181,"id":"Q599181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4907853$D2562BAE-98E6-4259-ABE6-BE00379E9AC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2226755ce7b891c6e6ed64b8807df159e949df0e","datavalue":{"value":{"entity-type":"item","numeric-id":711614,"id":"Q711614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4907853$EDF04F4C-AF42-4230-B365-2666E7F986DD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"aeebf9bd4378e6f764c1e2d0c61fa01519002d39","datavalue":{"value":{"entity-type":"item","numeric-id":4907852,"id":"Q4907852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4907853$CA82FD0A-A2A0-470F-B68E-C75A7A6EE254","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"15ea8e6212b2d0b7fd67fe1be831418ddf2951d7","datavalue":{"value":{"time":"+2013-02-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4907853$9A0E9788-8550-444C-8D24-B1FDD74219C4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"13b9db124dc793fed5fba96ec56a7bffd6c05ab2","datavalue":{"value":"https://arxiv.org/abs/1011.6491","type":"string"},"datatype":"url"},"type":"statement","id":"Q4907853$590339A0-8CB4-4468-B5D2-1E48341172DE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4907853$3D13E437-7F1E-4879-BA52-415677619A83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4907853$B2AABF3E-20C8-4FE4-91D2-66AB6DBBD02C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4907853$EFB4E57A-829C-4DA4-9815-3820193BFBB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4907853$B68F6C5D-99D6-4D27-8413-6149799ADF84","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0623e201d5d5d2cf95e6f88538367167516cbb34","datavalue":{"value":"6138793","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4907853$2F28F032-D31E-41C1-8134-ECB78090040C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8fe1ec072eddb82e8c6723b370c91fea5db0efe","datavalue":{"value":"finite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4907853$FAABA5F7-D8C2-4FC3-B521-541ECA44E1B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01d01ba0554735b278236b61d3de2db638b07c84","datavalue":{"value":"determinization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4907853$A66DF723-6D14-47F1-A9BD-257270E42791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a1279221fe7735b1b47afd1411b335eca7e3f0e","datavalue":{"value":"minimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4907853$87FEC1F3-8C7C-409E-9B0B-D41EC27FF5B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d16b11223dd43ac9feeeb5b11a98ef1a7a06ae9a","datavalue":{"value":"monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4907853$F5A74576-6B32-420D-B0FB-5D48F2483225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f080b22ac194cf7585a56b63883129b1a17549b","datavalue":{"value":"equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4907853$095DE4EB-658D-4AC7-9DE1-DED6070B6331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f736d02e86573c887541b685d4ac9ad40d12259b","datavalue":{"value":"first-order definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4907853$83E8932A-CFAB-4846-A32C-3411DC314BDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11bf474d4d3ce1cf89efc0a63e9cd0252c076a15","datavalue":{"value":"first-order aperiodicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4907853$6D52CFD8-FDF6-46BF-978C-C597C3921B1E","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":"Q4907853$8BC1BF7D-27B9-4830-8E87-B61900595EAC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3934147c4ca378d62e34353cb8bc0358ca4d3495","datavalue":{"value":"W2964164509","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4907853$837A2BE1-F13F-4F96-A8BE-3F8036E2DE60","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdaa8971f6981b4ab7d6e4956ec503db78f8c814","datavalue":{"value":{"entity-type":"item","numeric-id":2074203,"id":"Q2074203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bd2eb7e9e254c6bb956225e99fc78d12b4fd96b","datavalue":{"value":{"amount":"+0.8098177313804626","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":"Q4907853$18DB0C74-8F80-4586-95DD-88A659D13687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd9a6a4801bc8e7bde794abf25f244ed2ed68718","datavalue":{"value":{"entity-type":"item","numeric-id":4302435,"id":"Q4302435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"341caab60bc7380139082358aec8ee849d837aeb","datavalue":{"value":{"amount":"+0.7990354299545288","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":"Q4907853$9112E1CD-208E-4272-9572-8990A52F3663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b0ef61b2141d93214c5296bc88f845b39416c52","datavalue":{"value":{"entity-type":"item","numeric-id":4271219,"id":"Q4271219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6492ae23309f698e3dac9ece9b6cda2cf5c0632","datavalue":{"value":{"amount":"+0.7985590100288391","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":"Q4907853$B37A4776-7350-477A-9584-E3CA5EA201A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87f7502f841bdbe78c0f33cf9182a633de0bb19f","datavalue":{"value":{"entity-type":"item","numeric-id":3741086,"id":"Q3741086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97cb6b3892c63527aa5dc10fabf68f75c8e91b80","datavalue":{"value":{"amount":"+0.7824856638908386","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":"Q4907853$0AE5A8ED-5FBB-46FE-BE69-8FFAD6369310","rank":"normal"},{"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":"0bfb59131ef65b3e2825f7790c765989a8ecbc8b","datavalue":{"value":{"amount":"+0.7783709764480591","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":"Q4907853$AE76273E-B714-46BA-A570-4BE0AB4C3E01","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An introduction to finite automata and their connection to logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_introduction_to_finite_automata_and_their_connection_to_logic"}}}}}