{"entities":{"Q2957911":{"pageid":2968630,"ns":120,"title":"Item:Q2957911","lastrevid":58077093,"modified":"2026-04-03T17:21:21Z","type":"item","id":"Q2957911","labels":{"en":{"language":"en","value":"The finiteness of a group generated by a 2-letter invertible-reversible Mealy automaton is decidable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6678946"}},"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":"Q2957911$A0422406-8F45-4F0D-A745-36348FB75BD3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8b3f89c4bf469d5a4569572e47ddc8d0f794adb6","datavalue":{"value":"1354.68159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957911$6D1B8EBB-A9DC-49B3-83F1-9C9116FDAA96","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a1d208a972848f97d8e4747f80e7fee369c4254c","datavalue":{"value":{"time":"+2017-01-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2957911$87893A1F-90AB-4BBD-991E-D4477F7519F7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"726fe1746f6b85a244828f497631039e53ae0841","datavalue":{"value":"https://arxiv.org/abs/1208.6324","type":"string"},"datatype":"url"},"type":"statement","id":"Q2957911$47603A7F-B980-40B2-B7F3-878D53CC7B56","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957911$B385CF41-2BB1-4E68-92A8-9458DD363608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8acfec936c9f92116ab04a417b25b0b6b0e8ab90","datavalue":{"value":"20F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957911$06F1B15C-EDC1-451C-84A3-585005131251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957911$4516130A-13DF-4319-B263-92920A59F884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957911$EBC77255-481A-419A-BDE8-73A70D509B86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957911$E0049072-0D4A-40B3-A4B7-458E3AE5CBD4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2ff246f6d02a3d6cf42a77197b61057a11c4edd7","datavalue":{"value":"6678946","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957911$6E22CA7F-DAB2-4B74-8B52-6F0D4892AEC9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"336f9cc1f5ba0f2bec287498f43d766f7d2511c5","datavalue":{"value":"Mealy automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957911$C6E6FBC4-987F-4095-B785-BA0D90269216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"471bc4b29d11886443185f7403752d3aab43d136","datavalue":{"value":"automaton semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957911$1A53376E-C543-489D-BB19-1F14E39E2807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bf19371627fb97b04ddbcca146ef1269ec217d2","datavalue":{"value":"decidability of finiteness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957911$C4DFF88F-7171-409A-87BE-49BA7799A219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"738aebe12b942de4a879579f7e102dd984504cc1","datavalue":{"value":"decidability of freeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957911$D1222D5D-E1FF-493F-9E5D-BE4BC3F79F33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e167344edd0ee738a6a356189c1a3e1f5de5a00","datavalue":{"value":"Nerode equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957911$1A8B5FD9-82A1-424F-850D-F868D4B80F74","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd43315ebaf760c2f7170a023fa78e8c4528eed1","datavalue":{"value":{"entity-type":"item","numeric-id":290909,"id":"Q290909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957911$05302094-56AD-4063-8B4B-9283774302A8","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":"Q2957911$D25048AA-20A5-4E16-B1AD-80E8A8B6B227","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"56aa55c767c56b33dffc8f2463176ff082dc03a3","datavalue":{"value":"10.4230/LIPICS.STACS.2013.502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957911$9FBD6F14-8B19-466A-B77B-452DD941DBC1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2435a334491ac41d90986b92861d87e2ad5a9df","datavalue":{"value":{"entity-type":"item","numeric-id":290910,"id":"Q290910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b479177e9b1f2e322e11fc32f2af7277ab04f06f","datavalue":{"value":{"amount":"+0.874471127986908","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":"Q2957911$FF89C30F-8BE8-44CA-8EA3-848C260CED96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6d83261a74224e3647014b85db930ff9fa379ce","datavalue":{"value":{"entity-type":"item","numeric-id":2190041,"id":"Q2190041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11080f5a560e12e525703badfc3ceb361027083f","datavalue":{"value":{"amount":"+0.8424890041351318","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":"Q2957911$23153721-B275-49A6-84AF-DE369F65F149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55b4095c2ca89af653a68dc6934f987b754e07d1","datavalue":{"value":{"entity-type":"item","numeric-id":1702514,"id":"Q1702514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9deefa7c5a2acc0aee98530895af1148ace62ba0","datavalue":{"value":{"amount":"+0.8282189965248108","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":"Q2957911$BC15FB14-417E-4CDE-A647-86E171A473FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30370f800ecd260dea12a9b86fe33a01d2a1645f","datavalue":{"value":{"entity-type":"item","numeric-id":2799184,"id":"Q2799184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e262631ca909fcb1152bc03163ecc9495c3ace85","datavalue":{"value":{"amount":"+0.8256567120552063","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":"Q2957911$4BEC82F1-5AD0-4912-882F-8DAA41EA6B68","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2957911","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2957911"}}}}}