{"entities":{"Q2818005":{"pageid":2828743,"ns":120,"title":"Item:Q2818005","lastrevid":52614911,"modified":"2026-01-23T02:52:01Z","type":"item","id":"Q2818005","labels":{"en":{"language":"en","value":"Improved static symmetry breaking for SAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6623508"}},"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":"Q2818005$2EB928E0-63E0-43DC-B3A2-58C3C2B1DB6E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"562dda70284d1a5a2eacffef22a9597639d52b87","datavalue":{"value":{"text":"Improved Static Symmetry Breaking for SAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2818005$1B3312A0-0620-48EA-B444-F21048F5DD1D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7ca7407a4e6dffc33284a5ad5b52c912a1f73b7a","datavalue":{"value":"1475.68340","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818005$5EE2393D-9C2B-4BAA-8593-F0A76D1A47D0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b99e99130c35a5888cbc47fc6e0ba475452d764b","datavalue":{"value":"10.1007/978-3-319-40970-2_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818005$25FE6224-58A5-441D-8377-CDD7E071BC41","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"acc2e3c7a3aee918cc7ddd81fb5c696812576b60","datavalue":{"value":{"entity-type":"item","numeric-id":1680244,"id":"Q1680244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818005$328C486F-83BC-4292-B825-1899490CA28D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"125638b2a4d599f6f34e56234b7a1dba2c964bfa","datavalue":{"value":{"entity-type":"item","numeric-id":892231,"id":"Q892231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818005$D24AB9A6-017A-4DF1-8CDA-18517877C109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fad0a696a48629b32209d6a33edd7328bb65d41f","datavalue":{"value":{"entity-type":"item","numeric-id":582148,"id":"Q582148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818005$CB62EAC7-8876-49D8-B9DC-32EEB623867F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e83b218d9fa98ec7bd391365954ae9fba07e52dc","datavalue":{"value":{"entity-type":"item","numeric-id":598244,"id":"Q598244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818005$2156B84A-B8E1-46B7-903B-2698ABFA59C1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0c83d828fab67264ee3effdcbdeab1b4c818c4e9","datavalue":{"value":{"entity-type":"item","numeric-id":2817996,"id":"Q2817996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818005$D8E90607-6894-4BC6-B7D5-F68BE8A3273E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c42ad213f9b7f39d3e9ee142840c36c28e5864b9","datavalue":{"value":{"time":"+2016-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2818005$F381458D-27A0-46D7-867B-A3AA79F8058C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b477b1fda3470f7201e39ba524af2573cd5a230a","datavalue":{"value":"https://lirias.kuleuven.be/handle/123456789/542704","type":"string"},"datatype":"url"},"type":"statement","id":"Q2818005$F7845AC3-5FE9-40FA-9D5B-A51C35155982","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818005$4E54255B-A490-4E58-B0EC-B17C9A35E1D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818005$B62412AD-84A1-488C-AFA1-F891FCF88AB1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"60619c215389734c91150f71d20e0661e52d51d5","datavalue":{"value":"6623508","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818005$4A251A06-4B03-4ADF-A12F-3254A86D6D72","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1ef314e7f189ae03dfc3388f96f819c0c665d6a2","datavalue":{"value":{"entity-type":"item","numeric-id":33598,"id":"Q33598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818005$DB52C32E-1D9B-4E38-9B74-0D7C5751A0B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dd7f0abef058f8eae97be2e317c30210cbb29e90","datavalue":{"value":{"entity-type":"item","numeric-id":13081,"id":"Q13081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818005$1E48FEE1-B0E7-4048-807A-9CDBF346CD45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"77606eeb419575f3b253e766ae571b916d0ffcc1","datavalue":{"value":{"entity-type":"item","numeric-id":13682,"id":"Q13682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818005$87035664-B40A-46D0-A0AA-6663EF961686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1a2d88dbf6b03df258627eeae1776e81ae3634fd","datavalue":{"value":{"entity-type":"item","numeric-id":19839,"id":"Q19839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818005$39B9739D-8473-4091-9D48-D8AF8846FB2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"58012661cd5902d08c1d307a106ffc22f40d0c6b","datavalue":{"value":{"entity-type":"item","numeric-id":13366,"id":"Q13366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818005$52D599B2-4297-45E1-88BD-F536A52AC579","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":"Q2818005$5ED470C3-8069-494F-B2BA-3C1F32BC10FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5f57e96b932684210c05d20f0d721bfbcbedb473","datavalue":{"value":{"entity-type":"item","numeric-id":33036,"id":"Q33036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818005$482008EE-2D97-4659-A2C5-794BAF23F4D3","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":"Q2818005$17C51D5D-5B57-4FF1-B157-5C1FDA6B08F1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"457435b1e61d1972a109089bf012d62c8568f3d2","datavalue":{"value":"W2499282942","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818005$C959D4F8-579E-49D5-A2D0-62210C886DE2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"22485e2e7f5d751287059d6c89f8749b6a408a20","datavalue":{"value":{"entity-type":"item","numeric-id":5325885,"id":"Q5325885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818005$6A96DBC1-5EE7-4595-A787-DAA5D1133C23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2fa04d400281f100817ce7e13bdaafd2683670","datavalue":{"value":{"entity-type":"item","numeric-id":1071750,"id":"Q1071750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818005$805F274E-6453-4D92-9151-7C544B699C8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8c380d2417527e371b1f73a16a203d8d5efa1ca","datavalue":{"value":{"entity-type":"item","numeric-id":4930583,"id":"Q4930583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818005$4EE46439-4C77-4504-8ACC-C737C47A10E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f646046f02cde628a0680327261c8770d27e5ab","datavalue":{"value":{"entity-type":"item","numeric-id":2437295,"id":"Q2437295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818005$918E32BD-E26F-4A72-81A6-AB85DA090D87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31a1b35384031475e1501f3e202c2cde6013c5de","datavalue":{"value":{"entity-type":"item","numeric-id":1037644,"id":"Q1037644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818005$5E13C775-8D21-42E0-983B-CB00E0E2F2FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63b2f70116abffc6de3d10b38f300653d0038b7c","datavalue":{"value":{"entity-type":"item","numeric-id":3637171,"id":"Q3637171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818005$8569720B-67DA-4F85-BDD8-4CA88F7F3DFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1c62ada788f3ca01a4c6f8156af507942db5d91","datavalue":{"value":{"entity-type":"item","numeric-id":4787523,"id":"Q4787523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818005$2CB45E39-3171-4719-833C-4D19BB5D38E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61f3a693dc2c5e8aaf024bdaafcc9a4aee6c74f6","datavalue":{"value":{"entity-type":"item","numeric-id":2643299,"id":"Q2643299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818005$8869F58C-B107-43FE-B9B1-C19F11441DA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"728810277830424bd131e6e77eef399df584ccea","datavalue":{"value":{"entity-type":"item","numeric-id":3780485,"id":"Q3780485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818005$011DB019-1B55-47CC-80BC-9A231424D5CF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c8b2a384f669c37c78cf86b76a6aea4722bcda2","datavalue":{"value":{"entity-type":"item","numeric-id":2324209,"id":"Q2324209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04175ba2d0e4239e172d9a6c3e1b3fa7f4318d98","datavalue":{"value":{"amount":"+0.8912949562072754","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":"Q2818005$BE701BD1-1F57-45AC-96DB-6C8544C3FB5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11252ff7015abb597888672e2892684a14073eec","datavalue":{"value":{"entity-type":"item","numeric-id":3454124,"id":"Q3454124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"013be5a145b2df8e11b46a8274e234d4827e499a","datavalue":{"value":{"amount":"+0.8486308455467224","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":"Q2818005$37287BB7-89FA-4828-8574-EEE8EE40D00A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3939d7a3c83b9a1049c013f8948e957bc26d3451","datavalue":{"value":{"entity-type":"item","numeric-id":1037644,"id":"Q1037644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"611ccd932ee620d6d1a536c62cca985d355cac06","datavalue":{"value":{"amount":"+0.8228982090950012","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":"Q2818005$93E6D8C7-AE07-4B41-866F-F025F8D27B48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"564123d2907de3bee2b84eeb20223ba694ffece0","datavalue":{"value":{"entity-type":"item","numeric-id":5505539,"id":"Q5505539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f75985c3c9effa3148e3fe800063b32d1d9d7d7","datavalue":{"value":{"amount":"+0.8140416145324707","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":"Q2818005$2A13EDF2-CCB1-4DF1-A2BF-D5DA775E55A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c7dc849497054297fe302bc028de7816add81c5","datavalue":{"value":{"entity-type":"item","numeric-id":4930583,"id":"Q4930583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9543c8bc2d315ea9beacd91e053ea46a5f9ce0c","datavalue":{"value":{"amount":"+0.8101991415023804","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":"Q2818005$379654DE-4470-4475-A785-6BF6F5244719","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2818005","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2818005"}}}}}