{"entities":{"Q2465749":{"pageid":2476492,"ns":120,"title":"Item:Q2465749","lastrevid":50243813,"modified":"2026-01-13T15:29:45Z","type":"item","id":"Q2465749","labels":{"en":{"language":"en","value":"Solving SAT problem by heuristic polarity decision-making algorithm"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5223826"}},"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":"Q2465749$483B3871-616E-43C3-86C4-B425C80E0E33","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f1c062cd4d43394ecfb77fad5355ca3635b38560","datavalue":{"value":{"text":"Solving SAT problem by heuristic polarity decision-making algorithm","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2465749$A2C18F49-3B5A-465C-8500-BBEBE863B659","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"01ed1f92a80d8bd401469c28cf9da962b288402f","datavalue":{"value":"1142.68514","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2465749$24716E94-71BF-4FD2-9C83-4D8CBB6CD877","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7c293785586068816148c761b91c7c00a8ec036","datavalue":{"value":{"entity-type":"item","numeric-id":2465748,"id":"Q2465748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465749$8663462F-050C-422C-A2DE-680135E72F48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5ca962aa17adf2292ff78f252662a0a123cad12b","datavalue":{"value":{"entity-type":"item","numeric-id":1877208,"id":"Q1877208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465749$CE567834-F014-4F01-819D-3A98A1ED7908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0a43f8e74c0cd3de909a3df2649a19270a676955","datavalue":{"value":{"entity-type":"item","numeric-id":201223,"id":"Q201223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465749$71B5AFCB-1633-4B7B-A031-5B119FAC0EC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"73fb508f0088350114f9a6e42b5c4e1dabf3253e","datavalue":{"value":{"entity-type":"item","numeric-id":234802,"id":"Q234802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465749$C8A997A1-C432-438D-8010-560ACAF23017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee1165040c42a854c26633c7ce5834266b098721","datavalue":{"value":{"entity-type":"item","numeric-id":275651,"id":"Q275651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465749$49E4E2AE-647C-4F09-9229-411B42B45DB1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f98e7827e954b81f9efe2be64c5ae8ff8fac944c","datavalue":{"value":{"entity-type":"item","numeric-id":419702,"id":"Q419702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465749$5B52F50D-72B8-4A3B-8541-89FE0CA3355C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"903918ebd358b56a998ba218752ba98982e17a15","datavalue":{"value":{"time":"+2008-01-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2465749$759252B4-A117-48F4-AE24-7C4E25AB7398","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2465749$4E654E0C-329C-4FEE-93D3-470BB63AC8EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"73dccdfb072fb026a86af92d74fe625efeb2b023","datavalue":{"value":"68T35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2465749$E4BF9FF7-C7D1-4344-B976-723740567584","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d85800512cb764c832397367b848ea75b7f00b23","datavalue":{"value":"5223826","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2465749$E2AEFF71-753D-4C5A-8360-42B132B3414F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"508def3536da451aaa16ab7a21353869c1e5bdc9","datavalue":{"value":"SAT problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2465749$FE669644-E0EC-4245-9365-A2B9D23D23A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f7ac674268224c9b1b4b60f07b959745a70f08d","datavalue":{"value":"DPLL","type":"string"},"datatype":"string"},"type":"statement","id":"Q2465749$F50C8B8D-8376-4267-9145-F56B2413C6F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cb25f62f86b14c8e40412340149d2fbb509776b","datavalue":{"value":"complete algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q2465749$03C6AA80-DF6E-4221-80B5-F3B18929B12C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bd40bbdea5ebc48c8e8e25cdfb34b812eeb17c9","datavalue":{"value":"decision-making","type":"string"},"datatype":"string"},"type":"statement","id":"Q2465749$14F8A6A6-CF8E-40FC-8DBB-03C42DC24739","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d650a7af9fdbfa854d490255d18c32cbaf84928c","datavalue":{"value":{"entity-type":"item","numeric-id":16925,"id":"Q16925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465749$9A59F7B3-7BB9-4770-8F0C-EB3A59EC86BD","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":"Q2465749$2E2945B6-D6E6-4C5F-9159-862197FC2736","rank":"normal"},{"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":"Q2465749$C8C6904F-44EB-4403-A93E-258044EB8103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465749$9FC3EA37-2FD7-42D9-BAAC-8B3A7D7536E5","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":"Q2465749$C5075D3E-4DEC-4CFE-900E-D3AFE8D1EB51","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":"Q2465749$ECFC238E-1EAB-433B-B8EC-7E0382B7FF57","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dd72f4f100532de271035672d560b40681dc7186","datavalue":{"value":"https://doi.org/10.1007/s11432-007-0070-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2465749$0E740F21-67C5-4A57-80B9-6AE693B15C1B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"605b0f6500f6587015b9318d236b4d07a9645f70","datavalue":{"value":"W2046007623","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2465749$5CECE394-17F2-477B-AFB1-0BE1C99BE4E1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0d02d1ea3c025df6a57e4eb8432aceff8f23709","datavalue":{"value":{"entity-type":"item","numeric-id":1383842,"id":"Q1383842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465749$11F8D6D5-14EA-4123-9A86-A78DB130B407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3348c4f23a620a7654545e9e3737b9f755ba6069","datavalue":{"value":{"entity-type":"item","numeric-id":2643301,"id":"Q2643301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465749$F504DE81-E8DA-4CF4-8902-0D94E4E2C081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c3cf7cbf24f5ad1e6d8cb76fb93a3b15d7aa5c2","datavalue":{"value":{"entity-type":"item","numeric-id":1356218,"id":"Q1356218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465749$4EA20622-7DBE-492C-8408-1AC6A403046A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"546be2292a2870687eba9d9110f96a13c1fd77b4","datavalue":{"value":"10.1007/S11432-007-0070-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2465749$7FCB5A04-4C88-4367-BAF9-51E57174A89D","rank":"normal"}],"P1643":[{"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":"48094e001154de0e5826c4153518f56de6a01718","datavalue":{"value":{"amount":"+0.7972635626792908","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":"Q2465749$CE645306-F786-48DF-9B7E-BBEB2504C447","rank":"normal"},{"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":"5d298952bb152902e351922b9ec90feea4bce547","datavalue":{"value":{"amount":"+0.7790771126747131","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":"Q2465749$D2E8A2A3-B838-4467-A6DE-FAADFB68B59F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df07242b0caace58208b32a9a26351298b9d6624","datavalue":{"value":{"entity-type":"item","numeric-id":3502699,"id":"Q3502699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0de07db4bff337448f3b8a2a3e1799dab2d25e9a","datavalue":{"value":{"amount":"+0.7759358882904053","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":"Q2465749$308A2C28-4CEC-48AC-9911-0C40A9C2116B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66d468b5c540abe65339c26239e6406fad5d3590","datavalue":{"value":{"entity-type":"item","numeric-id":5687266,"id":"Q5687266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3137dc9173cccaed60ba47e271d738cbb4c1846","datavalue":{"value":{"amount":"+0.7727502584457397","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":"Q2465749$20686DAB-E455-417B-8E53-86DA4C1B9E51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35984a5402e5ff5dca6ea85c3fa9b042c093ae9e","datavalue":{"value":{"entity-type":"item","numeric-id":2643301,"id":"Q2643301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f11225e18eb00f41ab1a20f2f44a052735d67e72","datavalue":{"value":{"amount":"+0.7710924744606018","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":"Q2465749$9B96733E-3B01-4383-B074-BDBA67A13E16","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2465749","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2465749"}}}}}