{"entities":{"Q3755451":{"pageid":5785357,"ns":120,"title":"Item:Q3755451","lastrevid":51726218,"modified":"2026-01-19T17:17:43Z","type":"item","id":"Q3755451","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4004176"}},"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":"Q3755451$399800D9-2918-4C2F-A8C7-9BB8F97B6FB4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d031c123f3c525d3d17fa940a716ca50fbfafd88","datavalue":{"value":"0619.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3755451$76F5D163-D825-4403-B2A5-6B825BC2B057","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3755451$DD6D85B1-E820-49A5-A533-4AD49F68D26E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3755451$1E0D5836-12FA-4A23-B8F8-C9AE01CEDBAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3755451$94E21969-99CA-4CE2-8074-E6CD48618B03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3755451$AAF523B3-72E8-4D7A-8AA2-9C28939AFCA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"53a6dd9f6671ef90670f5c57fd3a10f9dadfeea8","datavalue":{"value":"03F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3755451$11A18F20-1383-465B-972B-4AE5D3550385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3755451$0F19DC30-05D5-4A30-9A22-4EEE7360ABB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3755451$7EDDCCBF-2DBB-4F2F-A30B-8493C01F14E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aa2d311bfebadfc58292672011b7418c359f6a26","datavalue":{"value":"18A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3755451$11F258BC-8447-485C-B4CE-CB0D67D58F65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3755451$376DB95C-E23F-4396-A242-733949D6DE03","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4c08ddd8540959c6c4162187f09db1151c4f4930","datavalue":{"value":"4004176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3755451$595FB820-54BB-41F2-B9BF-6CADA6005355","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f25222e84da8591d5e5219459d1e0beff3eae65","datavalue":{"value":"transformation of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3755451$7E5D1B05-6626-4C9A-B24E-11F757DF4F94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3755451$22CC244A-6C60-481E-BF87-E95003E89B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6af745b5046dbd23cfd70ec1a71ae1b921d5a7bc","datavalue":{"value":"applications of proof-theoretic transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3755451$728A50B7-61C8-41F6-877F-103511308082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4108cecd289b9cafbcb28752da70c2315de2efa0","datavalue":{"value":"conservativity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3755451$BC978B52-70FD-491B-B1D6-D9A04C7CBF41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97c6b970990dab40d69357bafd674174e833bc7d","datavalue":{"value":"Heyting arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3755451$2693E564-3826-4DC9-90F5-69459878EAB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a24599a3ba630a046ee81eb9d0f8f79e5019639f","datavalue":{"value":"infinitary natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3755451$10A01B36-9032-4A58-A440-D2EADA9F5498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4296281254337308ad2c5f734043898466afdb58","datavalue":{"value":"normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3755451$6BA12236-6777-4314-A13E-05F2158EF894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"154255fc29d01e4cd2bd5b314119519742ecc2ab","datavalue":{"value":"modal extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q3755451$64103641-335B-4AB9-9C0C-49F9E70D40BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"217227ad2f5a290687435bc6e5cbe902eb7b8ca2","datavalue":{"value":"Novikov's hypothesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3755451$8825C9D1-EECB-42CC-ACA5-E8609EE4FA41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ea0e565f2e23172a509549943cea9b596903707","datavalue":{"value":"epistemic arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3755451$84392246-6AD5-463F-9BEF-A1207FB06380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71ea74009f3e6aaad2fb0fc06728d00ab11f397c","datavalue":{"value":"predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3755451$1DB20FE4-7CCF-4C85-AABB-F1BD66A5A807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fed6eacd7c4a6dc970ef29fd66e3970bc247424","datavalue":{"value":"Pruning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3755451$4E57D3C1-D60A-4033-BE9F-19B2FF0B3D19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0e652c931f8035f15fd44159389a26b68a43022","datavalue":{"value":"computer program optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3755451$6F979197-7475-4CCC-8350-383B15A6D341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b20782e28dfd5499beaca9d3f6952f4aa915174","datavalue":{"value":"coherence theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3755451$EB331B6C-C9E5-4E56-891D-D7029AD7BD26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3755451$B63BDB63-C955-4382-A20F-E9A245870D4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97a0b0978d84a6039d48df22ac7e1a68f6a64260","datavalue":{"value":"derivable formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q3755451$9735CB2D-6A1B-42BA-B689-288EA81E2A38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49622c6f787c79dde83ba52ff1928f43bda9592a","datavalue":{"value":"intuitionistic propositional calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3755451$17BC7BD1-876D-469C-AD79-38FF43B1756A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"739bb59f926e46bf270e3affee77bc2ef6969661","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3755451$308F3321-F227-4A11-BF35-E5A92BB356C9","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":"Q3755451$51B6E1CA-CBF9-4301-B963-98AAAAF2E6AD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4ccc37c0744196bfba574342b120191f55749e1","datavalue":{"value":{"entity-type":"item","numeric-id":3999386,"id":"Q3999386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"793ee6d3c251d16bafb9a6d96817a21d22a89776","datavalue":{"value":{"amount":"+0.848118007183075","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":"Q3755451$881A3ACF-6C0A-45AC-AA27-E6016B67BFF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3b59ebcba5f5cd513bd950f5f05359111a86127","datavalue":{"value":{"entity-type":"item","numeric-id":4223027,"id":"Q4223027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16a41126da1f4b0019fbfc2a3197cd131386e0d8","datavalue":{"value":{"amount":"+0.846432089805603","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":"Q3755451$21EB5997-5C1E-4564-9D06-F1CA02BB4512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4596f4b9e3d72e9595f49910610584394c88f846","datavalue":{"value":{"entity-type":"item","numeric-id":4716271,"id":"Q4716271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"201b0245e745e9f12c675a07b02f5871e29b6539","datavalue":{"value":{"amount":"+0.7397955060005188","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":"Q3755451$23CDC104-37DC-487D-8834-AEBE84701020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e45d1a7e8f6bdf0d27abc13d3246965484b71dd4","datavalue":{"value":{"entity-type":"item","numeric-id":818516,"id":"Q818516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"201b0245e745e9f12c675a07b02f5871e29b6539","datavalue":{"value":{"amount":"+0.7397955060005188","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":"Q3755451$0A5ACA00-D458-4BB1-BAC0-C102351FDAB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"945ff30d1bfaf814e2be4227312eea6ee3a8471d","datavalue":{"value":{"entity-type":"item","numeric-id":3066292,"id":"Q3066292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"436de58b273c3564704278dadf29f1fbd1d971d5","datavalue":{"value":{"amount":"+0.7338050603866577","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":"Q3755451$8F0975DC-4D20-40B1-A4AD-896BDEF1C5E4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3755451","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3755451"}}}}}