{"entities":{"Q3455184":{"pageid":5234584,"ns":120,"title":"Item:Q3455184","lastrevid":90161483,"modified":"2026-06-04T19:26:31Z","type":"item","id":"Q3455184","labels":{"en":{"language":"en","value":"Cut-elimination and proof schemata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6516034"}},"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":"Q3455184$352F4B6C-9402-4F7A-B105-CCD7B08F96EC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c2675198f118eefa6621498d2aea560723c00bee","datavalue":{"value":{"text":"Cut-Elimination and Proof Schemata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3455184$053B0415-BBD9-4217-9BB4-E0B734C1BF07","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0bcf3ae4e3de243be43e57dce29d6495888fd7f8","datavalue":{"value":"1326.03069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455184$6056085A-7736-4920-B793-BB4CC392542C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"02abfc54cca0c4cd66c642b8355b1808c863edc6","datavalue":{"value":"10.1007/978-3-662-46906-4_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455184$8BD5D5ED-A8D9-4B0C-8F21-C8CD28612192","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"186974f2a7f490b5339ad6dde956abae40410e6a","datavalue":{"value":{"entity-type":"item","numeric-id":3453124,"id":"Q3453124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455184$CC63AC2B-18D5-498A-A623-F076A457A6C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"53993ae6db4350dacb1d3d4f5370b18b73e58da6","datavalue":{"value":{"entity-type":"item","numeric-id":167060,"id":"Q167060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455184$9C05D14D-812D-4FCD-A97F-056EA1E0BF76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6a9e4ccd1da5df8d41e511376d1e8cc0cee40c8","datavalue":{"value":{"entity-type":"item","numeric-id":2050327,"id":"Q2050327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455184$EFAB01CD-9D9E-48F9-AA71-1A5C79265124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bcfb9bbb17b1f1dc2e6c305c640f7c0f522c3f5e","datavalue":{"value":{"entity-type":"item","numeric-id":402114,"id":"Q402114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455184$2607AB76-4409-44EE-9613-1313C7F05ABB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"73721dca36e09b1fa1957406b9ce9131cf322a8e","datavalue":{"value":{"entity-type":"item","numeric-id":3019965,"id":"Q3019965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455184$2FC7FEC0-EE94-4CAC-8631-3B8F0286F24A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"40cf40b0298fbc15063fa57ac2e42e939273e7ad","datavalue":{"value":{"time":"+2015-12-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3455184$44ED901E-BF8C-447F-B848-2A7A7D071359","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455184$F03BE678-FA1C-423A-9FB5-FB338E5592AA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9019fbf05ac2b7b92d4dd29052d9964adf2836b5","datavalue":{"value":"6516034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455184$BF8AB182-6A2A-4B0B-A149-DE94C260ADDF","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":"Q3455184$6AAC2007-12E2-43CA-B94D-80D1786EEB42","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d351b7f5ee3c96f78518b888c5212e7ff716784b","datavalue":{"value":"https://doi.org/10.1007/978-3-662-46906-4_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q3455184$1C2B4A69-DAFB-4F35-A8A8-382A43000274","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"21ef163b7fb76ca554f2d1f6d2f25f10152960fb","datavalue":{"value":"W2188917269","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455184$D3379A5C-DB6C-4B4A-A722-EC53F3847842","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bd97d5574734beacbd221099c7f1c09ad5f19f6","datavalue":{"value":{"entity-type":"item","numeric-id":3648719,"id":"Q3648719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455184$27B3C8E7-E5C3-4CC4-AD19-5944D9AA9F49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b361894c6b71fde79250011881cbf350423ee13","datavalue":{"value":{"entity-type":"item","numeric-id":2996912,"id":"Q2996912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455184$1DE3020D-1237-4D40-8C27-77C0058A2C54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61a2286087ed648c5b3380fbb744119aa2e171fb","datavalue":{"value":{"entity-type":"item","numeric-id":2843818,"id":"Q2843818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455184$B848DDBE-78D1-4BD7-98DA-5B1FD89FABB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9971824e365b87038a762d44dbf9be6146ef8271","datavalue":{"value":{"entity-type":"item","numeric-id":5705944,"id":"Q5705944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455184$3CE26F94-4E31-41F5-B317-0EFA2517909C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93bcd041174ccd48e10bcb2ce475e4ab10d2f70d","datavalue":{"value":{"entity-type":"item","numeric-id":944367,"id":"Q944367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455184$5095CB30-0776-48A8-964D-3BEBAB3F5DF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1079b6d698a143d8d07f3dc7f4c3c2ed61bd0760","datavalue":{"value":{"entity-type":"item","numeric-id":5927981,"id":"Q5927981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455184$10BFC629-6185-4766-9EA0-295F23F468F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbe7ca05964d4b09b50166ae769ef7441eabaf28","datavalue":{"value":{"entity-type":"item","numeric-id":2457341,"id":"Q2457341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455184$082D3408-5B7C-4FF1-8B8C-C74B476F804E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acdb95959b57456fca08b117071e35f64c5d31a6","datavalue":{"value":{"entity-type":"item","numeric-id":5479270,"id":"Q5479270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455184$36F3D6BD-6FBF-46AD-BE75-D43920D84988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65780b8ff63e05ed04842daf28a78e06b919dc34","datavalue":{"value":{"entity-type":"item","numeric-id":3103982,"id":"Q3103982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455184$ECB6FD1C-83B5-475D-A53E-4BB1C335A6E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34fb1cf5b96dabede3133729855788d007c6605e","datavalue":{"value":{"entity-type":"item","numeric-id":5458060,"id":"Q5458060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455184$FBB2DF6C-EF44-4E02-8946-5712249DE6AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a367dc79ef69a0451f132c3389c173b5eb5dcf4","datavalue":{"value":{"entity-type":"item","numeric-id":3455184,"id":"Q3455184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455184$03FCFF5C-33ED-40F5-8A05-1AA6C5110C62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a296d5968de653db0529f8303b6736f8f062015a","datavalue":{"value":{"entity-type":"item","numeric-id":5638283,"id":"Q5638283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455184$9B4E0655-9890-4C58-A375-E567BB6FC8BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d619179deec73e98daca550b5629aea20622978","datavalue":{"value":{"entity-type":"item","numeric-id":1575931,"id":"Q1575931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455184$115F1A8F-4D6C-4147-9916-0B9D90C6E2CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b01f3c9efa192a49157794cc5646843be5e89451","datavalue":{"value":{"entity-type":"item","numeric-id":1086559,"id":"Q1086559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455184$D990CB42-5C3B-4E7F-91E9-DAD4D58EC123","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f489b95b7f73d2dc05afaf10bdb2ac49b401c6e","datavalue":{"value":{"entity-type":"item","numeric-id":5894700,"id":"Q5894700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86c7a019339a8c38a6abb83777153135d829d3ba","datavalue":{"value":{"amount":"+0.8892532587051392","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":"Q3455184$838977C6-20E9-4341-BBE5-F352F1058769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dff2234d712e9ec47640c786da6a18cb4b7bcee","datavalue":{"value":{"entity-type":"item","numeric-id":5705944,"id":"Q5705944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74690b9d93a742341f1144ff32a5e40702e52e4e","datavalue":{"value":{"amount":"+0.8520358800888062","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":"Q3455184$57B5824E-60FE-4D73-BA82-5D6F0A8A86FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c21d6573d57d9dc2ddcc2d583fe032033e268e7","datavalue":{"value":{"entity-type":"item","numeric-id":2817924,"id":"Q2817924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28b2dc0edc480109d2abf0e4f337f719c237da20","datavalue":{"value":{"amount":"+0.8316012024879456","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":"Q3455184$8D72DCEC-AC52-48E3-9CAB-3B0F62E53515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9adccafc2e6b5e26c9a72c4123e3418287955c3","datavalue":{"value":{"entity-type":"item","numeric-id":1694473,"id":"Q1694473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"357cbd98d4322fd99f9749887d3e3f9ad7d1cd68","datavalue":{"value":{"amount":"+0.8190126419067383","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":"Q3455184$201799BA-F3F4-4C71-95E8-1796F8A7F2AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"987183b865f4f446f72937c8f91496cd57b6c811","datavalue":{"value":{"entity-type":"item","numeric-id":5756761,"id":"Q5756761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fa13632f6b3d3f21c7ae261edc44f5b98ec6707","datavalue":{"value":{"amount":"+0.7998045086860657","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":"Q3455184$5BAFFCA7-034F-4F36-8C9F-277BA78D5864","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cut-elimination and proof schemata","badges":[]}}}}}