{"entities":{"Q1861908":{"pageid":1872650,"ns":120,"title":"Item:Q1861908","lastrevid":73906518,"modified":"2026-04-14T17:41:28Z","type":"item","id":"Q1861908","labels":{"en":{"language":"en","value":"An overview of backtrack search satisfiability algorithms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1878969"}},"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":"Q1861908$3E51958E-62E5-497F-9E88-9497D590C61E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"93ec59bbad2554320a3ba3984d00b1dd41b6e9cc","datavalue":{"value":{"text":"An overview of backtrack search satisfiability algorithms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1861908$82C105EC-7C6C-4B3C-8C19-2CF1D0BF8121","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aa313b5fb3edc0dbf8d5c178b06a0d08b1c1bc69","datavalue":{"value":"1010.68069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1861908$0E944A11-2942-4548-9484-F0DA57218A7B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"23566c95534901e8b8dfa2fe0e95c9408fb80681","datavalue":{"value":"10.1023/A:1021264516079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1861908$C781C333-DB6E-4EED-B2D1-4CD8B6DF0F11","rank":"normal"}],"P16":[{"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":"Q1861908$31156AE0-B643-485E-BFDE-1C4B8C33DCA8","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":"Q1861908$32C4538E-36C3-4E2C-BF4D-033AACEBA426","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1861908$D1052EA7-C407-48D5-B408-B52B426C0FAC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"20f463f17fc7e9c2632ed067be3b2803defc648e","datavalue":{"value":{"time":"+2003-03-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1861908$277964EB-79DB-4D10-BC72-42CE00433DB1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1861908$D0CFD0CE-D7DB-42AE-A7A3-F070DC9541A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f97694d44af155a68434cb72eabc6a4d5dd5227","datavalue":{"value":"68P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1861908$982F68B0-AB20-433B-99FD-7449FB12709B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0a926fb89353dc725e0365409f83c063de6ecaad","datavalue":{"value":"1878969","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1861908$EBD22325-3BA7-4C72-AD66-38F15C2FEEC4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1861908$E513D3F4-EE6F-4366-8106-9A4FB1B6E122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67e20ec6afb054a049240872a3d9dccdc97f09e8","datavalue":{"value":"search algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1861908$D1D3944C-CAE1-4A78-96EF-B2EA65E0E0D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e8fe75ecdeef7e0425c4bb1338f9134c5adf0be","datavalue":{"value":"backtracking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1861908$3B92B005-825C-4C11-9D4F-FD7B1CC09E3B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2a216d6c09dac0df49b00b19ed2bb5c4336ef7f4","datavalue":{"value":{"entity-type":"item","numeric-id":20231,"id":"Q20231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1861908$83068AEE-B693-4D91-A9E4-4062857522F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1eaabc0e561dc484a85bd72ad458c9fb5f2683d3","datavalue":{"value":{"entity-type":"item","numeric-id":15174,"id":"Q15174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1861908$C4B7FDED-0668-4150-B438-0677CDE5FED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1861908$677D243C-67EF-4E75-AD6C-2470C48EB11C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5834864074172f90c0db592b61fbce75f9303a03","datavalue":{"value":{"entity-type":"item","numeric-id":16627,"id":"Q16627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1861908$3B29484E-E825-4921-BA9E-FA8A5AF74B96","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":"Q1861908$0D1B2FD1-1633-4A21-8381-0D2E60CF841B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"74b73617e8b1263be6acab4d63c251c899f11349","datavalue":{"value":"https://doi.org/10.1023/a:1021264516079","type":"string"},"datatype":"url"},"type":"statement","id":"Q1861908$78F5B067-9F7E-4C78-B136-D523E47A25E5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8bc4eeceffea6c5dc9d49a1734fc4111337d5d78","datavalue":{"value":"W2127309711","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1861908$FF802A09-E091-4F2A-840F-45FBA22FF19B","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":"7e5585e9be27146a7dbf610136400f2a8e8292a4","datavalue":{"value":{"amount":"+0.8668041229248047","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":"Q1861908$3A95BE07-9833-4F81-BB1B-1F2B496BCF97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39e45014e9c3851d7f1bd08b653a718a0388e232","datavalue":{"value":{"entity-type":"item","numeric-id":4475702,"id":"Q4475702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bbd54064b2ac687e30595f132d2c63f2bd828e3","datavalue":{"value":{"amount":"+0.849097728729248","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":"Q1861908$1582EBCA-4FB3-4E09-8E70-2969C3BB74A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b726400996f0ac6b6421797051092aad52dbf2a3","datavalue":{"value":{"entity-type":"item","numeric-id":2643305,"id":"Q2643305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5208140b46e09cb06fe9656978f5165af1b5ab8a","datavalue":{"value":{"amount":"+0.8392030000686646","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":"Q1861908$70C54A0B-2D43-428D-B891-7EC3945EEC7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2166d05b5c00867aa49173e2b7d434b30488055","datavalue":{"value":{"entity-type":"item","numeric-id":4736486,"id":"Q4736486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"259f3e6d482cc0e6726af1965a35297a47de817a","datavalue":{"value":{"amount":"+0.8306609988212585","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":"Q1861908$1D4D04C9-C11E-4F2A-9D70-D349BA8E09BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4821d4bff362e2efa9942740de3f55356f1d6f5","datavalue":{"value":{"entity-type":"item","numeric-id":2741524,"id":"Q2741524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a82ea85b4e1ccb266a4a4859e274ee512ccd0f96","datavalue":{"value":{"amount":"+0.827525794506073","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":"Q1861908$A3D9DD32-E970-4B4F-BB92-0243B1D91CB9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An overview of backtrack search satisfiability algorithms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_overview_of_backtrack_search_satisfiability_algorithms"}}}}}