{"entities":{"Q2511762":{"pageid":2522505,"ns":120,"title":"Item:Q2511762","lastrevid":57287802,"modified":"2026-03-27T22:29:12Z","type":"item","id":"Q2511762","labels":{"en":{"language":"en","value":"Selection of search strategies for solving 3-SAT problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6325778"}},"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":"Q2511762$FA3C8BFD-1B23-4C7D-88C7-C0CF1BBB3A6C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1c1ff5986e179eb5b44c7b77021e76edfa77ec46","datavalue":{"value":{"text":"Selection of search strategies for solving 3-SAT problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2511762$C8D08639-64C3-41DC-B057-C30EA2F0F860","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d614ea66426bb78610652e1d12019b5461f674de","datavalue":{"value":"1293.68253","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2511762$137668B1-2957-4DF8-9C89-6C2DB2B2383D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"afd7e5f1699705f9dd6b25552c35d3ec8dc7d73a","datavalue":{"value":{"entity-type":"item","numeric-id":2511761,"id":"Q2511761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2511762$43FFCD8A-1586-4B93-B45F-F7BE94996CDE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f510c5e690efa669d4d80846fa4397a83b3b4bf6","datavalue":{"value":{"entity-type":"item","numeric-id":285367,"id":"Q285367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2511762$EB5EBC87-C700-4270-B070-A59347367B14","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"541c00bdc79efe6305c677f0ffedb8d2f6896c57","datavalue":{"value":{"time":"+2014-08-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":"Q2511762$CEA3F32B-C976-4373-873E-83B788998484","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2511762$5F565B93-0354-4790-91D1-02F7840911AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6958ea3363ca9244e0da0201efd237a8410f9a0c","datavalue":{"value":"90C09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2511762$3D6FDBF3-87D5-464E-89D8-9FBA8FDFF1CC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1d09fd4ff3fc9e4f800a67bdb8a9d4c60746c926","datavalue":{"value":"6325778","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2511762$1B809703-5208-4681-A2DB-39BEB853F783","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87021f83c0bc2bfb13b38866d6825671687cfc77","datavalue":{"value":"SAT solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2511762$ABB7E520-BEFF-4EFA-9C1F-F4FB75184477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2511762$3C7E02CE-7A4C-4C83-83DA-C7E37543862F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0283841a5984d0ead194830870566a24cfd34f06","datavalue":{"value":"CNF","type":"string"},"datatype":"string"},"type":"statement","id":"Q2511762$EB3B2A42-3FFD-4439-B70C-CE66BE3F7705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3978d2f31bc86b19c4025fe772ec1974bbd09669","datavalue":{"value":"Boolean satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2511762$CF28DB75-E918-4A2E-A36B-0DB2B32880C0","rank":"normal"}],"P1463":[{"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":"Q2511762$A5F98FDD-BD10-411F-A747-3493F501E428","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":"Q2511762$BA43B818-48AE-4A82-B40A-268D0524B0A0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9f760a6712b74ff66cf909b475f7372d9c65d90b","datavalue":{"value":"https://doi.org/10.2478/amcs-2014-0021","type":"string"},"datatype":"url"},"type":"statement","id":"Q2511762$43CB34F5-DCB2-4E1B-85D0-A7BD50E82E25","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"07b53b270fa8169fdf15850b78ff4f90e84c1961","datavalue":{"value":"W2004203631","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2511762$64059414-4948-43D8-94A8-7D39C04955B1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"298269e9bc09dba56eaa6c5071969ce22cca369e","datavalue":{"value":{"entity-type":"item","numeric-id":5403428,"id":"Q5403428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2511762$4CE4A2BD-985B-4D59-9FA2-0D55EDACA2C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e52c9edd164dfd70c023941e9c3045889fa60dd","datavalue":{"value":{"entity-type":"item","numeric-id":854966,"id":"Q854966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2511762$723590AB-8816-415F-8614-5613D695626A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f517f93e41f1b83fc185c6676d8edd046e7ca0a","datavalue":{"value":{"entity-type":"item","numeric-id":1187215,"id":"Q1187215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2511762$3B4527F6-7DCB-47DB-844B-8FA2B1B219EA","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":"Q2511762$C893C850-B327-49A3-957D-6128860C7E9D","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":"Q2511762$88EE8EFB-0098-4F60-9526-4FE7E046D89B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9269e64d2adca53bb2f298ca1a02b550d98c27a7","datavalue":{"value":{"entity-type":"item","numeric-id":4571400,"id":"Q4571400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2511762$DEAE0129-5CAF-498C-8092-977D2DD2FE76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afa7dafac0e4899814773dfb29f29aa5bbada1b5","datavalue":{"value":{"entity-type":"item","numeric-id":3587067,"id":"Q3587067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2511762$F7C8C853-BC01-4074-A5A4-0973C1BA84A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01d6649d4853baff3b254e51c9979c2133405503","datavalue":{"value":{"entity-type":"item","numeric-id":1140434,"id":"Q1140434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2511762$9B0FD7E8-23B9-4B43-BFC9-93CFA7A77680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"029058de85207eef4c3a120ff3c47624590ea207","datavalue":{"value":{"entity-type":"item","numeric-id":2872882,"id":"Q2872882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2511762$41FD284C-5C6B-410B-81D7-C46CA9C899EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c888b84abf848f25d80093bba43203ca828a4844","datavalue":{"value":{"entity-type":"item","numeric-id":5277653,"id":"Q5277653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2511762$726B691E-1764-45E1-A459-ADE6B0EB40B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b26edadb4b5d5b2072f1f72938ad8204e3e015f","datavalue":{"value":{"entity-type":"item","numeric-id":1010345,"id":"Q1010345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2511762$DEE4738C-1C0B-47C1-9D8E-27289A539586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d7e46ba8040d28a412f47395a156e6b20ef48a4","datavalue":{"value":{"entity-type":"item","numeric-id":931085,"id":"Q931085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2511762$419B1AA9-4504-4DA5-BF15-48F6CCA36731","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"68078f4d00e94b1ab9737875098113f14723466d","datavalue":{"value":"10.2478/AMCS-2014-0021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2511762$9EDDA3CA-64FB-4FB7-A423-C0E58E9909C6","rank":"normal"}],"P1643":[{"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":"eb2860cfe991efec718219d8ba2b92d0730040fe","datavalue":{"value":{"amount":"+0.7845328450202942","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":"Q2511762$0F164F27-3D24-4981-B5D7-D5EBFF35EEA4","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":"7d3cad28e5fa84d9dd034a9570ae466e4144a1d4","datavalue":{"value":{"amount":"+0.7845326066017151","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":"Q2511762$43C34CD2-F7BD-4F33-A794-1A226B1A5966","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":"1654cfa5e80ce7a4ebb54aab1e345952c84909bd","datavalue":{"value":{"amount":"+0.7759616374969482","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":"Q2511762$8F8A348C-ACCE-4F6B-8914-D07973576436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c07ed16caa771da2f164a1178f36123cb0ba7f1d","datavalue":{"value":{"entity-type":"item","numeric-id":2434568,"id":"Q2434568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d84919e62319127abf4497b338bdfb7db8bad826","datavalue":{"value":{"amount":"+0.7755693793296814","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":"Q2511762$761F7D1B-E527-4EF9-AA8B-0455FE1EA6B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc82022e7d8b08e56662ce23a79228afb6a4f1f0","datavalue":{"value":{"entity-type":"item","numeric-id":4859227,"id":"Q4859227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1d95d1bf6a4f59671a4219329ab0d8c40d66416","datavalue":{"value":{"amount":"+0.7704168558120728","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":"Q2511762$00DCCFFA-D82C-47FD-AA4B-236C884A277B","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"6e2260e47a2889770c9d5516a7c5ae827b188d2b","datavalue":{"value":{"entity-type":"item","numeric-id":6830563,"id":"Q6830563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2511762$E36618A8-2A6C-413F-8170-F6591861DA7E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2511762","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2511762"}}}}}