{"entities":{"Q4532614":{"pageid":6562206,"ns":120,"title":"Item:Q4532614","lastrevid":47923726,"modified":"2026-01-03T02:33:34Z","type":"item","id":"Q4532614","labels":{"en":{"language":"en","value":"Wellordering proofs for metapredicative Mahlo"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1749910"}},"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":"Q4532614$DE9EF200-9FD2-42A5-8CAA-E35329EBC067","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"15ad2796056a18c8e04448c6caa64b878e266790","datavalue":{"value":{"text":"Wellordering proofs for metapredicative Mahlo","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4532614$3D681086-F7EE-41B3-B94F-767BAE8DA83E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"87248787ee23506418b4f0b948ebf836019de65a","datavalue":{"value":"1032.03050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4532614$7F7572A7-E47A-4AC5-97B9-0B2F4F83841B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"703e8b987ff5a02d9a59e4ce9f4b68bdce3e6ac3","datavalue":{"value":{"entity-type":"item","numeric-id":588960,"id":"Q588960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4532614$ABFBF2DB-C767-444C-B4AE-5C67CD822543","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4532614$D3C606B8-5D87-4E5C-8D07-064E6C5A07CF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1d75dd69f6961ad93c6a4059106a59e2c8b929b1","datavalue":{"value":{"time":"+2004-03-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4532614$E22ADE4B-2EB9-446A-A7CB-F594CE263544","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9b5a29fed3e64c61c26885cac0471d95ddb71b4b","datavalue":{"value":"https://boris.unibe.ch/115328/1/S0022481200009981.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q4532614$E7B16BA2-9C7B-43A1-B3F8-685E3559E58C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4532614$8B6259C3-952E-4C33-8E39-1885426340D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4532614$BC699163-F896-45E6-B2CE-B0B2A88FC201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4532614$EC5815A8-6D79-4EB1-BC59-05F09BC42654","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"87819bf3d4f5e2fc3ca278fb9c62452b1f46e236","datavalue":{"value":"1749910","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4532614$4A18C141-E8C4-40E9-8585-641902FD7EDA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55df525daeee306ce3ea7305f8de22d78ced22bf","datavalue":{"value":"metapredicativity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4532614$2FA385CD-6D1E-440C-8344-54F72F1B1541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c9d42b2a8e8f10bc0defb7ff4991bcf0f90417e","datavalue":{"value":"proof-theoretic strength","type":"string"},"datatype":"string"},"type":"statement","id":"Q4532614$7BB8685A-9DCA-4ED2-A842-6E42A5C9490D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50ef7d9e7fc9882bbae1db0036cc5d28c9b16662","datavalue":{"value":"explicit mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4532614$D568154C-FDE7-4C1A-8DE0-56CC394519A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d428e061d0d1f9b3793fed9f9d7a7b0cb9087b2","datavalue":{"value":"proof-theoretic ordinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q4532614$4F1156DC-3C63-4C5C-A11E-17C8DD81D038","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":"Q4532614$0CC3CC36-BBC4-4C3D-ABB7-B7E5115F9B4D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e3233b48f5d582ffbc6aae129d4431763fe51a02","datavalue":{"value":"W2096744225","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4532614$FE8F0A7B-60CC-483F-BA9B-60075D18F96F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"93ca9f7aa5010ad97f1310c3aba35035909f6831","datavalue":{"value":{"entity-type":"item","numeric-id":5939842,"id":"Q5939842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4532614$850CBA32-D5D0-4B8F-BE69-A9892A02877E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6009c28f52c9fce33675352f603d785f36063528","datavalue":{"value":{"entity-type":"item","numeric-id":3710526,"id":"Q3710526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4532614$BE9ED0EA-265E-480A-B3E8-9E84575BDF4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb73f10ef06d2f95cf34fa3f9d1b79e97709c0d1","datavalue":{"value":{"entity-type":"item","numeric-id":1919537,"id":"Q1919537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4532614$AE086EB6-8689-4EAE-BD7C-969B3AE8C30D","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":"Q4532614$4F3DDB04-CA9D-45B9-ACBB-04C3558C3F35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d23f15f5e03bb8c15e4fe98a6305ada5e7f790b9","datavalue":{"value":{"entity-type":"item","numeric-id":5945010,"id":"Q5945010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4532614$378E6AB1-CDAC-471F-89B3-FF3186D3B551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"509f914c9bb02a5a157b793e56d4da4ee0369382","datavalue":{"value":{"entity-type":"item","numeric-id":1976875,"id":"Q1976875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4532614$084E0A7D-53D6-449D-B144-3DF4EAABD8A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ec6af83f9a6c90ef054757ef63aea9bbf0884e2","datavalue":{"value":{"entity-type":"item","numeric-id":803124,"id":"Q803124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4532614$10674024-79D5-431E-A4AB-5CD76A83A5BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42bb7bb61202307db43d4802956efbc479572508","datavalue":{"value":{"entity-type":"item","numeric-id":2747729,"id":"Q2747729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4532614$5E51FFC9-2272-4937-B874-2774FCB52514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ae10646c4541c33d72edf12c66f71b78185b320","datavalue":{"value":{"entity-type":"item","numeric-id":1590660,"id":"Q1590660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4532614$B2032FA7-9437-4314-ADDD-2C6050E184AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4532614$6A62EFF1-FE3E-48AA-819D-70536B5EFE92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4e3a045fb18057576e3a052695370f915c6320","datavalue":{"value":{"entity-type":"item","numeric-id":4254619,"id":"Q4254619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4532614$A463F5AD-F265-438D-BDAC-BF5E52AA4B15","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"143812d791c035bc7f5f1878132be856b371c500","datavalue":{"value":"10.2178/JSL/1190150043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4532614$A9DFF13D-F9A4-4E6E-B106-EED18A1CE038","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcbc6b13b649fd11ca13ca8494c2c5b5c6788c80","datavalue":{"value":{"entity-type":"item","numeric-id":2747729,"id":"Q2747729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"756cff9c17c438351c82a30f598d667dcff2cae2","datavalue":{"value":{"amount":"+0.7849830985069275","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":"Q4532614$5490A39C-D95A-43D1-852F-2111D0CB15B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba702e71ee0183cfb552a2631a86dbdc1b305a8f","datavalue":{"value":{"entity-type":"item","numeric-id":1576592,"id":"Q1576592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bf42c4f84df2b21e9d415b12eb895ce9c07a41f","datavalue":{"value":{"amount":"+0.7840103507041931","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":"Q4532614$B94F43DD-64EC-40A8-9812-67C53A2328E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9ac4b064bdeaebfca62bec9d5edc1a02ec51329","datavalue":{"value":{"entity-type":"item","numeric-id":2309489,"id":"Q2309489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10fb0a28be000a059a397a3bcf966757ffd06ca5","datavalue":{"value":{"amount":"+0.7501912117004395","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":"Q4532614$63A0ECE0-98F0-4E5C-834B-E7906A8BEE8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56a966dca1734e14d9f765c601af15b849514cc8","datavalue":{"value":{"entity-type":"item","numeric-id":5316376,"id":"Q5316376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00482478ef2e6e035eb409493938998921aa4fdc","datavalue":{"value":{"amount":"+0.7466734647750854","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":"Q4532614$97194396-17D9-401C-8138-A9F538B55C04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d95f1cde2766d35c13522885aebafc4ae650245","datavalue":{"value":{"entity-type":"item","numeric-id":1102279,"id":"Q1102279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad7b65e72aa224425c6f5892462e3ae3b7719b52","datavalue":{"value":{"amount":"+0.7356908917427063","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":"Q4532614$812C6C9B-CEC3-4730-81C5-8E2A61E2CD6B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4532614","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4532614"}}}}}