{"entities":{"Q2309508":{"pageid":2320251,"ns":120,"title":"Item:Q2309508","lastrevid":57835191,"modified":"2026-04-02T17:55:25Z","type":"item","id":"Q2309508","labels":{"en":{"language":"en","value":"Dependent choice as a termination principle"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7184244"}},"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":"Q2309508$5F13630E-54C8-4BA7-B8C6-48B2F6D20179","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f0ed264e48c1617e82ab1d6207a0185dc8721767","datavalue":{"value":{"text":"Dependent choice as a termination principle","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2309508$98818A14-5A27-4AB8-823F-54DA607B4EAF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"75fb39836cafe43c27bb46d95a647f09aa8d6b07","datavalue":{"value":"1481.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2309508$7CF29CB0-C328-4BEC-932D-1BA71125D5D3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2309508$A08FAEE6-ADD2-4DEE-9B8D-568008FA139B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2309508$B050BCB6-4FD5-4178-9448-91AA85B1E164","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ae93340bb7a022b561aa0e536e029632aaf17ce","datavalue":{"value":{"time":"+2020-04-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2309508$B477DED0-DEFF-47B9-8CA3-8F531AC1261E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"240e3ee3b0603ca59f337a68c63829a4df04f8ea","datavalue":{"value":"https://arxiv.org/abs/1902.09539","type":"string"},"datatype":"url"},"type":"statement","id":"Q2309508$5DADDD86-D601-42D6-991E-3A1F60505882","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"57eee2f313463199e20b9235bce5c88ea02d3389","datavalue":{"value":"03D65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2309508$CB8FC9AF-EF1C-428C-84CB-444526D7FCDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2309508$F9F1423F-13CC-4A94-8532-A688C810882C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2309508$ED0D28CB-1248-4113-ABAE-2640E220B569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2309508$46F7E768-27F6-4864-A554-2E5BCC000402","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0f61a014e3bbdeaebffc6d0904946e9123b4d182","datavalue":{"value":"7184244","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2309508$543DF907-C38A-4283-B392-0B60DA207D10","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b554279a6b3d2763e31e966664501fdd51a92def","datavalue":{"value":"dependent choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2309508$4327CA36-50E3-4504-B865-B71EB550C5F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2855dcbd2409b04100b50b9223546c2cef4ab38a","datavalue":{"value":"arithmetic in all finite types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2309508$18C475A5-2F3B-4583-80B2-4C58A9B98605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2309508$A07B02A7-6ACD-4A4E-93FB-0116D6B3F4F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5ea81bf56dda4eea100f11baf2ffe75b74050a7","datavalue":{"value":"path orderings","type":"string"},"datatype":"string"},"type":"statement","id":"Q2309508$6D4DAD22-829B-4DD6-B4E5-BB29D36AE613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf0a0d929b9a02ed4dea0e9db58247a82b31736d","datavalue":{"value":"higher-order reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2309508$4292E3C3-159D-4CEA-8544-DAEB153B8AF6","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":"Q2309508$A4206C72-0E30-4E4E-80E0-19EF0B10881F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1c0518e703b2ade098f578e4c065093c8b3d3be0","datavalue":{"value":"W3000404012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2309508$C535B447-A388-4AE7-B889-8407E6D6C5CB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fb5bacd666be23a0df6f86c663a34e93fbfcc10","datavalue":{"value":{"entity-type":"item","numeric-id":1899143,"id":"Q1899143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2309508$00BFBC8C-A089-474E-886F-C54D1E6AB797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05bda265395f5c65b4fa8a0061b4ef96facef65d","datavalue":{"value":{"entity-type":"item","numeric-id":4594260,"id":"Q4594260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2309508$8AB3C3E5-55C1-40AF-9618-2F7595F49AC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"378088a63ec20245823db74d6a8845609e39ce21","datavalue":{"value":{"entity-type":"item","numeric-id":593789,"id":"Q593789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2309508$DB8B9A85-CA5A-47A7-BABF-A28F2419E7F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6d3f5f0e6d39b0610560c479018fc71a2adcd20","datavalue":{"value":{"entity-type":"item","numeric-id":1098624,"id":"Q1098624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2309508$6F1A3887-6782-4FEB-810F-81F4FF72444B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fd6b38fc9ab896b9a07fe2f0445e2a8ab6dd93f","datavalue":{"value":{"entity-type":"item","numeric-id":4783327,"id":"Q4783327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2309508$4084FB3B-3C66-4FB6-8E07-A9033186018C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2309508$7EF4784D-4AB7-4BFB-8839-DF835E250F4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"372ac7410c3602549aaffbccc69cf9a80d4b9494","datavalue":{"value":{"entity-type":"item","numeric-id":5711891,"id":"Q5711891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2309508$D198B164-EE8E-4DAB-943D-757191513AAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80e86d9f0b35882efdaebc5c4c8a086261bf3a2e","datavalue":{"value":{"entity-type":"item","numeric-id":4219044,"id":"Q4219044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2309508$DE187728-FC88-4664-84AA-83DCB330D1CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"741f45ec02b1b89030a4f6e73fbf3fa61c637533","datavalue":{"value":{"entity-type":"item","numeric-id":3195706,"id":"Q3195706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2309508$C76B0D2C-3F3A-4977-AA34-E120F68F4674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"351be49573d77a34add2d2e5618ee3ac9205fdf3","datavalue":{"value":{"entity-type":"item","numeric-id":400424,"id":"Q400424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2309508$82491CC5-D124-4D80-A0DE-2BCF95BC781E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a238670bbef5b8a78a2b9cc452bfd0b3ec47ce15","datavalue":{"value":{"entity-type":"item","numeric-id":5216340,"id":"Q5216340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2309508$C299E155-7A75-4F3E-AE31-8515E33B5F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"356a1f93abcac1950764c50942c8612a35064261","datavalue":{"value":{"entity-type":"item","numeric-id":3295153,"id":"Q3295153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2309508$62BEBA37-62DF-4E97-886D-EAF6BCA4243C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb17f238b9d5a084ee6cf633ecdce2b70b9fdf0d","datavalue":{"value":{"entity-type":"item","numeric-id":3295156,"id":"Q3295156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2309508$312AD8A1-FF92-4809-AA26-A0B1A2BF90AC","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":"Q2309508$D76EA638-F1D0-48E3-8D04-767CA10E85EE","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"227a5a6f7b860477082289e411742a13d396c556","datavalue":{"value":"Q126350324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2309508$20894A5E-F228-41C3-BDD7-4F086B052B65","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7921a0dfa2afc34c027c760f42575340a8e76cba","datavalue":{"value":"10.1007/S00153-019-00706-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2309508$6A62C69F-13A8-4D24-8056-E874F85574B8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"625717c1daa95a2161a3d23de2089221a2cc8061","datavalue":{"value":{"entity-type":"item","numeric-id":5277844,"id":"Q5277844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e09a3c80f32e1c676ddd19f46d1c15d601bfd8c3","datavalue":{"value":{"amount":"+0.7369387745857239","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":"Q2309508$614A5B61-EA88-4564-902E-67E85B232940","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":"7645272a6ca0d8898fefcd039620c9512ef939c8","datavalue":{"value":{"amount":"+0.722187876701355","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":"Q2309508$BE31A322-76DD-429C-B8B4-E745C784CFFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"370660d831f4fc575191f490e9add44acc79d1bf","datavalue":{"value":{"entity-type":"item","numeric-id":5216340,"id":"Q5216340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"622f680aacbbc482fc255ff3367879fd2bf17c21","datavalue":{"value":{"amount":"+0.7218520641326904","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":"Q2309508$BD8F58E3-1D08-4661-93EF-C5D668D474E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13a873fc30e825280e01206afa61dba4bb9b0a40","datavalue":{"value":{"entity-type":"item","numeric-id":2573795,"id":"Q2573795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a942fbf18eb9df62647e6413cc2b636d5805042e","datavalue":{"value":{"amount":"+0.7216070890426636","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":"Q2309508$A546DA55-0A24-4990-9B34-F47FB3E7D84A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76f76fc466e78df504fa6157eef7e3137a9d2380","datavalue":{"value":{"entity-type":"item","numeric-id":2919600,"id":"Q2919600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcf143e9b08e48545cb804874c0f58a2ed8e74d7","datavalue":{"value":{"amount":"+0.7100323438644409","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":"Q2309508$E5DA43C3-EE41-4959-950F-E3ED97DF4A82","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2309508","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2309508"}}}}}