{"entities":{"Q5091709":{"pageid":7121285,"ns":120,"title":"Item:Q5091709","lastrevid":91346441,"modified":"2026-06-04T22:56:20Z","type":"item","id":"Q5091709","labels":{"en":{"language":"en","value":"On the P vs NP question: a proof of inequality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7564340"}},"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":"Q5091709$159D3A99-0ECC-46E1-BC84-DBCDCB27949C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f32cf62c27c58ac34b05e7b82f2386d98c209a2a","datavalue":{"value":{"time":"+2022-07-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5091709$18792431-E700-41C0-8310-A62ED1FBEB42","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a24f7c7b080f3e853cb9a736407adadf74d2e00e","datavalue":{"value":"https://arxiv.org/abs/1802.05484","type":"string"},"datatype":"url"},"type":"statement","id":"Q5091709$1B2C42F4-2BDF-4C6F-81C7-5D5E3F17D2B6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5091709$442F3A2F-5D89-4B52-85AC-E5D6C16EA58C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5091709$2289818A-416B-40DC-87D5-834CAD4E4EEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f3eb9b2932c3fdc120e877804d57f4cb2d94e9","datavalue":{"value":"06E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5091709$F5BBED23-35CD-49F7-835D-55A99E3EDA03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c11e1636e28bd1a59d5342c1523bca4bf56a601","datavalue":{"value":"68Q06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5091709$7B5B8007-DA51-4ACC-9540-9A9EB081CC1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5091709$1FC869F8-F2BE-470D-B1DE-AD36EC1A78AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a252ac0e16e7cd1b816dd4d8c55ab05955b53869","datavalue":{"value":"94C11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5091709$EBCE70B4-3834-4DA0-8A51-A1A5E2F68E51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"007f7f82691f1d7656215e5be329d57b0bfdf5e7","datavalue":{"value":"94C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5091709$E45C0AD7-9EC1-4EDF-9FF9-5405AC631E55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2bf534479b9242e973ca011ffc03f5c515318eab","datavalue":{"value":"94D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5091709$52746A72-9643-4B75-9B26-218B9186243C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"46f63d7739e41883491eef991bce0763878e720e","datavalue":{"value":"7564340","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5091709$56D75C18-13FE-4BBB-8340-7381A8046E29","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"828e479c39c5c64293eb95e0403dbef7bbf79066","datavalue":{"value":"conjunctive normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q5091709$108ECCEB-31AD-496F-8A1E-CD5EC72BC2B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"388a7fe1d90318783ade5c84a9aba35e60f1a15e","datavalue":{"value":"core function","type":"string"},"datatype":"string"},"type":"statement","id":"Q5091709$D426D976-D6F6-4F9E-BE88-124A00ACF9EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f5498ca3e7abb035a7212a6e68902ac2f3c0126","datavalue":{"value":"NP-complete","type":"string"},"datatype":"string"},"type":"statement","id":"Q5091709$25C52B1B-D911-4832-8A48-0582A7A9C7FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81fe017905872aa181d6f2efdf6a4bbdd3832bf0","datavalue":{"value":"3SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q5091709$0278902A-6C97-42BE-ADB5-7764D139C460","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"119afc315fd032087a8456e88e19422144096a53","datavalue":{"value":{"entity-type":"item","numeric-id":2539728,"id":"Q2539728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5091709$EA346DCD-F87D-4FAF-96C1-EEB1D37AB5C9","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":"Q5091709$FEADDA0E-F623-407E-A003-C078653198D8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eda10b5298ad4db20b18468c6076e3183a0ef0fe","datavalue":{"value":{"entity-type":"item","numeric-id":4727432,"id":"Q4727432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21ebb8f79a8db84096388bbdfb42559c5edc9451","datavalue":{"value":{"amount":"+0.7158734202384949","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":"Q5091709$38029938-C566-4FFF-8E5E-4C78303C3185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2462bc456b44337390e590d4a12b5a0954070993","datavalue":{"value":{"entity-type":"item","numeric-id":3742715,"id":"Q3742715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b874e2dd0525c07ec2a1d9a38b7c1b79ebe0c863","datavalue":{"value":{"amount":"+0.6748008728027344","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":"Q5091709$DDFD7674-9506-482C-B4AE-AF85115F6ADD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d6d2f014a77e00e5644045364bb59a64168fc24","datavalue":{"value":{"entity-type":"item","numeric-id":5859329,"id":"Q5859329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ce379b01dd1dd9f9baa3a0b41c58ec6c0b70d6d","datavalue":{"value":{"amount":"+0.67433762550354","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":"Q5091709$BDC44803-99F4-46D0-BF21-F272F395F99A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f2c1f6ee26165aca4fdf695c593fa372a6decc8","datavalue":{"value":{"entity-type":"item","numeric-id":2826803,"id":"Q2826803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b2240567f22e4559d0c0612145ffab37e4e3229","datavalue":{"value":{"amount":"+0.6674652695655823","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":"Q5091709$8A007EC7-9732-484B-9390-511CDBC5B3CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1ce604c93dc10aa697b6ccdbe3ca8993bd2f0ec","datavalue":{"value":{"entity-type":"item","numeric-id":5436986,"id":"Q5436986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b80c30f6abf44205e6cb99156932f6161c2c417e","datavalue":{"value":{"amount":"+0.6613524556159973","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":"Q5091709$4AE6EF74-3596-4DE1-AFC0-45E1D5124751","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the P vs NP question: a proof of inequality","badges":[]}}}}}