{"entities":{"Q3608434":{"pageid":5638340,"ns":120,"title":"Item:Q3608434","lastrevid":50591381,"modified":"2026-01-14T12:15:43Z","type":"item","id":"Q3608434","labels":{"en":{"language":"en","value":"Unbounded Proof-Length Speed-Up in Deduction Modulo"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5523414"}},"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":"Q3608434$9D2E51A2-7752-4728-9C7F-73DC9AE868B7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a12f03ab731c924a25e4f8cb47345e439c3842e3","datavalue":{"value":{"text":"Unbounded Proof-Length Speed-Up in Deduction Modulo","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3608434$9DEE6A97-6905-46D1-9CE9-4D7395F802C2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"36d7a6743f4753bee28bfdfb45345bb38338fdb4","datavalue":{"value":"1179.03059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608434$226E0D97-C9D2-4D6C-A7D0-DC5DC9B21336","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"999086aa28864203cce43ed0fd6a85624200454c","datavalue":{"value":"10.1007/978-3-540-74915-8_37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608434$D681A4EB-30B4-4125-BB13-798726CD2661","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d8e409b4bd2cef152800e753211d297de864b62d","datavalue":{"value":{"entity-type":"item","numeric-id":2209543,"id":"Q2209543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608434$DF915747-A643-45F6-AF1D-944046CC2ACB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6ce06ac78cec2c642b9fbad4cd2a2e4121754d54","datavalue":{"value":{"entity-type":"item","numeric-id":3540165,"id":"Q3540165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608434$5B75FDF7-77EF-45CA-A1BE-928588BEB6C1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e03d4b2ec538fbc0e4998d600e67e2b2cfa008b2","datavalue":{"value":{"time":"+2009-03-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":"Q3608434$69B86E54-0540-4F9D-AA1D-B26F1A45E8E4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"622e19719e9a3c99ce42d1dc96bf900395d29917","datavalue":{"value":"https://hal.inria.fr/inria-00138195v3/file/speedup_full.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3608434$801C734F-1541-4170-85E2-FA6ACAFC888E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608434$84EC2454-BE62-42BE-ACF7-FF73DD44E9E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608434$585CA320-2A53-4C54-B9EF-E6B8946103F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608434$E986DA29-B97C-4F00-9E74-56D116726751","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"63397aaeeb4d0e5c950560968b76e324859bc266","datavalue":{"value":"5523414","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608434$3642F968-46BB-4681-B5C2-D1DDF0B73708","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3608434$586B4B6B-6A7F-4DB4-9119-387240CAA84C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"476e70cc5d552d5cdc76575cc73d40a8bfb4b86e","datavalue":{"value":"rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q3608434$0C2BF9CC-9A50-403C-8080-6E10815AAF99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39810ec381ba48fb5861c168391fa7d328efd8b1","datavalue":{"value":"higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3608434$51D967E2-8730-482F-BC66-EBB9780AF440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be1268b65fc1d6781eb5c0f1073a98e5cb46f217","datavalue":{"value":"arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3608434$516E8A5D-E564-404E-8CCC-37BDAF816551","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":"Q3608434$B1D3BDB5-3558-4BA5-8CB6-CDFAD9C7F069","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5da72abd3f00cdd4aac0d66a11ed8353050366c4","datavalue":{"value":"W1490144336","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608434$48815D2A-E0F7-4A67-BE39-472684162E44","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00865b7d4a043a1ab1055500cec5807ec1691887","datavalue":{"value":{"entity-type":"item","numeric-id":3003304,"id":"Q3003304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5fc356e0d587d4ea23e6d1e39c80aa691bea3cb","datavalue":{"value":{"amount":"+0.8809014558792114","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":"Q3608434$4261093C-B43B-40BE-95E4-A1321CEEF090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"527735bde6fc7ac92ce00f1b704fd08faec148e4","datavalue":{"value":{"entity-type":"item","numeric-id":4314669,"id":"Q4314669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a348b328d75f4bb66a297b0e022340527382af3","datavalue":{"value":{"amount":"+0.8020601868629456","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":"Q3608434$96092A31-796C-4B60-801E-8A4C4CFE7C93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc21c36244ab247d119fae45e9eb4817fb00eb3d","datavalue":{"value":{"entity-type":"item","numeric-id":2870135,"id":"Q2870135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb6d947ec8b0c2f72fae84a8a71493a677cf1ad2","datavalue":{"value":{"amount":"+0.8018565773963928","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":"Q3608434$CE7C42CE-FC22-4AF2-9A32-757218069C7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82ab6fe676911df85c36a6213966e816a378d156","datavalue":{"value":{"entity-type":"item","numeric-id":4032866,"id":"Q4032866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d38354badf1ae00026c39faa4642c079802a5a15","datavalue":{"value":{"amount":"+0.7866991758346558","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":"Q3608434$B8BCF625-7A40-4CE9-8B2F-4183A349336E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72ce4f9299c3a2986c53414825322ca224e21b8a","datavalue":{"value":{"entity-type":"item","numeric-id":1431339,"id":"Q1431339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89ec19b8bfff04c089e6745bbda3f4d18b978b89","datavalue":{"value":{"amount":"+0.7856222987174988","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":"Q3608434$B6AD0E0B-BB48-45C5-A928-1C97FC938CB5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3608434","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3608434"}}}}}