{"entities":{"Q2794672":{"pageid":2805410,"ns":120,"title":"Item:Q2794672","lastrevid":83276729,"modified":"2026-05-07T06:57:24Z","type":"item","id":"Q2794672","labels":{"en":{"language":"en","value":"Separating regular languages with first-order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6554181"}},"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":"Q2794672$A853F4D8-37D5-455B-8617-7231FAB445B5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ca6547946c38121c765aefa63d61d3b9ee2fb1f1","datavalue":{"value":"1448.68273","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2794672$49E4F641-0983-4FC9-8DE9-44D53255A9E2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"24ca40f79dc14475cf1b98ecd9ddfa1ad6fc17e8","datavalue":{"value":"10.2168/LMCS-12(1:5)2016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2794672$CA4FA894-B1F5-4F0C-9437-AF68377CC016","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":"Q2794672$139425E5-A2A5-47FF-A250-20B92A8996BC","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":"Q2794672$22647483-40FF-4BC8-BF64-1A203F3DD443","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2794672$CC8FFB9E-9260-4A14-8B61-CC79EA193CA7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cbe961c88086ff0a5b0c45dcc1e05b19ba68ed18","datavalue":{"value":{"time":"+2016-03-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2794672$7C7F68EA-B216-4EBC-942E-D154EE7D1CF9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2794672$38ABAEEE-9500-4A42-A9F8-3B86530AE2C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2794672$0C61A69D-399F-4008-85AD-2A026D9FFFB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2794672$A244CBF1-C19C-41A3-B6C5-A85EB92F273A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2794672$AC158701-25DD-4983-8FD0-C33BB3C71AA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2794672$B5022D6E-15D6-4999-A99A-A79F5AD4D51C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1c62631e21ffd74c625787a5626fb3dc3665db57","datavalue":{"value":"6554181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2794672$32582916-8327-4F4F-8DAC-94D9B6931D1C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b99d5dcd36ca4f6ddee80af79486b0b82119f69","datavalue":{"value":"words","type":"string"},"datatype":"string"},"type":"statement","id":"Q2794672$34546F76-6FF5-41E1-A554-F777CE7F9ABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91bf40d767c64624931b686e81b905c7b43bef72","datavalue":{"value":"infinite words","type":"string"},"datatype":"string"},"type":"statement","id":"Q2794672$79126FBE-D622-4291-840F-926F761A4105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7142d39c3323636bd7cc377526eabf4365b5d436","datavalue":{"value":"regular languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2794672$588C056E-CBEA-466B-999B-91826D9650E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcf2ec45b56911a8bbac4fb9d1dc61ba4b57469c","datavalue":{"value":"semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2794672$7866ADA7-AEE6-4A02-8A3F-FFB4093537A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2794672$E0E9CE61-B45E-4301-8DDD-C8267F0ACAD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e16fdb519452f3bafdb17bd5ad06b8194f047110","datavalue":{"value":"expressive power","type":"string"},"datatype":"string"},"type":"statement","id":"Q2794672$D4A4EC0C-18D6-4D9B-97FB-D6767258663A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9e45e72898ab5ef3149ddc99da95e7adb07eff4","datavalue":{"value":"Ehrenfeucht-Fra\u00efss\u00e9 games","type":"string"},"datatype":"string"},"type":"statement","id":"Q2794672$8E85A19C-74E8-4DD6-B860-694A7C4ED803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b80c99afc4950f85b79a2fe3707eb2e870b9567f","datavalue":{"value":"separation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2794672$384ADA10-BF6A-473E-834D-1C0E29B7AF97","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":"Q2794672$887A637D-22D2-4497-8E45-74ADE1B26511","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8ce49aaed9172ddc2c26482fe4e524a5e3431a6c","datavalue":{"value":"https://doi.org/10.2168/lmcs-12(1:5)2016","type":"string"},"datatype":"url"},"type":"statement","id":"Q2794672$5E393C30-C9AA-4070-901B-77605E7A2E1A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b9200c44d5c225e5458d67952924162ccefa5ec0","datavalue":{"value":"W2004710041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2794672$47730976-1C67-43CB-9C87-352B95D83556","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":"Q2794672$7BB3A539-9702-489D-930F-75CB741EE549","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86b7d950ff5b2ba17116f0c989f69e6b7be08bbe","datavalue":{"value":{"entity-type":"item","numeric-id":4635660,"id":"Q4635660"},"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":"Q2794672$B7E7203C-61FA-4E14-8B92-16288F4DF43E","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":"92a3fca83e676896554116c9723035e05142c6e2","datavalue":{"value":{"amount":"+0.8277330994606018","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":"Q2794672$2F48584F-4220-4075-A15F-DD2214894CB5","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":"0e7cba5d12431ce7cf55001b0e275b8e7c30948e","datavalue":{"value":{"amount":"+0.8220134377479553","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":"Q2794672$BFB50C7D-2A68-485A-AAD4-CCB74DBA5E5B","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":"c523bd84182b06734ec20bc814ed27e6b326d853","datavalue":{"value":{"amount":"+0.8176915049552917","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":"Q2794672$5BEE0211-8A19-4DA1-A2F0-1223667CBAA2","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":"81ead46d216e1c21ea560b6364c636d65da2f9dc","datavalue":{"value":{"amount":"+0.8171173930168152","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":"Q2794672$FD3E9D5E-1400-4F19-8A7C-69A097A0B855","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Separating regular languages with first-order logic","badges":[]}}}}}