{"entities":{"Q6974158":{"pageid":21348003,"ns":120,"title":"Item:Q6974158","lastrevid":84040046,"modified":"2026-05-08T14:24:43Z","type":"item","id":"Q6974158","labels":{"en":{"language":"en","value":"Independence of the comprehension schema in second-order arithmetic from the parameter-free countable choice"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8050311"}},"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":"Q6974158$DDFD8C81-E2C8-499C-8628-BDE5F38A8840","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cf4a69304d7a95c68e441c135f4c4afd89463c0f","datavalue":{"value":{"text":"Independence of the comprehension schema in second-order arithmetic from the parameter-free countable choice","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6974158$EBEADFC5-11CA-4170-AF8E-927A343FB547","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"03c998176afd8bcd808cee91e1e6cd1562606758","datavalue":{"value":"10.1134/S0001434625010250","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6974158$79B55B21-B50D-4C2A-B1E1-C4137993C05C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"74b09d794e8860c4a5215cac175587d216774250","datavalue":{"value":{"entity-type":"item","numeric-id":161810,"id":"Q161810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6974158$95407A06-0A6B-4EFD-BB33-46183FBD948A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e942b7c523827b4672341da17b11181636aba381","datavalue":{"value":{"entity-type":"item","numeric-id":440691,"id":"Q440691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6974158$B3C8E597-B938-468A-9ADA-A112A245CD02","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00de3e6b6cfff0576fe0e1d6bc63c05579d2cb43","datavalue":{"value":{"entity-type":"item","numeric-id":173953,"id":"Q173953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6974158$E11F8644-FBF9-4CB3-B86B-7989F36AE2C0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f6b9aa32cd4bfe489f35b7aca3fda977d4e5555c","datavalue":{"value":{"time":"+2025-06-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6974158$8BB00FB1-4D6F-4FFB-B450-02B6C23984A0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7f3e19226441d4b8048ce27ce815913b6ae4d5fd","datavalue":{"value":"03Exx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6974158$AE6050F1-6580-40A4-8BB2-83DC8DD14C66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a16b2d00f5f309ca4243bc382dd94889099a0bfa","datavalue":{"value":"03Fxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6974158$1337DDB3-BAC2-49AC-9AC3-F2CAF2D36368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f97231c38032b2cb868c18061aedc088fc6d95c4","datavalue":{"value":"03Cxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6974158$48519BEF-A5F1-4308-A994-46BC6BA9C4F5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"23111aff19759b65efa9e7ded5074f3bd4408c4f","datavalue":{"value":"8050311","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6974158$6DA0DA7F-5E20-4CD6-A359-09789FB7A78D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e928ef71c0e7c501fd4e474de74400a15fc3e89d","datavalue":{"value":"second-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6974158$2015D2F2-1640-4AF3-8F40-B563AFE3BC83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b3e621e000a5c3d196dbbd9db63c4eb08ebee0f","datavalue":{"value":"comprehension","type":"string"},"datatype":"string"},"type":"statement","id":"Q6974158$C22F9F49-3829-4AFF-AD42-229A4FCB873B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10ab4ac6221d10db0f61cf610dd5def513f40201","datavalue":{"value":"countable choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q6974158$3BFAFFAB-03C7-458A-A1A2-A2563644DDB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09163f453bb22eff112ba67cbcc52754d2a1d900","datavalue":{"value":"parameters","type":"string"},"datatype":"string"},"type":"statement","id":"Q6974158$11D19CC2-BE03-49C6-BFEB-F566868368C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b23248042bd506455f51600d00d7ec5443276f9","datavalue":{"value":"forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q6974158$7E7E92DB-2CD0-4C1B-9847-926E341E740D","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":"Q6974158$83201399-2DC3-4ACB-AD28-D599379386EA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd563c8e7e782ee36eec340808cf341dbeeb62bd","datavalue":{"value":{"entity-type":"item","numeric-id":5569099,"id":"Q5569099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6974158$6F440EBE-5BBD-4A34-ABC0-A9AA88274E56","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":"Q6974158$3302076C-8C8B-48B7-82CB-10E66178B762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfecaf532c2be9e3f2c25c4983153b3ac961d76a","datavalue":{"value":{"entity-type":"item","numeric-id":4053647,"id":"Q4053647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6974158$66A91F0D-B6E0-4A01-8C44-4D4DAFA7B7A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83e0b3789b6a98c4022b8f5c5a8e8893e055a01a","datavalue":{"value":{"entity-type":"item","numeric-id":4113833,"id":"Q4113833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6974158$9389BA4B-A850-4E3C-9972-6D20D873C316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ec944f0f34d852b2054383ebc1b9668979f3200","datavalue":{"value":{"entity-type":"item","numeric-id":5622191,"id":"Q5622191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6974158$96E4B729-6260-4FDF-BB51-2F359ECE2084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5a1bdebe5330a0bc43b4aecc19c865b4befee5e","datavalue":{"value":{"entity-type":"item","numeric-id":2542987,"id":"Q2542987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6974158$D8FB3B84-080F-4E77-A885-3FED7CB046EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"901cc6a265d058c67b81145d1cc7dcf28864ac03","datavalue":{"value":{"entity-type":"item","numeric-id":3864512,"id":"Q3864512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6974158$700E9600-09FD-4556-8634-140E9C42CE43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a0f856ec076cd74f13a900666e3be1f4872153f","datavalue":{"value":{"entity-type":"item","numeric-id":4081253,"id":"Q4081253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6974158$B70C79C1-57BA-4591-AF00-891AB9AB7B81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9100d9f08d18c7a7aa2799f31ebfc14a1930237f","datavalue":{"value":{"entity-type":"item","numeric-id":1163016,"id":"Q1163016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6974158$549124D4-F0C3-424A-9C72-E6683309A486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"245b1f0b4e042b7e9235abe7874969acf0c71ae4","datavalue":{"value":{"entity-type":"item","numeric-id":496323,"id":"Q496323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6974158$5299D4A1-F27C-465D-ABEB-DCD1F9E3D505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4117209a37214de8ad6e90d28f6c63e41095a9f","datavalue":{"value":{"entity-type":"item","numeric-id":3028994,"id":"Q3028994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6974158$FAF6C6BA-04B3-4A44-8574-FA88440CD39E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1326dbae1d875b04beb7931815591e59b5c4d2d","datavalue":{"value":{"entity-type":"item","numeric-id":7026933,"id":"Q7026933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6974158$AA6F0E08-0477-4298-9528-955569B11464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c2a8cf20e28b94ccb0a322c0f33918ee1dc76fd","datavalue":{"value":{"entity-type":"item","numeric-id":5044314,"id":"Q5044314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6974158$BBF640F9-A37F-40C8-973C-92092B68B895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f66cd7608baee353526d838d374443dfb9469e77","datavalue":{"value":{"entity-type":"item","numeric-id":4365512,"id":"Q4365512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6974158$D762579B-0A7D-4A3E-BAC9-548687C826C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed10eb13004d5969a9439ef59afc0fadb6d46d99","datavalue":{"value":{"entity-type":"item","numeric-id":3863878,"id":"Q3863878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6974158$3C81AC60-C5EC-462D-8350-73A30383CAC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6fb82a09cc0cbad4d29dcc1e5a627a010ad6d55","datavalue":{"value":{"entity-type":"item","numeric-id":1106204,"id":"Q1106204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6974158$60089926-125B-4C3A-BA4B-2B165DFE7BF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"912400b82ae592831066d6db7c116862d2661ebf","datavalue":{"value":{"entity-type":"item","numeric-id":754865,"id":"Q754865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6974158$D2175A31-876E-46FE-ACB1-27949993F811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"865366d5e5dc0cc1d3e4208c4e4583fd4b14d10c","datavalue":{"value":{"entity-type":"item","numeric-id":2904376,"id":"Q2904376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6974158$755F57FC-32AE-4D89-A89C-F08386D12D5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"577b1f37d09d1f2236e43d2f41f0bb78a91ca1a5","datavalue":{"value":{"entity-type":"item","numeric-id":679849,"id":"Q679849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6974158$B8874DF8-C831-4D9B-8C9D-4055A1EAB249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36b8081a12c722c8a969a837cbc3ccf4406f595f","datavalue":{"value":{"entity-type":"item","numeric-id":5223119,"id":"Q5223119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6974158$574BB826-235B-4186-82E9-4D60A1D0E881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad27eecb9e00405f332284ca28eaec555c8a8a44","datavalue":{"value":{"entity-type":"item","numeric-id":4628681,"id":"Q4628681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6974158$BF812DE8-9DA4-4A62-847E-313D7C258CAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63a828f8a55f84b1164f5e7a1a79821c30af1f08","datavalue":{"value":{"entity-type":"item","numeric-id":5045614,"id":"Q5045614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6974158$ED197ECF-9B0C-434C-839C-FDE8D3881EFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f60032e26d2202b75f053b014dbc085000a3d85f","datavalue":{"value":{"entity-type":"item","numeric-id":3900055,"id":"Q3900055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6974158$125047FB-7DB5-4C33-8F6C-0956EE91C50D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Independence of the comprehension schema in second-order arithmetic from the parameter-free countable choice","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Independence_of_the_comprehension_schema_in_second-order_arithmetic_from_the_parameter-free_countable_choice"}}}}}