{"entities":{"Q2627596":{"pageid":2638339,"ns":120,"title":"Item:Q2627596","lastrevid":57964785,"modified":"2026-04-03T06:37:54Z","type":"item","id":"Q2627596","labels":{"en":{"language":"en","value":"How to solve kSAT in polynomial time"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6724861"}},"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":"Q2627596$4CFD1DBB-CC30-4AD8-B950-B6F003D132C9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ddfa4a549ba8a035e2c59b34ce01137f9aa3f1e1","datavalue":{"value":{"text":"How to solve kSAT in polynomial time","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2627596$88AD2707-25CB-49A8-9984-2E113FE20607","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3cc3f4f501b968a6fdac038ff6ebc92d8fae258d","datavalue":{"value":"1362.90293","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2627596$36B18944-D8F1-425F-9ED8-66C78DE1D417","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c4e1354b36a90d069d76fe43a4ecc262465c5653","datavalue":{"value":"10.1504/IJOR.2015.069620","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2627596$32419049-6386-4B55-B077-B047A00D48CB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db1964755488e358d670b7804fea0d75af34ffb1","datavalue":{"value":{"entity-type":"item","numeric-id":2627595,"id":"Q2627595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2627596$D0859DB6-65AA-43D3-9414-F7011AB6915F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2416e8a5c76a3e001f6e57b132d70eaeca49c502","datavalue":{"value":{"entity-type":"item","numeric-id":541285,"id":"Q541285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2627596$7D7848F8-F0D7-431C-946A-4C16A569642A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7d49858a0afe4b614990a77fa152712e1ae2b828","datavalue":{"value":{"time":"+2017-05-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2627596$F63D3D98-1A8F-4BAF-B76E-F6A5A311B088","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fc634bed72c0f2b9e0d9012376bd0b4712702e5f","datavalue":{"value":"https://arxiv.org/abs/1203.6020","type":"string"},"datatype":"url"},"type":"statement","id":"Q2627596$E29B7EBA-266E-4FF5-8A72-0A20CB834E03","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"57d7569893570a9f775c5c61c80740d95b64fa0b","datavalue":{"value":"Summary: With using of multi-valued logic analytic formulas proposition that kSAT is in P and could be solved in \\(O(n^{3.5})\\) is proved.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2627596$BE7CB13A-64BE-45E3-B550-192EEFAC0E43","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6958ea3363ca9244e0da0201efd237a8410f9a0c","datavalue":{"value":"90C09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2627596$36349801-C7BF-4EEB-AB9C-0AE157EE4DB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a075736dd24125fb22e78e1f01acbe15d48baf3f","datavalue":{"value":"90C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2627596$B4B8DF54-E5BD-4CB0-998E-794DE07C8815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2627596$854AB85E-EFBB-4C9F-91BD-1D955F79D334","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dc35f46364e9c5947f00ef22b2399dec318ad03c","datavalue":{"value":"6724861","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2627596$83A8C167-552E-4A6A-8C29-66506745DA86","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbed3e3a0ae20e656ace325ceea731e2a6787906","datavalue":{"value":"kSAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q2627596$3D288010-B45C-40D3-884C-03CDEC25CFD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a08efa1a08a750d06fca0196004a17a02a35c592","datavalue":{"value":"linear programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2627596$1CEFA9E3-F12D-4932-A5E8-72A450A783B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"856e320dea003be8066c713b15ecd4f50d63e44b","datavalue":{"value":"multi-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2627596$8635B10D-F585-4E12-AA6C-CE8C27CB4226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdde7b45dbb3f8df248ead9902e8db0fb791e374","datavalue":{"value":"polynomial time algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q2627596$0DC77229-5561-47BB-AE09-3C9F6FCF5AA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2627596$94E06442-3BB1-4F0F-A2F8-A71048D7B38D","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":"Q2627596$D6CED91F-A92A-405F-B074-D94DA9BA79E6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2627596","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2627596"}}}}}