{"entities":{"Q2487392":{"pageid":2498135,"ns":120,"title":"Item:Q2487392","lastrevid":74222130,"modified":"2026-04-14T19:02:29Z","type":"item","id":"Q2487392","labels":{"en":{"language":"en","value":"Upper bound on the height of terms in proofs with bound-depth-restricted cuts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2193505"}},"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":"Q2487392$4EC50877-7BAC-40D3-8ABB-6B7576D57F3D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a29f63c8e1d7e646f5c2bb91fcca9fcf2fa806a0","datavalue":{"value":{"text":"Upper bound on the height of terms in proofs with bound-depth-restricted cuts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2487392$A9F5E3C2-0FF3-47F2-AAC2-059AB5FC26E6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"71429093fbd375af37865c786f8087249e578f80","datavalue":{"value":"1072.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2487392$76D1EFE1-0746-4F29-8526-A869FB4F982E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"89b6915441d5a74f8622b1e2d3665728d418de89","datavalue":{"value":"10.1023/A:1025601406752","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2487392$35E95AC9-7241-4B21-BECC-48D2CE1D814B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbb58f3667e78769ff8de0d59eb4485a88424a96","datavalue":{"value":{"entity-type":"item","numeric-id":1977921,"id":"Q1977921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2487392$62CD0725-2A9F-49D9-914A-A42A14F24CDC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"17c447c8e76a3a0e73a2c70a024d9ee2f8256c04","datavalue":{"value":{"entity-type":"item","numeric-id":195577,"id":"Q195577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2487392$FAC02EE1-531F-43C6-B8D6-02151ABDE7B9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"90b8e08a65c3f6b60302137bec886dcfcd8ff418","datavalue":{"value":{"time":"+2005-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2487392$8CFFDF86-1EDC-477F-A949-8C237986171C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2487392$6ED7BC40-D76D-4F59-8C17-6AB206369CCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2487392$14D71A8F-0508-4DF3-8DF0-FD3537E3A66B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2487392$C105D9A9-4FC6-42D1-9FB5-6EA06A0EF5CD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"102433510088126d5e7f7c14359b6cbcd28b121b","datavalue":{"value":"2193505","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2487392$D3FB285A-395F-47B1-B84A-AAFD7DE24817","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":"Q2487392$26A4AE9E-DFE2-4C3C-A61C-07D86B45775B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfa4a3b696ff8190cc1a845e05d9a715eb1bbbdc","datavalue":{"value":{"entity-type":"item","numeric-id":1977922,"id":"Q1977922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e318456f17b9ae803cfed69817f95aa738cf81bb","datavalue":{"value":{"amount":"+0.8675800561904907","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":"Q2487392$AD1A293B-6A18-4812-A1BC-06A42CECFE2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4174c62b7c21511ab671733659148743a7870e3","datavalue":{"value":{"entity-type":"item","numeric-id":5187274,"id":"Q5187274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dfa7092a72bbfc7d48032fb86914e0a0a866d6b","datavalue":{"value":{"amount":"+0.7560433149337769","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":"Q2487392$6B19C0F6-EC8E-44BD-8045-992DF647F9F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3654a37e9b2842cce28cda76ef7d697db2b4125a","datavalue":{"value":{"entity-type":"item","numeric-id":2487391,"id":"Q2487391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c0e561eee411774c74dcf943f3dfebf53a5cc12","datavalue":{"value":{"amount":"+0.755075991153717","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":"Q2487392$5C1C656D-B676-45B8-A733-9886E24068AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0116dab4c2b534fbf3e581845968a5333d94387d","datavalue":{"value":{"entity-type":"item","numeric-id":1102280,"id":"Q1102280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"938bf467f4fcdcb995c38f24a113a677880094c6","datavalue":{"value":{"amount":"+0.7301254868507385","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":"Q2487392$09092FDC-AD5A-4EF9-82AC-DDA81B13CA48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2378905a4e763ddc542c0601e8ca673be62d7c10","datavalue":{"value":{"entity-type":"item","numeric-id":4411845,"id":"Q4411845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3e397d611452537e46a30ab361a3341fe3294dd","datavalue":{"value":{"amount":"+0.7250327467918396","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":"Q2487392$C3CD847C-2C9B-4780-B83A-169C3DA378E7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Upper bound on the height of terms in proofs with bound-depth-restricted cuts","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Upper_bound_on_the_height_of_terms_in_proofs_with_bound-depth-restricted_cuts"}}}}}