{"entities":{"Q1770407":{"pageid":1781149,"ns":120,"title":"Item:Q1770407","lastrevid":48453016,"modified":"2026-01-04T20:50:25Z","type":"item","id":"Q1770407","labels":{"en":{"language":"en","value":"New algorithms for exact satisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2153200"}},"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":"Q1770407$AAA9310D-A8D2-447B-9F0C-39C5A0C83A58","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"91a71ef7692dd225c77ea203b333b57335733e27","datavalue":{"value":{"text":"New algorithms for exact satisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1770407$73095051-F3D8-4596-BC85-0D3883787BC2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4f4d53f4c0b1f79a389c7043c1b36bd22c48f4fb","datavalue":{"value":"1070.68049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770407$014579F4-4AB4-45AB-A982-F47BBC3C6F06","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6dbc20ac1a77bd42924e5c21ecb7baf5c72f56c","datavalue":{"value":{"entity-type":"item","numeric-id":703279,"id":"Q703279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770407$C6EBEA13-06FB-4216-B596-655C71CAEEA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"13badb61d457e55fc25043d8ef12d50b9916d699","datavalue":{"value":{"entity-type":"item","numeric-id":1045884,"id":"Q1045884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770407$2B091536-AF71-4CF2-8F6E-97D4F1E1E247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9aa1e1ef4436786283b20a0537a9cdc55310a1ea","datavalue":{"value":{"entity-type":"item","numeric-id":1770406,"id":"Q1770406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770407$E74C60AD-0306-4700-A1A9-B657687A2781","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770407$5798F929-0CD4-4780-994C-5317CE949862","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1934d792c26a5fadc4b54d2e40cc5c88366797ca","datavalue":{"value":{"time":"+2005-04-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1770407$1D035FAF-BA12-4FF0-BFB5-7ACDE1B7946B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770407$8F39AE5B-B42D-4377-A4ED-91D938E110BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79b3bc872b6637176b35f9e46ac855febbf884f5","datavalue":{"value":"68W05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770407$6A50A0CE-E767-4C57-B6CE-5D4DCF9F425E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4b7bc5aa4642293ff7fe3bbccca5a88d21cd8c74","datavalue":{"value":"2153200","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770407$3020D011-776B-429A-A26F-0A2D6C010EBE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09016664ab46e3e3abf9de27a45f7e3d7473bdc9","datavalue":{"value":"Exact Satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770407$A46797F2-A603-4E7D-9168-51B8EAE8888B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb7eb41508a77702eb45044b3adcc261f9a1ae45","datavalue":{"value":"Exact 3-Satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770407$2978AD90-F4C3-49E4-9DD1-9ECA7C4D4E46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21f39e3e28537d7dff3947b1b50a1b16a4c3b897","datavalue":{"value":"Exact solution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770407$05AAEA72-5531-465B-8F7D-B66DC8B40B6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"967ac6ae49d8e9eb384634287be1006a6a0101cf","datavalue":{"value":"Branch-and-reduce algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770407$35A411DB-AA9E-4105-991F-590EE0A73985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c06335f697be946454a821a25197a9d8f18d64b6","datavalue":{"value":"Exponential-time algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770407$8BD346DB-0681-4DF0-B1A5-EC8D60278F40","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":"Q1770407$F5761AC2-6BFC-4923-BB08-206A1C4FF40D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bfd5e832735b5bfd176c80862d5c8865f3500ffc","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2004.12.023","type":"string"},"datatype":"url"},"type":"statement","id":"Q1770407$1DE59A5B-53B9-4430-89E0-1119C4EA7756","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9c413c6eabc4242682c582057b2a9c46f7597459","datavalue":{"value":"W2034758366","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770407$D280F015-661A-4346-9C7F-7D9945B9EF66","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"315e8d6e6021b4878350ddba09efe7c96a57721c","datavalue":{"value":{"entity-type":"item","numeric-id":596105,"id":"Q596105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770407$BAA0CFB8-CA28-4921-A3A1-8A7ADC4EB81D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"893afdd99937d08f880fdd7ae5ff39cc9b10ee94","datavalue":{"value":{"entity-type":"item","numeric-id":1853491,"id":"Q1853491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770407$9DADC3D8-3308-4E51-B271-DBD6709CE545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bbfa834970c2d1f9247d00d5b6de7ad66a60892","datavalue":{"value":{"entity-type":"item","numeric-id":2577590,"id":"Q2577590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770407$09C2E697-594B-409B-A9EC-B6F229275C93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be1c16314d571ac552ffc4dba48f547b3438465b","datavalue":{"value":{"entity-type":"item","numeric-id":4747916,"id":"Q4747916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770407$A5DC9DF9-C92D-415F-92A1-D59A68BD0D1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbb15791da524869363b6c8c61e56ac9e8caaff4","datavalue":{"value":{"entity-type":"item","numeric-id":1777401,"id":"Q1777401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770407$FCE0FF88-A90C-4DE8-9B47-40D8DD700062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e759b8ddc389f8b42bb244f19be1adfe6bb34c7","datavalue":{"value":{"entity-type":"item","numeric-id":5402560,"id":"Q5402560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770407$B219FF91-8B4D-498B-B073-B0C334058C73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8004eae2ffc5a942ba5a6e8374f263f0fbb9e96","datavalue":{"value":{"entity-type":"item","numeric-id":3912012,"id":"Q3912012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770407$00C0C696-6020-4968-A198-3809AA58EECF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0e4590085331cd3584473063c728a1e8f9fd7cb4","datavalue":{"value":"10.1016/J.TCS.2004.12.023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770407$49122F1C-220D-431A-9E7F-3FDD0FC71496","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a656f063de935ced5cb23a06c4a0b1791f8e1531","datavalue":{"value":{"entity-type":"item","numeric-id":596105,"id":"Q596105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc4ee202f4d4eaf4de924fb593bb756423aca1f9","datavalue":{"value":{"amount":"+0.8918740153312683","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":"Q1770407$4E35D7DF-C7A2-41F1-8890-4C984AFB7D1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddb237ec0f03166e294e8c0d7afb00e933d9e13c","datavalue":{"value":{"entity-type":"item","numeric-id":2232607,"id":"Q2232607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32207942051e5c39ffa676fd50e03a20f740d7bc","datavalue":{"value":{"amount":"+0.8879273533821106","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":"Q1770407$AFC4CF5A-ABD3-415F-A289-239DE4ED1CC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"501efdd6431b5a19076722dc325d27a324763638","datavalue":{"value":{"entity-type":"item","numeric-id":2577590,"id":"Q2577590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9259c0ae97b86d88b833081760052d3f0b16c1b","datavalue":{"value":{"amount":"+0.8684669733047485","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":"Q1770407$2C5D60D5-ABE8-4A47-93AA-CD03D137891E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9986e02c5aab6f5268df740b8a4e3c1aa1577d5","datavalue":{"value":{"entity-type":"item","numeric-id":1777401,"id":"Q1777401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36d44c8782ac8161b8658ab611683676ef4a343a","datavalue":{"value":{"amount":"+0.8658588528633118","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":"Q1770407$D810DC84-5E62-463F-B033-E8F8F6F4EE90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e020baa285480e1d6376d4ef1a0f52fe495bf60","datavalue":{"value":{"entity-type":"item","numeric-id":1045885,"id":"Q1045885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a70e761514e70852112673d0db409d591ecf13c4","datavalue":{"value":{"amount":"+0.8629076480865479","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":"Q1770407$ADF85A24-3C40-4807-B25C-3120612A9357","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1770407","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1770407"}}}}}