{"entities":{"Q2210516":{"pageid":2221259,"ns":120,"title":"Item:Q2210516","lastrevid":53864486,"modified":"2026-01-25T20:34:25Z","type":"item","id":"Q2210516","labels":{"en":{"language":"en","value":"Further oracles separating conjectures about incompleteness in the finite domain"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7270968"}},"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":"Q2210516$F405A103-DDF0-45D8-907A-3482165F5E8A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ae16c93281f23457bec98d11b2c0e85ee9ef065e","datavalue":{"value":{"text":"Further oracles separating conjectures about incompleteness in the finite domain","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2210516$B93ADD86-40F6-4734-A7B3-8C18C90C47F8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1946708942c8e33983ce8dffbb445b6376d5308b","datavalue":{"value":"1485.03236","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2210516$90B175B5-E91B-4229-95E5-52C9EABDC126","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"366c77768321fada60910ad753881af032dcd901","datavalue":{"value":{"entity-type":"item","numeric-id":2182322,"id":"Q2182322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2210516$03A49665-5870-42E1-B2E8-5B56EF57B1F3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2210516$948FA12E-E3C1-465E-93FE-1411802CF369","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da94dc8ca8f9c0fb3c428416706507ccd17ae28c","datavalue":{"value":{"time":"+2020-11-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2210516$081862E8-BFFB-4876-B006-ED093DB11283","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2210516$F20AE307-2E96-4039-8987-42E34D45EC6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2210516$DDBD207F-F77C-4041-AEE4-DC83AC3B08BC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2ba748eed7fadbd55083f068fae52c6f236055a9","datavalue":{"value":"7270968","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2210516$86A86FFE-1ADE-4DA4-B445-21BAF1BDD13D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc028f491ca3cd6c7521dd6f6f17a35cdad54a6d","datavalue":{"value":"proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2210516$0ABB0CE2-B62A-4B64-B285-8F09CA011225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37eab13cd756d7220f63a3c8750545ece6443d30","datavalue":{"value":"P-optimal","type":"string"},"datatype":"string"},"type":"statement","id":"Q2210516$9050D688-5862-4CF8-97FA-0E7B272D7501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"834c45d526445b63ede129bf0252d3b47bed13e5","datavalue":{"value":"NP","type":"string"},"datatype":"string"},"type":"statement","id":"Q2210516$1BA158AD-FF7A-40F1-9B77-3B1359685B32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9312c5bd19bd292f1ca8773c9ae4198ab6a1cf9a","datavalue":{"value":"coNP","type":"string"},"datatype":"string"},"type":"statement","id":"Q2210516$3E99A191-9A7E-4A14-9110-53E4E8336431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac873341ab34d6db98676ef037e18583cae25841","datavalue":{"value":"oracle","type":"string"},"datatype":"string"},"type":"statement","id":"Q2210516$5E77AF48-BF3A-4552-9495-83BDC7BF3F6D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"32ef1b100a778443f6ab7d71940b62b121516add","datavalue":{"value":"Q123282832","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2210516$630CCA29-41B4-4E5B-BEB1-69A8C02C6C5A","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":"Q2210516$658468EE-290A-4891-974F-4334AA07AD61","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"da3ecf86952ec0741a9b28964a214838bc099510","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2020.09.040","type":"string"},"datatype":"url"},"type":"statement","id":"Q2210516$64E2488F-3999-40AE-8EA6-F285F7236A62","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0b2eb8c45db5f2858398116bb437cffa45715481","datavalue":{"value":"W4206617619","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2210516$EDF5E98F-AED6-4E2E-9BAB-21A2314F5424","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7592b023ac89204897ab3bc752fbf29f253474a","datavalue":{"value":{"entity-type":"item","numeric-id":837177,"id":"Q837177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2210516$54503575-632D-4C26-86D3-FF6A4AC265A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bea75da9fa67a5f77faa9362cd4aa6c737c792a","datavalue":{"value":{"entity-type":"item","numeric-id":4194955,"id":"Q4194955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2210516$C168638F-D67A-4862-98CE-F84C2362DF21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32aeebbfb4f1a7f784f14aec2fa43846149a86a1","datavalue":{"value":{"entity-type":"item","numeric-id":2290649,"id":"Q2290649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2210516$ABA09200-4EE4-4A99-BD77-72C3E4FB9424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9d6d960e351c80be000f302db6efef14ab7325b","datavalue":{"value":{"entity-type":"item","numeric-id":4651518,"id":"Q4651518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2210516$96DD6006-FC64-4E0B-ADB1-88444266CF30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbb6ffdc2da3f7f9fdafbed4d441b6ee26762fc8","datavalue":{"value":{"entity-type":"item","numeric-id":4472459,"id":"Q4472459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2210516$E6AB5A93-2E73-4231-B1E9-5679B25255E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"559db777cfd8d3556503f38e6f593a8dea97b362","datavalue":{"value":{"entity-type":"item","numeric-id":1398371,"id":"Q1398371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2210516$5412F514-D731-4A73-99E5-9B5533BC642B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25f4a86512e0f02bf82877dbb62313fcd7fe9ed1","datavalue":{"value":{"entity-type":"item","numeric-id":3472096,"id":"Q3472096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2210516$1F8B2D3E-18E3-49AE-995A-FFB555C978E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eecc3b6d7dd71b319d9179536e3a71e5676e3a6b","datavalue":{"value":{"entity-type":"item","numeric-id":2366687,"id":"Q2366687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2210516$D7E34F48-F70D-4FCD-8C36-40AD92E5ADAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2210516$6B218311-9F51-4275-BF99-78E829D4489D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"463d5da9ce3bd717aa94af12374b31584172a9f4","datavalue":{"value":{"entity-type":"item","numeric-id":4885911,"id":"Q4885911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2210516$1BE41BDA-E77C-4E3A-9F2F-80CF97C5B1B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f988a28c6c270b39799b8ecc681337eb8b872d4c","datavalue":{"value":{"entity-type":"item","numeric-id":4913583,"id":"Q4913583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2210516$EBD42FBD-8B00-4447-9A3D-88BFD73A4C7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62756db01e363051fb903b58c62718f57d2ec5c4","datavalue":{"value":{"entity-type":"item","numeric-id":4640304,"id":"Q4640304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2210516$70E8411F-8EEA-40FA-94C4-5B2A965BC687","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"85dd7619b80128d73baad65ec1af5cf1b71a4537","datavalue":{"value":"10.1016/J.TCS.2020.09.040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2210516$5B7C409D-B459-421F-8AD4-3481E423ADBD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"368969fd906dbf7135dd97d6869ffae328837494","datavalue":{"value":{"entity-type":"item","numeric-id":2290649,"id":"Q2290649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0b5de46d31a9ab44c7094ced08c5b8ef137e414","datavalue":{"value":{"amount":"+0.9364102482795716","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":"Q2210516$45082FD3-FBBB-4819-9440-A92FCA15A82D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ae24a60c4f91ccadd9d411d6c6941d860c6c2da","datavalue":{"value":{"entity-type":"item","numeric-id":912625,"id":"Q912625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"403f823fbd56658dbdedf63792309783c9e2e723","datavalue":{"value":{"amount":"+0.7692282199859619","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":"Q2210516$5C430DFA-FA78-4412-A75B-38B0489F9201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e5743406a7d450d9b6af3a16de1f576bdb8a836","datavalue":{"value":{"entity-type":"item","numeric-id":4640304,"id":"Q4640304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4d9d8047db3c15d6f3ea9ed8ac4a2994296f768","datavalue":{"value":{"amount":"+0.7687868475914001","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":"Q2210516$F0075917-F42F-4CA2-836C-D37D5F4F7CEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"443da56195c385d4cc0144a094c496f296f3735d","datavalue":{"value":{"entity-type":"item","numeric-id":1822968,"id":"Q1822968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef98d8580f81547ff4d530bd4814edf59332b668","datavalue":{"value":{"amount":"+0.7635329961776733","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":"Q2210516$0BF3451D-1BFB-41AE-852B-68CDBE48B230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"544db40841c358c98abf68ee3c9e5e3dcca81354","datavalue":{"value":{"entity-type":"item","numeric-id":1351504,"id":"Q1351504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bccb3942bf6c497509ba23d9aa651d3f5ad4d193","datavalue":{"value":{"amount":"+0.759578287601471","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":"Q2210516$1BF44D25-837F-4292-8243-F0988E383220","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2210516","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2210516"}}}}}