{"entities":{"Q3001091":{"pageid":3011815,"ns":120,"title":"Item:Q3001091","lastrevid":85678607,"modified":"2026-06-03T10:59:54Z","type":"item","id":"Q3001091","labels":{"en":{"language":"en","value":"Fast cut-elimination by CERES"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5901613"}},"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":"Q3001091$0FAB26E4-7E55-40A6-A339-519A3D98C089","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6d2b738dbde1f94ec4e71afff1c90cc4338da104","datavalue":{"value":"1221.03057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3001091$932BE52F-5517-4F8B-B96C-411E97E342C3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec91c84374e1970ffeb850b5b07163b4a998968b","datavalue":{"value":{"entity-type":"item","numeric-id":167059,"id":"Q167059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3001091$0CA71148-8768-4F8F-AC23-401909ED95BC","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":"Q3001091$1DA39EEF-88BB-4040-A0FD-0BA95C7F49E7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fad9e66134bb431a5ce183a1b3c2f5a020fa1ea2","datavalue":{"value":{"time":"+2011-05-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3001091$491194B9-B178-4E1C-BDAB-FF9A65A25F43","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3001091$53E52113-A6C1-40B9-B8CC-0D642BE13EA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3001091$A84F573F-461D-4C35-8536-5CA4D19333F7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"775fa2e29e4ccb2910f334352d5fccfbea5f4bd5","datavalue":{"value":"5901613","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3001091$499AEDB5-4FA5-408A-8482-774D0A127966","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3001091$4E2F55FD-7834-43DA-B104-8D3989FCB42B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b919fb9fad84aa524d9e6ca1f4a039a729db844","datavalue":{"value":"method CERES","type":"string"},"datatype":"string"},"type":"statement","id":"Q3001091$63950842-5E62-4524-8168-54ECCD4D1608","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":"Q3001091$5431378B-8E64-4CA5-A31D-8C78AA3CB35B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2402b34c779a73eb9f6c4530e64b5a77c98788a","datavalue":{"value":{"entity-type":"item","numeric-id":609451,"id":"Q609451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"765fec304fae8b496bedcc14449641433034117e","datavalue":{"value":{"amount":"+0.8714566230773926","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":"Q3001091$FED88EE2-F83B-423E-92AF-077BD184E224","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":"caa2159f71d6275772ef30c2082df1e15232b58f","datavalue":{"value":{"amount":"+0.8206727504730225","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":"Q3001091$86C5A720-2739-4C91-A1FA-16C89C3DDD07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abede1ff1a0be2900336d947290c1b6d50095efc","datavalue":{"value":{"entity-type":"item","numeric-id":2457341,"id":"Q2457341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8799d4a3b82747021c28c4d43097caf549c769c","datavalue":{"value":{"amount":"+0.8172985315322876","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":"Q3001091$E36A07ED-7D52-4694-BB1C-67FE26F3A963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cfe35f01597c59a79d7085293ee38ec71a3c4d2","datavalue":{"value":{"entity-type":"item","numeric-id":5927981,"id":"Q5927981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0651c3b0f98b999619f2fd134a7ffd01125d2b8","datavalue":{"value":{"amount":"+0.8102740049362183","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":"Q3001091$51515E49-108F-4A6C-B291-EF6210A935DB","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":"e0651c3b0f98b999619f2fd134a7ffd01125d2b8","datavalue":{"value":{"amount":"+0.8102740049362183","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":"Q3001091$6E02C6F9-D59C-495F-9D44-7390053DDFF7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fast cut-elimination by CERES","badges":[]}}}}}