{"entities":{"Q3826123":{"pageid":5856029,"ns":120,"title":"Item:Q3826123","lastrevid":54465257,"modified":"2026-01-26T23:24:18Z","type":"item","id":"Q3826123","labels":{"en":{"language":"en","value":"Algorithms for testing the satisfiability of propositional formulae"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4100632"}},"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":"Q3826123$33E270FC-9936-41E6-B2C3-DDBB9C3C59BE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"20edd560f4ccea4b3d7ba796b38eb31a6e2d6f84","datavalue":{"value":{"text":"Algorithms for testing the satisfiability of propositional formulae","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3826123$FA7C9501-B716-4553-AC9B-1DB57A6B5761","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8929a5207d5fbef3039d8b9a9bf27c9f3d44ef87","datavalue":{"value":"0672.68044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3826123$29B56687-7E14-429C-AEA0-BE04FFE6D104","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e89b45a32bb42891b9e4b423cfa293f30cb90c69","datavalue":{"value":"10.1016/0743-1066(89)90009-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3826123$D0A681E7-A347-4392-9FF1-86F8586473FC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f9c055c1e99412bf37f14c70ff5d3ab10f6a171","datavalue":{"value":{"entity-type":"item","numeric-id":242826,"id":"Q242826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3826123$C1C24885-F578-4675-B7CC-BE448E9E3ACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"43d3c136effe3ad088e9dbe9ebcc698077673d52","datavalue":{"value":{"entity-type":"item","numeric-id":3826122,"id":"Q3826122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3826123$D6CBE346-321B-48B8-8714-3494FBB64284","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7eb8fbff5b5a1996cd7eff3ff7a29f3a29661a8f","datavalue":{"value":{"entity-type":"item","numeric-id":3030270,"id":"Q3030270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3826123$C919A6E0-5086-4FF1-BCB9-94BE5A29A823","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q3826123$C84BE6D8-F68F-472B-8CE3-E3AF9AAF2BB4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3826123$E6C33A29-E817-4940-8E03-E486DC9F4773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3826123$F5EE8C22-EC27-4ED2-AA2F-2FEC81CED0E4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3804066e1c311a30ae10df2ea3967bc76732b6fe","datavalue":{"value":"4100632","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3826123$AF1F89B0-EA32-42F2-9111-51F95344B4A8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75f7fe19f725521885c5a40b8a361664ab1a2991","datavalue":{"value":"efficiency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3826123$272F6B56-E4DE-4C9A-A790-1678427D7443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e8bce472c4bb7ae24dde351b36fbc8044143769","datavalue":{"value":"satisfiability for Horn clauses algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q3826123$2E418EE8-AF0C-43D7-8726-E99329E56EC1","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":"Q3826123$6D26E6FC-19D8-4983-A8ED-BB825CE1A946","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4ab3833b3f687626abe5850222e43a708ceb60a1","datavalue":{"value":"https://doi.org/10.1016/0743-1066(89)90009-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q3826123$84C246FC-562A-4B51-B78B-DCA228CDD3B0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"655ded93b61ff461154ef7d58e621da375d24806","datavalue":{"value":"W2084642537","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3826123$E9574FD3-4AC5-48C5-9F18-6328438DBA18","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2105f0c71536059d0b6d9a52909981c1a5ac2ee","datavalue":{"value":{"entity-type":"item","numeric-id":3723723,"id":"Q3723723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7975336668e1a28a481cf1e3d91e287570d0e91","datavalue":{"value":{"amount":"+0.883956789970398","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":"Q3826123$6D1A134B-A2C9-4544-94DA-F4DB718DFA85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e68a4ecd14d9185b0b097d26bcd476c19dadcf82","datavalue":{"value":{"entity-type":"item","numeric-id":4319327,"id":"Q4319327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee6df4ae3675ec1d7ee8f2bb5e39025ebf9909a7","datavalue":{"value":{"amount":"+0.8649214506149292","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":"Q3826123$B0C7A919-E4D0-4B98-A765-75229CC74AAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42bfcd7c99538f13f94bdcfe38328212eab1a212","datavalue":{"value":{"entity-type":"item","numeric-id":5939378,"id":"Q5939378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cef8ad516f077b04931430743576caa05062cd1","datavalue":{"value":{"amount":"+0.8512682914733887","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":"Q3826123$F1D928AF-EB63-48AE-BA6B-C1161E648176","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":"8e76cb68faedda0360bf8eb8e71e8be1d0660fa4","datavalue":{"value":{"amount":"+0.8432590365409851","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":"Q3826123$F0151D47-926B-4FD7-8ADB-3C357B78A785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91f79b1729636ce57d55e265f1655f3ed08999e3","datavalue":{"value":{"entity-type":"item","numeric-id":1111774,"id":"Q1111774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51f5bb426bb199e9e5fefbf09cc9090b76aebbc4","datavalue":{"value":{"amount":"+0.8366081118583679","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":"Q3826123$AB2C403B-6D88-4B2A-8E3A-41C5A2D03419","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3826123","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3826123"}}}}}