{"entities":{"Q4635660":{"pageid":6665241,"ns":120,"title":"Item:Q4635660","lastrevid":58315953,"modified":"2026-04-04T16:51:41Z","type":"item","id":"Q4635660","labels":{"en":{"language":"en","value":"Separating regular languages with first-order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863133"}},"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":"Q4635660$4AF3A16D-3AC6-4206-AB1F-53C7ED22FE42","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8c429e4aec676f5f922dfdbb00b97241accf975c","datavalue":{"value":{"text":"Separating regular languages with first-order logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4635660$BDFDBC86-B3AB-49D8-BA88-B56C5B9684CE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ac29a4c9eb11839684356a89424079b23604391a","datavalue":{"value":"1401.68165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635660$033304FC-27A6-41C8-AC61-2336F54AD54A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1498f9d3b550eeb7115974a0fb20b9fe6826f800","datavalue":{"value":"10.1145/2603088.2603098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635660$ABD9EE35-2CFB-481B-8D08-7A28960BD079","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"04505ecacd68116a0ece2a7909fff98d90bdfc19","datavalue":{"value":{"entity-type":"item","numeric-id":782558,"id":"Q782558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635660$F1E2FFE7-EA1B-47F9-9D30-E069C6466B0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fcf6ed4348178955f4994e3572da1b75de1cd896","datavalue":{"value":{"entity-type":"item","numeric-id":814805,"id":"Q814805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635660$E4B63AA4-BF81-4CFA-B07D-57FBD843E003","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6572bdac0e197f580103bb5e9b289936a884acc4","datavalue":{"value":{"entity-type":"item","numeric-id":4635585,"id":"Q4635585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635660$4154AEE9-2038-4ABC-A52C-0994F3351F33","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4635660$232612B3-4FEA-4382-8147-6A00BB828D29","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dec8922e033d906d7da2e422b144fce2286d6151","datavalue":{"value":"https://arxiv.org/abs/1402.3277","type":"string"},"datatype":"url"},"type":"statement","id":"Q4635660$44E2CE91-16B4-43B0-85A6-CE99CF712C8B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635660$003ACA97-6C01-4889-B70F-9E21235B1F40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635660$AAAE5A7D-B3F6-400C-842D-6BA80AC244B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635660$FA7A929C-B9F6-4626-860D-15ED7ED5BB18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635660$67287EA8-CBCD-4646-9465-B4C38FF2834F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2445616dd4045bd4ff5cdd145b82b081bfa42b96","datavalue":{"value":"6863133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635660$B88F7F25-86C0-46AE-BC3D-F888BEB543D2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9e45e72898ab5ef3149ddc99da95e7adb07eff4","datavalue":{"value":"Ehrenfeucht-Fra\u00efss\u00e9 games","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635660$B21B9289-92B3-4EC3-B34A-B75517126753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e16fdb519452f3bafdb17bd5ad06b8194f047110","datavalue":{"value":"expressive power","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635660$AA98181E-7658-4E4B-B597-5DF046F821E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635660$852D2F85-BA5A-49B6-B63E-1426E6DCD095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91bf40d767c64624931b686e81b905c7b43bef72","datavalue":{"value":"infinite words","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635660$7C9E7C35-379D-4359-AEE6-ED2C7E6583BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7142d39c3323636bd7cc377526eabf4365b5d436","datavalue":{"value":"regular languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635660$55474D42-B0F3-402F-A0DA-0D14C601C938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcf2ec45b56911a8bbac4fb9d1dc61ba4b57469c","datavalue":{"value":"semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635660$D59334D8-BBEB-46D9-91DF-CBE7A9BCC3B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b80c99afc4950f85b79a2fe3707eb2e870b9567f","datavalue":{"value":"separation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635660$9C1B6A46-5006-4E37-BC73-E81AA4BDF9B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b99d5dcd36ca4f6ddee80af79486b0b82119f69","datavalue":{"value":"words","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635660$2A7DBDC2-A098-45D9-83F8-E8C640134E3D","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":"Q4635660$336DCA23-B4C8-44FD-A932-A98DCBCC2C66","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b9200c44d5c225e5458d67952924162ccefa5ec0","datavalue":{"value":"W2004710041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635660$C45C193E-A85C-4613-A49F-F86B4B80B97B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"050e4982413357032ee0b9fab96caefa544e724b","datavalue":{"value":"Q130855321","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635660$2C7E0AFD-0BB9-4F48-B542-869690D57F7B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83c68e015553d877ee5b60e8736788d8df1cfe9f","datavalue":{"value":{"entity-type":"item","numeric-id":2794672,"id":"Q2794672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a104c5b436ff5d4f1b67ea35bb46fc684cb547f","datavalue":{"value":{"amount":"+0.9764072895050048","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":"Q4635660$7984996C-CC71-4861-A98C-0CE75D54D2E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e974e32c3f127c2550a6be518b3d370805f93a7","datavalue":{"value":{"entity-type":"item","numeric-id":2963927,"id":"Q2963927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25a2c830793904f9bea4f1ce5cfa67f444916db5","datavalue":{"value":{"amount":"+0.8383581638336182","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":"Q4635660$17894106-65C2-4F32-BD76-E10A50A3E932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e43662cf3b0e01ee3429e4a78510f81f4e9b573","datavalue":{"value":{"entity-type":"item","numeric-id":2921121,"id":"Q2921121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3cc3ad24f73f5724d57fc58dc3b350bac102832","datavalue":{"value":{"amount":"+0.832375168800354","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":"Q4635660$68FBF6D0-6222-4ACD-92FE-B5EF726A54E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d665027a65491985608a8a7baf07e46f32342845","datavalue":{"value":{"entity-type":"item","numeric-id":2849957,"id":"Q2849957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c651503300dbea9c5e596441399fbb113236822","datavalue":{"value":{"amount":"+0.8228005170822144","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":"Q4635660$12953C3B-F9A1-4A12-8C1E-C4ABA6884525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3c7e1d62b08eb20d098a946d9a0cd9c7a52c65e","datavalue":{"value":{"entity-type":"item","numeric-id":4635804,"id":"Q4635804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b8c7f2b994b53c82708c48cf14b1a254b117487","datavalue":{"value":{"amount":"+0.8080974817276001","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":"Q4635660$5ADBB81A-5338-48ED-9E09-D83D4BF6C187","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4635660","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4635660"}}}}}