{"entities":{"Q5151063":{"pageid":7180634,"ns":120,"title":"Item:Q5151063","lastrevid":94355708,"modified":"2026-06-05T06:35:55Z","type":"item","id":"Q5151063","labels":{"en":{"language":"en","value":"On generic NP-completeness of the Boolean satisfiability problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7311426"}},"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":"Q5151063$1C102E59-AB6B-49BE-91F6-2A471A223551","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c11a6343d8e4c421878b047a710095ddcd8dd578","datavalue":{"value":{"text":"ON GENERIC NP-COMPLETENESS OF THE BOOLEAN SATISFIABILITY PROBLEM","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5151063$ADF7684F-C367-4AB8-BE77-95D99648D8D4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3afec64da20368588ee107ea929819f85fa0ad42","datavalue":{"value":"1457.68117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5151063$549B2879-A901-41D6-B6FA-5B5E74CDFF73","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ffdabcb3887e1c1ca91c7be9632cabf610a83e08","datavalue":{"value":"10.17223/20710410/36/8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5151063$18DCA385-F869-485C-81F9-999BB75ACAE3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"131a03240a96d8a43afa3dc4fe75ccf4a3545045","datavalue":{"value":{"entity-type":"item","numeric-id":285910,"id":"Q285910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5151063$56FF28C9-032C-433E-879D-9262789EAB39","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0f6a5faaa9863e222bb23e3ff648def082b216d1","datavalue":{"value":{"entity-type":"item","numeric-id":5150719,"id":"Q5150719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5151063$054F95D0-569E-475A-9CF5-2EFD36E1D688","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ffb6d0c59335c1f7f7c958651ce65d4dd55c412f","datavalue":{"value":{"time":"+2021-02-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5151063$E573D2B9-B44F-47CC-AF8B-7660A021125B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"af0304ea87425a8661f4f0fd9b06c9c99d1df090","datavalue":{"value":"http://mathnet.ru/eng/pdm582","type":"string"},"datatype":"url"},"type":"statement","id":"Q5151063$874B3C4E-B84A-4FD4-A350-015C9523DE1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"f9f91714b0d8b90caa63b571e023ab5c5eb121a4","datavalue":{"value":"https://semanticscholar.org/paper/0e9c97072fb435b457b1a319caca1ebbb5da395d","type":"string"},"datatype":"url"},"type":"statement","id":"Q5151063$57D73DC4-79D9-4320-ACE5-924B93277EEA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5151063$7B0AEB02-406D-4616-9A00-B60B310C9147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"196916cd450165978c169d4fbf15975a01c78c72","datavalue":{"value":"68Q09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5151063$16001C32-C34C-4B8D-A824-D5E3D0C4D4D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5151063$5E578897-8AC8-4F05-B993-4F8DFC00A38F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5151063$E7247BA2-278E-45FC-9F7F-885981C44C60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5151063$1DA6BC38-AA83-4CA8-B227-5F1344863442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1bcdc2a107fd2414d151e8610f3471a8784e75bf","datavalue":{"value":"68W01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5151063$FF3C8FDE-3A3F-4577-AEDF-34BAC3BA647D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a8ce41488e9cbfd358931eaff1ae8ca788c65d02","datavalue":{"value":"7311426","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5151063$C472736A-5C5F-4DD7-9CED-118F62F26FC2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5e1c8cb5c3f592609cefa3e00954794a9632ba4","datavalue":{"value":"generic complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5151063$4920FD26-6663-4EF0-BDDC-F33472E97564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"161ea9d619e2573068407ba281e68e0cf97de1fa","datavalue":{"value":"Boolean satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5151063$F33A9E10-8480-4328-AC26-EE2BDC47D2AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf1bbad404b660dcc4f7e1f74269a25b269f6b2f","datavalue":{"value":"NP-completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5151063$FBB33DE2-CF16-47BE-8BC4-A3A02536AED2","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":"Q5151063$F00222BC-1B6E-402D-A557-9B95AF123A90","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1673c4ad44c7d9d18bb8af7e74be4f2b636d86a8","datavalue":{"value":"W2730915531","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5151063$A1DFC5F2-EF93-4226-8B2F-FB97B09E56F8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5151063$6B6C7B99-5591-4C54-99CD-C65879139D25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04533b5e4f54e7a61c4fc1c55a4a47c19e20f43a","datavalue":{"value":{"entity-type":"item","numeric-id":3718151,"id":"Q3718151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5151063$91CC890F-5424-470C-BCBA-FB7D06B1DB5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2fde7e79cb1dee2c5a78cce3ac4d49dcd1f6f4e","datavalue":{"value":{"entity-type":"item","numeric-id":1176231,"id":"Q1176231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5151063$74069107-CF33-458E-A4F6-7A86C4D80F26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3d7ca8b0234359bc7dff84ba74f7b4aa6a580a1","datavalue":{"value":{"entity-type":"item","numeric-id":1399190,"id":"Q1399190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5151063$910E16A2-8BA9-43F6-91CD-0CFDF8AC51CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc79bbac2f848100a966a182e11ca63cddd39c35","datavalue":{"value":{"entity-type":"item","numeric-id":4526985,"id":"Q4526985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5151063$3C8386FC-616A-47F2-BCD5-30F26A75D6A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5151063$B3EE06D4-16F3-4EC5-8307-92DBF48F25C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f8da07487895ee220945710f4f4304f260477dc","datavalue":{"value":{"entity-type":"item","numeric-id":5150742,"id":"Q5150742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5151063$CC62D64E-F32A-47BB-8F44-8BF861896954","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b7483a990b499365791dced1b7607248f1e67d3","datavalue":{"value":{"entity-type":"item","numeric-id":5151438,"id":"Q5151438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62b85cdff418b58be3602804b1c8f916193063ed","datavalue":{"value":{"amount":"+0.918380320072174","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":"Q5151063$8761B6C3-5A1D-4739-B092-9FD9A270FCBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"281a2da786d74d04f76e8a079302ce326111f517","datavalue":{"value":{"entity-type":"item","numeric-id":5150742,"id":"Q5150742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07c861b14742f478aa0966533cd42aec0beb4e02","datavalue":{"value":{"amount":"+0.8897117972373962","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":"Q5151063$16994004-660C-4BD4-B311-05D697012AD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e94c81b94e6109c525d6058ebe8c63fdb928990","datavalue":{"value":{"entity-type":"item","numeric-id":1676251,"id":"Q1676251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f88b047643316669fcf40112bf6bf3e86f254a4","datavalue":{"value":{"amount":"+0.8682737946510315","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":"Q5151063$675A6161-ACF4-4218-882F-4B5B07D3D5D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c9ae2680c645aeb19f7983cdf2a97301e255519","datavalue":{"value":{"entity-type":"item","numeric-id":5151221,"id":"Q5151221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9250695573c604c70216a139e25eab308f3e3e6c","datavalue":{"value":{"amount":"+0.817514955997467","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":"Q5151063$00CDAD1C-84FC-4828-9439-F825B1D43DCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b3c6a5e062a47a55b9b2e545999f9a3f3814f0b","datavalue":{"value":{"entity-type":"item","numeric-id":2334766,"id":"Q2334766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebc24ab7e52de159b1ebfc909859502ff7900959","datavalue":{"value":{"amount":"+0.7943203449249268","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":"Q5151063$39CA744D-F265-4618-BC60-D61E954C1889","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On generic NP-completeness of the Boolean satisfiability problem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_generic_NP-completeness_of_the_Boolean_satisfiability_problem"}}}}}