{"entities":{"Q862398":{"pageid":864246,"ns":120,"title":"Item:Q862398","lastrevid":64939002,"modified":"2026-04-11T23:14:06Z","type":"item","id":"Q862398","labels":{"en":{"language":"en","value":"Heuristic-based backtracking relaxation for propositional satisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5118121"}},"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":"Q862398$BE718EF9-B18B-40F2-805A-42345E1DA88E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"22d0c90b705aa861653b96bd500f4ca14ef25ec7","datavalue":{"value":{"text":"Heuristic-based backtracking relaxation for propositional satisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q862398$125A5025-D44F-4C5D-8D49-24D0BE617831","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cc5106ae21c068b1346c35f48833d3be0db14213","datavalue":{"value":"1109.68099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862398$BC5ABE6E-4192-4B81-A0A5-42981586B7A1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc5125918c50656ecb469154d832128e942dac7d","datavalue":{"value":{"entity-type":"item","numeric-id":862396,"id":"Q862396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862398$6495BFC4-9F89-45E1-AB75-68229AC51819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"407e41d2014cb38969f273806ce1eb535a6eb9fb","datavalue":{"value":{"entity-type":"item","numeric-id":421450,"id":"Q421450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862398$4DDF4C9C-6405-464C-B81F-DDE027A28870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"33adc6de16375c5faefd1c54032efc988b45d5ed","datavalue":{"value":{"entity-type":"item","numeric-id":862397,"id":"Q862397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862398$276F2896-7264-4EB8-9176-8F27150FB121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"41df06f4fe4133fafd7ede4eda94dd022be9bb8e","datavalue":{"value":{"entity-type":"item","numeric-id":1430295,"id":"Q1430295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862398$83278EAB-835F-4212-8324-0A81377D9FBC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862398$21A56B16-B296-4C05-9E29-BCF2FBDC42D9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b780548d1931bae4ac5b1caff374698a268a9351","datavalue":{"value":{"time":"+2007-01-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q862398$08EA4864-9EE9-4C01-A421-EBAE1CDB5BA6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6f2e8adb49b933226ee4b820e5b3bac915089619","datavalue":{"value":"https://eprints.soton.ac.uk/262056/1/jpms-jar05.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q862398$3E15A217-03C5-4180-ACB0-B6265D36ABCE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862398$1CC11A76-EF4D-4E2A-A82B-C34FFA16BDDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f97694d44af155a68434cb72eabc6a4d5dd5227","datavalue":{"value":"68P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862398$04CEFDA8-9034-4B8C-9D7A-4156254AB44C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79b3bc872b6637176b35f9e46ac855febbf884f5","datavalue":{"value":"68W05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862398$707F6A8C-AB11-4EF3-80F6-0278881D4A6E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fff64f1326faad9ff63945f40a8b7d4d5d71c0fc","datavalue":{"value":"5118121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862398$43A46700-8651-49A2-B510-84D8C98D6A2D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b177f81a7f0223bd8c89cef0c472067416bb492","datavalue":{"value":"backtrack search algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q862398$C95EEDDF-509E-4DE3-AD2B-F7825EDA71E3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b029c35ffabe60b7d29584a6d40b4cb278ba542d","datavalue":{"value":{"entity-type":"item","numeric-id":18983,"id":"Q18983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862398$2661D48F-322E-4502-8E77-D015E434A362","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":"Q862398$55EB9C6D-CB66-493F-BC73-E05ECBB383B3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4f98d40a8328fa97e7967d0f81b8f2813c261f54","datavalue":{"value":"W1970908002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862398$711A8730-2942-49FA-901C-0C779CE16226","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"06abc869dee57fcd899da7ce0facfa1d28b4c229","datavalue":{"value":{"entity-type":"item","numeric-id":4473048,"id":"Q4473048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862398$9AB9C2CC-B28D-40F9-B5E1-E07ADF322E4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7395ff073ce0a5d59ad52fefa006d23dd820a823","datavalue":{"value":{"entity-type":"item","numeric-id":5191554,"id":"Q5191554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862398$1C37E11E-9DCC-45A5-8D56-42400D12939E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862398$13E98444-6244-4473-A479-195F7F62EA0E","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":"Q862398$A7FCC5F7-977F-4DE6-A367-5DB252F7DF96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9153e1bab82c8228248e1d3031319311a096e7c","datavalue":{"value":{"entity-type":"item","numeric-id":4386920,"id":"Q4386920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862398$99022EC3-CABB-45BA-93CB-AF1194B92260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a4e5a53e0dfb461a031c176f64c5f2500b9aebd","datavalue":{"value":{"entity-type":"item","numeric-id":4475671,"id":"Q4475671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862398$459E38A3-CB7D-4EB5-AE8A-A2B357D01C77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0b137517fe23c8d436635678460a6c51617fb70","datavalue":{"value":{"entity-type":"item","numeric-id":1606115,"id":"Q1606115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862398$61CCF6C3-29BA-4B42-BA20-F8640C240D93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b87c68863607ce1a04558fd4891d0c56910fcf4e","datavalue":{"value":{"entity-type":"item","numeric-id":2741524,"id":"Q2741524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862398$2CEA433B-8D75-4D70-9054-8FAE356DF089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bdaaa147a6884104ab9f5811a4acd976b086ee9","datavalue":{"value":{"entity-type":"item","numeric-id":4473036,"id":"Q4473036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862398$A589082D-CA09-4AAB-BC9E-637488F18C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbceada993486a3c4d17df48f29d368cc6ce2e48","datavalue":{"value":{"entity-type":"item","numeric-id":1581850,"id":"Q1581850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862398$8B36968F-DD80-4710-AA8A-5BA7776C2C08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31b266c721655122dbe400bbee292733bb46b20d","datavalue":{"value":{"entity-type":"item","numeric-id":1244202,"id":"Q1244202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862398$B381B467-3676-4503-A2D0-16D8C00823DB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a77b44fa3f2172a22c2ad993941dfa120abb5b42","datavalue":{"value":"10.1007/S10817-005-9005-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862398$09FB1197-45A1-4C7F-B99F-FCD2EBA95F04","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92c395ce850d0e09094a6271daaef0bb30d1236c","datavalue":{"value":{"entity-type":"item","numeric-id":5191554,"id":"Q5191554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dc5cae86a145d88f41d9ace158ee59f5652b9dd","datavalue":{"value":{"amount":"+0.95672643","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q862398$37592778-85D3-4FEE-803E-D4A430F13146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a25acd040c09e6207c13928bf0b70415c0cd177","datavalue":{"value":{"entity-type":"item","numeric-id":4539619,"id":"Q4539619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e455773a4361f2be5601e805f01757f16381a3f","datavalue":{"value":{"amount":"+0.8842356","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q862398$3E8D848F-7BAA-4995-A47D-736EFE88CB80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db4df59161d956a54a7803e0bec38903787d6f87","datavalue":{"value":{"entity-type":"item","numeric-id":1605408,"id":"Q1605408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f0c84bf112df9d9174d1f1824007565d861ab8a","datavalue":{"value":{"amount":"+0.87399024","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q862398$11021BEA-AF61-4746-9651-4C49E33D12E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2e8b676e4df73b916e8709fcdd73767eda5020e","datavalue":{"value":{"entity-type":"item","numeric-id":5713744,"id":"Q5713744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"955435f58fdd7e42f3679944e60b5bee6c104911","datavalue":{"value":{"amount":"+0.86819845","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q862398$344F8C29-200A-4201-BFCC-9336C16C5277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23d34e4773912ab2d3a6f77d266e1fa7f3f66667","datavalue":{"value":{"entity-type":"item","numeric-id":1861908,"id":"Q1861908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57725a1bd0d3be02c4203867c3a81f83f8222557","datavalue":{"value":{"amount":"+0.85825956","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q862398$F5882192-8883-4DDE-85F8-0C137AD26041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50b28595fe2a66dd9fbabee481098635502a6cd5","datavalue":{"value":{"entity-type":"item","numeric-id":814445,"id":"Q814445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7bff767fe0d8fcb4d122c7dbfdc3968daefe165","datavalue":{"value":{"amount":"+0.8556482","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q862398$3350F98E-7546-456D-A0A4-08D1103D1D22","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":"7b99211dd8fcd3d5c74321a47694a68fa00f5c00","datavalue":{"value":{"amount":"+0.85553074","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q862398$C8E6197B-2FD3-42E0-9C32-E0C6FE599980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a66c556def582a23ed0aca1fc377976de310b661","datavalue":{"value":{"entity-type":"item","numeric-id":3401666,"id":"Q3401666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cca3c25f113e8093bf1e30b8bb81672c7ef4fcb","datavalue":{"value":{"amount":"+0.85514253","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q862398$2721EACC-A254-44A0-8389-C1528C88951C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Heuristic-based backtracking relaxation for propositional satisfiability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Heuristic-based_backtracking_relaxation_for_propositional_satisfiability"}}}}}