{"entities":{"Q1777399":{"pageid":1788141,"ns":120,"title":"Item:Q1777399","lastrevid":68933889,"modified":"2026-04-13T03:12:35Z","type":"item","id":"Q1777399","labels":{"en":{"language":"en","value":"Efficient data structures for backtrack search SAT solvers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2168189"}},"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":"Q1777399$A3EA22AE-D5F2-4093-9EAE-A9C7FE0D249F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"93bc074bd137239715daa3d182bae2033e853e5c","datavalue":{"value":{"text":"Efficient data structures for backtrack search SAT solvers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1777399$608F18E1-1E49-44D3-8C05-857300594AE2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ce814baec38bd25b25a291e2795d89bf4ce099fb","datavalue":{"value":"1099.68025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777399$4A7CAD44-ECBA-42CD-8E01-E2068EF219F2","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":"Q1777399$28249658-E4A9-49AD-9517-95E2032B470C","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":"Q1777399$4EB32482-84E4-4C0A-B600-736F62BAF7CD","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":"Q1777399$FC096849-81BD-415A-8A5B-1E2CF1B39F68","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c64595f4f39ba5aa8c317730455f9500451c9c2e","datavalue":{"value":{"time":"+2005-05-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1777399$B724A334-59FB-463D-BFD4-B9B3E20C98A7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dd4d03137f81cac7a653a7497c84410acd7b25ed","datavalue":{"value":"https://eprints.soton.ac.uk/262209/1/jpms-amai05.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1777399$5DB826BD-1AE7-464A-94CF-57D5B4426E06","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777399$EA5CE3F8-161B-439D-84DA-9F8741843725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777399$39E0E29C-7BD7-41C9-9385-F03373759B06","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"406647e3636a9589dde78ff9d787aa96cf033b22","datavalue":{"value":"2168189","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777399$A246DA44-896D-4251-B8EA-A9B00C30B901","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0307adf3981e6daf4015e05d74e44424dc3084a","datavalue":{"value":"propositional satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1777399$CE2E68F0-8C6D-421A-9641-F0631BF24ED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a42f1dca2c0008f248c4ee89d51fbb03845fd8e","datavalue":{"value":"backtrack search","type":"string"},"datatype":"string"},"type":"statement","id":"Q1777399$1A50D19D-F631-4C3E-AEBE-733F335CE16C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"56a9ecaca2ef35efc3f134af231037d82db08c02","datavalue":{"value":{"entity-type":"item","numeric-id":21683,"id":"Q21683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777399$D5E45C53-EDE1-4587-9D73-9871E8B88C2D","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":"Q1777399$725E9144-09BE-4771-BC22-5BD03D3A9EFE","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":"Q1777399$E22DE3C5-9B7A-46A2-B735-EFC93EA3C983","rank":"normal"},{"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":"Q1777399$CEDEE287-04D7-45C1-A9E0-DC61744A83B0","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":"Q1777399$A95184AD-F903-4020-8588-9A8C344FFBD3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e7de737258f11717baf9547a598f401d929bc9a7","datavalue":{"value":"W4231793453","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777399$32734EF2-3D42-4F8C-B202-F4C25C510327","rank":"normal"}],"P223":[{"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":"Q1777399$D1AD7A70-765D-4567-AD43-4D50A09DDB0F","rank":"normal"},{"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":"Q1777399$C35BAECD-5CF2-486E-BCCC-A10EA61C072C","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":"Q1777399$615B5F8D-0031-4D9F-9911-8733E453DF06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1478273e0e33a79d374260ca5dc8c9927268f336","datavalue":{"value":{"entity-type":"item","numeric-id":5687274,"id":"Q5687274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777399$594C28D9-D064-4D4F-AE0F-76E72F59121D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb6d3551c28e8173d291f95019cf63f4ea7788b4","datavalue":{"value":{"entity-type":"item","numeric-id":2749861,"id":"Q2749861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777399$0666D943-AA18-459D-9D87-D737C4241316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05a3fc88bc4906c2e0e29d5cbbde5c2340386638","datavalue":{"value":{"entity-type":"item","numeric-id":4473057,"id":"Q4473057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777399$8C09BC4D-51DE-4FFB-9BB5-F3A68E7B5DB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7b5fa9b205a479f7043d1f02b59d43eb670dc95","datavalue":{"value":{"entity-type":"item","numeric-id":5234711,"id":"Q5234711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777399$C01A6621-52F7-41F8-AA8D-535073A0B696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d7ad2afc195e9af77b77cfa37dbc077ef8b89be","datavalue":{"value":{"entity-type":"item","numeric-id":2749864,"id":"Q2749864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777399$67FDBAFD-7A0F-47B8-A9C7-8913AC232580","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fc444eb4fcb5874f0eb1aa3b6e98fc535e68bde7","datavalue":{"value":"10.1007/S10472-005-0425-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777399$849172B2-89AC-4368-AB60-0DFEEF4133E1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"625a27eb172927f94786dd34b96bd201b46dd874","datavalue":{"value":{"entity-type":"item","numeric-id":3181647,"id":"Q3181647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d59842b76a4eccb6842d6ffcf7fda24bb68a667","datavalue":{"value":{"amount":"+0.7943360805511475","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":"Q1777399$6127EB14-09E0-4C62-847F-DDE09E512E6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34d152ed009bd35f2203c986f8677553ec824242","datavalue":{"value":{"entity-type":"item","numeric-id":5325868,"id":"Q5325868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2cca02bb3346d4c07a496a708b2cec039bd1281","datavalue":{"value":{"amount":"+0.7937480807304382","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":"Q1777399$4821AC2F-CBAC-44E2-9D50-05587925B4A7","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":"902fcc42f445dbefe023bc7fb3baa4633fa47fe3","datavalue":{"value":{"amount":"+0.7914959788322449","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":"Q1777399$E3C45A54-8131-4D77-BA92-A5EB2BD4ACBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bcbeeb5ebf247252bd252f2b9b4f1bdf64d126d","datavalue":{"value":{"entity-type":"item","numeric-id":4809068,"id":"Q4809068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a4f838df306132c154637f97991d4cd91829bcd","datavalue":{"value":{"amount":"+0.7910661101341248","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":"Q1777399$4C47B593-54F4-4AB5-B6A0-EC50271EF38F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8c7c95240e207c0d8b24c33c19beb8f00c024a9","datavalue":{"value":{"entity-type":"item","numeric-id":4804883,"id":"Q4804883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d05624365950fc18c29a92bf051404c6f07443b","datavalue":{"value":{"amount":"+0.7910658121109009","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":"Q1777399$F24D779D-13B5-4F7B-A68A-0C15703DFC94","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Efficient data structures for backtrack search SAT solvers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Efficient_data_structures_for_backtrack_search_SAT_solvers"}}}}}