{"entities":{"Q2987066":{"pageid":2997790,"ns":120,"title":"Item:Q2987066","lastrevid":85485464,"modified":"2026-06-03T08:54:39Z","type":"item","id":"Q2987066","labels":{"en":{"language":"en","value":"Reducing redundancy in cut-elimination by resolution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6718431"}},"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":"Q2987066$3F0FC1CE-89BB-43C5-A28B-D49C8C1E54A5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"21cd644025c29a2d742dae22836df8338a521856","datavalue":{"value":{"text":"Reducing redundancy in cut-elimination by resolution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2987066$7710E7CD-A3F2-4BD8-A56F-65AE53599564","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c34e4a72ea11f083f04485a893e4942bf58ed45b","datavalue":{"value":"1444.03163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2987066$5FC309DC-4FFB-4F3C-B252-42C991B999BF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0365ec2945198187c9a57348ee998a5f73811baf","datavalue":{"value":{"entity-type":"item","numeric-id":523302,"id":"Q523302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987066$1AD3F54D-5118-46F4-85AC-4E017DCE7EC1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"41be8a7ccb30ef6453be136c830247d17a0d171d","datavalue":{"value":{"time":"+2017-05-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2987066$D2BCFD56-E044-44BA-9BCA-168D4A098EFD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b27a73656f8038d7568f84f48ddb17ca5eca660b","datavalue":{"value":"https://semanticscholar.org/paper/062ec0c541b68df5dce624691ba7fb9b6fdc5686","type":"string"},"datatype":"url"},"type":"statement","id":"Q2987066$3566F92A-FD3C-471B-A383-530AE7EBE712","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2987066$CCF4B6E5-34D5-469D-BF57-C5C930E2E9B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2987066$7493F4C1-38AB-4A8A-9C69-74BADFD828AB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"883023a18ca1f0c4675345522a073094da4df692","datavalue":{"value":"6718431","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2987066$2C26B9AD-5DC3-43EE-9032-AE414FE2AF13","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2987066$AF90DA58-5B45-4018-BA77-A194810BFE3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2987066$282ABF9F-F1F9-4FC2-AA4A-9B0A63E62E5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2987066$C87CC2B8-86F0-4AC3-B47C-E305698E1784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q2987066$AFE7A204-6EC0-4D24-9968-CDBE7BD8AE06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2987066$4D4758B9-AE98-4344-AD2F-3090FFF2F5E1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f13c5c9c25f7184beaf0290667b61e0c4dbe5579","datavalue":{"value":{"entity-type":"item","numeric-id":33996,"id":"Q33996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987066$495B1E4C-19EE-4075-B85E-687BE36D31FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"45702294177a39ee1ff9766c01d5d14dfb7896ef","datavalue":{"value":{"entity-type":"item","numeric-id":21425,"id":"Q21425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987066$F925F42C-B2DE-40F2-8322-C92366D770ED","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":"Q2987066$D5E54642-DF84-45AE-8E4C-32C0D0F3E0AB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5fcaa4b19915f9841361f4fc706bed32b396f78a","datavalue":{"value":"W2119935022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2987066$49BA3D07-1703-43A8-9F27-AA9CF36732D5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"85cb20021012300267d453ebb018e8488cefef66","datavalue":{"value":"10.1093/LOGCOM/EXU075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2987066$F18BF14E-F8A3-429F-AE10-F8D5CE684B8D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987066$E5F6C7DC-A729-481B-833E-800B5691F769","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7910f50ae5a96092eb3bdfb8702ba88ad922a5f","datavalue":{"value":{"entity-type":"item","numeric-id":2259012,"id":"Q2259012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ccdf59eca1583422eca49a47ede3519c82907d4","datavalue":{"value":{"amount":"+0.8195966482162476","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":"Q2987066$99301675-FEFE-40E7-84FF-C79DE9833254","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":"52339777425d536906285e9fe6dfe41a7a4e71db","datavalue":{"value":{"amount":"+0.8157442808151245","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":"Q2987066$7FDB7403-FE4B-4EFD-A4A9-3F83DEC76FBA","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":"eacfeac8356f16c46948710de5634df2c3db9a5c","datavalue":{"value":{"amount":"+0.8145661354064941","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":"Q2987066$420ADD49-0E38-4300-B077-69E2CE84FB58","rank":"normal"},{"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":"9d603e42eb9a9029b910299547239c1028ab4097","datavalue":{"value":{"amount":"+0.812028169631958","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":"Q2987066$941A42DC-93C0-4761-98BB-E38525A318B4","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":"1d3b050e1e1dc870577d37d19d72c12b01adaa6f","datavalue":{"value":{"amount":"+0.8108603358268738","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":"Q2987066$EFBC6614-1EDD-44AB-AC2F-A67942D031B3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reducing redundancy in cut-elimination by resolution","badges":[]}}}}}