{"entities":{"Q5381999":{"pageid":7411573,"ns":120,"title":"Item:Q5381999","lastrevid":101113499,"modified":"2026-06-05T23:54:36Z","type":"item","id":"Q5381999","labels":{"en":{"language":"en","value":"$O(1.890^n)$ exact algorithm for a class of separable SAT problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7071588"}},"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":"Q5381999$8D484C7F-CC18-47E2-8DA1-6FDDE1D3D0E6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6fbca2a0bc9abd8d1b18e5b792c9fab0a53293d0","datavalue":{"value":"1424.68150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5381999$CF3E32C3-07F5-4826-AA36-BB689A6FCCB6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"664fd3b304f33c54fa9c645668b614d5e5a7e3f6","datavalue":{"value":{"entity-type":"item","numeric-id":867024,"id":"Q867024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5381999$C0A980FE-7D69-472D-8699-B8ADF68E8C31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c9b5d9391b478bedd4f92ecd85c211a5fab5648","datavalue":{"value":{"entity-type":"item","numeric-id":5381998,"id":"Q5381998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5381999$46D6B4F0-0DBC-4056-B403-15DB3B59FDD0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e5d802cb4234323fb0bcc54172e16aa118515daa","datavalue":{"value":{"time":"+2019-06-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5381999$F54FB71E-A513-465B-B77F-961DE4CEC409","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5381999$A0C8E811-65FD-405C-A19A-3A342EF47059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5381999$F1D76EC1-F510-4BBC-A849-774F335F4A3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5381999$B87D434B-BDAC-476F-81BF-7CB3005C4AF2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fc183409572e9d2ff89d74330b0f6be6093e90ec","datavalue":{"value":"7071588","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5381999$1A86C5DF-DB0E-4A28-BA8A-970905C43314","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b4d6e6089943a261128dec792d30fd4cdc9763","datavalue":{"value":"satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5381999$78B2273A-9AD3-44D3-94AA-382B754E5F6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50dc5a1d041f9e444212e60e5236dde69d229f7d","datavalue":{"value":"NP-complete problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5381999$BD965DBC-69B7-4AB3-A482-B4F0FE757E0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a7a6e51a5e3288f11a6f10253b6cadc938f456f","datavalue":{"value":"regular separability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5381999$73E05777-266C-4FD4-BE83-B845C41FC7E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56c22d5775221423046cc5c67c2b493cdcf52842","datavalue":{"value":"exact algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q5381999$648F6FC4-FE07-4E15-9883-2443AE89A5DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b685acef9baebbba70a348afa943c2c2ec475cf","datavalue":{"value":"algorithm complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5381999$937AE05D-7855-46A4-8DE3-A9B99A870573","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":"Q5381999$5F3D33B6-1E8F-4298-8F38-1237C422FA3D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2a07da52b0aa11229b2e99427845a2c97195c623","datavalue":{"value":"http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?flag=1&file_no=5378&journal_id=jos","type":"string"},"datatype":"url"},"type":"statement","id":"Q5381999$B1818A29-7426-474D-A783-78A2C014A330","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6f57aaff8a79cf09f25b969030a92d03d7e3d9fc","datavalue":{"value":"W2905254837","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5381999$BF53F323-7E6E-4FC7-8704-EF730597F886","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eda565d8ba31758a0ff756a98d9988cae5072159","datavalue":{"value":{"text":"\u4e00\u7c7b\u53ef\u5206\u79bbSAT\u95ee\u9898\u7684O(1.890 n )\u7cbe\u786e\u7b97\u6cd5","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5381999$D3CA4E6D-A206-4D96-9930-5291F99B6C71","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0928895eb5535e6b661f0b827887c0a06f417c14","datavalue":{"value":"10.13328/J.CNKI.JOS.005378","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5381999$00CC7997-9C56-4BF3-ADB9-78039C8358CE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e69c1864d8d72ba106a26af3be9f669bbb1df736","datavalue":{"value":{"entity-type":"item","numeric-id":1770407,"id":"Q1770407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"413d9f3cd8fcef1a00e9a6d97f279f5f043b8b03","datavalue":{"value":{"amount":"+0.8076746463775635","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":"Q5381999$8F87AAC8-0763-4064-B8B4-CA71499B3EFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f68dd49e8d790217f4c6e141204af1920c329f5f","datavalue":{"value":{"entity-type":"item","numeric-id":4283247,"id":"Q4283247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91cb0b967469a180f3aa6850db318296019775a4","datavalue":{"value":{"amount":"+0.7991796731948853","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":"Q5381999$E2FBF261-D9D3-4EF7-A7B2-7DB0998A50A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8528582994f570630dae67ca70f0f69831952833","datavalue":{"value":{"entity-type":"item","numeric-id":4525695,"id":"Q4525695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac18cfc7ee515ee45137080d16197433bd88a519","datavalue":{"value":{"amount":"+0.7983213663101196","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":"Q5381999$7C59F9CF-33A8-4169-8877-23DD70E7891B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1e5a5770bdd285cf8e690dd1b104b3917e17995","datavalue":{"value":{"entity-type":"item","numeric-id":5475823,"id":"Q5475823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40ed1bfe7726122782c065ae9677196b6a5543b1","datavalue":{"value":{"amount":"+0.7969863414764404","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":"Q5381999$7F57D2A2-76D6-4872-B0C3-F54E0F95723A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15a70819846788d416b920a93f8abda03516a96d","datavalue":{"value":{"entity-type":"item","numeric-id":5325857,"id":"Q5325857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2456bb726b454d51cd1051cecec17f8a4e81c36a","datavalue":{"value":{"amount":"+0.7861194610595703","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":"Q5381999$76E8CB31-F852-42A4-AAC1-2C807F8F52C1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"$O(1.890^n)$ exact algorithm for a class of separable SAT problems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/$O(1.890%5En)$_exact_algorithm_for_a_class_of_separable_SAT_problems"}}}}}