{"entities":{"Q2908835":{"pageid":2919560,"ns":120,"title":"Item:Q2908835","lastrevid":85039007,"modified":"2026-06-03T05:39:16Z","type":"item","id":"Q2908835","labels":{"en":{"language":"en","value":"On extracting computations from propositional proofs (a survey)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6073518"}},"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":"Q2908835$060BE3CA-27D6-4B1D-85C9-70BC53C74612","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5b61cdd87f966600eaf3df6c6e1e57169755aeb7","datavalue":{"value":"1245.68089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908835$BD544678-959D-4F99-BFCC-8CFC6F83F133","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"318018faae3560d6874b4d183002bf8aee67c872","datavalue":{"value":{"entity-type":"item","numeric-id":185618,"id":"Q185618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908835$E56D1C34-B181-4014-AE43-3D1BF80F2798","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8ce614070009b11291ee6b015c78682bf76dc525","datavalue":{"value":{"time":"+2012-08-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2908835$5B1B9658-B8DC-4C22-8C52-D8BF2A44C16A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d08e42252b9b447c14a97d523aba775850090160","datavalue":{"value":"http://subs.emis.de/LIPIcs/frontdoor_4da4.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2908835$F352ADCF-7C46-445F-B6BF-8EF624FB214E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908835$75D7C0CA-0BF1-414B-BF4B-FA5E0F9E3D17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908835$B73C3928-768E-4605-A263-63C66A884275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908835$080E11DC-0684-44A8-A405-7369CD205E3E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0b8a9cf9976944d3b93737fae709bc2ee6b9ad90","datavalue":{"value":"6073518","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908835$684DB8E7-5F5A-4125-B6EC-74D5812A5E58","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908835$DF99AA56-8240-4BDD-8EA0-AC8FA22FB4BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7aca660fb45a9a4eccd0729c33e4f1eed51f1aae","datavalue":{"value":"propositional tautology","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908835$56953587-14AD-4F81-A1D1-FDCE7CBDEA3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d463b247e815798d799459507ebd3bcfc87bfad","datavalue":{"value":"Boolean circuits","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908835$767FA270-781F-4EBA-A61B-43A48B8FDDC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908835$5C49AA8A-C1EF-4293-AF50-23AF0CF6A6D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72f1b47ff68adf8abb83839bd6f1bd41ad4f1806","datavalue":{"value":"feasible interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908835$15C92F5A-BB0F-4747-A6E7-DE55B99C7D52","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":"Q2908835$B504100E-0570-4C0C-93E9-45AD652AB599","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"77c707adac8b688b32c11437ff1d27cac021526c","datavalue":{"value":"W1814032955","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908835$48E8AE30-43DA-43CE-AD22-CF4CCB417E7A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8f0c902f5d04d3e8cc44a3b92264c1399258c6c5","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2010.30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908835$498E3C78-DA28-433F-91BD-DFC1247DF5DF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cfc52a968c79c14f55fb5b4534017987c095205f","datavalue":{"value":{"text":"On extracting computations from propositional proofs (a survey)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2908835$5E03CCED-31F7-4D1D-BF10-BADC9555C6BC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d095acf1d2b1d1286d490c7ecd557224fd1cf917","datavalue":{"value":{"entity-type":"item","numeric-id":3586030,"id":"Q3586030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aec5a939ab8f05f6ac8045217d3c4a32d6fa5f57","datavalue":{"value":{"amount":"+0.8175984621047974","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":"Q2908835$FCC34968-2A2B-4D9F-9216-CB7DA19AFA03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d2414746d0c17a096536954eb7fca1268bd6b97","datavalue":{"value":{"entity-type":"item","numeric-id":5444711,"id":"Q5444711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bad3d0ac6c2b2dd30e0e31b62b63d69e247398cf","datavalue":{"value":{"amount":"+0.8128275275230408","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":"Q2908835$9BF94CA7-1817-4B53-8BF3-B3EAFB4F97BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02e55b61410f38e6a1b24aaa79cfee91f308ed35","datavalue":{"value":{"entity-type":"item","numeric-id":4934563,"id":"Q4934563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cb4a43dc99b3379fe40fb7eba30efe402bd5967","datavalue":{"value":{"amount":"+0.7940722703933716","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":"Q2908835$61C56AB3-DA7E-4178-9E6E-F9EAD40422D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6644c89e365e503e202a0eb12c3f2936cc4b499","datavalue":{"value":{"entity-type":"item","numeric-id":3569758,"id":"Q3569758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cb4a43dc99b3379fe40fb7eba30efe402bd5967","datavalue":{"value":{"amount":"+0.7940722703933716","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":"Q2908835$CED7D138-6332-4C47-8392-66A58FA2400E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3ee24e5941a980d341edec213329522344ee401","datavalue":{"value":{"entity-type":"item","numeric-id":4818823,"id":"Q4818823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0badb5bbe40284462ab8860df8a0ddec1a66e423","datavalue":{"value":{"amount":"+0.7928056120872498","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":"Q2908835$95FDC918-5F84-4EC3-A39D-4AAD828FE3FF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On extracting computations from propositional proofs (a survey)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_extracting_computations_from_propositional_proofs_(a_survey)"}}}}}