{"entities":{"Q4985610":{"pageid":7015187,"ns":120,"title":"Item:Q4985610","lastrevid":53979896,"modified":"2026-01-26T00:51:47Z","type":"item","id":"Q4985610","labels":{"en":{"language":"en","value":"The normalization theorem for extended natural deduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7337541"}},"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":"Q4985610$5239C172-0F54-4E89-A02E-631D18F8D2C3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bc966b43857c57ca0012bd326dcd465f06bd97bd","datavalue":{"value":{"text":"The normalization theorem for extended natural deduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4985610$B1031ACB-3049-4FF8-94FA-2EB9E8861E73","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fd03e59ff9ac298c95481407cbd88811c8fbb1b4","datavalue":{"value":"1474.03147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4985610$77229692-1D9A-491E-BB75-81EFEDC02ED0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a744452d3f0679f56394e8f91508c02d3d04c7d0","datavalue":{"value":"10.2298/PIM1715075B","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4985610$9674E517-FA51-4D0F-A814-DC756AB3059B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1804bbd961ab7085fcd6ebdf3ab03cf98686f33e","datavalue":{"value":{"entity-type":"item","numeric-id":818515,"id":"Q818515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4985610$479A6C1F-F35A-4F7C-83B1-63E6F05AF767","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00034c34431941ef173c32ddaed6c9a7c9ade616","datavalue":{"value":{"entity-type":"item","numeric-id":2815240,"id":"Q2815240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4985610$18858C14-FE7A-44D5-84AF-E6451ED0B371","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ebf8a5b7f21409e54e1a54b87dc13de420e37e80","datavalue":{"value":{"time":"+2021-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4985610$D6D84088-FC98-4CC7-8A52-37B620B99212","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4985610$FF6A61E6-E9FB-4451-A6E2-394082819E59","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"83577ba02c875910719d4cc07d05dd5c9e06cbcb","datavalue":{"value":"7337541","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4985610$00AB5152-0B9A-490D-A9AF-0CBCE3A10060","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4985610$73B09506-3D07-4AFC-B475-E44724AE12B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4296281254337308ad2c5f734043898466afdb58","datavalue":{"value":"normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4985610$B8C3CBD4-5624-4F9B-B533-EF410662E315","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a22c015b3b24c1ab8096c704eef7d553cb9e52fc","datavalue":{"value":{"entity-type":"item","numeric-id":25578,"id":"Q25578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4985610$E7DD3E62-BDB1-4072-BDD0-A093CB54E607","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":"Q4985610$E0BD0C5F-6D4F-4173-A864-47DBCC9091F9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0f35ae7566b8bbe9c52c7114fdab5f84a63a423","datavalue":{"value":{"entity-type":"item","numeric-id":1840143,"id":"Q1840143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4985610$FDD40DF4-0815-4A59-92B0-04925198FB6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"967c49333514bb16993591341675d1365fe80f48","datavalue":{"value":{"entity-type":"item","numeric-id":4397029,"id":"Q4397029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4985610$C82E92CC-F6A3-45C1-9BE2-E936CBA4D79F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"755ba4a7f8b70eaa04400af225724e167e2ca658","datavalue":{"value":{"entity-type":"item","numeric-id":2744125,"id":"Q2744125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4985610$A80C7E31-30BA-4400-A256-64BE02E1A202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d75b4ae7f1eae9c5b1b3598231bbf9c4eac7731b","datavalue":{"value":{"entity-type":"item","numeric-id":1407508,"id":"Q1407508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4985610$68D6F406-FFDD-4BA3-9697-255686BCD613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"318f662845e996eb181df473ff519adfb475c0e2","datavalue":{"value":{"entity-type":"item","numeric-id":4156419,"id":"Q4156419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4985610$FB6893FE-D230-4A23-A15A-2F36558470F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ed6186f00d683b4c7cb7f70af7a03fd2b654c87","datavalue":{"value":{"entity-type":"item","numeric-id":5632554,"id":"Q5632554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4985610$031C0962-4595-4AC6-A0F2-4ED052317255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02e642d35b27f6202fe5a95f273070d49f953ce5","datavalue":{"value":{"entity-type":"item","numeric-id":3691668,"id":"Q3691668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4985610$3CCA4FD6-188E-49F5-8167-3D6FADB65E67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"556c63d3d5fbb69adda2aaeb321f31370f38a3b9","datavalue":{"value":{"entity-type":"item","numeric-id":4716271,"id":"Q4716271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4985610$DBD9A335-7FAE-4E49-975F-DA6782B6561F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c90b2e0ced1298041d18e0c665831758c400276e","datavalue":{"value":{"entity-type":"item","numeric-id":4052084,"id":"Q4052084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4985610$4E8F2827-B046-4AF7-87D6-FBD978F2B74A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"03251a85d7be3ab7668855616eb5230913fbf123","datavalue":{"value":"https://doi.org/10.2298/pim1715075b","type":"string"},"datatype":"url"},"type":"statement","id":"Q4985610$9EC00B09-AD5A-4B9B-9101-EAC33799B39B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fce36b82ac755bc87137a733f14e027cd697d61a","datavalue":{"value":"W2618075124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4985610$667C10A4-DDAF-49A3-A1BC-458DA79070EA","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"5ba6dac8dd32662f3a0686493dcc62df54f990d4","datavalue":{"value":"bafkreie6huc6xtesifveqcpi5f552kmpm3u4ukwfb2mklc7xarof4feosi","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4985610$79BA42D3-C52E-4DDF-BC95-FD6558350838","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b419f24277f2c2c36c621175f439653d84f33ae8","datavalue":{"value":{"entity-type":"item","numeric-id":3655015,"id":"Q3655015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"934a28e08a7616590f418df1e122954501e1234f","datavalue":{"value":{"amount":"+0.8140907287597656","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":"Q4985610$7B7168F1-9FCE-4063-9CDE-01AA8C7B4000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b692ce3de9122d8fcb53989f11735e3ac2ddea6","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e0ce473aa1b1ae05c780a054a1368e653ba6702","datavalue":{"value":{"amount":"+0.8133919835090637","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":"Q4985610$476C673A-BDA8-4D76-9B6E-C623280D7C2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95c3422917e1dcda2e4ee6df0a1af28d2cec621b","datavalue":{"value":{"entity-type":"item","numeric-id":4877107,"id":"Q4877107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"663f761aa6162e37786cda693f3497255c91a239","datavalue":{"value":{"amount":"+0.8069615364074707","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":"Q4985610$0060AD85-0BE7-4FD8-8FA2-601A962725CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd0408c0d7dfc173c00f52df72da5ff9eeb3b8e2","datavalue":{"value":{"entity-type":"item","numeric-id":3981450,"id":"Q3981450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83c3a2364e9deab28c1a3b264733ba320ed9a086","datavalue":{"value":{"amount":"+0.8069613575935364","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":"Q4985610$8A7F88EB-EA44-49C1-9970-F7B1CFB7EAF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0081b34b0601a991dffeabbe55d9c9ab58b6a45c","datavalue":{"value":{"entity-type":"item","numeric-id":4659951,"id":"Q4659951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a97d521ceddade019335406f366397762617a3f2","datavalue":{"value":{"amount":"+0.7996997237205505","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":"Q4985610$72A469F7-1E9F-4EE7-B698-F1274C6488DB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4985610","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4985610"}}}}}