{"entities":{"Q5425341":{"pageid":7454915,"ns":120,"title":"Item:Q5425341","lastrevid":50211965,"modified":"2026-01-13T13:11:58Z","type":"item","id":"Q5425341","labels":{"en":{"language":"en","value":"Confluence of Cut-Elimination Procedures for the Intuitionistic Sequent Calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5211269"}},"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":"Q5425341$F962F628-F8E1-4292-85C0-439AD29261A1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4231a8fdf229fddcc29f5d3fbd9d2dc313c2d1b8","datavalue":{"value":{"text":"Confluence of Cut-Elimination Procedures for the Intuitionistic Sequent Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5425341$175249A4-8EA7-43BD-BAF0-F5B2074D480F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"07366d71bcae5a35cd438283c8458dab705d63dc","datavalue":{"value":"1150.03337","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5425341$BA9D2C51-B174-4518-8915-57F8D7E4A322","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7ad5082888047daa40c57aabb75f53e3fb436c1b","datavalue":{"value":"10.1007/978-3-540-73001-9_41","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5425341$97603FA4-1B1D-4D07-91C7-2882261F2B21","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e99b0756d94234ec5b8de37512b98b6fee209039","datavalue":{"value":{"entity-type":"item","numeric-id":1409299,"id":"Q1409299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5425341$8CDC5F40-A838-44EA-AD56-1190E6DC145D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5425341$DE10E964-675E-4F7C-A50E-5C8392E5E68B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ec78afc52e00fe3d8975920d3a43c9431ac1875","datavalue":{"value":{"time":"+2007-11-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5425341$922CA291-53AE-4A3B-9051-7678D5A6BB17","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5425341$224A1222-4FDE-4166-9D37-F0C84D233379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5425341$C9230E96-231D-4F3C-94D9-AE2B75D226D5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3aa0d7f65738cb5c4f5d71921fc5b44d8fd84a49","datavalue":{"value":"5211269","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5425341$1708CB8D-CF4E-4EF4-8916-9FD9C5D41F5E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b5059017c61896d3f46f7d2eef43d9cfd118815","datavalue":{"value":"Sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5425341$2347D55E-AE53-4B27-B511-D0E7A2BFDD70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69b7325a481d47b9bf1e65791375c606e4f01c10","datavalue":{"value":"Cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5425341$B03CD762-5443-4454-9CAA-8DB621E689D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cebe36b1d4dd3172f1079b04a0839e06050a872","datavalue":{"value":"Confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5425341$03DB1951-D4B8-4540-AB40-C8318FE373E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee7e4e0aab34b90f212668a621a76f4a248642b6","datavalue":{"value":"\\(\\lambda \\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5425341$6EC98FD5-C05C-4BF1-9C12-BFADE01D372B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2948e0a4627dea5e089fdba23cae2373c4782a97","datavalue":{"value":"Explicit substitution","type":"string"},"datatype":"string"},"type":"statement","id":"Q5425341$CFE7D7A5-760E-472F-9A21-559A368949D7","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":"Q5425341$02AE871F-04FD-4084-9DF0-1A73C9423F7A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d6e3cacdc9f9b11b04fae2c74a9cc22b571017e1","datavalue":{"value":"https://doi.org/10.1007/978-3-540-73001-9_41","type":"string"},"datatype":"url"},"type":"statement","id":"Q5425341$8A296E9F-69CD-4EAF-BFB7-90C887B55E57","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2acdd6569f09c9eaa3335fd515b290b0a20d3fab","datavalue":{"value":"W1574692083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5425341$CCEF1457-5FBC-46D8-BB34-C7BF1DB44330","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81f7d70cf9d40342ff4a597df3c3d7b0a71c26a3","datavalue":{"value":{"entity-type":"item","numeric-id":5387888,"id":"Q5387888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07eafdf5d193918fc1b6f34b205df22a34021b11","datavalue":{"value":{"amount":"+0.8515055775642395","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":"Q5425341$E40823B7-E551-4731-AE5D-9C34C45EC54A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1825978af4493bf09c69ca57b64a5c7520885849","datavalue":{"value":{"entity-type":"item","numeric-id":3612641,"id":"Q3612641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b254d2d2fa598ff6dcc30a5dc5daac064f790440","datavalue":{"value":{"amount":"+0.8337436318397522","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":"Q5425341$DA62D337-D4C8-4565-8CDD-519C0AE3DF01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0ad4e5cf2b77e28e0e575b673c2ec6991d250d0","datavalue":{"value":{"entity-type":"item","numeric-id":1577341,"id":"Q1577341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0fba971509c1b4a64e7f27fc1fe420185e7acfb","datavalue":{"value":{"amount":"+0.8180961608886719","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":"Q5425341$3668EDDF-FB7A-46D5-8DEC-2BFB9BCF6E7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15b087ef49692900107f01c9a6e780b22849ba6a","datavalue":{"value":{"entity-type":"item","numeric-id":3617369,"id":"Q3617369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0fba971509c1b4a64e7f27fc1fe420185e7acfb","datavalue":{"value":{"amount":"+0.8180961608886719","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":"Q5425341$B7BC4975-4DE8-4FBB-8491-C2051A1A6229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ffab1ec510f63ff1e2a9542c3c3be4322ba4905","datavalue":{"value":{"entity-type":"item","numeric-id":5704011,"id":"Q5704011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6373e010bc31be51e5b9310892731f30e23461ce","datavalue":{"value":{"amount":"+0.8078859448432922","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":"Q5425341$B2D50A12-92C0-4E2F-AA73-EDB8A58E4F29","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5425341","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5425341"}}}}}