{"entities":{"Q6601762":{"pageid":14212919,"ns":120,"title":"Item:Q6601762","lastrevid":99885656,"modified":"2026-06-05T20:55:48Z","type":"item","id":"Q6601762","labels":{"en":{"language":"en","value":"A logical characterization of the continuous bar induction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7910441"}},"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":"Q6601762$C9B308FF-696A-4BBF-B0A2-26E8E74C48CF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"24352c8e14c04da52775650f3eb0f5b3a3442695","datavalue":{"value":{"text":"A logical characterization of the continuous bar induction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6601762$205D0D05-BE1D-4F7B-90E4-77992FFB310E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4afc7f985034ff7632b687fac499beb13f0b84e4","datavalue":{"value":"1547.03366","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6601762$E6E21674-7FBB-48A1-B1D5-4E4032E71F1B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cebf94999fae65f6393dc511faea9415a4542038","datavalue":{"value":"10.1007/978-981-15-2221-5_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6601762$DF27AC7A-87BD-481D-9C2A-95F24278DAB7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed802a6d9a5c89df6324bfbe3e28c722497db55c","datavalue":{"value":{"entity-type":"item","numeric-id":892138,"id":"Q892138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6601762$2591D092-FDB5-4831-9104-CB8CB03D894C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9aecb6ededd34480101a3f509344c31123c7055","datavalue":{"value":{"entity-type":"item","numeric-id":1734271,"id":"Q1734271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6601762$8FDCA73A-78F5-4B87-BBA3-AF65F6AB21C6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"984357184e36bd48b60e905848ca8fb15ede5c75","datavalue":{"value":{"time":"+2024-09-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6601762$D965983A-8C00-48AF-9C82-0A22818111BF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6601762$2E3788BE-B47C-435A-B10B-F5D9724BFBC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6601762$C8EC0E05-845B-48B1-99F7-B399BE398AB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6601762$3C91AC82-0850-4E19-9743-8FE04B115D53","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"12644457a5984174bd5779dcf3e58acbed638c7e","datavalue":{"value":"7910441","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6601762$5DDF8302-F599-4E60-ACBA-E4B65609EC97","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ecd18eca3fc9713df6a82ddda202d74f024f012","datavalue":{"value":"bar induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q6601762$8E8931DD-A4B7-436C-BC33-55597DCEFAC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32a924d1bf1667638ec5954ebd3bf3b62e771af2","datavalue":{"value":"intuitionistic mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6601762$DA4C9DC0-F01D-49B6-9077-5E9560AFFD3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bdeb53ef75e166fcf449598f6ab36b24b6e4143","datavalue":{"value":"neighborhood function","type":"string"},"datatype":"string"},"type":"statement","id":"Q6601762$171A53BE-95E8-4123-B983-39E045D84637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee01fea2f657b5359bc93a17fff748d906f69493","datavalue":{"value":"constructive reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6601762$3332F939-C880-4A82-9716-10DECD2647D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"435759936bfbed787d2462e1f1760a9da358243a","datavalue":{"value":"LLPO","type":"string"},"datatype":"string"},"type":"statement","id":"Q6601762$C32F65D5-6EEC-4EDD-89F0-190CC854D270","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":"Q6601762$F4DB18F2-1007-4CB7-9D8D-555E1B1822F3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5254ccbb1a11ef998e0596623214c5aeaf223b8","datavalue":{"value":{"entity-type":"item","numeric-id":5898800,"id":"Q5898800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6601762$61A07C6C-B283-43C4-9932-A92CBA0F7237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"203f763a52b84852fe1d97b7d4a12a6bcfb64cc9","datavalue":{"value":{"entity-type":"item","numeric-id":2303591,"id":"Q2303591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6601762$1FAF109A-B683-4D2B-B9DD-CCAA27F27E59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09a4e58c25b3453d9125c4c48d9600b2360c05ce","datavalue":{"value":{"entity-type":"item","numeric-id":5537358,"id":"Q5537358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6601762$7B767758-6B22-4807-A70B-59196A15008B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4312fd1c8c5e5d85ba5428883b40e830f448e020","datavalue":{"value":{"entity-type":"item","numeric-id":5718575,"id":"Q5718575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6601762$C715F5BA-AB0E-4845-9CA7-A0FBC6398643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d1b5cc78a253d13ded5a49ab009e15446b3f0b2","datavalue":{"value":{"entity-type":"item","numeric-id":5224158,"id":"Q5224158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6601762$45CFBF68-B7F5-4728-A247-5A0AFDF8BDE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbc9c5f4d2a3665ff37b68ff31d08bc5eef515af","datavalue":{"value":{"entity-type":"item","numeric-id":5611760,"id":"Q5611760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6601762$8F01D42A-8101-4FB7-B93D-731100D9A150","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":"Q6601762$3743E33C-8959-4F24-911A-68ABC35154BE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"530a71ff808bdd6c315d732e5269eb66291cb6f0","datavalue":{"value":{"entity-type":"item","numeric-id":5224158,"id":"Q5224158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9416dceb642919f9690426dfafff8cb444462c3d","datavalue":{"value":{"amount":"+0.8300926089286804","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":"Q6601762$D7C7EFBB-F74A-4EB6-B080-377E2DB3A72D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ceb45adb29cbe87f5851685a4063130dc3386bc","datavalue":{"value":{"entity-type":"item","numeric-id":2417961,"id":"Q2417961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eaf6bf3bcdb6386d25e59955a793296ebde40af7","datavalue":{"value":{"amount":"+0.7898032665252686","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":"Q6601762$53E7D583-295F-4878-9F42-2D7BE59DF5B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32db6c560262dea147d39c3c6ffea00c84eb2a79","datavalue":{"value":{"entity-type":"item","numeric-id":2219099,"id":"Q2219099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7861df5a10b57a13b7e1d2e1cf353a04e0b58e88","datavalue":{"value":{"amount":"+0.7806121706962585","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":"Q6601762$71D7D116-7914-412E-A66C-688179063838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecab4d679d33b5330c063bce0b01a29eb21c5047","datavalue":{"value":{"entity-type":"item","numeric-id":2303591,"id":"Q2303591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf151a9b51342c038d8814fb49255a9aa6b5dbb1","datavalue":{"value":{"amount":"+0.7722040414810181","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":"Q6601762$5282166B-CB0B-42E5-B257-2EEB0CBE1783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"401f9c8f4453982dd81173047cdefaef5dac98dc","datavalue":{"value":{"entity-type":"item","numeric-id":2811334,"id":"Q2811334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df272ae0b4fa7003dde1101b5b8a4d8d4393b244","datavalue":{"value":{"amount":"+0.7301589846611023","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":"Q6601762$86039553-69FF-4365-A8D1-6346880BBF05","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A logical characterization of the continuous bar induction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_logical_characterization_of_the_continuous_bar_induction"}}}}}