{"entities":{"Q5954710":{"pageid":8131512,"ns":120,"title":"Item:Q5954710","lastrevid":47737792,"modified":"2026-01-02T13:55:31Z","type":"item","id":"Q5954710","labels":{"en":{"language":"en","value":"Gentzen-style axiomatizations for some conservative extensions of Basic Propositional Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1701689"}},"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":"Q5954710$6A0C1E43-ADAE-4308-BAA4-5636FBAEDE95","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b9604a69ad9c221d62fea63fc717a5c01743bbc1","datavalue":{"value":{"text":"Gentzen-style axiomatizations for some conservative extensions of Basic Propositional Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5954710$39E2442F-E070-451E-A825-92CA5687820D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c8937abe2cace06e87a8ace098b825ecb00b8f95","datavalue":{"value":"0988.03084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5954710$583B4223-E320-4992-8317-C2ECD4D9E586","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"032e3c03585c695809f660c82c46b494897ddec3","datavalue":{"value":"10.1023/A:1012499207246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5954710$6BD7696E-691D-40CE-BCDD-27BFDCCDC964","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e97260bea1cba66249f833040ae752d88bb9782d","datavalue":{"value":{"entity-type":"item","numeric-id":227771,"id":"Q227771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5954710$30732B74-BE66-48AB-ABC2-7EDBE198A5D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e63f0f7326486d44dfb43d06e0b528a89a70ef2c","datavalue":{"value":{"entity-type":"item","numeric-id":190271,"id":"Q190271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5954710$9C08FCB6-FE6A-48FE-B7E3-F199A33F9173","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5954710$E96B4D81-5247-42B0-A52F-264F7CD7BFB8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db7163a38f1ea5794255907a422cabdd7de9ea0d","datavalue":{"value":{"time":"+2002-04-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5954710$3DC99D93-FC62-4893-9F4F-DB0AAEAFE919","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5954710$AF619874-85A9-4488-BA74-B65E365AAE1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5954710$81533F59-17DE-4994-A89F-92D306DF10C0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"86257ef38df634bf6206098825c018f54f4475e5","datavalue":{"value":"1701689","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5954710$3BC2BB1C-A5E4-45A0-87FD-38306DF84578","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5954710$13E7B557-8215-4414-9CFA-6E5EB4C63CAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10a7f43fc1ead9ad023874dd153768f3cb5ca0ce","datavalue":{"value":"BPL","type":"string"},"datatype":"string"},"type":"statement","id":"Q5954710$5A65331E-310D-4E97-85B9-D3F2D7F22C64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5954710$7AE72DEC-188C-47B4-9E95-8435863E8F7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"180d17f9c0247f415b935d982363a8c38aca06fb","datavalue":{"value":"Basic Propositional Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5954710$1452A43E-87AA-4613-98A3-BA8B464FE2BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5954710$28555C72-CC47-4470-BB0F-EDA667EAB13E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9bc6474ad8409ef4528af84655741b6b5be3d7c","datavalue":{"value":"interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5954710$3EFB8B79-8FBF-456A-81E6-2329AE396726","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":"Q5954710$F6C4E051-013A-4BD6-9733-6C28F315F748","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"05ce84c2ec103fa2f7457e5cbda608dd17610f23","datavalue":{"value":"https://doi.org/10.1023/a:1012499207246","type":"string"},"datatype":"url"},"type":"statement","id":"Q5954710$9AE45ADA-78DC-4031-97E6-DAFC160D8D3E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c0c654b0aa3a9c96e34770a9729919f4b1d300c9","datavalue":{"value":"W1490031414","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5954710$3EDD1DBB-86EF-4352-8DD8-680788A40994","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c493971065a36cf79b18ff79c8848e315545ea31","datavalue":{"value":{"entity-type":"item","numeric-id":1407590,"id":"Q1407590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66c23fd65f3deedd12d9c3d369f695340c48631e","datavalue":{"value":{"amount":"+0.7888824343681335","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":"Q5954710$34A4F9A6-E78B-4834-8FF3-61888F82C936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84df944dd88fab1ad0e58d1136d393bb15c9946a","datavalue":{"value":{"entity-type":"item","numeric-id":4981450,"id":"Q4981450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcd370c79f9bb85fc8c913b52894d93088fb0ec5","datavalue":{"value":{"amount":"+0.7888814806938171","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":"Q5954710$CF382FC9-ACD3-4F6D-898A-D58B190203FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87841b06f6d81884acd1204a2d1928d4d84031b9","datavalue":{"value":{"entity-type":"item","numeric-id":2534156,"id":"Q2534156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f96b8c159af3cb366c15d5338d7b229deccaf6ba","datavalue":{"value":{"amount":"+0.7523060441017151","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":"Q5954710$6A240A7C-AFEA-40FB-81AC-A99DDAAF6CF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cb715c729e8655e70cf5553a833fa9957798e06","datavalue":{"value":{"entity-type":"item","numeric-id":1868483,"id":"Q1868483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7746980a97a459dd68b16ef7968ce09e9f30c2f","datavalue":{"value":{"amount":"+0.7478293776512146","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":"Q5954710$ECD627BA-D283-4BDD-8A1D-E60AC8339EBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"314a7d05afa155f9402d48f7e39de4fa5655ce50","datavalue":{"value":{"entity-type":"item","numeric-id":4434507,"id":"Q4434507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32bf79944d1628e9ff4bede975e4cfe105a7aec2","datavalue":{"value":{"amount":"+0.7327036261558533","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":"Q5954710$F478C33C-A7A8-4AEC-8A0B-FDE6CF6DF162","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5954710","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5954710"}}}}}