{"entities":{"Q750165":{"pageid":752014,"ns":120,"title":"Item:Q750165","lastrevid":64093134,"modified":"2026-04-11T17:35:18Z","type":"item","id":"Q750165","labels":{"en":{"language":"en","value":"A dual algorithm for the satisfiability problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4174336"}},"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":"Q750165$6F307F4F-7270-4798-AC93-874C1D43F165","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"867bbf37208a0ae5eb0333334a6ce449019fb39c","datavalue":{"value":{"text":"A dual algorithm for the satisfiability problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q750165$58EED0AA-E03B-4574-B68D-333219B9AA2F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"062dd449e841ab4e4004a0fb3351b12daf79ca09","datavalue":{"value":"0713.68037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q750165$4389FAFF-7EE9-4783-B7FE-3979B54E17C0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c35e37d20f5550c69c6bacc78e47825ef5645d72","datavalue":{"value":"10.1016/0020-0190(91)90139-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q750165$07D6EE87-2534-44E0-9E36-3BA77FA08B81","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6407c57ad42d6c4bc8d368bbbf92f886705ea3a8","datavalue":{"value":{"entity-type":"item","numeric-id":750164,"id":"Q750164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750165$C121A1BE-419E-4E00-B5A7-061E60F86391","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750165$7894A1A5-5CCE-47FD-980B-B1F7347B9DE2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q750165$88B4B6F0-03A9-45F7-A241-35BD0ADA842A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4a5372688a0d668805df5d9ffd1da58833a0f595","datavalue":{"value":"68R05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q750165$650E1EB0-5CB1-41D0-B32B-E2DC1AE76EE1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cf5675331acf2c4539c58a71a521ff862676dd79","datavalue":{"value":"4174336","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q750165$2EE78B3C-92F3-4637-8196-D5B85DEB7D05","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b93d69ebc1c51cfee06b00c8b748e2b4275c0266","datavalue":{"value":"combinatorial problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q750165$E0F128C7-5AEF-467C-80FF-1BE7212276D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14c35be5c452e5bde5d0054fa90023daf0b8cc9c","datavalue":{"value":"Karnaugh map","type":"string"},"datatype":"string"},"type":"statement","id":"Q750165$F46B887C-5644-4F96-B9FA-9ABCDB171EE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q750165$6CA37852-3CDA-47C1-9CFD-03261775BE21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2085f6ca6b5f22ff227aa538ed50fc77fe1a47b","datavalue":{"value":"Davis-Putnam procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q750165$F9464BFC-50AA-4480-A483-EA3A637C26E6","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":"Q750165$A8A609CA-E5D9-468C-85CA-EE73D0EE5B31","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"75deb5e4c0bf372343243fcb485b32b6f012b431","datavalue":{"value":"https://doi.org/10.1016/0020-0190(91)90139-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q750165$DA49BA6B-5152-4313-87D2-8E3B41311F39","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"41f5694ca745debae679164dcf23ec65c605b2dc","datavalue":{"value":"W1985449594","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q750165$2E4C5E3A-1CBA-4E3E-8C68-BE6594C00A3B","rank":"normal"}],"P223":[{"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":"Q750165$7B788E92-1FB3-4E22-93D0-644D0652CAAD","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":"Q750165$486FB6FF-E01E-4D2B-8D62-E19D3D319546","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":"Q750165$9AFD458C-4244-4145-8EBF-817C5895E012","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":"Q750165$2E03E34C-69B0-469B-8407-B526CEAC8537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0d47402a18255121e8b4c37559d3eb99d007b27","datavalue":{"value":{"entity-type":"item","numeric-id":1170883,"id":"Q1170883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750165$33D4EFDC-C4F6-4A73-A83D-D1B28B310DA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e5d9c51a56730bb3dd6bd0db50d4112f0afc06f","datavalue":{"value":{"entity-type":"item","numeric-id":1100093,"id":"Q1100093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750165$F5E643B0-0CE7-40B3-BED4-C782218E040E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37930b0e05a7c335cd484274c11b37ae7a7fbabe","datavalue":{"value":{"entity-type":"item","numeric-id":3829072,"id":"Q3829072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750165$BF3294B5-29ED-4105-9A3C-67B9846FE40E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c3cf7cbf24f5ad1e6d8cb76fb93a3b15d7aa5c2","datavalue":{"value":{"entity-type":"item","numeric-id":1356218,"id":"Q1356218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750165$E93B884A-2AE0-42BA-BB10-989542CB4191","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66d468b5c540abe65339c26239e6406fad5d3590","datavalue":{"value":{"entity-type":"item","numeric-id":5687266,"id":"Q5687266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8adbd0db3723665f2a1d3e4ff479cf9822d7c97","datavalue":{"value":{"amount":"+0.837502121925354","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":"Q750165$EAA6FAF2-7DAF-482C-8727-796651446D6C","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":"69b84f0b049db5981df5a1f05ef05bd5c0d46fb8","datavalue":{"value":{"amount":"+0.8334755897521973","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":"Q750165$90742334-D5AA-4BF3-B8E4-E6F9356CA472","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":"c4ac58756750d0902816c98aa6aa108baa71b3e5","datavalue":{"value":{"amount":"+0.8215842247009277","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":"Q750165$1866D381-0F0F-4339-BB4B-5E891938F157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ff15b13e4a16816e53c2a8c38ec95e861d0039b","datavalue":{"value":{"entity-type":"item","numeric-id":3145291,"id":"Q3145291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e90156aa1213f5be168866a5a90bd748159e576","datavalue":{"value":{"amount":"+0.8203751444816589","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":"Q750165$EC1545BA-6005-49FB-8F53-21B20164D6A3","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":"618026a56c77a0398fc539adfff5f5618884becb","datavalue":{"value":{"amount":"+0.8186423778533936","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":"Q750165$6BE96B06-4589-4B31-AB3B-7EC02608ADE5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A dual algorithm for the satisfiability problem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_dual_algorithm_for_the_satisfiability_problem"}}}}}