{"entities":{"Q3113778":{"pageid":3124494,"ns":120,"title":"Item:Q3113778","lastrevid":45468091,"modified":"2025-12-08T23:23:51Z","type":"item","id":"Q3113778","labels":{"en":{"language":"en","value":"Is Ramsey's theorem omega-automatic?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5999725"}},"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":"Q3113778$2F03F695-D18A-4146-BD9C-67638B69748E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f6b83dae261b61bafe9a08e18bd0ab4260e5f66b","datavalue":{"value":"1230.03067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3113778$067B595D-A221-4F36-8C2F-C1ADCDC1E5F1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4822a023b88216698bd27975d0e83ceb8910f93d","datavalue":{"value":{"time":"+2012-01-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":"Q3113778$8BC46CDD-90D3-40B3-8387-704A7C18ABEF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e043796986f2c6aae450179ce753eecd2e48172e","datavalue":{"value":"http://subs.emis.de/LIPIcs/frontdoor_b497.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q3113778$6AA3981E-A987-4D36-89D9-764910B5A919","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3113778$CB159665-7663-4F20-9606-5204351F2F7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cb1e2924ba238bc47b6e89cc71d65b0484b3d905","datavalue":{"value":"05C69","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3113778$E94222C7-DABC-4E5C-9EA3-F796974A83C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3113778$4B196B86-38AD-4CE0-890A-94F703EC2CED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3113778$805E6F6D-A5D6-4FF3-8D98-4BE5738C4291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b4b251e34f965e85a4a30c5d646e0bae1192967","datavalue":{"value":"05D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3113778$E474D9EF-D467-4A3F-A64B-6F007A0D0861","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f715883ac9aa4c8c3e96a99be5414d9c9b43c2ab","datavalue":{"value":"5999725","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3113778$6FADC0BD-CDDC-4F26-8822-2666048A2217","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a6484e7e2f26a93555d13cfb9bf138878591693","datavalue":{"value":"logic in computer science","type":"string"},"datatype":"string"},"type":"statement","id":"Q3113778$5E57172B-7BD6-49BF-B38B-4CFE4CBF2F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3113778$6D21F968-08FF-495A-BEC3-F9E9F915D10B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88f9e038ce90ce67b356cbe14c3c3f15dfb789be","datavalue":{"value":"Ramsey theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3113778$724B1312-84D3-4962-ADE8-516E5E6A18B2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a8f9028ed4d5274f77df4d4f9e07b117d4309ffd","datavalue":{"value":{"entity-type":"item","numeric-id":420855,"id":"Q420855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3113778$4FD666D9-C3FF-46EF-BC0A-279C9AD84601","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":"Q3113778$5332E0B2-1ACB-4F6C-8395-920E12D2BCDB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8b06f227389e9459e1109d9875fac0ac9dedf147","datavalue":{"value":"W2964300199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3113778$67334F3F-8DC8-424C-A556-7D5913C2747D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"00a2acbd2041a6ec9636b6de52e641cdb519744d","datavalue":{"value":{"text":"Is Ramsey's theorem omega-automatic?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3113778$7EE22BE8-56C3-48B5-A6C4-DA20E5B4ADE6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a4bb183c51ba47e24613a0c6c117d343b9231c1a","datavalue":{"value":"10.4230/LIPICS.STACS.2010.2483","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3113778$0DF592AB-4735-4802-A276-095AD517F7C0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"945d72e11abf2b2cd491d7af8f606882cd79b172","datavalue":{"value":{"entity-type":"item","numeric-id":3408148,"id":"Q3408148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"075b2b78258f864b8732d8598cc505116760da9b","datavalue":{"value":{"amount":"+0.8411332","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3113778$B187F2DE-C505-4913-A687-B0E76B973AD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea210ee7c00a41c9154bb273eff1706ba0fc2d1f","datavalue":{"value":{"entity-type":"item","numeric-id":4915224,"id":"Q4915224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7668f6c9d6fb18c18d5f53a1e99636c641f98124","datavalue":{"value":{"amount":"+0.7740843","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3113778$342DFA2D-2140-4E27-AF25-E44A0A31A5FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"592021f560e607e1a979067ffde7c66683c0fb98","datavalue":{"value":{"entity-type":"item","numeric-id":794638,"id":"Q794638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad3bba5285bd0995c5ec52879c990b33b39a8805","datavalue":{"value":{"amount":"+0.77168524","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3113778$9D129DD2-0E48-45B8-AA27-CE3E3B5C79A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b3bb8cd63d3bfa1e76550243f283e0af6da551f","datavalue":{"value":{"entity-type":"item","numeric-id":6103456,"id":"Q6103456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0782471aa5ca6449f8c6b1879542e36bd78ef68f","datavalue":{"value":{"amount":"+0.76524514","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3113778$8B52F685-9C34-4699-86E7-529F11121044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01ac10414a0d5050e6d45341caec824c30b090eb","datavalue":{"value":{"entity-type":"item","numeric-id":4548922,"id":"Q4548922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42abe073eb3498e80be93ee57674b7023cd5eaf3","datavalue":{"value":{"amount":"+0.75550216","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3113778$3A42A629-18DA-4F94-97C6-4F627C7D4B5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c19a4e980152f46abdf1980d14ec3422e325d28f","datavalue":{"value":{"entity-type":"item","numeric-id":1092924,"id":"Q1092924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87a44e85f6b4062b63917d176fe9bb39ce4af7a3","datavalue":{"value":{"amount":"+0.7536312","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3113778$4B533948-0ACB-4759-AB79-1886EDC00463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e55cb142d8dfb415518dbedd0b5dda75f1374323","datavalue":{"value":{"entity-type":"item","numeric-id":1016505,"id":"Q1016505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02fb584d2e72c7a8bc42eef7e49255a6d48a3084","datavalue":{"value":{"amount":"+0.7513944","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3113778$C6433C4A-3132-4E39-BD96-8129096646C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a47c6c2b041d7573ffbcb84b9d156c5a3ef4f04","datavalue":{"value":{"entity-type":"item","numeric-id":976534,"id":"Q976534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdc71cf4855f6e0f6fa1d7f56aae0961c8fa6ce9","datavalue":{"value":{"amount":"+0.74570745","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3113778$F33386C5-1DBF-4F61-8C58-7C2826A12711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17e334cdd2ba4d78b331e520cfd4cbd8e7c4b72a","datavalue":{"value":{"entity-type":"item","numeric-id":987936,"id":"Q987936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ea6e212090faf1cad97a36c364ea6832a468b36","datavalue":{"value":{"amount":"+0.74561036","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3113778$A71607D9-7B06-4852-B147-665C8ADA9542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9872478b2a221f4a2908811b400978ed342dadb","datavalue":{"value":{"entity-type":"item","numeric-id":5449700,"id":"Q5449700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bca90f62e36c9269cddc26b59a0f50316ee0004","datavalue":{"value":{"amount":"+0.74531996","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3113778$0FA9E5C3-5436-4125-BDEE-A3398BB15460","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3113778","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3113778"}}}}}