{"entities":{"Q3800031":{"pageid":5829937,"ns":120,"title":"Item:Q3800031","lastrevid":53204396,"modified":"2026-01-24T11:09:34Z","type":"item","id":"Q3800031","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4066876"}},"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":"Q3800031$217F9E1F-7AD5-41F0-8453-846BCD97962A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"97c8a72194d912a7ea4fc088ca37c5a2e0ee13b1","datavalue":{"value":"0654.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3800031$9524BCFB-70B5-4A7D-979B-DC2C3612CFA2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e5fef2cb58ba7e72630b708054b000e89de9ad0","datavalue":{"value":{"entity-type":"item","numeric-id":766353,"id":"Q766353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3800031$55C87970-1459-4194-B6F9-AC9D92442397","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3800031$364E6810-85F5-41B3-A90C-E52895EEA757","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3800031$D2514E98-5785-4ADD-94FD-B1D45605DB35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3800031$AD9AE69B-A1BB-4D20-BEA3-F47EDACD9ED3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b2ddd8017bf404438c449d1b7ffdc3e1e1dd071c","datavalue":{"value":"4066876","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3800031$DC49F5E3-1DDB-4C1E-A6F2-2CDCB70CB5B9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2a105b672995aac98c33fe7a4d3288f64fc5903","datavalue":{"value":"bar-induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3800031$282243BF-C30E-452D-9AD0-C1587F22477C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b80c99afc4950f85b79a2fe3707eb2e870b9567f","datavalue":{"value":"separation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3800031$A5F54AC3-C30B-44A4-B8C5-400B1FF1C324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b3e621e000a5c3d196dbbd9db63c4eb08ebee0f","datavalue":{"value":"comprehension","type":"string"},"datatype":"string"},"type":"statement","id":"Q3800031$01B32CA4-9F67-4729-896C-61ED5C8776CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"143a38725bba7c8e2c788b1262c1991a3e8617c0","datavalue":{"value":"upper bound for the proof theoretic ordinal of SB","type":"string"},"datatype":"string"},"type":"statement","id":"Q3800031$0ABEFE69-90D2-41F3-ABD9-AB8EC17C2E57","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":"Q3800031$0CC15AD1-8EE6-433E-BA43-40BF2BAF403B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b89f3753e44e204fd1b35b530c585acef21f74f","datavalue":{"value":{"entity-type":"item","numeric-id":4040375,"id":"Q4040375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"363cb14e4ac2851490115da7da035aedc4ecd158","datavalue":{"value":{"amount":"+0.80489796","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3800031$264702ED-3056-419A-BB81-D1E95FF2E574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11504214261f79bd2819af955442e3543887e99e","datavalue":{"value":{"entity-type":"item","numeric-id":3081650,"id":"Q3081650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11bcebe4a2eea64c7a67b93ab9382c98a3575f08","datavalue":{"value":{"amount":"+0.7826579","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3800031$EDDA7F0E-E37E-4A58-8778-893AA148032B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a9f8e86ad53b426f3d73cf8147b5096454b57d6","datavalue":{"value":{"entity-type":"item","numeric-id":5013914,"id":"Q5013914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc985b1fdb0a3b3c40fd6645cb350b262875aaf0","datavalue":{"value":{"amount":"+0.7816218","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3800031$C3BCB9F3-7186-48CB-9B32-E00012F5ABD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e539d3b35d503778ce669f7bacbbe2dabc53f90","datavalue":{"value":{"entity-type":"item","numeric-id":1063591,"id":"Q1063591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42beef0e0170bd41a937ca62fb8124adba296f96","datavalue":{"value":{"amount":"+0.7752945","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3800031$C3462510-6A09-450F-A4FF-0C93B021B35C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e81bcdfb2c7f987ac676fb890d6733ca02e1ff28","datavalue":{"value":{"entity-type":"item","numeric-id":1777268,"id":"Q1777268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c7a50732e207a9b7bf0f94fa51f5a9b86f8d3cb","datavalue":{"value":{"amount":"+0.75297654","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3800031$EBE62615-062D-49C4-BCFB-ECF4A1ECEF83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9eec386bd8861de82173f433acbe111d11a1060","datavalue":{"value":{"entity-type":"item","numeric-id":4873894,"id":"Q4873894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd17a446d2e9f4c4b52ff654b4b72eb9c6584c9f","datavalue":{"value":{"amount":"+0.7430304","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3800031$80221E7E-AE3D-4D87-9842-D04882AB8B1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbbe010b804df7cb6804c79e100d84689cde3255","datavalue":{"value":{"entity-type":"item","numeric-id":920986,"id":"Q920986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29f0733cc49b8eee015ad26a6d5a3f0537c5f71f","datavalue":{"value":{"amount":"+0.7384204","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3800031$88BCC874-086A-4D78-BC40-C2C992E24DB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38c60cd5ea62b38de2938f7a6550dea63bd781a5","datavalue":{"value":{"entity-type":"item","numeric-id":3690813,"id":"Q3690813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14ac6c6d16baa7f51e5b01f194c7adf15d693dc5","datavalue":{"value":{"amount":"+0.73619604","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3800031$DD84AB73-843E-4FF8-B150-6FF1A378949C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51f62ffe03df379957f48957dfa160097f7f5b77","datavalue":{"value":{"entity-type":"item","numeric-id":3770527,"id":"Q3770527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b3eff9471cb707b4f65a53a8ff06041010e6652","datavalue":{"value":{"amount":"+0.7316489","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3800031$FCC66912-14F3-4048-8128-82A2EF498BEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ec80bda53f54f3d9d2c45c5e7cf69873b9eb358","datavalue":{"value":{"entity-type":"item","numeric-id":2565874,"id":"Q2565874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d747935d5b24a9c182b9fb1713c2adfab4e73d38","datavalue":{"value":{"amount":"+0.728883","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3800031$A0056EB0-AF3E-41FB-858F-38B0F80D01AA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3800031","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3800031"}}}}}