{"entities":{"Q3375282":{"pageid":3385986,"ns":120,"title":"Item:Q3375282","lastrevid":49793998,"modified":"2026-01-10T19:29:21Z","type":"item","id":"Q3375282","labels":{"en":{"language":"en","value":"Deep inference and symmetry in classical proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5009684"}},"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":"Q3375282$1DB8C558-EE4B-4181-ABCA-4FA319A7DBB2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"afc07f7224ddb49ed9396885f17baa9593bc1a51","datavalue":{"value":"1094.03043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3375282$5C4380C9-1654-428E-A308-060C0126EF09","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a4b8e93464bd8436b70044ab37bdd425a7513d2","datavalue":{"value":{"entity-type":"item","numeric-id":714716,"id":"Q714716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3375282$CFBF61FF-9688-496E-A360-B34C5FAA95DC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d43fb4c7a8a049943e3c8faaee06146a7a26d2fc","datavalue":{"value":{"time":"+2006-03-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3375282$DE38920F-54F3-4A01-986A-6A0C8BED6307","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3375282$1D03CB3C-C76D-4496-B54C-2E3BBF4CD2E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3375282$4CF16AD8-92D4-4176-80C4-745FDEE914BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3375282$FB1E63A7-606A-432C-AAA7-7177C53B33CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3375282$23D7AB84-7551-46EC-828F-903D1CB8EB5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3375282$6A3B6D54-5156-4142-88B2-18D7090C90E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3375282$A0364292-739E-4105-A7CA-A261482E4560","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1458ba961eac6a39e6257748657c53e6d8675bbc","datavalue":{"value":"5009684","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3375282$B94F7D7C-12C3-4D26-AD2C-7DF9C9888253","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"223100e53e73fed8e253ee46e8a2984deaf67b5b","datavalue":{"value":"deep inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q3375282$0AF20E2C-98C4-43BA-A42F-067ADC7CA4C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27ff1013642add6aec245d49207141e3d29c8806","datavalue":{"value":"normalization of proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q3375282$AE32E0C7-52F8-4D27-BC63-BFBEB1008C82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4879e8c35d56fd297a402f7c1eba53238e04d57b","datavalue":{"value":"proof search","type":"string"},"datatype":"string"},"type":"statement","id":"Q3375282$9DDAC822-F351-494A-A8C5-FCAF14E916C4","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":"Q3375282$AD4F534E-4A62-4848-9350-64F4EB8602A3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22e19968fc2e3168ca66d9fcf782d32a34b128fe","datavalue":{"value":{"entity-type":"item","numeric-id":2372689,"id":"Q2372689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"560e857bc9271411ec328442b58329adc1c30d75","datavalue":{"value":{"amount":"+0.8246548175811768","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":"Q3375282$C2E5F6FD-8839-4578-A9CD-8227A6C77E7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9bd80ecf51895030c76583c578f40ed82a04ca8","datavalue":{"value":{"entity-type":"item","numeric-id":5898803,"id":"Q5898803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b52aea32a4608bc0652adaff0e7af242310ac93","datavalue":{"value":{"amount":"+0.7959999442100525","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":"Q3375282$6A794CAF-6913-4742-8FCE-309903604CDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47d216a1f088ad317eccff22dbab20b51d426274","datavalue":{"value":{"entity-type":"item","numeric-id":3623221,"id":"Q3623221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb9db5e318b73cbf212cac17ea98b9a27e30fda2","datavalue":{"value":{"amount":"+0.790203869342804","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":"Q3375282$CBBF26E5-9C01-4BE5-A0C9-8B32B099E491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71d1786e2dd6eebf78c022acebe01d04847d3eff","datavalue":{"value":{"entity-type":"item","numeric-id":5389140,"id":"Q5389140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b58ca33d99705ec30efd8b4fe30220e784bc1846","datavalue":{"value":{"amount":"+0.7851309776306152","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":"Q3375282$08ED0E19-7037-424B-BCDF-4495E7F20BDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a41725770004b580ee4adff1ea53c63dda435def","datavalue":{"value":{"entity-type":"item","numeric-id":2996175,"id":"Q2996175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"219f2b67f7c3eea5cfc6351477976004b0a2f6c2","datavalue":{"value":{"amount":"+0.7755341529846191","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":"Q3375282$4B4755AD-EAFD-4F1E-BBA8-44D371894D89","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3375282","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3375282"}}}}}