{"entities":{"Q5014283":{"pageid":7043860,"ns":120,"title":"Item:Q5014283","lastrevid":54164417,"modified":"2026-01-26T09:26:03Z","type":"item","id":"Q5014283","labels":{"en":{"language":"en","value":"Polarity and variable selection heuristics for SAT-based anytime MaxSAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7437374"}},"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":"Q5014283$2EBD8962-AE4E-40A2-AA1D-71C21765A4A2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"173eba0007000da8a29373e16e302e6c024ecafe","datavalue":{"value":{"text":"Polarity and Variable Selection Heuristics for SAT-Based Anytime MaxSAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5014283$338F0804-05D8-4110-829B-A12526B241CC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2f898cd7797cf04b25bef05663f700426731b281","datavalue":{"value":"1483.68356","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014283$B841797A-DCC6-4272-9352-A73762F74C1B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3d29e1c8b30033e698ee6acbed1fa2efb8e6caf6","datavalue":{"value":"10.3233/SAT-200126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014283$4A4F8A75-1929-4EBD-B163-4E75D2B687D3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb85832ecb9136476175ff03ddf74d77f7a7c330","datavalue":{"value":{"entity-type":"item","numeric-id":746771,"id":"Q746771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014283$714DF8AD-60B3-4279-A4BF-B5E52A108E1C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e8ef780f8c191fed22e1ac9c059ebec4d3cf7c73","datavalue":{"value":{"entity-type":"item","numeric-id":5014281,"id":"Q5014281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014283$B7C0F0B2-71E7-4879-B9F7-57789BE3B943","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"083b9dcd5269b8796cca7eb2ababa434dff5de3a","datavalue":{"value":{"time":"+2021-12-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5014283$5F73C40A-72F7-49B9-BB60-12BA6E30E07E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014283$BA0FD4A4-5B10-4EA1-9889-E5C3FB040B2A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4e406c8c7262821c7ab56b3db145931384058163","datavalue":{"value":"7437374","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014283$BE89C7DA-D07C-4A2C-BCE4-8F038901B584","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5867ec7b44aefc01672736513dfe6410a0300cd5","datavalue":{"value":"SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q5014283$461B96FE-5FDD-422D-9983-B740B9613172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f90035379f033d8c779548ef0daf0c9417d7c5a3","datavalue":{"value":"MaxSAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q5014283$8D026D02-F3CC-44EC-BCAA-645FA40D6DDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0ffcc3545bd7b0f94969c35c641231860a38c51","datavalue":{"value":"heuristics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5014283$90AD809F-BAFF-476F-BE1A-DAF7E4263486","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"af7190300cc54c5089eaf27700698f6eb274b883","datavalue":{"value":{"entity-type":"item","numeric-id":5973734,"id":"Q5973734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014283$3D31CBC6-5857-46CD-8DC2-C718EBFA51C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"84d3b521c9618089d13e50d5560a49431946065e","datavalue":{"value":{"entity-type":"item","numeric-id":1353143,"id":"Q1353143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014283$8DD847EE-D182-4FD2-ABDE-C1624E77698F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9b26b779cc09e21207a69b2ce242c136f84aa5db","datavalue":{"value":{"entity-type":"item","numeric-id":19328,"id":"Q19328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014283$3D367090-002B-4170-A0AC-810C07396905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"07e8aef8e80a4e891c5ae22a330c7c1633a08a5f","datavalue":{"value":{"entity-type":"item","numeric-id":19849,"id":"Q19849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014283$379C765B-1B8D-4AB2-B3F7-FDD3BB4936A1","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":"Q5014283$7F11612F-96F1-425A-9296-776D1F09A00B","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":"Q5014283$59E4F209-967A-4E5B-8FC0-80E889B136A6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"57937a9c956d174d89caf7fdfb1456b3ee92b049","datavalue":{"value":{"entity-type":"item","numeric-id":1680676,"id":"Q1680676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014283$689BAACB-113C-419C-8DC2-93B5469C3A30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9ae2b2b4cffe95331953ba5a54b86b368a38d2e","datavalue":{"value":{"entity-type":"item","numeric-id":3191110,"id":"Q3191110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014283$92325DA7-F611-45FB-90EF-7A44D851AB3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa01c4fd11b1b53b7821c2ef80b6b773d870699f","datavalue":{"value":{"entity-type":"item","numeric-id":5015607,"id":"Q5015607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014283$0BB126DD-B539-4B64-8F7A-7679F392E4B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bef6d2427f49c9b63113649bc54ab909f5f1166a","datavalue":{"value":{"entity-type":"item","numeric-id":2348540,"id":"Q2348540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014283$A89987BC-4D48-46A8-B3B2-60D990384287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c86a5e28d6c51eaa2a99b16c606b0ac4b53517f","datavalue":{"value":{"entity-type":"item","numeric-id":3007690,"id":"Q3007690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014283$802471C7-F7F4-4331-9F7A-4ACA7BA1621D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4425d11438228cb405914ea62f3eb41f9fe4bce4","datavalue":{"value":{"entity-type":"item","numeric-id":2151235,"id":"Q2151235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014283$29AADE54-FD7A-4F2F-AE52-ADFAC15259EC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"99d1bcfa60610391b97a591767cffdf49ede4241","datavalue":{"value":"https://doi.org/10.3233/sat-200126","type":"string"},"datatype":"url"},"type":"statement","id":"Q5014283$B88F0BF0-EB04-4FDA-AA3C-C3E8EA7DE127","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5e515030f9ffbf4fde8dcf2f5bf7a1f0b132e46f","datavalue":{"value":"W3087533836","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014283$7E4C0C54-F34B-4095-97D0-1000281CC6AA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"928b67a39f7ddf7a4dc21826247105fc8008776d","datavalue":{"value":{"entity-type":"item","numeric-id":3192090,"id":"Q3192090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d005e582521e5ce6683d5977e955b15ea7cd648c","datavalue":{"value":{"amount":"+0.7599103450775146","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":"Q5014283$FFFF5097-8975-4F5F-BE48-69CFA508F332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ab6b9734cc3d42c614089db151b583c27a3a712","datavalue":{"value":{"entity-type":"item","numeric-id":3624109,"id":"Q3624109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb003749c8a156dc88313bba663f3e74d41b1b8b","datavalue":{"value":{"amount":"+0.7553116679191589","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":"Q5014283$EE1DBD9F-40F5-47CB-965A-34A67C982415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17a309a466aac4bc407c7662988d8ba7b0affbb7","datavalue":{"value":{"entity-type":"item","numeric-id":5015607,"id":"Q5015607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65d0796f368d6d7b464b9d15aaf2ff4d3c753441","datavalue":{"value":{"amount":"+0.7481033205986023","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":"Q5014283$72BF49D3-5334-4A0A-A528-3DEDD941EDAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2084749d0a6826dbbf256f652e959344d3aad6a","datavalue":{"value":{"entity-type":"item","numeric-id":933784,"id":"Q933784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e8e0e0e9fd4bf5a3c7c0f33c4d8d9091f6985a9","datavalue":{"value":{"amount":"+0.7358679175376892","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":"Q5014283$1B7908ED-C3A0-4074-91D5-44127F034E77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33250f260d9da800bf4da3a93eef7edbea6c93db","datavalue":{"value":{"entity-type":"item","numeric-id":3637178,"id":"Q3637178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b58cb6232f083941c5b7d96110cc2736d533f12","datavalue":{"value":{"amount":"+0.7339781522750854","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":"Q5014283$56E00EC9-A3D3-4C55-AD46-F21368E29864","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5014283","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5014283"}}}}}