{"entities":{"Q3579357":{"pageid":5609261,"ns":120,"title":"Item:Q3579357","lastrevid":58203126,"modified":"2026-04-04T05:31:13Z","type":"item","id":"Q3579357","labels":{"en":{"language":"en","value":"Fast set bounds propagation using a BDD-SAT hybrid"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5764495"}},"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":"Q3579357$6275CF69-D87E-495E-8E5B-167A69432F8F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4b029312c510607291f687a8baa90b4283f88367","datavalue":{"value":{"text":"Fast Set Bounds Propagation Using a BDD-SAT Hybrid","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3579357$2289B809-5CAA-43CC-BB4F-A0D8CE8AECFE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ba30ae5df678ce0609322fc47802527f5abd29c5","datavalue":{"value":"1210.68100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3579357$A5951053-951C-4E8F-B6F6-F389CB6C3E93","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"64a1c2e371f294fd2a797ae897eaf22844acf1bd","datavalue":{"value":{"entity-type":"item","numeric-id":264987,"id":"Q264987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3579357$C131E29D-E88F-4646-87D1-B63AB1A57B1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ce0c30279fc718bf70b3c03c8fe86c99509adf2","datavalue":{"value":{"entity-type":"item","numeric-id":264991,"id":"Q264991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3579357$8C9C92B7-BA99-4E05-A08F-83C115D3B5BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f56e5c602b016183d0057e14ebc518ed5ebefb1","datavalue":{"value":{"entity-type":"item","numeric-id":1575242,"id":"Q1575242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3579357$838983BD-C9FA-41FD-B34D-DB92F540B2BB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bb469f8c3341c58b96368431d3c87cbee3d3281e","datavalue":{"value":{"entity-type":"item","numeric-id":110835,"id":"Q110835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3579357$3AB66BE4-C265-4A3F-860E-FAC484D04C51","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dddf01e7f301e4bc8470b7b2bb6ffbba2d41bb70","datavalue":{"value":{"time":"+2010-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":"Q3579357$099BB963-CE9D-4903-862B-DE23E3998874","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"248e5fdd473cbcb98878875253f941fdb8d6c867","datavalue":{"value":"https://arxiv.org/abs/1401.3846","type":"string"},"datatype":"url"},"type":"statement","id":"Q3579357$8CC626D2-AFDF-41BB-9E83-7EC7FBBAFEA7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3579357$0E7D9A27-F6C6-49B0-8CA0-2A46FC871FD3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"85d1a0773c2aea49109534365c95cf162c3f5c78","datavalue":{"value":"5764495","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3579357$AA264C8A-B6D0-4981-ADA6-8A42F8E70882","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d1e708efdaab7a7bfd98b277ab210b7233a00f5","datavalue":{"value":"Binary Decision Diagram","type":"string"},"datatype":"string"},"type":"statement","id":"Q3579357$0AE41CF2-EC48-42C7-9462-E3C9BFB3BB12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20ec78b25008456461de6c905d2d26525e47090c","datavalue":{"value":"SAT solver","type":"string"},"datatype":"string"},"type":"statement","id":"Q3579357$4EF7296A-3266-458D-B285-6B63E5AD6951","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"13443df964bf2860f67d03fe976d208605c47666","datavalue":{"value":{"entity-type":"item","numeric-id":19062,"id":"Q19062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3579357$CC383B0D-3746-46C3-AD01-B2CC4FDA5E8B","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":"Q3579357$2DEEEAE6-88AE-46EC-A315-534CF13125D8","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":"Q3579357$4E3AB572-00EA-4071-BBFE-E485E4C109E4","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":"Q3579357$095F42D3-BF29-41FA-A827-09E12B4D69AE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d10d0e7220ea1ff7ea8ea24385c859b2a06d944d","datavalue":{"value":"W2163483175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3579357$F99CB10A-E870-4251-88AE-2F26F62BC52B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c14d9856584fdb55c9209265873b72bde2873b6c","datavalue":{"value":"Q129518555","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3579357$B41DBB77-9866-459E-8886-851616066473","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f091872da9ad6231aa44729fa376361272274beb","datavalue":{"value":"10.1613/JAIR.3014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3579357$A888D966-19D6-4B39-AFE2-F2B99DB85D16","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da31f9e16896fd580ef6a508cfa31788a300c4e2","datavalue":{"value":{"entity-type":"item","numeric-id":5715712,"id":"Q5715712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0cf8c4e4a315d39cc151434a9a1b6bd387ea112","datavalue":{"value":{"amount":"+0.818088948726654","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":"Q3579357$43AE8539-43D9-4BE3-A73B-328D42BADEFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"901b760ae58b36b003cf31551fe94c50a80bbee9","datavalue":{"value":{"entity-type":"item","numeric-id":5900304,"id":"Q5900304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2b6cfe7e0987776d9f4c29f6983e44b9278cac4","datavalue":{"value":{"amount":"+0.8034795522689819","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":"Q3579357$B42FA461-CCB2-4763-AE53-633005EF15C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea7e11310d063dbd1c802cd1c994d929190e45e1","datavalue":{"value":{"entity-type":"item","numeric-id":2583562,"id":"Q2583562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de197d7e82a3a2dbdc3b873fe77695e0491e0a9d","datavalue":{"value":{"amount":"+0.7546567320823669","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":"Q3579357$AD533F9F-9121-4A22-9686-A5DD3B893E59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba6edb2b561f16b39246aae3908a36b4e292e3c9","datavalue":{"value":{"entity-type":"item","numeric-id":5325878,"id":"Q5325878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91bebd3b6f3121903c9e6515ed1d2cb9b08a87f1","datavalue":{"value":{"amount":"+0.7512273192405701","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":"Q3579357$5CA89B14-909E-4148-8FE0-DE44339CC349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43b06f16848a2eaaf5412a299987f2ad860f8ac8","datavalue":{"value":{"entity-type":"item","numeric-id":1380431,"id":"Q1380431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"097f261596852d952f0514929dc5a28111b5e753","datavalue":{"value":{"amount":"+0.7383222579956055","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":"Q3579357$3829D38B-B2F0-4850-A903-6A33ABFEE52A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3579357","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3579357"}}}}}