{"entities":{"Q5485398":{"pageid":7514958,"ns":120,"title":"Item:Q5485398","lastrevid":92551820,"modified":"2026-06-05T01:59:24Z","type":"item","id":"Q5485398","labels":{"en":{"language":"en","value":"A note on Bar Induction in Constructive Set Theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5050664"}},"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":"Q5485398$C56117AE-06BE-4E84-8D20-3F850766EEBC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5fe080f23379b6fd92e9cd2f6029867757d78fc3","datavalue":{"value":{"text":"A note on Bar Induction in Constructive Set Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5485398$DC0215BC-64AA-4929-BF68-F7614E570A26","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"913f2265570da007e8ece8678e07893c130ca4a9","datavalue":{"value":"1095.03068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5485398$9C8FD55D-03E3-44B6-9CFA-E68E1469AC2B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e64bf31f7adc7949599b7092674140bc267c6785","datavalue":{"value":{"entity-type":"item","numeric-id":206562,"id":"Q206562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5485398$2E9FD904-464F-46B7-9E1C-3487C52B0B9B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5485398$D59266CB-1C91-452C-AF58-AFB0CB55D7A2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce041d4734364c3a206df997bf620f42fb038366","datavalue":{"value":{"time":"+2006-08-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5485398$6DE52808-74BB-43AC-9BDD-5938EFC2848D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5485398$759B9C34-53A5-4211-BC32-74D9A53D5028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5485398$43059E0C-CCDC-4ABA-BEB8-5D5BADE473D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5485398$5F40C665-9BF8-4C1D-9565-941190357AB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5485398$5C916EEC-88D2-41E4-8E60-CA35711C4EB9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"34266c9b00e20e25025e283f48b9ca7b690472c1","datavalue":{"value":"5050664","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5485398$EC0DDC13-A37A-420B-96EC-5140C2B701D6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fd48a7b037e63b5155f38bf6036608485e07862","datavalue":{"value":"Constructive set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5485398$965BE134-6E53-4185-B178-81DA622D8730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5a028933e5d009610cf8810b7ec6ed6e826b749","datavalue":{"value":"Brouwerian principles","type":"string"},"datatype":"string"},"type":"statement","id":"Q5485398$745EDC4D-D53A-4970-A662-2315F8664D99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ccfc93596a2ceaf86ff5877fd2c1383cdbad7c0c","datavalue":{"value":"Bar Induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5485398$2937C0B9-09F1-411F-9DF9-983A3FF46468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c9d42b2a8e8f10bc0defb7ff4991bcf0f90417e","datavalue":{"value":"proof-theoretic strength","type":"string"},"datatype":"string"},"type":"statement","id":"Q5485398$6BD074DA-821F-43E1-9280-B103A41EC81F","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":"Q5485398$38D8396C-BEA0-4142-B084-6B53149875A0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"17fff25a6208ad44f07554673b3ff201ca00bfbd","datavalue":{"value":"https://doi.org/10.1002/malq.200510030","type":"string"},"datatype":"url"},"type":"statement","id":"Q5485398$E9248D30-9C65-4491-AD8B-B04DE75E8A3D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7388c914d5676d2c2da304697ee4b7a138885a02","datavalue":{"value":"W2080683066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5485398$C92CE27D-5357-4D43-A67C-8D2F991AACA5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1521657ed93669f2125ef2313ac65a287f615d3","datavalue":{"value":{"entity-type":"item","numeric-id":3754620,"id":"Q3754620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5485398$95EC4D48-4A53-48B4-BE0C-9C0AA9043A8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6629326274d1895876e66168171702b70b52bfc8","datavalue":{"value":{"entity-type":"item","numeric-id":4934564,"id":"Q4934564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5485398$A2FEBF1E-09D8-47AF-8183-7FB628370CF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5485398$34AAABC7-3551-4C7A-95DA-A464FF246969","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f0b3d4a83d3caab32938aede7ddc8c5ca66c6abb","datavalue":{"value":"10.1002/MALQ.200510030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5485398$A7869CA5-54E5-4F6D-93D9-0A2DAAD30BB6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"903fec9f8f4fd8c5b1487f80e0d410765f61a896","datavalue":{"value":{"entity-type":"item","numeric-id":5310885,"id":"Q5310885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb56e4d5fd0e940893d105f20323db22a3333585","datavalue":{"value":{"amount":"+0.8210498690605164","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":"Q5485398$93FDF9FE-56D3-4B21-B8AC-BC1628FCCF93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33d89e31a0d5771bc1eb782b61da6c6687dacc9b","datavalue":{"value":{"entity-type":"item","numeric-id":5718561,"id":"Q5718561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae92fcf4247992647d4920c1f70b74dcf2cd2725","datavalue":{"value":{"amount":"+0.7653213739395142","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":"Q5485398$1228AE44-0B6F-4E25-B4DC-99413453440A","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":"63437eea9ae4b74b7b6fbddc57bab6fd22d06afc","datavalue":{"value":{"amount":"+0.7526232004165649","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":"Q5485398$690D5818-1227-48AC-872F-D0C01B8CB2B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33c7a78c05cdd05687b5688dca10bc9a017489e1","datavalue":{"value":{"entity-type":"item","numeric-id":386630,"id":"Q386630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a09d36a8f9a551db4c9916a7bfa14189521726c8","datavalue":{"value":{"amount":"+0.7374680638313293","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":"Q5485398$F9902F4B-A1AC-4459-B9CE-A2AC88B7479D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"191f51a808cdc0383b6c128fa1b6baabd477fc4d","datavalue":{"value":{"entity-type":"item","numeric-id":3613302,"id":"Q3613302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aab9f7934d571b6bd55d8f18c5618b34f75199ba","datavalue":{"value":{"amount":"+0.734502911567688","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":"Q5485398$8A1C981D-6B21-4CAE-8928-E451771E1397","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A note on Bar Induction in Constructive Set Theory","badges":[]}}}}}