{"entities":{"Q2290649":{"pageid":2301392,"ns":120,"title":"Item:Q2290649","lastrevid":73651800,"modified":"2026-04-14T16:47:58Z","type":"item","id":"Q2290649","labels":{"en":{"language":"en","value":"An oracle separating conjectures about incompleteness in the finite domain"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7159823"}},"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":"Q2290649$913E4A16-7146-490B-BCEE-F0F8F1105E45","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d08ca302100bcce7d75b30149e5adf934c2cd6b7","datavalue":{"value":{"text":"An oracle separating conjectures about incompleteness in the finite domain","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2290649$580917FC-7DC0-4E2D-AB96-6FE88FBB87E2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ec1fef1ba204721f38af6bbe9afa95ccb5847af3","datavalue":{"value":"1436.68124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2290649$03902BCF-B80A-47C7-AFB6-9CCA90734D00","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":"Q2290649$A5EDF99F-17F0-495D-A509-1F7C1DE328A9","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":"Q2290649$757D86E0-5975-4EBC-BF66-30EE0DD4F44D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"36449951a56e6135e4ec71fa99d76436027843e1","datavalue":{"value":{"time":"+2020-01-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2290649$60F8546C-779C-4D7D-AF84-81170BEA1346","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2290649$264A8FEE-1458-43DD-9793-0991395A9C17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2290649$7CD44903-80F6-4382-9B99-DE0C9779201E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2290649$FB3122BB-70CD-4C03-8319-2ECD85F08293","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0fcd4fbdefe1ef0976839ace0033a4ab1ab9b2e4","datavalue":{"value":"7159823","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2290649$E2812921-712B-4235-813F-E64EEC3744DD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3b279760df11662980b736532df7fbeff43d8ab","datavalue":{"value":"disjoint NP-pairs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2290649$7AE5198E-F4E5-4E59-A89B-974295C35BAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc028f491ca3cd6c7521dd6f6f17a35cdad54a6d","datavalue":{"value":"proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2290649$938A2396-01C0-421A-9264-4EC8B7ED1EAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37eab13cd756d7220f63a3c8750545ece6443d30","datavalue":{"value":"P-optimal","type":"string"},"datatype":"string"},"type":"statement","id":"Q2290649$9813C699-BCE8-4765-A3BF-BC059C84913F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64645f6efb73c09a378ceca57ba627ea26ac43bd","datavalue":{"value":"UP","type":"string"},"datatype":"string"},"type":"statement","id":"Q2290649$B06C23ED-9486-495F-9BA2-73E41D223295","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac873341ab34d6db98676ef037e18583cae25841","datavalue":{"value":"oracle","type":"string"},"datatype":"string"},"type":"statement","id":"Q2290649$1FFB1304-D667-4A4F-B40B-502B5DC6F71F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f0cdfe7714400cbf66adbf9ea4d04a43cefc7569","datavalue":{"value":"Q123208248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2290649$72D65202-7F64-41BA-9348-7EEA6BE1C54E","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":"Q2290649$212ECC23-6892-413D-9608-F930B04EEA76","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"00f66dbe24f563ca2b19b0bdd00c006c0df0d303","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2020.01.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q2290649$B10D61CA-5D9C-4327-8A24-0E6845051D74","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f5c6225fefe02a8ec52d0b12869d22d80ee0089d","datavalue":{"value":"W3000303691","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2290649$402662EE-EF96-48CE-BA36-1693A6CD97E4","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":"Q2290649$9825B5F4-9B39-4A5A-A6F4-76AD53059760","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":"Q2290649$66C34E22-0E14-4A97-AB14-DD1A32551C9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a162009700f8e317e5e6d4d56ae7f1617ed54206","datavalue":{"value":{"entity-type":"item","numeric-id":5874280,"id":"Q5874280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2290649$8341CACD-B47C-4A9E-8BF0-B3D9C834D8C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49ee1410bd306d6722cc2c176479c826bbb0715d","datavalue":{"value":{"entity-type":"item","numeric-id":3722415,"id":"Q3722415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2290649$5890FED4-FD08-4648-B730-6AC79007F9B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d8481b383524bbb1d42d352020c18ea39581b9e","datavalue":{"value":{"entity-type":"item","numeric-id":3888962,"id":"Q3888962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2290649$6E91C2CD-7471-485F-8A99-027DA5929F65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1aa96b7c0ec9bc7a683e7636e258c3fded01e42","datavalue":{"value":{"entity-type":"item","numeric-id":3787917,"id":"Q3787917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2290649$ABE6AE37-C0A0-4FC5-B4BB-C6FF04710D9E","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":"Q2290649$54221530-83AE-452C-82BE-7050007FDED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd07bc9a9b69ce8a80cf38ac60dbedf570ebf67d","datavalue":{"value":{"entity-type":"item","numeric-id":1109566,"id":"Q1109566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2290649$8DCBFA1C-6540-4609-9278-7728569D0495","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":"Q2290649$90AB8B8A-040D-4C26-AF1F-213EDC5FBCBD","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":"Q2290649$B64EB1B9-AE45-453E-A07C-C8668EDA391C","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":"Q2290649$DC5678CC-0C17-42FE-8C10-EED593806DFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba6fd229e4e2bb54aca43f407945c6513ae824bd","datavalue":{"value":{"entity-type":"item","numeric-id":808245,"id":"Q808245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2290649$FD385313-8324-4AA0-8CCF-FC5261FD1E97","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":"Q2290649$8F8C3627-5A0C-4D08-B9CA-FCB8B39697C4","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":"Q2290649$926147E6-A969-448B-B6A4-433589FA7355","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":"Q2290649$CEF6A40D-09F6-4DEA-9378-10D9B95E12ED","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":"Q2290649$3FAB0992-4DF6-4D02-ACD7-04DAD82AEA0C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"63701fc556c410ad7c792167499cea2b1590c6e7","datavalue":{"value":"10.1016/J.TCS.2020.01.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2290649$2DC69EA1-7B83-4942-AB6E-84BF48781AA0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78c304c6a1a0792f2235e3da0511be7d19a30d47","datavalue":{"value":{"entity-type":"item","numeric-id":2210516,"id":"Q2210516"},"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":"Q2290649$7B37A518-36BE-45BA-8269-BBFF79E4CD44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddc502250e162aa0f40c7468f3c2679f25f7a96b","datavalue":{"value":{"entity-type":"item","numeric-id":4651518,"id":"Q4651518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d523d7a066f45305f34e49020d597459a994e98","datavalue":{"value":{"amount":"+0.8212738633155823","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":"Q2290649$728FC1AE-8DE4-45F6-BC49-308164C4DF82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94f6541abf4a26a105738f13912b3f66ad21c062","datavalue":{"value":{"entity-type":"item","numeric-id":1430571,"id":"Q1430571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e77f89d2320e0d30dfcad29c32a579e13fdca908","datavalue":{"value":{"amount":"+0.7814162373542786","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":"Q2290649$9B771AAB-EA50-48EF-96ED-A651D537CBCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27ab7d4690c1fb3a38834b717839879c7b9df99c","datavalue":{"value":{"entity-type":"item","numeric-id":4873687,"id":"Q4873687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c92dd368236acc63efaf94c711f49367b46e849f","datavalue":{"value":{"amount":"+0.7589529752731323","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":"Q2290649$BC5E5237-617B-4891-89EA-32982AED09CB","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":"4ec0e90ec91bc7eded95f496038a4bb5fdbf1c8f","datavalue":{"value":{"amount":"+0.7561951279640198","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":"Q2290649$5DA07390-A9FC-40D3-99CF-089D1825D368","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An oracle separating conjectures about incompleteness in the finite domain","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_oracle_separating_conjectures_about_incompleteness_in_the_finite_domain"}}}}}