{"entities":{"Q4215630":{"pageid":6245231,"ns":120,"title":"Item:Q4215630","lastrevid":46650873,"modified":"2025-12-25T08:22:01Z","type":"item","id":"Q4215630","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1215493"}},"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":"Q4215630$E8724F74-8116-4180-A59F-88E5A66448C0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e5edf5192c29315a3ea0660869f101a9cb3a72af","datavalue":{"value":"0912.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4215630$11E66138-7ABE-45B8-B5AE-F39E9CA24559","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a3c575e36516431240b6ca5a34b66619e132b26","datavalue":{"value":{"time":"+1999-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4215630$0EA5A79D-15BD-41AB-AE16-2F5A0B194C57","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4215630$249AF1B1-6BA4-495F-BBC7-B4E4BF12ACEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4215630$F24B743D-6A2E-4C0E-AD33-AE6DC3188A17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4215630$0AD05268-928F-480E-B8EE-7124BE598905","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b2bc7031a93ffadac43422a8766dcb3f8541238d","datavalue":{"value":"1215493","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4215630$E70EC57F-3E98-4725-847B-FC0430F3FE8B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4215630$023D00E5-CF11-4787-9DBC-77AC3F839D98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4215630$217B93BC-D0A5-4CCE-8C81-3755B6E5D722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c9977afeaac4d053aef4e5b5c50df2441a2faf8","datavalue":{"value":"resolution method","type":"string"},"datatype":"string"},"type":"statement","id":"Q4215630$DCA3F75B-7342-4857-BE22-ABC8A0AAA533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4215630$1B230613-451C-42AB-A413-83302E967CA1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"556b5f897f5d545f04c26b56d4624f5cc4b2661a","datavalue":{"value":{"entity-type":"item","numeric-id":195654,"id":"Q195654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4215630$8D4DF7C9-56CF-4B5E-B6B2-EE288B847408","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":"Q4215630$E64CA87F-0CE6-409F-B316-37FC96545EFA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c75d5087b8325fa1c328b14556878a27ebf226c3","datavalue":{"value":{"entity-type":"item","numeric-id":1264579,"id":"Q1264579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed76d48d2c27b5e47424b3dce65368aec3e1f3d6","datavalue":{"value":{"amount":"+0.8343777060508728","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":"Q4215630$A1F1A4A4-EC92-4696-8213-C339A856991B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bed460f6ece729df542c05a9adbff173fadef2b","datavalue":{"value":{"entity-type":"item","numeric-id":2744125,"id":"Q2744125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e6338d793c91e9047d5451824d766a9ca89bdb4","datavalue":{"value":{"amount":"+0.7946776151657104","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":"Q4215630$F688C868-FD26-4D9A-B310-F247E48C6CFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42f650b25cb4d60aeba6f0ee8890637c39501f4b","datavalue":{"value":{"entity-type":"item","numeric-id":5418473,"id":"Q5418473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3913059a888aef45cc395a3d04bba444f7124020","datavalue":{"value":{"amount":"+0.7869393825531006","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":"Q4215630$C34163FE-33E0-4666-863E-C32ACCFFC92A","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":"6daa0293e9b3b11c8f3f3021d116e287d5ed6fc0","datavalue":{"value":{"amount":"+0.7801321148872375","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":"Q4215630$A1BA958B-1F64-4164-ADEE-AF1B4DD7EEE7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4215630","badges":[]}}}}}