{"entities":{"Q4913754":{"pageid":6943333,"ns":120,"title":"Item:Q4913754","lastrevid":58359984,"modified":"2026-04-04T21:22:01Z","type":"item","id":"Q4913754","labels":{"en":{"language":"en","value":"Boolean equi-propagation for concise and efficient SAT encodings of combinatorial problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6152221"}},"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":"Q4913754$0A7D6440-7181-4C52-BBB5-ACDF34DDB84B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9ddd80cd0002b06ea239850e3163a43f9f50a255","datavalue":{"value":{"text":"Boolean Equi-propagation for Concise and Efficient SAT Encodings of  Combinatorial Problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4913754$BB42175E-CE3F-40A7-8112-5D3F1CEF6743","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1408e095b4165bdc7b8b9d27a4e96195a3ee2034","datavalue":{"value":"1267.68216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913754$BDC916C0-C964-4C0C-AFD2-C47A03F6413A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ac7fda5340f2ca23638f7bd6268c9599fc47a27","datavalue":{"value":{"entity-type":"item","numeric-id":2929582,"id":"Q2929582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913754$B72E7B22-63C1-4DAB-A4F1-4FDD0510713E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"97931dbd51a6e915b5cab2b02cecf55ce08aab9c","datavalue":{"value":{"entity-type":"item","numeric-id":340572,"id":"Q340572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913754$F6A71231-6111-4F96-BB41-A6C48CCE32EB","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":"Q4913754$157A352C-4AC7-48BF-884F-EA51DBB22722","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":"Q4913754$6E2C6053-8702-4C8D-BA5D-82CE4A975D46","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e8d05c5960e17df88a20f497dd893bcc369c3eaa","datavalue":{"value":{"time":"+2013-04-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4913754$712515B9-AA66-4C9A-B142-3256E75EFECB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6201fdbb88ae51d0dfa3252dc03ffa2a4c07a4f0","datavalue":{"value":"https://arxiv.org/abs/1402.0568","type":"string"},"datatype":"url"},"type":"statement","id":"Q4913754$FF2BD503-ADD1-470A-9B81-6A7E9726708B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913754$8294443A-D85B-46D5-8F23-477AF5655395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35cb8465ca85ba26995d54be2905dc35556d665c","datavalue":{"value":"90C27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913754$9B9EB7D9-5A9A-4590-BEF5-FC7D74DC508E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6d3794212b859c3a61098b68abd61cdcbc7f064e","datavalue":{"value":"6152221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913754$9D9D35D0-C34A-41C7-A7ED-15D782626EC9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bdeacae6ea35d3c55028ade4ac93b6c7813f1db","datavalue":{"value":"SAT encoding","type":"string"},"datatype":"string"},"type":"statement","id":"Q4913754$CD6ECC2C-90C4-42D8-8E88-9D478B305629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b93d69ebc1c51cfee06b00c8b748e2b4275c0266","datavalue":{"value":"combinatorial problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4913754$41A3B29D-6223-49B6-A0AB-057FE16A4171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2dfd65d3c38f21f5ce89ccd9b76ee620100d6615","datavalue":{"value":"Boolean equi-propagation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4913754$FC9490E8-49EB-4146-A1DF-97C8B255E652","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"819305f873e76c90d91a03741ddef3564d02d474","datavalue":{"value":{"entity-type":"item","numeric-id":22143,"id":"Q22143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913754$EA41BBF3-E65F-4BED-ABDD-ED8935BA962D","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":"Q4913754$118A9C83-7862-4589-88A2-65226AB304BE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7789ba65de644a26a393d3e753c87cb04c4f5164","datavalue":{"value":"W3102811762","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913754$0E0DE4E4-AD1B-40D3-93D7-0ED2B810B470","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ac48e784eed9bb18b0c7702b1a1cec1d1f47beb3","datavalue":{"value":"Q129493544","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913754$D97676B9-38A3-47DD-AB05-AC574DA70811","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ebe84d0c2a66e48b25020db7b3865086bb8e7d5a","datavalue":{"value":"10.1613/JAIR.3809","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913754$C9095356-A18F-4F62-97E2-CBF2FBFC2BEB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4c8c327398d959004228f395e447bee5e70bf74","datavalue":{"value":{"entity-type":"item","numeric-id":2796076,"id":"Q2796076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86c9f5a455fa294f9ac95b118debd0f7a60e60fb","datavalue":{"value":{"amount":"+0.7897608876228333","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":"Q4913754$0AE28C07-4EC8-4192-84F8-456AB2547B54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"769515ff4b8c1d15fde20ff305a2c63ef0c02132","datavalue":{"value":{"entity-type":"item","numeric-id":2342599,"id":"Q2342599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4e8b9c309f13d43ef300a55147b407f62e5085e","datavalue":{"value":{"amount":"+0.7672118544578552","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":"Q4913754$5B8B6251-0117-4113-96E8-71371F494C8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a877c9392587c9bcea882f9d9d400c81495e59f","datavalue":{"value":{"entity-type":"item","numeric-id":2009185,"id":"Q2009185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b5fd2d5febab93ae0333bc922c301646d0155ca","datavalue":{"value":{"amount":"+0.7656124234199524","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":"Q4913754$302D40DC-8A42-4904-9E9B-1E9A8FEE112C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07f5e6f344dd9c773c216c05d942c887d5e35aa3","datavalue":{"value":{"entity-type":"item","numeric-id":5897193,"id":"Q5897193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bf755f0576494b70986e2f472f79e575d232351","datavalue":{"value":{"amount":"+0.7643119096755981","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":"Q4913754$11C002C1-23D3-449C-8CCB-B9CCC2A79B1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0a04ddc9ab0ad49d2805f2e3aac59f35dfcbefa","datavalue":{"value":{"entity-type":"item","numeric-id":5714742,"id":"Q5714742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a48063b177a2b33f1eb3b3c2b91994c2c492742d","datavalue":{"value":{"amount":"+0.7624617218971252","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":"Q4913754$92D69DD1-94BE-44EA-A37D-DDE1FA769812","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4913754","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4913754"}}}}}