{"entities":{"Q5223119":{"pageid":7252689,"ns":120,"title":"Item:Q5223119","lastrevid":58485783,"modified":"2026-04-05T10:30:22Z","type":"item","id":"Q5223119","labels":{"en":{"language":"en","value":"A model of second-order arithmetic satisfying AC but not DC"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7077420"}},"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":"Q5223119$EB601FA8-511C-4DD0-ACCD-61D5D54143BA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"485833ae5891955a3f69a4211d4f4cc5fcbe45fd","datavalue":{"value":{"text":"A model of second-order arithmetic satisfying AC but not DC","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5223119$2AD9F9FB-8C64-4D67-9671-B1A7AE0FD0C2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"640adcabec15f38ffaee7aba2a827a60c2c308c6","datavalue":{"value":"1484.03067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5223119$AF2746FD-DFFA-426B-A68D-50A5F1F26E7E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1f206033e26cfd0c28b62b5292da8605d5b09002","datavalue":{"value":"10.1142/S0219061318500137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5223119$E6C446D9-398C-43FB-8AD8-9C91144ED170","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b305a5ef85fd84981f6c316a74538be082ff022","datavalue":{"value":{"entity-type":"item","numeric-id":412052,"id":"Q412052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5223119$4276EAD2-8DDC-4C6C-B896-E85F31CF2F46","rank":"normal"},{"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":"Q5223119$0FB5527C-CB59-41CE-A569-F67B7B602758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed7bfc7c1815d9d17bc727832b0a6cf598db7157","datavalue":{"value":{"entity-type":"item","numeric-id":487690,"id":"Q487690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5223119$4F4F0174-BBEF-4399-8329-992C99782E3C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7c127e90f3bdb626ec3e36ebc57f0604031b78a6","datavalue":{"value":{"entity-type":"item","numeric-id":2732505,"id":"Q2732505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5223119$9DAEC42F-FCC9-4D93-9D50-1AA1635F364B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"95484946e883fc7b4dd3685da23c3ff319dc5c53","datavalue":{"value":{"time":"+2019-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5223119$004D468D-EE75-4BEC-83D6-FA6B048BDC6F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4a2489ae95310774d9823aff851078006e08e42f","datavalue":{"value":"https://arxiv.org/abs/1808.04732","type":"string"},"datatype":"url"},"type":"statement","id":"Q5223119$EB781924-A860-4EF0-A422-0D5D05A77B57","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5223119$81F56740-7684-46BC-B24D-01F9E7F4E082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5223119$1F4783F1-0432-47F7-B696-EB3EE713C49F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5223119$4E3DEDFA-D51D-46F3-A3F4-37396722DAD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5223119$341FA346-CFE5-4D11-8375-2FC436C9ABC6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f21e06896facd0490615df50e952e2ddafc54b12","datavalue":{"value":"7077420","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5223119$A7C0B4CC-26D2-45CD-8EFF-7E65DC8CB811","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e1a96ed6ffe2ea3d9e59077ea94ebf582551c14","datavalue":{"value":"independence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5223119$425297A7-B867-49C9-9EB8-A063FE43F15E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e928ef71c0e7c501fd4e474de74400a15fc3e89d","datavalue":{"value":"second-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5223119$1D11BF7C-4A51-413D-BDCA-967FAF35C097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"691b35aa766f662d9107336cc66d1bb03f60229b","datavalue":{"value":"choice-scheme","type":"string"},"datatype":"string"},"type":"statement","id":"Q5223119$3B715813-8C1B-4373-8ADB-493DF7FC4DDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d8d9193a7b1e40a314011576582487e8d52ef11","datavalue":{"value":"dependent choice-scheme","type":"string"},"datatype":"string"},"type":"statement","id":"Q5223119$9BA9D71F-6090-4AC5-A44A-814F20E92660","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":"Q5223119$68C71A6C-7FF0-4516-8528-044E1BDAC093","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6832cffa81d1bbb127105ed387c7cee47388e81b","datavalue":{"value":{"entity-type":"item","numeric-id":3328537,"id":"Q3328537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5223119$2D0A61FE-C8C8-417E-A48D-22B1AC873FF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fefe909d803c14fbfa4cc60ee168e757d68981","datavalue":{"value":{"entity-type":"item","numeric-id":2827952,"id":"Q2827952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5223119$821FCA9B-23E2-4E20-8A4F-198A2472D318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f443312fd326dec5c6aad0da984ea936534e525","datavalue":{"value":{"entity-type":"item","numeric-id":5656764,"id":"Q5656764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5223119$E8DAC9BB-EDDD-44AE-A22E-BFF95B377C96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dadd10ccf60ef255fd7dccc3b0d158604d43539","datavalue":{"value":{"entity-type":"item","numeric-id":3880834,"id":"Q3880834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5223119$97D13978-C1FA-4615-9963-6BBC30751DE0","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":"Q5223119$2F618551-9C4A-4C6E-9F8C-5FD129DD60D0","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":"Q5223119$132F17BC-411B-4677-B597-4DF98AE8236C","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":"Q5223119$0653E0F2-BC3B-4DC9-ADA7-BFFAB5EC98C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"739d1acfb4a5170d4518e969c6306210593c1efd","datavalue":{"value":{"entity-type":"item","numeric-id":3037419,"id":"Q3037419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5223119$AA7D3B1A-5255-4055-B163-55036C329EC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2277d00b5e81544eeee167a180ac835ba8de65bf","datavalue":{"value":{"entity-type":"item","numeric-id":4893153,"id":"Q4893153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5223119$306DE5C1-2574-48CE-BE34-1677E5A02173","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d38d547bc00f37b19fed1222c2860cbd8994f685","datavalue":{"value":{"entity-type":"item","numeric-id":3768896,"id":"Q3768896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70dbe07256a181c88585220bf091b603a383a61b","datavalue":{"value":{"amount":"+0.7622225880622864","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":"Q5223119$70A82D15-A209-4EC1-90A6-63783D4A6D33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"feac0e89c86c9d55f61debc8de36c8304fbe7186","datavalue":{"value":{"entity-type":"item","numeric-id":3708796,"id":"Q3708796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e44e1d073f72c82153823a6a1f85f8261af5a71f","datavalue":{"value":{"amount":"+0.7416051626205444","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":"Q5223119$74E246FC-1FBA-4430-A9F6-21A420D82B9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c17330142912040dd4e0b802b9cbdd1e53e10e47","datavalue":{"value":{"entity-type":"item","numeric-id":4779657,"id":"Q4779657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2273ac4c98697d965beec7ea4f8798bf0bcf82cd","datavalue":{"value":{"amount":"+0.7351874113082886","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":"Q5223119$566E0468-E753-4FB1-AF99-BBEDB8295602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e17a63133f658fa2d7ffa3a641966172b2f061b","datavalue":{"value":{"entity-type":"item","numeric-id":3781756,"id":"Q3781756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85eac062ea5361034fd629f7e4113a6e2b109b50","datavalue":{"value":{"amount":"+0.7295276522636414","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":"Q5223119$D1B5D2D3-C635-472A-B48F-57A015E6A413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62f4cf5b8499d6d4fb59e2897a4d20be93468373","datavalue":{"value":{"entity-type":"item","numeric-id":4787879,"id":"Q4787879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7292d445da1dbb79de8155ef72ccfb154f9c655","datavalue":{"value":{"amount":"+0.727257251739502","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":"Q5223119$41D2A086-ED03-4955-94DA-94D9BFBFC1BD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5223119","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5223119"}}}}}