{"entities":{"Q4635942":{"pageid":6665523,"ns":120,"title":"Item:Q4635942","lastrevid":58311012,"modified":"2026-04-04T16:23:10Z","type":"item","id":"Q4635942","labels":{"en":{"language":"en","value":"How unprovable is Rabin's decidability theorem?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863549"}},"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":"Q4635942$687E9C8C-04C1-473B-86CF-790228BB1DDF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0b95bb24b171e93ddf0782fffd34ab3471697e4b","datavalue":{"value":{"text":"How unprovable is Rabin's decidability theorem?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4635942$77994DBD-363B-49AD-981D-BE922AC3C23F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c900d05e10bc9bf03a6d9e7d52ec6d439e2f2de1","datavalue":{"value":"1394.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635942$B1EB10DC-03D6-4A91-B20E-FDA0EB32CFFB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1c4eb7e51418ff5789c437119e76a0b4ecdf2c54","datavalue":{"value":"10.1145/2933575.2934543","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635942$09EA4D4B-ADE4-4999-88D1-C73C36A0FBA2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3519eeb51dd7aa559d95e464292a48575f62c187","datavalue":{"value":{"entity-type":"item","numeric-id":194304,"id":"Q194304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635942$CC65EDD2-95CC-45AD-BFF6-66BE2F064231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a3ffa17224212fea08254d92b99acde6ca1f899","datavalue":{"value":{"entity-type":"item","numeric-id":476118,"id":"Q476118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635942$A30F1C39-6DB4-424D-A279-886498EB31AB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"046029701eaa27e11deafdbb503d5ba484152a43","datavalue":{"value":{"entity-type":"item","numeric-id":4635856,"id":"Q4635856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635942$CD52AA39-EE88-43FD-A89E-7FC808E598C1","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":"Q4635942$950FAD65-B36B-4DDB-AE17-585E47B4BAEC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a0d6e923fe07985e0f8a3e9574788aff5fc04ec6","datavalue":{"value":"https://arxiv.org/abs/1508.06780","type":"string"},"datatype":"url"},"type":"statement","id":"Q4635942$9EDE8888-A06A-4887-B472-FF2032836055","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635942$BF429717-B796-4384-B354-E2E07C9AFAAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635942$42A1632B-DC34-41CE-93E8-9807AF7249C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635942$CFDDFC20-4C88-4BD6-8106-1125E4453013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1d0fbfdd56746b1fac4d86fe54b6e7e79ffa6e12","datavalue":{"value":"03E60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635942$DB1AB51B-CD22-4C9C-8633-C72AFA7B94CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635942$2BEF280C-58D4-449C-A78D-CE15A7185F37","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e20da664651edb9b412b1b3633878b9ef2032d91","datavalue":{"value":"6863549","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635942$A3178301-D799-40AF-BB01-9819BAEFA70B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0382fad4c1eee10ee531300e102fe052d21a76c","datavalue":{"value":"Rabin's decidability theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635942$7A046B6B-FD2A-4546-AC8D-7C28A29200A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36465e275ad28ce6a3ce5e48d5da173f005d8463","datavalue":{"value":"automata on infinite trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635942$FDBDC068-D0D5-4F86-B0CD-A81DEFD55B3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21c2de12da180bf5ebd45d35d51c22490fdb1340","datavalue":{"value":"determinacy of infinite games","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635942$FEAD2222-0A7A-43C8-9E95-84E3363432F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a7ad3b9bca4a77e404ee6853b2ee1f8b94bd5ca","datavalue":{"value":"monadic second order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635942$2E2324B6-3826-4D4C-9F39-1E28E9AD4660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635942$41E3994C-F074-4D30-8569-C99DD65AE7EA","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":"Q4635942$34CD34B0-C89A-48B9-8756-A037CA4E81B4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1f91776ef21dc4d41b977900fceca25cd972ccbc","datavalue":{"value":"W2964112588","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635942$DE955693-9FA8-429C-82A0-46D1AE3741E7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c831c89f331a1f017246187e656d252b5256051c","datavalue":{"value":{"entity-type":"item","numeric-id":5377469,"id":"Q5377469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"079d4b64373632cd9b5a20e3fc3a8dcb9956e0b7","datavalue":{"value":{"amount":"+0.8264753818511963","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":"Q4635942$7D8219AF-5A9B-4AED-B08A-B96C93C02685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"315d63a23530ae6709288b4366513d79e8f5598f","datavalue":{"value":{"entity-type":"item","numeric-id":5278425,"id":"Q5278425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3080a4f769aa47780ee5eacd9f8c7c913ddf95b4","datavalue":{"value":{"amount":"+0.8253001570701599","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":"Q4635942$03AB82FE-6686-42B3-8804-D5C9F4747425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77e765d0962b89b006cd5b49026b0398d2f1a272","datavalue":{"value":{"entity-type":"item","numeric-id":3748266,"id":"Q3748266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0b162869d83f4f61df61d5e67ecbeddf0a6f04f","datavalue":{"value":{"amount":"+0.822546124458313","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":"Q4635942$098F632E-EF58-4B6E-9968-7887B35EFBDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b020f2c7b596592b3f18eb947f12edc955e693a2","datavalue":{"value":{"entity-type":"item","numeric-id":5317421,"id":"Q5317421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbadcef2f43f884b3cdd29e9b308da4488413e41","datavalue":{"value":{"amount":"+0.7972931265830994","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":"Q4635942$183C1ADA-10FD-407C-A678-E29E7FA2F7D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99a09d2e5de03655c892d2a2774ea781d30aabb1","datavalue":{"value":{"entity-type":"item","numeric-id":1951555,"id":"Q1951555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e74cd401b97b17f0fbb728d15b26b163e622583","datavalue":{"value":{"amount":"+0.783394455909729","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":"Q4635942$AA8F18F8-10C8-4AD5-932D-B846487F1A50","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4635942","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4635942"}}}}}