{"entities":{"Q2075283":{"pageid":2086025,"ns":120,"title":"Item:Q2075283","lastrevid":78540608,"modified":"2026-05-06T11:50:18Z","type":"item","id":"Q2075283","labels":{"en":{"language":"en","value":"Solovay's relative consistency proof for FIM and BI"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7473064"}},"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":"Q2075283$C86339A3-8A8C-4394-BDAF-BB0D3D6EBC80","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b4a7934a32e59761e8e3299222bae5d102c6b108","datavalue":{"value":{"text":"Solovay's relative consistency proof for FIM and BI","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2075283$07C5DCAA-FEDA-432B-93FD-A5BAC48E76E1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"27e22e4476b7c045f76ba1e6895ce9e8e5140915","datavalue":{"value":"10.1215/00294527-2021-0034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2075283$F490C720-7193-4E83-B402-6F1A9DE4501C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"75fbea9f89dfd213d78a18c5bac0fa3de5d53702","datavalue":{"value":{"entity-type":"item","numeric-id":234596,"id":"Q234596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2075283$98F4D088-34EB-4A46-B0EC-7ADBF819715E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2075283$546DB1DC-B83B-4298-A054-5A8A6281B120","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"44a4e856a85631fb651bf9ad5803d8b27e9b05d7","datavalue":{"value":{"time":"+2022-02-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2075283$A8B23F35-D355-4FD0-A6C0-2F528E29F2F9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"34af811765b22e17bc9fadc2bbffa63c6edd2d90","datavalue":{"value":"https://arxiv.org/abs/2101.05878","type":"string"},"datatype":"url"},"type":"statement","id":"Q2075283$4D467E67-EA7C-46A5-A672-E659682062E5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2075283$EBA0CB42-7220-48EB-B408-F319F37BB8D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c585ff1225385df763d563765306ba256a399acd","datavalue":{"value":"01A61","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2075283$7EA41F60-D500-487F-9EA1-32B4B88DFAAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2075283$BCAEFA1E-6635-4564-BAE0-867BE8758052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2075283$DB6FD4BA-8C06-4F23-B8E6-27F76319380A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2075283$7C3E1ED2-36B6-4BB0-BF08-472B44807482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2075283$9FE629C5-7A0D-403E-8633-0C20776DE953","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"afe75b204510842172d9446b9c1a93a6319d8cbe","datavalue":{"value":"7473064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2075283$C268B17A-215E-4DE9-903C-54EF9D05C523","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"155887e129f138ddb550f061b25d6f62f70a6545","datavalue":{"value":"arithmetical comprehension","type":"string"},"datatype":"string"},"type":"statement","id":"Q2075283$DCD47386-F893-4704-A61E-73378513FBB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ecd18eca3fc9713df6a82ddda202d74f024f012","datavalue":{"value":"bar induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2075283$56ED3337-AFB1-4099-9963-A1EA24AF8821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0762595aba73aeeee9b7820b2b282493be06f1b9","datavalue":{"value":"intuitionistic analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2075283$D961492A-CB54-4050-AFF0-62F8F62ACF3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb555ad50daa2f2442c3374413a67b79e38b5020","datavalue":{"value":"relative consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2075283$23CC22EB-53DB-4668-830B-786A272039A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"540038da6593ea43f1cd5ba50e95b252a18b637b","datavalue":{"value":"Solovay","type":"string"},"datatype":"string"},"type":"statement","id":"Q2075283$5C45E1D6-5F80-4786-A13B-298898D2192A","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":"Q2075283$CF65DBC1-0BB0-499E-B498-6C86FC0CEF86","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0edf8451349e7c614d9b3a6f205c1f400b58c714","datavalue":{"value":"W4200240352","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2075283$878D8D88-4FF2-40D0-8D6B-05436CF67EA2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea22355f4809f1b9a7b437907def4782c9b3a721","datavalue":{"value":{"entity-type":"item","numeric-id":5575558,"id":"Q5575558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2075283$11F5A473-6B8E-44AB-9A25-920326221DCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91ba25d69cadc919d80d2b5e82a0eabcb1b50c8c","datavalue":{"value":{"entity-type":"item","numeric-id":5343325,"id":"Q5343325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2075283$0B1EA1A4-3268-484E-8850-69BBBFAD749B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8de70f124afced7c60ead7ad3203a6adf9428044","datavalue":{"value":{"entity-type":"item","numeric-id":4650268,"id":"Q4650268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2075283$CB24097E-BD53-4A13-9AD7-9C6468346BD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a630305bc56ff4478b63eaeb3b35baa72d185ce6","datavalue":{"value":{"entity-type":"item","numeric-id":5222539,"id":"Q5222539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2075283$396432D8-B1F0-411B-A853-65B1489A89BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0430e4a9fe16a78c945c278746cad2959afea463","datavalue":{"value":{"entity-type":"item","numeric-id":3395521,"id":"Q3395521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2075283$E965A39B-1B08-4FBD-AE1B-93A3C716EFCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"384c88ee747368e498e55b1ebc22017816448ffc","datavalue":{"value":{"entity-type":"item","numeric-id":2265415,"id":"Q2265415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2075283$A42A9292-E5B4-4E37-B636-E95BE4F4926C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28d502724931311203b5ac007ac11d9dee5a3df8","datavalue":{"value":{"entity-type":"item","numeric-id":453178,"id":"Q453178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2075283$643ED974-99FA-4074-9FA3-60B2BA112589","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3611978b892fa24a17f5670e0dc08da7f46164dc","datavalue":{"value":{"entity-type":"item","numeric-id":4391177,"id":"Q4391177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6385786977672607ec0345df928fd88f3e4ce0c1","datavalue":{"value":{"amount":"+0.7115463614463806","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":"Q2075283$E24A0130-4D72-4D7A-ACB5-3E0F2FD63028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c877b046386cc1b5cc15c051f7bce2facec5c532","datavalue":{"value":{"entity-type":"item","numeric-id":4858291,"id":"Q4858291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef3fcfac9fb3d6e7229f1320143786bcf73ba76a","datavalue":{"value":{"amount":"+0.705757737159729","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":"Q2075283$E25A52D3-7686-469A-B615-16964CF950AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c29ae3e2e1338fe91682db83250c7e2b2b95859","datavalue":{"value":{"entity-type":"item","numeric-id":2904410,"id":"Q2904410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"596029abe08c4ef285f9388e8832c2242cc12092","datavalue":{"value":{"amount":"+0.6871103644371033","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":"Q2075283$D023EF55-F792-4F45-BE50-BC419F229109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75fc01fded0132f7058e41b358ca41be9ad66853","datavalue":{"value":{"entity-type":"item","numeric-id":4648945,"id":"Q4648945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1a901a6ec0fe844dd8d95746039542958775148","datavalue":{"value":{"amount":"+0.6850307583808899","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":"Q2075283$C40DA205-30F4-4333-BC58-2BD4527DF19F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aaec293d47c5ccf7a7751035abfc3ddf1ec925d7","datavalue":{"value":{"entity-type":"item","numeric-id":1685933,"id":"Q1685933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dbb0ecdbd7a57c1c1d3d8f36c55bc7548145362","datavalue":{"value":{"amount":"+0.6820022463798523","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":"Q2075283$104E3749-1AAE-4FA3-BBDD-DACBFE364B38","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Solovay's relative consistency proof for FIM and BI","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Solovay%27s_relative_consistency_proof_for_FIM_and_BI"}}}}}