{"entities":{"Q2303591":{"pageid":2314334,"ns":120,"title":"Item:Q2303591","lastrevid":55372723,"modified":"2026-02-17T14:43:36Z","type":"item","id":"Q2303591","labels":{"en":{"language":"en","value":"Bar induction and restricted classical logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7176929"}},"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":"Q2303591$A02A7FE5-0B40-4395-9D7C-F42BA701D616","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"06bc58fd1f8f44eea89d8f4db1ee36390a8b2159","datavalue":{"value":{"text":"Bar induction and restricted classical logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2303591$F54C7F00-A79F-4B3A-A555-6AFF4A8E8CB0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4d1766949809b168da58ec4ade88e7f501f5b7a9","datavalue":{"value":"10.1007/978-3-662-59533-6_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303591$DCFD25CF-CB81-47FE-A749-924C9590FE5C","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":"Q2303591$EDD17D84-FAB2-41BC-A79F-95293C18BBDD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"28eb8a4277470500766552d0320b8f6735887226","datavalue":{"value":{"time":"+2020-03-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":"Q2303591$341F3561-3182-47C0-B3D4-24ACCAA60387","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303591$9363C8BF-AD13-44F3-8A62-5161C4152413","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aa08b6f6bd387863fd4949ecf285f1fcececb491","datavalue":{"value":"7176929","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303591$7B71465D-1828-476E-933D-FD2CCFFEAD84","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2303591$D43C866D-05CA-4E0F-9647-D9D83718EAF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32a924d1bf1667638ec5954ebd3bf3b62e771af2","datavalue":{"value":"intuitionistic mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2303591$B48A052E-B720-4D8D-A074-73C3DB89A8B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ecd18eca3fc9713df6a82ddda202d74f024f012","datavalue":{"value":"bar induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2303591$2FE05BFF-A34F-4028-A430-B4E192023C37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac95c99fe9f85455bcfbcd0ef9331c7f5ed0064a","datavalue":{"value":"subsystems of second-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2303591$238DEBA0-F48B-485B-BD0B-644737155679","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":"Q2303591$E5751437-6FBF-48FB-B834-07EC87EF618D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"54313ff8eb04d801fde322014a083e91be5ccd28","datavalue":{"value":"https://doi.org/10.1007/978-3-662-59533-6_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q2303591$3DAE0801-4D4B-42D5-AAE3-B22308D11927","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4f936e35cf660886667abf0ed500053a8cf2196b","datavalue":{"value":"W2950280309","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303591$A3CD6059-060D-42FF-AC6F-8D3686D08611","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":"16296c84e4aaf990e1fead5b66b34be229d6a6fb","datavalue":{"value":{"amount":"+0.7923264503479004","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":"Q2303591$076BE316-095A-4E6F-B8E1-B579DFEBC8F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"024a34f8c87bf5211dfc1ccfc3188f8d0689657d","datavalue":{"value":{"entity-type":"item","numeric-id":4552757,"id":"Q4552757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb4930a7529b0b8dc9af13751c85ecadba102887","datavalue":{"value":{"amount":"+0.7912372946739197","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":"Q2303591$086F8A6C-1280-4BFD-918F-F0B1C9EBCAAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3ac7e2522bcc8ba4ac44b829f3eca2eaf83bffb","datavalue":{"value":{"entity-type":"item","numeric-id":5144620,"id":"Q5144620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"183a2a33c507f31753a32e4d16befaa401a63e49","datavalue":{"value":{"amount":"+0.7891016602516174","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":"Q2303591$B865C404-892B-4D18-8DFE-1F1A65268169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e677e15f8945bc3899c68e697ab70125b87a48e1","datavalue":{"value":{"entity-type":"item","numeric-id":6601762,"id":"Q6601762"},"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":"Q2303591$FFF6DFC5-04A5-4A77-9E76-4CF522D400D2","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":"bf1af5eff64a54e5a3e916e9473490435d958cc7","datavalue":{"value":{"amount":"+0.7611210942268372","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":"Q2303591$34992DEB-6AC6-4CC5-AD5B-2636353195C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2303591","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2303591"}}}}}