{"entities":{"Q2904765":{"pageid":2915490,"ns":120,"title":"Item:Q2904765","lastrevid":51533378,"modified":"2026-01-18T16:33:14Z","type":"item","id":"Q2904765","labels":{"en":{"language":"en","value":"Ehrenfeucht-Fra\u00efss\u00e9 goes elementarily automatic for structures of bounded degree"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6070906"}},"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":"Q2904765$F833CE76-3A5B-4400-95E4-07A9BBC0767C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5256d4eb7c5fed8577e7bbb4ebdd97d077d02b75","datavalue":{"value":"1245.03061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904765$CAD136B9-8CCB-492D-A851-E4E13B021317","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd0acc414943beb072c4bab682832f63ecf09ede","datavalue":{"value":{"entity-type":"item","numeric-id":526754,"id":"Q526754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2904765$743B5E64-5B3B-4750-B589-5CB37264DE83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"48768ae81aa5edcb5110bd8b53b5885bdbc25ee1","datavalue":{"value":{"entity-type":"item","numeric-id":515662,"id":"Q515662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2904765$6B81D1B6-A3DE-4D31-AB83-87E60D24FA63","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":"Q2904765$DF7F5463-A65A-4201-A0CB-4A58D59CF773","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904765$545BC8F5-F39C-44E2-ADF6-CA4251E2C6EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904765$9D639A71-A134-420D-B1FC-62EBC64B68DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904765$72AFFE5F-218D-4A7F-BB6F-4C015E1263C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904765$8F47F722-9D45-4467-AC8E-BF76DC253F54","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ee0921e189f7ac351d3cae528cb15436f535e5d7","datavalue":{"value":"6070906","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904765$D51A81E9-1F8B-458E-9C07-3B918682FC1B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6cea664c634ba78ee49bcbbb5e09c9c65f09f7c","datavalue":{"value":"automata-based decision procedures for logical theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904765$A84674B2-9647-4FD2-91B2-18AEA142F529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b2f3ab8ec237c3f05afd995c2c137f62c66c8b5","datavalue":{"value":"automatic structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904765$B34BEC3B-4076-463E-A367-424CA650F676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9e45e72898ab5ef3149ddc99da95e7adb07eff4","datavalue":{"value":"Ehrenfeucht-Fra\u00efss\u00e9 games","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904765$91C00A49-1EFA-42D5-AFA7-4D0C9CD28041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904765$D35086DB-A73F-4C42-8DE5-0B4D71EE7C3E","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":"Q2904765$B633FA9D-B322-4B43-A3BA-78DABF8B93EC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9a5f44dfafaecda95ea2d56a3d99bf5e2959f3ef","datavalue":{"value":"10.4230/LIPICS.STACS.2012.242","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904765$9F6AA228-B8C7-4C21-B198-559CF3AFA356","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"63509e5b8413877398d7430d9692caa700b8c53c","datavalue":{"value":{"text":"Ehrenfeucht-Fra\u00efss\u00e9 goes elementarily automatic for structures of bounded degree","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2904765$621C8A60-B80E-4E32-B62E-2CBB7AF17D2B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ca6e9b3c0d29ee88ea09f8b530f4b0b1b113ed0","datavalue":{"value":{"entity-type":"item","numeric-id":3408149,"id":"Q3408149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee113a099ee2aef2a662f1177a681dc1d29ed321","datavalue":{"value":{"amount":"+0.8874268531799316","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":"Q2904765$378D2C51-85D0-42C0-B758-D5215DDD4457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca01373d9e19dfe71fc3b2f379f327a054d24fb3","datavalue":{"value":{"entity-type":"item","numeric-id":3644760,"id":"Q3644760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"258297ba117e2c2ee64652e44f9903f6d8709d8e","datavalue":{"value":{"amount":"+0.8616381883621216","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":"Q2904765$58BA5600-657E-4AB4-9949-61500728309A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0291a5d27b5f153c1db3c532d8720a77036d51e0","datavalue":{"value":{"entity-type":"item","numeric-id":3107359,"id":"Q3107359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2822816802aab050116692cd141afd91824fec13","datavalue":{"value":{"amount":"+0.8524022698402405","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":"Q2904765$3E33E770-22FD-41AE-846E-FB1EA679CA2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb5c9236484efc4a1fa28e598c76324b9cc38244","datavalue":{"value":{"entity-type":"item","numeric-id":5899097,"id":"Q5899097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b61e72a0ce3e70d03b87d03f6c3c87deb97758c5","datavalue":{"value":{"amount":"+0.8380482196807861","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":"Q2904765$52975F3B-B584-443F-9C43-6A39F55D46D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"851982118c33af1d968ebae908e05db55f9aa0aa","datavalue":{"value":{"entity-type":"item","numeric-id":710741,"id":"Q710741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e69ac67eac52d5197ea5d70926f369465908245","datavalue":{"value":{"amount":"+0.8309416770935059","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":"Q2904765$93FB33FD-E0D9-420A-8445-801CEDFF8365","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2904765","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2904765"}}}}}