{"entities":{"Q2512830":{"pageid":2523573,"ns":120,"title":"Item:Q2512830","lastrevid":57952326,"modified":"2026-04-03T05:29:13Z","type":"item","id":"Q2512830","labels":{"en":{"language":"en","value":"On the index of Simon's congruence for piecewise testability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6393483"}},"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":"Q2512830$BD0FA1F8-08E3-4225-A8BA-7629BF1BD190","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2fa36b7f59c04dbd53c5a7c94ad71cced8793f20","datavalue":{"value":{"text":"On the index of Simon's congruence for piecewise testability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2512830$9BB8E2A7-B109-43F9-ACD3-D33F4B871585","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"41117c87337e120e24d59d74803ad55ac000aedc","datavalue":{"value":"1312.68160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2512830$B80A584B-5C26-480E-B2FA-902AEC5FB839","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d17d50640ebd25880d8207ef1f2991159a63465","datavalue":{"value":{"entity-type":"item","numeric-id":2354595,"id":"Q2354595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2512830$F455EA94-9C14-4621-B4D8-9816B2671817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee0de4af1b7c20aa534acd2585628b6cd288f3b0","datavalue":{"value":{"entity-type":"item","numeric-id":263827,"id":"Q263827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2512830$6A90DC21-7BE0-4B9C-BC6D-50AEDBFD599B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a4493e58bf4fbc540cfb048ba7a90aea2a6a229","datavalue":{"value":{"entity-type":"item","numeric-id":1045896,"id":"Q1045896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2512830$AD0CA239-1F5D-49D6-BA35-384B1DF6BBB4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2512830$719EE676-F50E-4EC9-A91B-E4CFA98A43DB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f8075b727d5838f8aeab25ff1bfeb3492229c802","datavalue":{"value":{"time":"+2015-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":"Q2512830$0F9C37F7-2BC8-427F-ABBD-399E75A3F4EF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6359094e6ca2269dedd6f9de6389d52e2f3160f6","datavalue":{"value":"https://arxiv.org/abs/1310.1278","type":"string"},"datatype":"url"},"type":"statement","id":"Q2512830$A80B98F5-EFE7-4CDD-9C5E-82F839112BED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"1ce895b2dcfe4c3b5652d57bfa1f6fba8028f38a","datavalue":{"value":"https://dspace.lboro.ac.uk/2134/31967","type":"string"},"datatype":"url"},"type":"statement","id":"Q2512830$2663DDF0-DA2E-46E1-B713-77FE8C9BB307","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"23149673dde05813672617e26c3fcb130092997c","datavalue":{"value":"68R15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2512830$657E94C7-8EC8-4902-B8E7-747B06FE9AE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2512830$28C3686C-7A06-44AF-8717-3D4DE1B70958","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"61f47a966955cdfd2d546416bb6580f3189e89ce","datavalue":{"value":"6393483","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2512830$3E201A11-4A09-48F0-B457-ADFC19AC8ACD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b30b88dd7d8d4d3a542dd1829bf3206a53951e76","datavalue":{"value":"formal languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2512830$C558C9B8-F16C-46E8-B61F-915405AB6CA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f96e13929c0fe6cfe96f76b3f5cc3fbf1cfe05b6","datavalue":{"value":"combinatorics of words","type":"string"},"datatype":"string"},"type":"statement","id":"Q2512830$37D1008B-3FA5-496A-B297-5E76842C1AF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a548329a944d0a891707e22cf642a25cd3a9093c","datavalue":{"value":"piecewise testable languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2512830$36A89486-F7F1-4D95-8F67-94E6B2585302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df25821792e272eed70e806e5db68a24e96a046f","datavalue":{"value":"subwords and subsequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q2512830$E60842CF-8DC2-4270-A4AD-186885D03080","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":"Q2512830$535877DC-FEC6-49D3-A64A-77EB543CC2E3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"74b40d0ba2cbc6469dc32f178206b4515f5b8181","datavalue":{"value":"W2162894853","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2512830$067DE6B2-1AE7-49D4-88DF-53F8954CEA53","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c71bf5594d80706e33dcbc13841c2d147bc380","datavalue":{"value":{"entity-type":"item","numeric-id":4077455,"id":"Q4077455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2512830$D5B43ADB-9390-4F03-9A4A-017D86F7BC4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe2355482dbc37a911cde9b74ab32ffb5b6939f6","datavalue":{"value":{"entity-type":"item","numeric-id":3659988,"id":"Q3659988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2512830$91FA57E8-B754-4AA8-AC1D-EA8BFA5B405A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed68160731cf55d219ba94647825683328472c30","datavalue":{"value":{"entity-type":"item","numeric-id":3769981,"id":"Q3769981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2512830$926C0638-6DFA-4502-83C0-35969069D0DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0224cc11e92917094ceee66bf62982a9eb25550a","datavalue":{"value":{"entity-type":"item","numeric-id":3538848,"id":"Q3538848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2512830$B4837440-DD64-464D-BBCD-9FB6FA7B0203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee5aefda802452acfe7d4e6ea86bfd53aadea084","datavalue":{"value":{"entity-type":"item","numeric-id":950199,"id":"Q950199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2512830$63A868B8-1AC0-4606-9115-005BAD32CCE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1121541639d5d8327bda5b9206ee0b0620f8a28d","datavalue":{"value":{"entity-type":"item","numeric-id":3585010,"id":"Q3585010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2512830$092E4E45-F7FB-456F-B183-EA582D8F126A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edfc5d37d7b0502fdcf6b02ef7d27d88b153b6ba","datavalue":{"value":{"entity-type":"item","numeric-id":5327430,"id":"Q5327430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2512830$DA226E56-036C-46FA-9984-886BF834BAB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c76321f780cda600c72f51861155b01b3f94755d","datavalue":{"value":{"entity-type":"item","numeric-id":5300848,"id":"Q5300848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2512830$5D1C1E09-A6EB-42C6-B72B-3104302AFB93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2554f139a1892b164554d6aa3ff0bd9990274327","datavalue":{"value":{"entity-type":"item","numeric-id":2849957,"id":"Q2849957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2512830$48C81C03-D3B1-4298-8331-E6AF2576C364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6e4550b86d123489a23d5642581aa3683c6053e","datavalue":{"value":{"entity-type":"item","numeric-id":444643,"id":"Q444643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2512830$46948F69-ACFF-4028-8D1D-CB5599F58D92","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7318892a0ccbd2fff02e8ee13298faa927dcb311","datavalue":{"value":"10.1016/J.IPL.2014.11.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2512830$EF962EF5-00F8-4200-B865-5BE7C934376E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21ebbc4be2b72e74fe0f4827feea74cc4a286d8a","datavalue":{"value":{"entity-type":"item","numeric-id":667852,"id":"Q667852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c232778bbe12e3dc037d65ffd57eae44234e6c6","datavalue":{"value":{"amount":"+0.8344504237174988","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":"Q2512830$79B2054E-7C60-43EF-869B-526B410A71AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71dce300767b6e31b22d67cbeddea27640b0ee5d","datavalue":{"value":{"entity-type":"item","numeric-id":5005165,"id":"Q5005165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2729408899e8a30b419f4f43af226470a6867f5","datavalue":{"value":{"amount":"+0.8332828283309937","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":"Q2512830$C1EBBB63-6B61-4A7A-9AF5-02F846356CEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"414a4c9c697807ac03849f8c329f1e27aa40e400","datavalue":{"value":{"entity-type":"item","numeric-id":5300848,"id":"Q5300848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8783da05c7b1bdd94d246c57d590a65c16f750e0","datavalue":{"value":{"amount":"+0.805483341217041","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":"Q2512830$4B06B516-E9F2-40D4-A91F-681BC043FE06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7af9f98a509fe5bdc74af95acfcae16a05ec61fc","datavalue":{"value":{"entity-type":"item","numeric-id":444643,"id":"Q444643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccd154ae629154b393e3d758643e7fea2a456e9a","datavalue":{"value":{"amount":"+0.781223475933075","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":"Q2512830$7B447EA4-CE3E-441A-97B6-43F70C95EA4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c4519fe9ff1ce19817067072387478a8b5e833b","datavalue":{"value":{"entity-type":"item","numeric-id":6093575,"id":"Q6093575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e4dd9da105d72bdd59f398bb121cd60f9c7f322","datavalue":{"value":{"amount":"+0.7668959498405457","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":"Q2512830$F056B904-72D7-4779-BD00-53A2A34DE7B5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2512830","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2512830"}}}}}