{"entities":{"Q2904787":{"pageid":2915512,"ns":120,"title":"Item:Q2904787","lastrevid":51533435,"modified":"2026-01-18T16:33:16Z","type":"item","id":"Q2904787","labels":{"en":{"language":"en","value":"Regular tree languages, cardinality predicates, and addition-invariant FO"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6070927"}},"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":"Q2904787$2A1631F1-CCA4-46B3-898F-67B7302603B3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"391a573dfb7877753c5401e0bbb6f585e0206179","datavalue":{"value":"1245.68124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904787$57A72C74-5A62-47F2-821B-CECB359B47E5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9711f7fcc55d9ac2fd04f9c2f72987ba25c601d","datavalue":{"value":{"entity-type":"item","numeric-id":269709,"id":"Q269709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2904787$145A5190-E362-4577-933F-CFE9C6B312EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fde056a0f6fc0570a0a106ebb1024eb76bcb30c9","datavalue":{"value":{"entity-type":"item","numeric-id":389233,"id":"Q389233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2904787$1D7E678A-BFE6-497F-955C-2B8E3C6D0019","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"65565ef421231dd2fa47bb94f379079908ab66d7","datavalue":{"value":{"time":"+2012-08-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":"Q2904787$07BE4B2F-994B-4640-B498-90E6BCDE8CDF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904787$8C08E18F-2BB1-46A8-A33C-214FE31B5190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904787$200A6C3C-CC6E-4263-BF4D-732415BBF948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904787$781528C6-D39A-43EA-AFAA-164C1F938E71","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b596a522fc3a23e75a2ca455306d87a46054da5b","datavalue":{"value":"6070927","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904787$E2B43792-B5D4-480B-8A5B-F31D282369E3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e835b46ed5192fc8b3763b59c7d2b8dc527f43d","datavalue":{"value":"regular tree languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904787$2DB0F4A6-F403-422D-8BA2-7BE245A3DEE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f46d0f0a92ab296052693495384f13e7480436c","datavalue":{"value":"algebraic closure properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904787$65D38DCB-AB44-4F15-8890-1A9B3EC61D4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c0d588d02c9b5eb4e10036f58314fe8e73fcd26","datavalue":{"value":"decidable characterisations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904787$8C46492B-3D62-47E4-AAD5-45DFE4A08CCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c847f3c6e0fc5762d11dbff9740a77fc55c01d2","datavalue":{"value":"addition-invariant first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904787$4CCB44A3-10E5-46E6-8D9D-4E7CDDD434B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d17cb5bda10aac3d066a805a80b8666334b455d","datavalue":{"value":"logical interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904787$FB892372-658B-4CDC-8E67-856EF4C5D1D7","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":"Q2904787$175E8BF3-6019-418F-84ED-225C492DAE39","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6132b6f44b420b4cb485a03bbca38c6ed26c1c6c","datavalue":{"value":"10.4230/LIPICS.STACS.2012.489","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904787$4BF7E0C8-A1A4-48EF-A18B-9A8E87D5E39C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"193de120ef46f6773b0a0f924ffce1bb25f557d7","datavalue":{"value":{"text":"Regular tree languages, cardinality predicates, and addition-invariant FO","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2904787$F7A142EF-6CDB-4E0F-9FB5-2B353EFCB75B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28a7ad69307a79047885e98bfd40cfd7ffcf8180","datavalue":{"value":{"entity-type":"item","numeric-id":2946590,"id":"Q2946590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5047b7408d76133d625bf6a335b080ededa9a16e","datavalue":{"value":{"amount":"+0.8143077492713928","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":"Q2904787$BE3CBE74-F341-40AE-AC07-674891068F62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a2ca5bd2aa027316c02f23302a22035dfd99938","datavalue":{"value":{"entity-type":"item","numeric-id":5710686,"id":"Q5710686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd4d5ba29b228bd6ed08a7512c6f1c00544ff39a","datavalue":{"value":{"amount":"+0.8034263253211975","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":"Q2904787$153EA219-6595-4378-9E1A-96AC17A8EF11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3db84ace2e45176688dec886ecdbd223d9e798d6","datavalue":{"value":{"entity-type":"item","numeric-id":5096727,"id":"Q5096727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2191b539e897ed53f5fa94dac3d47e34a658749d","datavalue":{"value":{"amount":"+0.786351203918457","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":"Q2904787$891E4510-838A-40CB-9E3B-242960897199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83ae21262f194719a83afa48de3da02efd49d153","datavalue":{"value":{"entity-type":"item","numeric-id":1325850,"id":"Q1325850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e67dd59bc303548d2b20ffa69dea6fdebde0050","datavalue":{"value":{"amount":"+0.7462291717529297","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":"Q2904787$AB364932-5F8D-49F7-B584-1F9F38BE446B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cd31e34bab079d12b1ff3552d296c998283cb30","datavalue":{"value":{"entity-type":"item","numeric-id":3820583,"id":"Q3820583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79a03aedef5a78055aff76e1dba33a5e744c88a4","datavalue":{"value":{"amount":"+0.7327032685279846","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":"Q2904787$82FCD00F-5CEE-463F-BC93-7A330E111677","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2904787","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2904787"}}}}}