{"entities":{"Q1799271":{"pageid":1810013,"ns":120,"title":"Item:Q1799271","lastrevid":71275131,"modified":"2026-04-13T21:08:53Z","type":"item","id":"Q1799271","labels":{"en":{"language":"en","value":"A formalization of Brouwer's argument for bar induction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6958307"}},"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":"Q1799271$B417ED52-B277-4680-84CF-5C91DF784A55","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"09db5f88d94350c7012a7eaf4aed1ac371051982","datavalue":{"value":{"text":"A formalization of Brouwer's argument for bar induction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1799271$F1E87A84-7750-4DBE-8E39-FCA20D83542B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"046c64b13baef08a0b4c62769bc794278fc79e3c","datavalue":{"value":"10.1007/978-3-662-57669-4_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799271$2C03453F-FA0E-4B9C-BC28-5428D5B5E340","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7904a0fbe81f518d9277ca472a905d87cfae06b","datavalue":{"value":{"entity-type":"item","numeric-id":283131,"id":"Q283131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799271$CB4877D1-A2CD-4917-8EF6-70BB1E4848E0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0172cdede3f306f1b36155a82f67164814fd11e5","datavalue":{"value":{"time":"+2018-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1799271$E96D1779-6753-4E71-9CD0-1EC735EB59D4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799271$DA8505BC-1F44-4589-8BFB-2ED5A7BD6EAD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"980a5d22c6a0a70c04c02f61a39c60a5475ae4dd","datavalue":{"value":"6958307","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799271$91FE26A9-34D6-41F0-A0C3-CCD3AF7E0C18","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca318418872b2ab548a8ef4c9f80ca4bfd67c7e5","datavalue":{"value":"Brouwer's bar induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1799271$C9607CD6-8B90-41F2-A236-0E9F23853168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7a416e0b794520b49bf582a85e2ef29f146f045","datavalue":{"value":"intuitionism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1799271$F4E2A1C0-3B85-457F-ABF6-0997A48B00B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9afb1082b3e6e6ae06798350861ae0e3da13440","datavalue":{"value":"infinitary proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1799271$0F56C7F6-C1A0-44B4-86BE-17848C92473F","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":"Q1799271$6518C46F-F588-427E-9908-A419ECDCD3FA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"962fb2598ac5b208492f264d61926feddfb15760","datavalue":{"value":"https://doi.org/10.1007/978-3-662-57669-4_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1799271$97530B63-271E-4967-8849-D91AB34B5E5F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b9a0059def7e087d4f3075106dc4d9d3258c0d98","datavalue":{"value":"W2810746708","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799271$61584276-706A-43FB-83EA-5B070CA11808","rank":"normal"}],"P1643":[{"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":"7811bbf77b60be38958053832277c227c3ef1917","datavalue":{"value":{"amount":"+0.87167114","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1799271$A767DB9B-5407-470E-BDD6-41DB948FFEAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fd45308aadc881bc7278f1419a89ff18361d0f5","datavalue":{"value":{"entity-type":"item","numeric-id":753810,"id":"Q753810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fd87a291bcc2ad92dcb5ca6186f9260392906e1","datavalue":{"value":{"amount":"+0.86696327","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1799271$DA18F6E6-EB90-4E91-9EA2-5EB8EA8F14D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c4c5dc87f68e92a41cfce1f0ebdd165aad6b8e9","datavalue":{"value":{"entity-type":"item","numeric-id":435192,"id":"Q435192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"491ba44170198fff05a6401d73071b4c6f2a3c46","datavalue":{"value":{"amount":"+0.8628398","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1799271$C6FFE353-1B45-4A29-8742-B81D1269B161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fbfb469a000981e939753426b10015ccc427b4a","datavalue":{"value":{"entity-type":"item","numeric-id":5485398,"id":"Q5485398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0eb18f6520106360b899ad66a83fbf4c3fe0ae25","datavalue":{"value":{"amount":"+0.861207","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1799271$BFB5FE31-43D3-4274-95C3-EA67581440C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3111954f3b672cec2a480a78c369785f62373848","datavalue":{"value":{"entity-type":"item","numeric-id":5361249,"id":"Q5361249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27a4cf93c2dee2249abb3df38a9db05228dcbadd","datavalue":{"value":{"amount":"+0.8385123","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1799271$887149A2-48A2-4099-BA6B-15F901B1A87E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f100d5836d0242c834e014784daae9738b686670","datavalue":{"value":{"entity-type":"item","numeric-id":5244386,"id":"Q5244386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5500c83711544ec8576bed86bb9738b1feccbfa8","datavalue":{"value":{"amount":"+0.8314551","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1799271$9A142002-105C-4113-9505-F7207B6BFF68","rank":"normal"},{"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":"bc5ff51814e933a82bd7a5adedc00863d3736b8f","datavalue":{"value":{"amount":"+0.82191813","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1799271$4BE70A14-E12D-4BD6-8AE9-6C9EEE875E25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8b7b1e14212b864978cb2849dc1335519482c18","datavalue":{"value":{"entity-type":"item","numeric-id":5361262,"id":"Q5361262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c51b9be13008a50994797f7bba911cbdea8a582","datavalue":{"value":{"amount":"+0.8206581","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1799271$D5EFEDE2-8DDF-4F54-9AD9-9298907FA1F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee9034df5f8ca2b7307deb2b17ebf39e72482e90","datavalue":{"value":{"entity-type":"item","numeric-id":4644493,"id":"Q4644493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a850bc941e60aed479c6ea2f88b512922f181cf","datavalue":{"value":{"amount":"+0.8175717","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1799271$9FA15CE6-B037-413A-AD86-4E318A0177A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2c3a28ecd953cd559af193624cc38c7a08e6ae6","datavalue":{"value":{"entity-type":"item","numeric-id":4394887,"id":"Q4394887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"daf894197092d188fd50f67c173556ecde19040e","datavalue":{"value":{"amount":"+0.81603813","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1799271$4D17C2FA-2C52-4B66-8585-B0E3D2E0FC1C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A formalization of Brouwer's argument for bar induction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_formalization_of_Brouwer%27s_argument_for_bar_induction"}}}}}