{"entities":{"Q1899145":{"pageid":1909887,"ns":120,"title":"Item:Q1899145","lastrevid":71108793,"modified":"2026-04-13T19:32:14Z","type":"item","id":"Q1899145","labels":{"en":{"language":"en","value":"What are the \\(\\forall \\Sigma_ 1^ b\\)-consequences of \\(T_ 2^ 1\\) and \\(T_ 2^ 2\\)?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 802549"}},"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":"Q1899145$D5BED76E-778C-4499-80BA-3D5AD7AF3AE1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3f28602c3fcf3fe18f34bb3c5b717eb13b318c2e","datavalue":{"value":{"text":"What are the \\(\\forall \\Sigma_ 1^ b\\)-consequences of \\(T_ 2^ 1\\) and \\(T_ 2^ 2\\)?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1899145$21E4328F-ABD6-468B-B61B-76CF8D3E9DA0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a64d2de4d2e127cb85a63e540709d723d1b19518","datavalue":{"value":"0834.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1899145$22C05C21-813C-46FA-86D2-5CC33E39A701","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8d3266068a08f3026be594b4bd11d0bed45af9c0","datavalue":{"value":"10.1016/0168-0072(94)00059-C","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1899145$3BCF8F7F-1D40-46B6-9FDE-123A00465E8D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"241055fcac63c6f72df96341f7230b9bedb68e6a","datavalue":{"value":{"entity-type":"item","numeric-id":558442,"id":"Q558442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899145$454D647B-59CE-4698-854E-B49E75D94041","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899145$20364CE4-A537-4749-975A-B590BE4009D4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"203f3aae96b7752dfa1b69e446c2fcabe5cb7398","datavalue":{"value":{"time":"+1995-11-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1899145$C69E6966-9954-4F25-BEC8-B24BC6BCA480","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1899145$FB6296E9-1F47-4FE2-88CB-1209C8FF0769","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"30f498cc71590c066804fb4e7d87c3c4350ff7f5","datavalue":{"value":"802549","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1899145$C5343CBB-5166-4E10-A5DB-6193B58FBE2A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cba2903ab2dafc050042cd489ae05396ebe51a19","datavalue":{"value":"bounded arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1899145$723C2CB4-1C9A-4B62-B7A8-EEC7DFEFD6E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f385836c0aa5e098d6ace403c309ca2ca18dcc9b","datavalue":{"value":"provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1899145$61DF7E0D-EF4D-47E2-96AE-C1B2ABDA90AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"124dd9e0beb2ec6b4d156d537c864482e6f328d9","datavalue":{"value":"witnesses","type":"string"},"datatype":"string"},"type":"statement","id":"Q1899145$0EA9EF17-D21F-4301-98FE-FED642E0D074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51d06b8007f4e41b54f950448a9a449eeae1cb00","datavalue":{"value":"PLS-problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1899145$A62877CA-2851-4CCD-94EE-69EC81EB8F87","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":"Q1899145$A17C72F5-4513-4AA9-8C8E-957EFF8D2149","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"035feb3d68e7fcb8cc1f5afc2267fb8cc293e0bf","datavalue":{"value":{"entity-type":"item","numeric-id":3794177,"id":"Q3794177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899145$1C4AEE73-E7A0-4C58-96D2-66317623D8E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5f5fbbc92e48b0fa7019594a4c948774bfa54ea","datavalue":{"value":{"entity-type":"item","numeric-id":4308607,"id":"Q4308607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899145$3A2706D7-495B-4479-812F-59916BC4E8FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09ec65e395f02d63a980a349374a1113006b8bf6","datavalue":{"value":{"entity-type":"item","numeric-id":3487327,"id":"Q3487327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899145$785EC0CE-CEEB-4FC7-9134-831580A2B4EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"302adbaf2b8357f20069be2a0dab5e3eb2168585","datavalue":{"value":{"entity-type":"item","numeric-id":1109573,"id":"Q1109573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899145$63C012EC-9D86-41D8-A42E-E1E7A31F9358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6946af148f47d52c72c2eb1ea6817d1696cd28fb","datavalue":{"value":{"entity-type":"item","numeric-id":1177041,"id":"Q1177041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899145$3438CCAA-7464-4956-A0E0-68F6FE9AE374","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e206e5b76b5db928f8dffd4e5d272220680fdd4","datavalue":{"value":{"entity-type":"item","numeric-id":1177041,"id":"Q1177041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fb8ba072db68dd7a4e69560111c611cc8554795","datavalue":{"value":{"amount":"+0.7615941166877747","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":"Q1899145$D9902139-3537-4952-A779-24EF989086CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c49ad2b8116e6902ded335362a6bf17f00df7eed","datavalue":{"value":{"entity-type":"item","numeric-id":5502825,"id":"Q5502825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6716feb39f6511daa86cb4e63c1182a52a49ff0","datavalue":{"value":{"amount":"+0.7452369928359985","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":"Q1899145$EC5A3F57-5645-4FFD-B026-448DA1862328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4d4ee7f4bda871da19ff0ed7838d57c1585ecc7","datavalue":{"value":{"entity-type":"item","numeric-id":535152,"id":"Q535152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbe827ae4766b99a34a0c8ac89f52b03603f6974","datavalue":{"value":{"amount":"+0.7269517183303833","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":"Q1899145$1D87A550-0AA5-453B-A88E-5E85D8C27137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b48df2ed64dac1e71e24bad9fbb0685bf802012","datavalue":{"value":{"entity-type":"item","numeric-id":4694224,"id":"Q4694224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e77fdf58ed3a31999745de812b2d32e06b2b6f17","datavalue":{"value":{"amount":"+0.725900411605835","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":"Q1899145$418B95F8-2C7B-466C-9DBC-98F0DC63BF88","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"What are the \\(\\forall \\Sigma 1^ b\\)-consequences of \\(T 2^ 1\\) and \\(T 2^ 2\\)?","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/What_are_the_%5C(%5Cforall_%5CSigma_1%5E_b%5C)-consequences_of_%5C(T_2%5E_1%5C)_and_%5C(T_2%5E_2%5C)%3F"}}}}}