{"entities":{"Q1200758":{"pageid":1211507,"ns":120,"title":"Item:Q1200758","lastrevid":47114515,"modified":"2025-12-31T17:41:00Z","type":"item","id":"Q1200758","labels":{"en":{"language":"en","value":"An efficient algorithm for the 3-satisfiability problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 95769"}},"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":"Q1200758$B32830D9-100B-4A44-921F-8EEAFCBF5641","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9cd068126668eb2169d6c93d38d593163e5bbc59","datavalue":{"value":{"text":"An efficient algorithm for the 3-satisfiability problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1200758$6FB98722-DAAA-432A-BD39-F9C9A8923D12","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4f0a3ab7615aa60413605b0bccb094c55c08e1fd","datavalue":{"value":"0757.90059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1200758$FD58E4F7-8B4A-44E9-A13E-6F541B4CF782","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6e501acdc694b2374426cfbb52391c283e3aea69","datavalue":{"value":"10.1016/0167-6377(92)90019-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1200758$2B88F509-B5E7-4C3D-8092-4BB8BBF47C81","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b1f1c6a8167c7f3e97dc242c6c4f58c64741e146","datavalue":{"value":{"entity-type":"item","numeric-id":176416,"id":"Q176416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200758$9B65DA9E-E99D-44A1-8450-1705DD72CCE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b55f657605a88430f5c1fce5fb12d3be88e6ac54","datavalue":{"value":{"entity-type":"item","numeric-id":1190603,"id":"Q1190603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200758$354EC050-B556-451B-A5AA-E8ADAA4038FC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f9747a37b0b56aeca2085282046e2737cd5087ca","datavalue":{"value":{"entity-type":"item","numeric-id":96289,"id":"Q96289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200758$64BAFEE7-B521-499F-ADE1-1B1E0D6B7D14","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be1a65edbb43ce1fc59464f99e70afbd93e8e2a0","datavalue":{"value":{"time":"+1993-01-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":"Q1200758$21DBC454-DE76-4F15-B1C7-38F30B8D0ECE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6958ea3363ca9244e0da0201efd237a8410f9a0c","datavalue":{"value":"90C09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1200758$8E17A479-3C98-4D1D-8877-63770474CE52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d550400b67148ac150a943881fbd05e682ea56f5","datavalue":{"value":"90-08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1200758$71F27914-C3E2-4493-89E3-AD2C05FA4451","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8454bfeabc569afb4fff4421294b65ce8a7ab134","datavalue":{"value":"95769","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1200758$5A086AE9-C7FF-49C3-B974-C6270220A50B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b4d6e6089943a261128dec792d30fd4cdc9763","datavalue":{"value":"satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1200758$81B3B2D7-4C5E-4774-AD59-A47299D3E648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09d0a9294dcfe8567186ad415dc7d020d3ae9fe3","datavalue":{"value":"Davis and Putnam scheme","type":"string"},"datatype":"string"},"type":"statement","id":"Q1200758$E0899453-6302-4FFD-85BE-25C65A659002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83734339b0973d51348db91fde0f6b7b6496a065","datavalue":{"value":"concensus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1200758$D6A3A13C-4E51-4D11-8815-2950D362C6FF","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":"Q1200758$BF5BEEF8-E1E7-4F1F-859E-981E25552D40","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cf035d2fecb7e445991dd16e141f37bab3768a8","datavalue":{"value":{"entity-type":"item","numeric-id":1254112,"id":"Q1254112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200758$F5F2029B-6FE8-4FFA-9056-1F969A98AD7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47f53683ef323d99def8db920b583feaf053fe0f","datavalue":{"value":{"entity-type":"item","numeric-id":1100931,"id":"Q1100931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200758$4D7D8496-3AD3-4A19-88FD-DC0F3C94FB7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef757ecac8e00102e8fe2d81d7657ee3391ff698","datavalue":{"value":{"entity-type":"item","numeric-id":4138187,"id":"Q4138187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200758$1A126EFC-B170-43C4-BD4C-DFDCE2088446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200758$E0E7BD77-DB34-4424-97AA-4F830A274533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a73f079fad88596351ff709cf186cec234a2805","datavalue":{"value":{"entity-type":"item","numeric-id":3723723,"id":"Q3723723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200758$ADE3324F-5363-46C6-A406-787B99B8E215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55223ae6f91a9a3c0f6a3be0cfb6236eaf5fcb6a","datavalue":{"value":{"entity-type":"item","numeric-id":4132234,"id":"Q4132234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200758$96A52C23-5E3D-4027-9962-8E39AEB59FFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"903be65f2ce4dfc9de2cb4616261a15d63aa1637","datavalue":{"value":{"entity-type":"item","numeric-id":3826123,"id":"Q3826123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200758$D6B18EAF-477B-4970-9508-34B16FAA6812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1aa9e8bb4ef37ec285d6c238c3f5aa5ed5c9a38","datavalue":{"value":{"entity-type":"item","numeric-id":4139711,"id":"Q4139711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200758$81AE9FF0-85E9-4AA8-85F5-2592378491BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"633481678a0836b3846b49aa8db13fb38104e9a2","datavalue":{"value":{"entity-type":"item","numeric-id":1082830,"id":"Q1082830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200758$5F9DF87B-9943-4F38-99D8-70212DE2D722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d2a0de63ef37c927b318d77f47f00a69c6cf8d4","datavalue":{"value":{"entity-type":"item","numeric-id":3335000,"id":"Q3335000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200758$1E2B31A0-F736-4288-9217-97DE530034FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a322072d61e727264c22e3579c7d0b7212edd6f","datavalue":{"value":{"entity-type":"item","numeric-id":5814795,"id":"Q5814795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200758$40339DCA-5F7B-4833-A90F-40A0AC221508","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4c2f537ebf2503bef486e1fc71051ddc51287164","datavalue":{"value":"https://doi.org/10.1016/0167-6377(92)90019-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q1200758$39CFE9BD-92F5-4538-BE8D-BC7EC2F4BFBD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c7f0d11960c8443a047a966d7b554efe76bfcf9b","datavalue":{"value":"W2067478703","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1200758$7B8A012E-86C5-4D10-BF63-260B56E4C956","rank":"normal"}],"P1643":[{"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":"045104ed9ed00489910770d7ac9dfa4aa974283f","datavalue":{"value":{"amount":"+0.8653994798660278","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":"Q1200758$214F9392-BD19-4AE7-8430-DDA22E02975D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a29e179bbf06cf64dcb40b6c39cad4b300e7df5","datavalue":{"value":{"entity-type":"item","numeric-id":1356218,"id":"Q1356218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2598e49be57271c642299c3ff01b432832be20c","datavalue":{"value":{"amount":"+0.8578456044197083","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":"Q1200758$52EF4189-DA2B-4D3C-BF97-82F6809BEE1B","rank":"normal"},{"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":"5b78b0722ea62fc824b5053fcf95e01447418872","datavalue":{"value":{"amount":"+0.8421251177787781","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":"Q1200758$D4D170CB-51EE-42A8-93B2-BB58B8DBC5D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf2068748f59fd6e2e2a72df0bd8ccdea859c138","datavalue":{"value":{"entity-type":"item","numeric-id":2747196,"id":"Q2747196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3bcf972a6fb549b573e1c445892851914185b48","datavalue":{"value":{"amount":"+0.8370671272277832","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":"Q1200758$58A771F3-E923-4A0C-9E6C-409A4F136C13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f5b4347d711ac59d6b334b7fc872e5974d956a6","datavalue":{"value":{"entity-type":"item","numeric-id":3758242,"id":"Q3758242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c55a8e0d7cd2a85233375b62a8393c40bbc63e85","datavalue":{"value":{"amount":"+0.8275025486946106","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":"Q1200758$C3964FEB-3CC5-4C0C-8BFA-CFEE4C5620E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1200758","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1200758"}}}}}