{"entities":{"Q6930120":{"pageid":21084043,"ns":120,"title":"Item:Q6930120","lastrevid":84123098,"modified":"2026-05-10T15:06:17Z","type":"item","id":"Q6930120","labels":{"en":{"language":"en","value":"The proof-theoretic strength of constructive second-order set theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8093460"}},"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":"Q6930120$B5EDB8FB-B50B-4E8E-8B01-02577442A10C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b42a6a8399098a0a69071f1e6f720dbfe8c76e6","datavalue":{"value":{"text":"The proof-theoretic strength of constructive second-order set theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6930120$052C3C3C-6C9F-4647-A99A-1474D4E1A32A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cbed96b54b80c2267381e71038a975001b77d5f0","datavalue":{"value":"10.1215/00294527-2025-0008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6930120$007CFF45-735A-448E-ADC5-1E4B3FF3C1A3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"665a180c659fb75e62dcabd529d74ac233ac470f","datavalue":{"value":{"entity-type":"item","numeric-id":2120968,"id":"Q2120968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930120$98A4B696-C1C9-42D9-9DE8-46562F5511CD","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":"Q6930120$26E5FEB2-00BA-48DD-B37A-2EE4837FF5F7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"89702df27b41bf3bf3c052e0e7819f38e8fd190f","datavalue":{"value":{"time":"+2025-09-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6930120$6DAC4FA3-1907-4C9F-A1B9-E2116381F0D2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fb3bc2b4881147a7d181df9e072236894b061dc3","datavalue":{"value":"https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-66/issue-3/The-Proof-Theoretic-Strength-of-Constructive-Second-Order-Set-Theories/10.1215/00294527-2025-0008.full","type":"string"},"datatype":"url"},"type":"statement","id":"Q6930120$2FFEC5BD-A97A-49E4-B529-CC95603488AA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6930120$B4E0B8DD-AF4B-435B-9C2B-B9D307B67956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6930120$34B3EFD6-6569-4E9D-AD49-E33643BBEB18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6930120$4C3FF9A5-E9E3-4BDE-8224-74F7DE721CA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6930120$94A09763-5706-4393-85AB-A7251D9ABB13","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d52c0276fd2f6e17fc072a809be139ca29ca1dd7","datavalue":{"value":"8093460","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6930120$E4350860-C465-4F3B-ACB9-811E58A0FDFF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c9d42b2a8e8f10bc0defb7ff4991bcf0f90417e","datavalue":{"value":"proof-theoretic strength","type":"string"},"datatype":"string"},"type":"statement","id":"Q6930120$FF0CC680-215C-4780-9A33-C694C934A260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbc3f4aa5b9daf8bce9a98b9c45593d51f047874","datavalue":{"value":"second-order set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6930120$A52DCC12-ED3D-45A9-BF0A-2E9C29937E02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9fe5be894cb092393ff85e0f41c719edbf1e697","datavalue":{"value":"constructive set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6930120$334DF692-EC7B-4CB3-9195-9ACD2C7B9FD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42b81a589eaeb5998a07257642bfeca43ac3f94c","datavalue":{"value":"G\u00f6del-Bernays set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6930120$9CD56E63-3D1F-48BD-807B-5DD298EA1EE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae4c4d05a8c7374f65084deddb1e99a0b273dfaf","datavalue":{"value":"Kelley-Morse set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6930120$6E169E82-EF2E-4AD2-B1BF-FC109DC81A1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb738539d9cde67c406c05494a053b677bee1f0c","datavalue":{"value":"type-theoretic interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6930120$16149065-D705-405A-A068-F33EA4AB2AB6","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":"Q6930120$E2161CE6-E2C0-4D98-AAAD-EA19E88FCC6F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"67e43cd194146fff0fb8e4b0aacca2f4f32e42e3","datavalue":{"value":{"entity-type":"item","numeric-id":3937387,"id":"Q3937387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930120$6B269AD7-F385-440F-AC82-1EDAE8C89827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9779d2f20504dba38f482f942c0abc04f8e04e14","datavalue":{"value":{"entity-type":"item","numeric-id":3310616,"id":"Q3310616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930120$DE5D0A55-0B28-4474-B128-4DED06DE4557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e21df1d3055daa4725f01a29fad1e4853704fa4c","datavalue":{"value":{"entity-type":"item","numeric-id":3762311,"id":"Q3762311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930120$2E958D5B-E9EB-4051-86FE-9DE11D41AC03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2e1ab8d6c4a6ea4362f203e5137d4541ef80eb","datavalue":{"value":{"entity-type":"item","numeric-id":3679172,"id":"Q3679172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930120$E7B9C891-6F99-40C0-98B0-3AC943A6E5DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a02ebf0568f47635f182c488d881f7744ddea83e","datavalue":{"value":{"entity-type":"item","numeric-id":3803111,"id":"Q3803111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930120$77B1F359-3F10-4EF7-AA36-B4A3D81CF6B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a25b81bd336fa26f6a3461c1dbd6a29212fbbe4e","datavalue":{"value":{"entity-type":"item","numeric-id":4405158,"id":"Q4405158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930120$E89F92DD-9E58-4075-9490-34ACE47B33B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"889c98b06b71353ead9711d9cef7ccbd6f932035","datavalue":{"value":{"entity-type":"item","numeric-id":3214890,"id":"Q3214890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930120$9B06BFBB-8D16-4EC6-B17C-54B6AE26891A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3915a4a137f651afdbc1462ae531061b82fed5d8","datavalue":{"value":{"entity-type":"item","numeric-id":1071017,"id":"Q1071017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930120$9BF0EBBD-CA85-4D67-80B5-95AF8CEF4814","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":"Q6930120$5BAFE8D6-8AA7-41E2-B28C-1C2A05EC3045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7e7758e805d3a749ec39cea7871ff0c25d5089e","datavalue":{"value":{"entity-type":"item","numeric-id":7009403,"id":"Q7009403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930120$211C2CA3-A8CA-434A-9297-AE7CCCDB051D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5991726cac52e4d83f50c4669884909acb3474da","datavalue":{"value":{"entity-type":"item","numeric-id":2498896,"id":"Q2498896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930120$30CE8A27-9D84-4982-AFA3-26E3BD325CDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cfa29e3d8a91f5cedc2a35e0c6a08bbb28eb55d","datavalue":{"value":{"entity-type":"item","numeric-id":5884255,"id":"Q5884255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930120$A2974A90-57F7-4CD8-90FF-65062DF025C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e13325bae56272b4ba305483ee09cc3ad5047e8","datavalue":{"value":{"entity-type":"item","numeric-id":3214891,"id":"Q3214891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930120$31285330-88B3-4FE2-A7DE-46510E57C654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74605135c388db78d4d0ca86dc0cd54881585bea","datavalue":{"value":{"entity-type":"item","numeric-id":4073362,"id":"Q4073362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930120$8C42FFE9-90DE-461E-B698-43D46B504CF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"772f22db8726abc1b17c66467dc58d8102a542e4","datavalue":{"value":{"entity-type":"item","numeric-id":1344548,"id":"Q1344548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930120$FDA0E614-993A-4F6C-B71E-EAEAD98A60CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96100d3945c0bd9f53640a81d642477488cbdc4d","datavalue":{"value":{"entity-type":"item","numeric-id":5310885,"id":"Q5310885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930120$DB553A16-B73D-45A3-9C24-4D5BBDD59210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73eae501d38c2470f5456feee1d7aa66b07504f3","datavalue":{"value":{"entity-type":"item","numeric-id":5253934,"id":"Q5253934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930120$2F752BD4-A875-4167-88E5-97DB10A67E19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e07ae007fd7d2773d6f84a20f1d34b8ce24af5d6","datavalue":{"value":{"entity-type":"item","numeric-id":4040890,"id":"Q4040890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930120$F88F5BDE-C2DB-4B61-80D8-993386DEC6EC","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":"Q6930120$64717EBF-88E1-4CAF-B976-72B0EF87E509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b01f3c9efa192a49157794cc5646843be5e89451","datavalue":{"value":{"entity-type":"item","numeric-id":1086559,"id":"Q1086559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930120$C5A5B003-BD7B-4434-B1B7-965F75F8DBF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fc0f83d5ec3109942a6da644b57709f31b1dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1188522,"id":"Q1188522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930120$4C2CF74D-EEAE-4362-99FB-D365CACB5695","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The proof-theoretic strength of constructive second-order set theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_proof-theoretic_strength_of_constructive_second-order_set_theories"}}}}}