{"entities":{"Q3464626":{"pageid":5244027,"ns":120,"title":"Item:Q3464626","lastrevid":52447034,"modified":"2026-01-22T16:19:22Z","type":"item","id":"Q3464626","labels":{"en":{"language":"en","value":"Towards NP-P via proof complexity and search"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6536277"}},"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":"Q3464626$B0A2B941-BBEC-4C50-A0A6-FE76255856F0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fd8c3c65e29ea967e92cdab54332565cbf01d965","datavalue":{"value":"1358.03087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3464626$B2BA3C5C-D39B-4D8F-9877-69EF44DDF58E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"48235b8b0a8728608b52fa9d4f7899bb0f20a26b","datavalue":{"value":{"time":"+2016-01-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3464626$18DAB5C5-C432-4893-A6B7-467C77C7C522","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3464626$768C4AEC-1214-48F1-B8D9-930DBE98D421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3464626$DBA06B82-8BC7-438C-90BE-63A171A54271","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2544ac2380f08eac35ac627c7e5b20020d5fc687","datavalue":{"value":"6536277","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3464626$7F9AAA2A-D0D5-4454-815C-B2905B569128","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3464626$7A8E2465-6FB5-4271-8ECB-3AE75F7E1693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4879e8c35d56fd297a402f7c1eba53238e04d57b","datavalue":{"value":"proof search","type":"string"},"datatype":"string"},"type":"statement","id":"Q3464626$44EA2722-82A3-46BE-B0C1-0A4646D4BB88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9acc6033b6b046b97b85bc84fff847a4182c8b20","datavalue":{"value":"Cook's program","type":"string"},"datatype":"string"},"type":"statement","id":"Q3464626$FB28B890-C202-4775-8D2B-D22C767B3F97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc35252a0e1a1073514f4e40a0a40e977d8ec8d8","datavalue":{"value":"proof automatizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3464626$C8F2C8D8-0BEA-435E-8A0B-6AAA8F3601F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3464626$58D24B9B-AB52-4B6A-85A5-86886E64F802","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"556b5f897f5d545f04c26b56d4624f5cc4b2661a","datavalue":{"value":{"entity-type":"item","numeric-id":195654,"id":"Q195654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3464626$26130144-5653-4072-A13F-DCA57C7E42DD","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":"Q3464626$A193B713-E50A-4847-887E-CCEB0C7E38B9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88453e14d364cfb14b965fc017a30b5e31de78dc","datavalue":{"value":{"entity-type":"item","numeric-id":408544,"id":"Q408544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f863e979ca43c1f9dd539dbca21348500c977c4","datavalue":{"value":{"amount":"+0.9885983467102052","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":"Q3464626$DCBF08F5-001E-41E5-8F80-77B2CE681C24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65b90f96d8fdd13cb1584e9d64baffe055a8943f","datavalue":{"value":{"entity-type":"item","numeric-id":3503621,"id":"Q3503621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"447936a6e1a59c55f593e54c36be1bef927c03b8","datavalue":{"value":{"amount":"+0.9272621273994446","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":"Q3464626$F068574D-A531-4B3A-913D-212F245171A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"580ed2424e9846e9da8bbc3a40e4cf849a4221ab","datavalue":{"value":{"entity-type":"item","numeric-id":4399249,"id":"Q4399249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"048c749b33401680afe3ae378549543ebb4ce933","datavalue":{"value":{"amount":"+0.7980806827545166","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":"Q3464626$53B3140D-0D95-457F-9D65-56EFF23C53BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15206a3bee8b23bed92bb8c5ce4de8c19fe37626","datavalue":{"value":{"entity-type":"item","numeric-id":5900979,"id":"Q5900979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"048c749b33401680afe3ae378549543ebb4ce933","datavalue":{"value":{"amount":"+0.7980806827545166","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":"Q3464626$B89CF354-EB8B-4870-A7C7-04168449CC0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37e7f0ad797cd6e1343cb88e23bf4234230c9254","datavalue":{"value":{"entity-type":"item","numeric-id":4790380,"id":"Q4790380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"758d59e18a9792b92c0cbaf3f4512ea507a68a38","datavalue":{"value":{"amount":"+0.7945866584777832","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":"Q3464626$2E030FAE-94A4-4C04-BDDE-6A5DF4A3E3BE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3464626","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3464626"}}}}}