{"entities":{"Q5221863":{"pageid":7251433,"ns":120,"title":"Item:Q5221863","lastrevid":58481871,"modified":"2026-04-05T10:07:42Z","type":"item","id":"Q5221863","labels":{"en":{"language":"en","value":"Remarks on Barr's theorem: proofs in geometric theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7185558"}},"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":"Q5221863$30775168-8B6E-4F27-834B-25F788902018","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1ee379a7b651fed28205767f01e05999193ee18d","datavalue":{"value":{"text":"Remarks on Barr\u2019s Theorem: Proofs in Geometric Theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5221863$55BF74A1-510B-4BB6-8B78-3AD43AD9D101","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a139c7e8c19b27982b8d6141ef118061b9102ff6","datavalue":{"value":"1433.03165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221863$51ECB7EF-B9B2-4431-A181-29A904366E3B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3889f53a531c407155aec48ffa42d4d97949507e","datavalue":{"value":"10.1515/9781501502620-019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221863$CD3F3818-751E-4422-ACE4-5E3E36CDD941","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":"Q5221863$4503E62F-6B07-4B61-BCE0-3DBC877E5A5F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"acf087543524d623afbdd16ad688f4bdec86d00d","datavalue":{"value":{"entity-type":"item","numeric-id":5221601,"id":"Q5221601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5221863$D1B20B96-7336-4BD6-A7AF-899614DC6462","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5742da56dc1731f3b0dbd67108cb88ffed960e3c","datavalue":{"value":{"time":"+2020-04-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5221863$B418BF46-7FFE-40AB-8353-753BAC3B86EB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ab020dc36e7f7dff2a344a19e52118e20089b592","datavalue":{"value":"https://arxiv.org/abs/1603.03374","type":"string"},"datatype":"url"},"type":"statement","id":"Q5221863$A8C88FE6-1AC1-4C29-A184-D6554215B0C2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221863$942BFE8D-650C-406D-867E-09FF44DC1F2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221863$012644E3-70FE-4323-9E6A-827CB97ABC73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221863$404D6ABE-C080-4FFE-9D1B-07DECDD6337E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3bc35ecc3144ff65e9737745f556c5739e048b08","datavalue":{"value":"03C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221863$C39FAE91-E1E7-4684-BEBA-54870C62407F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221863$EF7972B7-4767-469F-81F0-92748A07B4E3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e6fa3aa71197ac1adab773ebaf83b1876b147029","datavalue":{"value":"7185558","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221863$868221FB-B3AA-450C-B587-06AC36F4B7D8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89edfd146a03ea854dd03d95bdc4404c88778bc6","datavalue":{"value":"geometric theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5221863$4E30A017-BDE6-417F-8FB1-B0E565593139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"385ec5ee567d17bbd2e6c7af4270fade5c5f2e55","datavalue":{"value":"topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q5221863$152CA0B7-97B3-4022-B314-250F285CABDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0836092e1fe2f2c9bcc68cbbaa259608b2f6de67","datavalue":{"value":"axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q5221863$4C42C499-BD1E-41A9-A902-BB86E7B3EA54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"062465821f728259bd84f71e58528d2ec45e0d92","datavalue":{"value":"cut elimination in \\(\\mathcal{L}_{\\infty\\omega}\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q5221863$532D27BF-B212-4CF0-86AF-5A073E542BEB","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":"Q5221863$398180B6-3E61-4DDA-BB94-8AF474A6966F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b3a0b8e574ff59def9a79af069a0a8f3824a4140","datavalue":{"value":"W2294984609","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221863$59F56016-EF47-4F3D-AB5F-931D6A92FB20","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f60ff8f6c96e105d39b8f379918a11a6940b07c1","datavalue":{"value":{"entity-type":"item","numeric-id":1407600,"id":"Q1407600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0403ddc6ba620a2bac53000406326661c9bd9dcf","datavalue":{"value":{"amount":"+0.8027297854423523","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":"Q5221863$8721D1D7-8FAF-4304-AD00-DB4B3065064A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6bb074ccd4cf8d53cf77c3d97934914e8e4b081","datavalue":{"value":{"entity-type":"item","numeric-id":4440525,"id":"Q4440525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c174266396cf6327efed599f68933d690b4fe1c0","datavalue":{"value":{"amount":"+0.8027293682098389","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":"Q5221863$46347B4A-0776-4784-91E1-71BCF6E7C5BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4632e125f4208a23ee01f9709a6a7bd86e6e6e1d","datavalue":{"value":{"entity-type":"item","numeric-id":5215789,"id":"Q5215789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a95d5d78c0effde17865a9526f43126d59cef85a","datavalue":{"value":{"amount":"+0.7170237898826599","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":"Q5221863$D6423155-6D5F-402E-B1FD-03DE8B53750D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc88ee9e3471d08d60b99865d983c66b2380185c","datavalue":{"value":{"entity-type":"item","numeric-id":5739973,"id":"Q5739973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57242a7df74c720f22f8ee728de728422679ba31","datavalue":{"value":{"amount":"+0.7000582218170166","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":"Q5221863$529F6E39-A51C-42E5-881C-EA4F872657CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed0979c896cfb1612759a330c29034ac6c2a22c8","datavalue":{"value":{"entity-type":"item","numeric-id":3118894,"id":"Q3118894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a52fd17df7a8ba379752caa86eae9ae90bf88450","datavalue":{"value":{"amount":"+0.6879450082778931","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":"Q5221863$C26B7C9E-A16D-40BB-9BC8-1D9B33DC789F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5221863","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5221863"}}}}}