{"entities":{"Q4651809":{"pageid":6681390,"ns":120,"title":"Item:Q4651809","lastrevid":48416791,"modified":"2026-01-04T16:11:21Z","type":"item","id":"Q4651809","labels":{"en":{"language":"en","value":"An algorithm for the satisfiability problem of formulas in conjunctive normal form"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2136074"}},"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":"Q4651809$B8B1C35C-1788-479B-B96D-1560347E6569","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"97dc595454d956894c371af88a45c282a0cdc837","datavalue":{"value":{"text":"An algorithm for the satisfiability problem of formulas in conjunctive normal form","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4651809$54C71843-EE66-45C9-BB10-B1176ACC9889","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a15dc385a21acb8edcb4a009f56a837e8d5656d1","datavalue":{"value":"1090.68052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4651809$2E180D5F-4384-4380-8A72-67C02AF659D3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"94ed31c214c2e46155e46804659cfb6e6a2b1fbf","datavalue":{"value":{"entity-type":"item","numeric-id":598181,"id":"Q598181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4651809$7057E7EF-DE05-4814-97FF-E086095013DD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9bcfebe9d23b7752651008b0d843e08ec7c57a37","datavalue":{"value":{"entity-type":"item","numeric-id":2709787,"id":"Q2709787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4651809$1107D536-7FCF-421E-AB22-A26FE83C0BC8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e6fd9f57da46494686492c936ca92ef875382ca4","datavalue":{"value":{"time":"+2005-02-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4651809$6187DBCF-99AD-4FB1-81CB-4C66018FF98A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4651809$960DCF9A-1E13-4DDD-A831-CBD49692FD66","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"15d4e80abbbaf1263d9d762d153287b897bf6ca0","datavalue":{"value":"2136074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4651809$8B8F3E69-55AD-4034-8AA0-1B7DBBA45F49","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bb8ff692d33f378eade91f71371280b64cdd398","datavalue":{"value":"Complexity theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4651809$C298C478-AB6E-4704-826F-2F4084F97DCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf1bbad404b660dcc4f7e1f74269a25b269f6b2f","datavalue":{"value":"NP-completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4651809$E1D16716-75F0-4EA9-9551-31B00575568F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"455581ed3b6e645be3737cea850d7e95aebab246","datavalue":{"value":"CNF-SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q4651809$22C4EC61-1182-41AE-B5EA-581F0AC86595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fde99e1a3e78525963ff37ff468b737833456fba","datavalue":{"value":"Probabilistic algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4651809$5F226017-01B7-4D5D-B158-53317143BA48","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":"Q4651809$9AABE947-5C65-4929-8168-69746A900285","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"444a1a24647e0ba889855fade9eabd29d15fd63d","datavalue":{"value":"https://doi.org/10.1016/j.jalgor.2004.04.012","type":"string"},"datatype":"url"},"type":"statement","id":"Q4651809$F947B235-DBF5-48DD-8D43-7BAE4EAA86E5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1ca801c1db8da14fd9aa8281c5ed765e1d00d283","datavalue":{"value":"W2067983896","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4651809$21786F70-3B5A-4752-A167-542F94D02A4B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"764ef7bfad9b4f1df7db1fc357b1fdc7efdb0ecc","datavalue":{"value":"10.1016/J.JALGOR.2004.04.012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4651809$F13722B1-D8B0-466A-997A-C95C2A24C685","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d1fa86bb5f67d0f806395b601846298917bf334","datavalue":{"value":{"entity-type":"item","numeric-id":1082830,"id":"Q1082830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86ad8626c1c9e748b9ce00632daba9092dd7d7d1","datavalue":{"value":{"amount":"+0.8852740526199341","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":"Q4651809$A87A8C34-6E8F-4F95-81DF-8D772257F988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7c44f22df52e492976713f563fde4e11d159f1b","datavalue":{"value":{"entity-type":"item","numeric-id":1115189,"id":"Q1115189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9c4b13c2de198ea19aa7cf929da9d81f662ed35","datavalue":{"value":{"amount":"+0.863864004611969","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":"Q4651809$6195B1CD-D089-47B8-B923-5D5DCF542BBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d61d84e070a214db063b64febdc62a5edfe35cdd","datavalue":{"value":{"entity-type":"item","numeric-id":4218095,"id":"Q4218095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6008596ba8e2aaa835f721270995071bf3034419","datavalue":{"value":{"amount":"+0.862751841545105","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":"Q4651809$81B94856-CEB6-4B77-A251-20E1FAACFC12","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":"b1b515535596066d2e8fb10df70db5d228825214","datavalue":{"value":{"amount":"+0.8599875569343567","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":"Q4651809$BD4AB440-4630-4A9F-9ABE-1C42DE6FB6D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"873428e5aa7859779d79a6d2386cb091088772a6","datavalue":{"value":{"entity-type":"item","numeric-id":5390578,"id":"Q5390578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80b666a4f52e19deb99824730af5760738a44d44","datavalue":{"value":{"amount":"+0.8588425517082214","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":"Q4651809$B61F5004-98A5-4FD1-9A45-0CF3D30B1D97","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4651809","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4651809"}}}}}