{"entities":{"Q6655885":{"pageid":14267042,"ns":120,"title":"Item:Q6655885","lastrevid":103785830,"modified":"2026-06-06T08:11:05Z","type":"item","id":"Q6655885","labels":{"en":{"language":"en","value":"PPSZ for general \\(k\\)-SAT and CSP -- making Hertli's analysis simpler and 3-SAT faster"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7960914"}},"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":"Q6655885$54EAD12F-BF08-441A-9F0F-6AA0C46226ED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5fb30a03e6b5c86c47ce1639f208ceff108a07ac","datavalue":{"value":{"text":"PPSZ for general \\(k\\)-SAT and CSP -- making Hertli's analysis simpler and 3-SAT faster","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6655885$5B348090-7F64-4BB5-A927-1EAC7076F837","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce7e84173488f1183a181f28a35218eb7a3c08a8","datavalue":{"value":{"entity-type":"item","numeric-id":1728404,"id":"Q1728404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6655885$20B941B6-BD9D-4266-8669-B827BE43BA40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"55145c53b2e12dda40116025a969075735313cd1","datavalue":{"value":{"entity-type":"item","numeric-id":927817,"id":"Q927817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6655885$DE21A2C3-85F0-4BD5-9F9B-C8F0FF85DFBB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4472b31ebff52fa964618256e5b76c8eb3e874c2","datavalue":{"value":{"entity-type":"item","numeric-id":172540,"id":"Q172540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6655885$053AD784-39A8-4316-BDC8-C035E97AE04F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ac86b9680bbb462103caa8fa8449c982e11153c5","datavalue":{"value":{"time":"+2024-12-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6655885$3E9BA01F-F2E5-41D8-ACB3-F2F6CB80BB01","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6655885$7CD1DD03-3046-476D-A9E7-7A50E3FDB5EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6655885$D156493B-DFFE-4E38-B459-B4F731292616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e01671c873d801b913451010c0981a684c101d40","datavalue":{"value":"68W20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6655885$39857F63-7924-4814-8078-54325D877A0A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"802d559e44a407549c38297216d61176d2b8cdf1","datavalue":{"value":"7960914","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6655885$5AD19565-6224-4A02-BFFF-DC45CF4816DF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3978d2f31bc86b19c4025fe772ec1974bbd09669","datavalue":{"value":"Boolean satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6655885$CF9C4BC3-4DB8-4DB6-8FE7-F258EB900626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0e519b65390b383ec83a918cb6818b168116181","datavalue":{"value":"exponential algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q6655885$27DFE7F9-AFAB-4501-B670-2D09D5E07061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49eb4dac5aeb1a5fd4804122c81f369b6968def6","datavalue":{"value":"randomized algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q6655885$DAB3842D-2795-4711-98B7-0185C66079E2","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":"Q6655885$D5D37624-BD4E-4D30-9F85-CBC3C4697A02","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"964933a5306ce7f04f07b5387ca8d25c89eced61","datavalue":{"value":{"entity-type":"item","numeric-id":5741800,"id":"Q5741800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6655885$5111694A-6E91-41AD-B526-29431CC9AC65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccc280474ee3ea32ff3408d45b2ca6ec8f4fd670","datavalue":{"value":{"entity-type":"item","numeric-id":5212800,"id":"Q5212800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6655885$67C564B2-C37F-4012-B66D-ADECC80D749B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"feba96bee97bf3994b52ec474616bb8389cb60fa","datavalue":{"value":{"entity-type":"item","numeric-id":5494972,"id":"Q5494972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6655885$6D56401B-9B35-4701-84C5-D34A46912FB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3746efb3fbf791db93e25fea4a2c3cf00a17d67","datavalue":{"value":{"entity-type":"item","numeric-id":5167776,"id":"Q5167776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6655885$7BE5DE6E-A720-4E8B-B8B2-092289323A15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c18a04cbe4ea162415c8d1f491a129cf88f8a8a5","datavalue":{"value":{"entity-type":"item","numeric-id":3113688,"id":"Q3113688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6655885$9E30F1E8-3485-4465-A67A-D44F910C686D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"112fa1e16c28072d1b690d88a68f10e9a878f19f","datavalue":{"value":{"entity-type":"item","numeric-id":5943094,"id":"Q5943094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6655885$D8931101-1B81-4AE0-9ED8-EFA858C72747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2574013b54c93cc3e15b533c10b6691360669cdb","datavalue":{"value":{"entity-type":"item","numeric-id":3060723,"id":"Q3060723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6655885$6F55CBE0-3FC0-4478-89A0-EDD3CF5B8D41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f84a7480c49fc409dbcbf738c5b5d98de37e02b","datavalue":{"value":{"entity-type":"item","numeric-id":5501274,"id":"Q5501274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6655885$3AC273DF-7BC1-4F6D-B7F9-0074D1927A0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbb653101e2c7951e8ba5a7fe0316fbccfc1dee4","datavalue":{"value":{"entity-type":"item","numeric-id":6147535,"id":"Q6147535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6655885$F8A8DC0C-61ED-47A6-BDED-3A620B4AE877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ab505d079acae70f31b63226f0d6d40ff5b0dd0","datavalue":{"value":{"entity-type":"item","numeric-id":3546306,"id":"Q3546306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6655885$68F67028-4BFD-455B-8948-D4A8BF5FF9F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bebba68dc7dfbaf1caac8cb5c43ad35be909acd","datavalue":{"value":{"entity-type":"item","numeric-id":4484662,"id":"Q4484662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6655885$C2B3AF88-7CA9-4A18-8447-E559E7DD4868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3c8e3789483495953a5f9f1800cb444723c7543","datavalue":{"value":{"entity-type":"item","numeric-id":5111416,"id":"Q5111416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6655885$90EDF5EF-7AC4-4538-9FCB-27155CD7F120","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de548d83411eeb9d3e331f5c608ab3d337a818b0","datavalue":{"value":{"entity-type":"item","numeric-id":5919321,"id":"Q5919321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6655885$66348051-0D96-4610-A88E-485ACCB8803B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad2bd73955595d36fe57f13b231976283a1ca60d","datavalue":{"value":{"entity-type":"item","numeric-id":3507036,"id":"Q3507036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6655885$E8B45124-BAA6-4DD5-B8E3-AB12D9D5FEC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40bd85ccc81eb03621f0b8df90a02bf3419b6711","datavalue":{"value":{"entity-type":"item","numeric-id":5205821,"id":"Q5205821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6655885$B7B50D0B-304A-4BBE-BF52-8C40806F5DAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"760f5e167b7007c1dd44beff140d4cbd188ce0e5","datavalue":{"value":{"entity-type":"item","numeric-id":5111139,"id":"Q5111139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6655885$36869A6F-D048-4F36-9C53-3868FF89FD6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46bb0b74a16823c95ebea7734ad66e26fa8e07e6","datavalue":{"value":{"entity-type":"item","numeric-id":5092450,"id":"Q5092450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6655885$B554DC86-BD15-4E81-8154-49C305D4FBFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1be71e10144448c252c924b5cce7cf0092781f66","datavalue":{"value":{"entity-type":"item","numeric-id":2181948,"id":"Q2181948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6655885$8903AC84-8592-4BCD-8121-ABE60CA44A76","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"24cf44e789f5d419aa29cf99c2b8d47db6e40ef1","datavalue":{"value":"10.1007/S00037-024-00259-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6655885$931577B9-C34C-49F2-8762-85F33283C259","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8835c75a3353a41a8a8393df3e88f7e8a3d44e2f","datavalue":{"value":{"entity-type":"item","numeric-id":5111139,"id":"Q5111139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fc141b1a3e8f7b960f447c764aac01cd6145468","datavalue":{"value":{"amount":"+0.9667910933494568","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":"Q6655885$6FC75F46-453C-49EB-8CEA-3B829692877F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81b18cb622a4a775c0b99c238803070ba4c4c9d6","datavalue":{"value":{"entity-type":"item","numeric-id":5494936,"id":"Q5494936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f24c83e976f18219bf7dc0f3678e25ea6ed84c9","datavalue":{"value":{"amount":"+0.9208667874336244","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":"Q6655885$D539C61B-E18E-4E3D-87B9-59ACAB858F64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b20fdfdc2c368e5297429f50c2b835c9e83caade","datavalue":{"value":{"entity-type":"item","numeric-id":5167776,"id":"Q5167776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69fd073202cdb7962fdd89a4c941e2f2c73259c2","datavalue":{"value":{"amount":"+0.8715566992759705","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":"Q6655885$ABB7B44F-DC27-4300-B8BC-5B156C20FE25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6394bae7d039a9946024a1021329482503113774","datavalue":{"value":{"entity-type":"item","numeric-id":5212800,"id":"Q5212800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47f2ebcf756498f61581e8db84d68b0d38cc9587","datavalue":{"value":{"amount":"+0.8663782477378845","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":"Q6655885$CC22CDD1-47B4-4341-8A75-538FC56755C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8afd6883ea2bbb41e8bdd68b4a7fde30afcb3864","datavalue":{"value":{"entity-type":"item","numeric-id":3507036,"id":"Q3507036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec7857a730063794fa473d12f663b0ccca443cb8","datavalue":{"value":{"amount":"+0.8562555909156799","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":"Q6655885$C91AD4BD-C83E-411F-8F7D-5DC68214FA48","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6655885$5AC16538-3658-4E65-9F36-B50D89967BA6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"PPSZ for general \\(k\\)-SAT and CSP -- making Hertli's analysis simpler and 3-SAT faster","badges":[]}}}}}