{"entities":{"Q5381995":{"pageid":7411569,"ns":120,"title":"Item:Q5381995","lastrevid":53458223,"modified":"2026-01-25T00:03:39Z","type":"item","id":"Q5381995","labels":{"en":{"language":"en","value":"\\#SAT solving algorithms based on extension rule using heuristic strategies"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7071585"}},"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":"Q5381995$09FF838F-7E05-4FB7-947E-C4CCD24E8A54","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c759ddf0fc3d0f86d71c30d3597435e0c93949c4","datavalue":{"value":"1424.68153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5381995$21160D00-7B11-4ABC-8471-A39E9E1ED5A8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d3733d74b17adf403cac83c95a6e14a37f9f92fd","datavalue":{"value":{"entity-type":"item","numeric-id":369695,"id":"Q369695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5381995$8C879918-16EB-4262-A270-D613517BF990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ef80489f18ec1e0adac5c64413550fdbdc51c62","datavalue":{"value":{"entity-type":"item","numeric-id":258968,"id":"Q258968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5381995$3C01F669-ABCE-4185-9412-10F2F086721A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6dfe66d7774bbd7d6db4c273f5ffc7b40ca1b0a","datavalue":{"value":{"entity-type":"item","numeric-id":1015312,"id":"Q1015312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5381995$2AA53115-009D-4D22-B5DE-4D491514B501","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e5d802cb4234323fb0bcc54172e16aa118515daa","datavalue":{"value":{"time":"+2019-06-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5381995$095FFFD8-C7B4-4810-890B-CFCC2D9CD2D8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5381995$455A6298-9A8D-48C3-B482-978D39AB1D80","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c6836a37791ef712653d1da1b1d2522507b49b41","datavalue":{"value":"7071585","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5381995$D928F6BE-9973-4E6E-9010-BCFF15846C40","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42c9c64d0b9070e32b1957f7e6f3c7e8f11356c9","datavalue":{"value":"extension rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q5381995$4891A511-04B2-404A-A9CA-C1BB5CFBEFAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64a29c4a5bfa3313a3ef8963adfeef39f010eff8","datavalue":{"value":"model counting","type":"string"},"datatype":"string"},"type":"statement","id":"Q5381995$F4AE1135-B04D-4142-B03A-76B740B8EAFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5396ff5c7904c7d93c415c236492a6f92f5d699","datavalue":{"value":"heuristic strategy","type":"string"},"datatype":"string"},"type":"statement","id":"Q5381995$472E850F-2C79-4B3C-A932-62E8EF702D60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2cbb9e44fd06530ac9cf07c2f7bd486250f6fafa","datavalue":{"value":"maxterm space","type":"string"},"datatype":"string"},"type":"statement","id":"Q5381995$CA463671-44BF-4B74-BE76-CF5F354074ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27f0db48c59cb8d8dac1920d88fef199f11ee39f","datavalue":{"value":"reduction clause","type":"string"},"datatype":"string"},"type":"statement","id":"Q5381995$7959600A-459F-4F2A-B01E-30E6B5BDC80C","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":"Q5381995$179B21B3-FC24-423B-B824-B28CE9003F57","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b0d180c4ffbc1d9a5519428ed7bb897d9bb1286d","datavalue":{"value":"10.13328/J.CNKI.JOS.005298","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5381995$514FA711-13BD-4C56-993B-0BEB2FEA5FC7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fed2a21990c9204b0e7daadfca4330594fa69b0d","datavalue":{"value":{"entity-type":"item","numeric-id":3054232,"id":"Q3054232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"943712e1b9aae3d9994a41cdb05a4e4ee8723475","datavalue":{"value":{"amount":"+0.8430827856063843","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":"Q5381995$65346EE4-3F09-42AE-B287-E13521E7701B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12874228562e25b59bb900e4a08b86c95322e593","datavalue":{"value":{"entity-type":"item","numeric-id":2993243,"id":"Q2993243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d1f1f78f07655da8ee4411e342e8c73bfd3005a","datavalue":{"value":{"amount":"+0.828633189201355","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":"Q5381995$6B99250B-09E3-4482-AD4C-E7C003C91BF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1aba2ab3119bb58452c460bfdecd60db831e1c7c","datavalue":{"value":{"entity-type":"item","numeric-id":5900327,"id":"Q5900327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14f7ab2a881d62dbbf0827838d7c32e3a532a8ff","datavalue":{"value":{"amount":"+0.7375100255012512","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":"Q5381995$754F1920-67D1-4069-92B5-6E491A13DFCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d98d9ffc88a8dad6ea153eb2ff73486aab21dae3","datavalue":{"value":{"entity-type":"item","numeric-id":3196312,"id":"Q3196312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dbced74081f4df8c5c7c473bdf42ff65261070f","datavalue":{"value":{"amount":"+0.7327055931091309","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":"Q5381995$09E8959D-8ECC-4AF7-B9D3-B2A30FC17092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96fb051308fb50b95b0bf9456983cabaedb5d9c5","datavalue":{"value":{"entity-type":"item","numeric-id":3498488,"id":"Q3498488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d817acdd7920236906fed2822b31a689b1984a0","datavalue":{"value":{"amount":"+0.7286539077758789","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":"Q5381995$297B9ECD-41D2-4EBA-A344-589411A41B86","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5381995","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5381995"}}}}}