{"entities":{"Q5118047":{"pageid":7147621,"ns":120,"title":"Item:Q5118047","lastrevid":58432023,"modified":"2026-04-05T04:56:15Z","type":"item","id":"Q5118047","labels":{"en":{"language":"en","value":"Computable aspects of the Bachmann-Howard principle"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7244013"}},"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":"Q5118047$41B7873E-65AD-4A71-A82B-2D9A97C8D84B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c8fc3c1c688aca9e0a770dcd478af9345deded21","datavalue":{"value":{"text":"Computable aspects of the Bachmann\u2013Howard principle","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5118047$BFF9C049-2CB4-40DA-8024-C665EF070BF3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9d664fe67e7e0162f739b99b013a3e0b2f4f5b97","datavalue":{"value":"1457.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5118047$DE6F4B8A-A300-4DEA-8259-0DB0F39EC232","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5da041667fdd0fd2334274dfbac1f323c32edcc1","datavalue":{"value":"10.1142/S0219061320500063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5118047$7E5CC095-8588-44C0-B4D8-1F41BA780A55","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"46cde92a906782ad5f79b8c3d5306f5cd4f870fe","datavalue":{"value":{"entity-type":"item","numeric-id":526963,"id":"Q526963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5118047$E09E602F-82B6-402E-B7B1-F6AA0EBF29AB","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":"Q5118047$CB37D229-5F3C-486C-AC54-45E218BCF8BC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"573b9cb855f2ea77ed354a87809d416cf7ff64d5","datavalue":{"value":{"time":"+2020-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5118047$E61D993B-16A4-4D0D-A636-F52B1CFB8F5C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3ccaed3024ab67921bd1321ef1cce51292bdac8d","datavalue":{"value":"https://arxiv.org/abs/1809.06774","type":"string"},"datatype":"url"},"type":"statement","id":"Q5118047$7199CAB8-F6A2-4813-867A-60776A479E55","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5118047$4E1EEF8D-D109-4459-86E1-58D843E37C8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4c09ea78484192dfb20180fed0b8ec0fbe50483f","datavalue":{"value":"03D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5118047$A6451BB3-2FA3-4CAF-8EFB-E3CB4EDFB68C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5118047$3749A8A4-4D93-463C-8CC2-5317F281D65E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7fa2477e6408f34cdf166868aa93f544ffc2a8da","datavalue":{"value":"7244013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5118047$59471E0E-16CC-4241-8B3B-282A1B738485","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39d83ae4d93280f57b5b9153eec3540bc279cb3d","datavalue":{"value":"well-ordering principles","type":"string"},"datatype":"string"},"type":"statement","id":"Q5118047$9F413E16-0D0D-468A-9C46-39CD08B37A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d79eaa46c6b82d64a9c7e130d132caba4bbe97d0","datavalue":{"value":"\\(\\Pi^1_1\\)-comprehension","type":"string"},"datatype":"string"},"type":"statement","id":"Q5118047$E93133AF-DCE8-45D5-8B7B-DCC5EF5C85EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3dc8f3216fc9b4b2bee623b21efec7375f9d4915","datavalue":{"value":"ATR\\(_0\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q5118047$D5762432-A955-488D-A6E6-A6394C7D3071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99d05b99878f3cd01c64f091728a6d10cfed0c0e","datavalue":{"value":"dilators","type":"string"},"datatype":"string"},"type":"statement","id":"Q5118047$1E777524-FFF0-4C8A-8A71-70963DE8E752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75215c80968178951612818bc08b3e62e2862f51","datavalue":{"value":"notation system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5118047$944AB11F-D413-4226-AE16-159E4D96CA77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae26b87b7c925ccf157233f64e4afd8127ecc77f","datavalue":{"value":"Bachmann-Howard fixed points","type":"string"},"datatype":"string"},"type":"statement","id":"Q5118047$845EDCD5-143C-42FF-906D-B5CCF59FA1DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5118047$F4BE2F89-0F21-4DCE-ADB4-1361D46FBDCE","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":"Q5118047$CB8F175D-1241-40E9-984E-D3AE56909093","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"400c50e85dbddb34619a8c3aab23708069973b94","datavalue":{"value":{"entity-type":"item","numeric-id":1032626,"id":"Q1032626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5118047$E805A446-265D-456B-81FD-55DFD9141C63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3d3d7ba16fc96b63b1bfdd1e68525ce02bc6922","datavalue":{"value":{"entity-type":"item","numeric-id":2274030,"id":"Q2274030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5118047$D15A754B-47E4-4674-98BD-98E4F6B3C926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"665aa36c46020a7e5d20028f78524e6d714b372b","datavalue":{"value":{"entity-type":"item","numeric-id":5205443,"id":"Q5205443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5118047$93C94FB1-6D9A-4CE3-A060-039A13668C97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b17989129559e41cfb06edc0b79311d4fa6022df","datavalue":{"value":{"entity-type":"item","numeric-id":3960844,"id":"Q3960844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5118047$C8AB689B-465B-4F95-B0F6-6B07FFA2E76B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c97a7b6faf562e1c5b09260906a1f00f35a77b0","datavalue":{"value":{"entity-type":"item","numeric-id":3773876,"id":"Q3773876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5118047$6E71D478-D3A7-4F4F-AE43-32FF69DA422E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ca4a190903e6132ae837adc7117807885185cfd","datavalue":{"value":{"entity-type":"item","numeric-id":1315456,"id":"Q1315456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5118047$E2D99957-3FA3-4E16-9E28-97A1EEFE29D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c26764e82c9ce1a5fcfcc1bf552b3a6da2b17f4c","datavalue":{"value":{"entity-type":"item","numeric-id":3778746,"id":"Q3778746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5118047$8B8D0D5D-8731-4A70-8E66-BA2E15AD51C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"332d1484ef56c049acd75f3683bc7102acbea27e","datavalue":{"value":{"entity-type":"item","numeric-id":5625138,"id":"Q5625138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5118047$A842B90E-EF08-46F9-8967-EFC07C713EDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c26b6fe1dc8e2bbf5665583e54521fccec9f7a34","datavalue":{"value":{"entity-type":"item","numeric-id":3011121,"id":"Q3011121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5118047$B97E9807-8766-4112-B245-039B377A2956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05f6958cb6248476ba25cd5766bb6e192186a469","datavalue":{"value":{"entity-type":"item","numeric-id":3174640,"id":"Q3174640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5118047$BC205648-4EEA-44E9-9659-75099E99A604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b8294d8e3a67ff3abbac73ea7f87d2c36776f8","datavalue":{"value":{"entity-type":"item","numeric-id":4032873,"id":"Q4032873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5118047$CDFC34F3-6148-4AC4-89FC-E4337739E11A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f239548cb1863bf3e85251c695ab17762440852","datavalue":{"value":{"entity-type":"item","numeric-id":3464624,"id":"Q3464624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5118047$03A0D62A-79EF-48CD-8B0D-E6375F97EA8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0d5afed048875d75388d4a1774600332011fe47","datavalue":{"value":{"entity-type":"item","numeric-id":5361262,"id":"Q5361262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5118047$BEC95914-87A8-41F8-A650-9435E16E22A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abf9647bfa341a64c29feed40e53149718272c3e","datavalue":{"value":{"entity-type":"item","numeric-id":1210137,"id":"Q1210137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5118047$7DF1FD32-BF29-4BD6-BD50-CB217595F116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaba6c431daf3ffbe713a7dc7231da3c8fc2d834","datavalue":{"value":{"entity-type":"item","numeric-id":2906572,"id":"Q2906572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5118047$C3E7EDB1-EAB2-402E-9DCB-1136917F8800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da59e44b79fc51a8c384e5f4cd534d6dd07f8f73","datavalue":{"value":{"entity-type":"item","numeric-id":1166496,"id":"Q1166496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5118047$2363EEF9-AC7B-49E6-9C39-DF409D599574","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":"Q5118047$ED11E939-ACCB-4E7A-9E8A-E7267EB828B8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6d16561172446299729cfe822bc36d91b0db9940","datavalue":{"value":"W3102088491","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5118047$5F47340A-88B2-4175-BC71-7F1DC768E330","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27226cb192395efe0984920691a0db9b207911d7","datavalue":{"value":{"entity-type":"item","numeric-id":5205443,"id":"Q5205443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16c0398d61df7dc408ee3d4e9c48d8c90e839867","datavalue":{"value":{"amount":"+0.8921878933906555","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":"Q5118047$8DF0B27B-6955-44FF-95F3-F676FA7A40AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef0dd67f258a7fb260d6a67a0b15a1d5055e19a0","datavalue":{"value":{"entity-type":"item","numeric-id":2274030,"id":"Q2274030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf71dbcc25ee61e735e0a75b115dd678608ac8fd","datavalue":{"value":{"amount":"+0.8751838207244873","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":"Q5118047$CFCA567B-BEAF-40A8-80F0-03DC36913581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34dde51feea36369a712fcdf729034e14d9f8b76","datavalue":{"value":{"entity-type":"item","numeric-id":5148106,"id":"Q5148106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69b89918fb389682ce0b3be9870476a0da5da5fe","datavalue":{"value":{"amount":"+0.8641991019248962","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":"Q5118047$24E84AB8-74D3-46F1-9C47-A2D9CCA7CEC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb16923af9347154e61a9ef272ad0ed5ce3fab64","datavalue":{"value":{"entity-type":"item","numeric-id":850804,"id":"Q850804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1e41f715bd725b9944174e7138d1d63e98b9414","datavalue":{"value":{"amount":"+0.8109909892082214","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":"Q5118047$5513D247-E5C2-4AE0-88FA-F27D4FC46EAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9143b6b9ee2419c79f778f04e03906dc4050fa3","datavalue":{"value":{"entity-type":"item","numeric-id":5107241,"id":"Q5107241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fc15db45fd6f3bc587ee9508491298f1d1ea530","datavalue":{"value":{"amount":"+0.7543051242828369","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":"Q5118047$F62F0C5B-3178-4C2F-9985-EFC38FCE0E07","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5118047","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5118047"}}}}}