{"entities":{"Q5896367":{"pageid":7936434,"ns":120,"title":"Item:Q5896367","lastrevid":48716977,"modified":"2026-01-05T17:07:36Z","type":"item","id":"Q5896367","labels":{"en":{"language":"en","value":"Cut Elimination in \u03b5\u2010Calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3861146"}},"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":"Q5896367$AB12BFB0-CD09-42CA-BEC7-39F5B2DFCE80","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"10d0613c3bb006d6335abf8f374f9e96b6cbf01e","datavalue":{"value":{"text":"Cut Elimination in \u03b5\u2010Calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5896367$2230B08E-4044-4EEF-AAF1-BBDBF52149FB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b80fa9445f09f2296dd12d312a22f0e83600db40","datavalue":{"value":"0542.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5896367$C20742BA-AD24-441E-BF84-C7873B120947","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cdef2df206c14b199faed5816c460baf67978454","datavalue":{"value":{"entity-type":"item","numeric-id":1069931,"id":"Q1069931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5896367$FA5E9C3A-E287-46C7-AD9C-FF03572BE4C9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5896367$63B51155-90F3-4287-85D7-35E06E414BE2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q5896367$7B4401D5-34C9-4EBC-A5FC-75062E7F5D2D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5896367$AC4F5D9F-C58E-4D79-A9B0-1CC9BE2DD58D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"587921aa43046befbac88cdd155564ac06dc26cc","datavalue":{"value":"3861146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5896367$870691A7-524B-442E-ADE3-1AC45D72C93C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a613dd81fe2942e8dc7f7f0de6dd8290657e9fd","datavalue":{"value":"epsilon calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5896367$638B9AA7-6B8C-49F4-A44C-0E5E7A0D70D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5896367$BABBF7EB-D258-416E-A591-C458F9E964E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0f95fd7c491c2848966554299dc8d662766cabe","datavalue":{"value":"equality","type":"string"},"datatype":"string"},"type":"statement","id":"Q5896367$EB080DA3-84AB-4BF7-BEB2-953C3C471DEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b46e43168b67da35cd271d9d64b89c7d7332aad0","datavalue":{"value":"Hilbert's schema","type":"string"},"datatype":"string"},"type":"statement","id":"Q5896367$27CF8776-4114-4F68-A89C-44BC11CB4945","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":"Q5896367$A3E634D9-A901-4B02-B634-7AA305A9D655","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f712f68b2a22b4d16c583e93524df2ae12a25f45","datavalue":{"value":"https://doi.org/10.1002/malq.19820282004","type":"string"},"datatype":"url"},"type":"statement","id":"Q5896367$E5892B23-43F7-49E4-885A-5B77BEF7389F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5acdc41852167d7abbc7919dc2e085c9b8c3d148","datavalue":{"value":"W2000643788","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5896367$86696605-28CE-4D91-8EA3-CB24B22A96E7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7508c4eb326a9c5d2191bc02df4ff4432c129258","datavalue":{"value":"10.1002/MALQ.19820282004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5896367$BAF9F185-C57B-4D94-BD03-7A83D1FD47C8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"850ed4a0fba3c62050ecfff6d5d022fa617a60c8","datavalue":{"value":{"entity-type":"item","numeric-id":5896461,"id":"Q5896461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a762323d3046fc42c7b998b2855651ba4d348ed2","datavalue":{"value":{"amount":"+0.9036275148391724","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":"Q5896367$8BDC4D1B-C894-48DA-9E2B-1CC0D47A919B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2def71c43857b10f82848d8b1bfc16980b41e5ac","datavalue":{"value":{"entity-type":"item","numeric-id":3469101,"id":"Q3469101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5db76a7f049f3086d7f482738d454cf693d4ee4","datavalue":{"value":{"amount":"+0.8959177732467651","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":"Q5896367$E2B8725E-3CF3-4F4D-8DED-79C0F6F65B5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"139a1eefe7c7df7ac0d695483eb65d1e58250159","datavalue":{"value":{"entity-type":"item","numeric-id":2478554,"id":"Q2478554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a53ba62f86e57beec393625a61ed77625bbbee5a","datavalue":{"value":{"amount":"+0.8114621043205261","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":"Q5896367$ED629A3B-AC2D-4732-88C6-F62C98749C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d982448dc96e8c77f91ea59f0666b2630af1483","datavalue":{"value":{"entity-type":"item","numeric-id":817706,"id":"Q817706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bad974fa480d529948309b34c897488e17585309","datavalue":{"value":{"amount":"+0.8052606582641602","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":"Q5896367$B5F76A5E-8CC1-4835-AB63-9D94238E84FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d67d9b51c61b2737bd193bacd639c3b1e7c8221","datavalue":{"value":{"entity-type":"item","numeric-id":4376051,"id":"Q4376051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbac5486103dea11b11ccbbab01d0db35846bf12","datavalue":{"value":{"amount":"+0.7722321152687073","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":"Q5896367$919CC934-4521-4CB9-82DD-610DE4E3460B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5896367","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5896367"}}}}}