{"entities":{"Q6847313":{"pageid":20580550,"ns":120,"title":"Item:Q6847313","lastrevid":84276701,"modified":"2026-05-14T13:21:33Z","type":"item","id":"Q6847313","labels":{"en":{"language":"en","value":"Using execution logs for improving pseudo-Boolean propagation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8169922"}},"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":"Q6847313$B1451AD6-D60E-43E3-ACF9-F663E716A70F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"24fafd1ff4dac451b1ea1cc9c9168de9989b7bf7","datavalue":{"value":{"text":"Using execution logs for improving pseudo-Boolean propagation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6847313$6DE73E17-6B9B-440D-882B-A89E718DBA41","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8be1f938a16c92f6a179145ab806a6e01d153452","datavalue":{"value":"10.1016/J.ARTINT.2025.104470","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6847313$7DD69A60-21F8-428A-B3D2-A9337FE1634D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1e6a58ff964b9ca97414f0c42659717fa8e6fc43","datavalue":{"value":{"entity-type":"item","numeric-id":475169,"id":"Q475169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6847313$E09D8594-27A5-45C0-8D7C-104DAF3E5FE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cfd1da8b09a3144b32ef026d1d9b2bca68560b37","datavalue":{"value":{"entity-type":"item","numeric-id":438574,"id":"Q438574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6847313$2AB6A2E3-0AE3-46A3-9933-C6819B2D2248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1c6f3313098f94ac950042b92865f2f95306b33","datavalue":{"value":{"entity-type":"item","numeric-id":438575,"id":"Q438575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6847313$EB669E47-C575-4007-9FD8-114754E93CE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c29b167b00f0682cbbb3c19883b8ca684f8a604","datavalue":{"value":{"entity-type":"item","numeric-id":350992,"id":"Q350992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6847313$EE17CC04-5EA9-48DE-BFF8-50E78B343F0E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6847313$56BD8C87-B028-415C-9A8D-87004276595C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"665884feed858a78717dfed3ddfae506708060db","datavalue":{"value":{"time":"+2026-03-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":"Q6847313$371AFC46-888A-4B97-BE5B-56AB9B915DA2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6847313$0483312F-F4F5-4E32-B80F-A5683BEBC813","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e693f446fa292a7993156ec6ea052242ea28dd89","datavalue":{"value":"8169922","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6847313$534783E9-3362-49BB-918D-3889268DE610","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5867ec7b44aefc01672736513dfe6410a0300cd5","datavalue":{"value":"SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q6847313$A9666B65-6968-48DF-92F3-67BF256FB28C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c184ae38aec45bb87d77d3d6eb02356ebdb66adc","datavalue":{"value":"pseudo-Boolean solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q6847313$1E5BEF74-7289-457A-9DF9-29E2D790A13D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5da99a8de9feaaf737dd805fccd7ad39d423871a","datavalue":{"value":"implementation-level details","type":"string"},"datatype":"string"},"type":"statement","id":"Q6847313$3FA3F5E8-8401-4B08-8CE3-FE48A67E3C34","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":"Q6847313$5D4EFBA0-1EED-442E-A459-BD0F80E8B103","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"69a2122a14805eab191fa1d78660f5ecdd9841e8","datavalue":{"value":{"entity-type":"item","numeric-id":6864419,"id":"Q6864419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6847313$7C4781BE-5F9A-4649-A045-8E040C6F07C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ac9a64b9bba218d8ed346af22a83b10294e255a","datavalue":{"value":{"entity-type":"item","numeric-id":3176368,"id":"Q3176368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6847313$2E875EE5-56F3-497D-8591-1454A717DBA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"267c9a049e1d23dec9384466e67f8ed33bdd1200","datavalue":{"value":{"entity-type":"item","numeric-id":5716544,"id":"Q5716544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6847313$3E417665-8B92-4C70-A93A-5BD1A1738582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7012bf2c8e1ba10cf9896acdd463864da284937a","datavalue":{"value":{"entity-type":"item","numeric-id":2818017,"id":"Q2818017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6847313$0311F7D7-A2A0-42BE-98AE-618FF85E5B4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"345d727ccbd76ddca8c6106034f4c5e52c95f38a","datavalue":{"value":{"entity-type":"item","numeric-id":5894155,"id":"Q5894155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6847313$E5A8BA30-E58C-494E-AEBC-8759B46EEF60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"056dc5420e2fc7959d17ae88fc635923df61286b","datavalue":{"value":{"entity-type":"item","numeric-id":543613,"id":"Q543613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6847313$C7072FCA-078D-4C29-9774-FAD2D1B38535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"652707f3c517fc0bc45fb7ef7e533228515c0c0d","datavalue":{"value":{"entity-type":"item","numeric-id":5715680,"id":"Q5715680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6847313$F07766B1-9B50-4FD8-B8CA-50854269A18C","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":"Q6847313$D776E8E2-3F0D-4238-86AC-291A14E07BF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cebc572d627a83eaa191f68127ff59e387905680","datavalue":{"value":{"entity-type":"item","numeric-id":580175,"id":"Q580175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6847313$7C2E7882-6970-4A2C-A3D4-FF779CF919FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4aed648419a2f33952d6c4fdad5bb320b7e1833f","datavalue":{"value":{"entity-type":"item","numeric-id":3429161,"id":"Q3429161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6847313$09EF0E6A-AA91-4CD9-87F8-8089C9E0A11B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eec3a7a8a932325c5256989808ecaa1885f2b4a0","datavalue":{"value":{"entity-type":"item","numeric-id":5325868,"id":"Q5325868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6847313$709A74B5-812C-431D-B2F7-80FCE085478D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6907f9eefbc6a938f24222925f9a5e012e01c300","datavalue":{"value":{"entity-type":"item","numeric-id":3181647,"id":"Q3181647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6847313$83E3EF4C-B66F-4A4E-95E9-2C83E6CC2CC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fef339287e1d9e9fe3cc868d0a40d2b699993fb","datavalue":{"value":{"entity-type":"item","numeric-id":4933329,"id":"Q4933329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6847313$1697EE70-0414-49B2-B2DF-23A607B3A23B","rank":"normal"},{"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":"Q6847313$B8B2DB34-FA48-4FF1-A279-B8401B9CA6CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9370899dedc1d653d16f1f5aaa8b6c6be96f529c","datavalue":{"value":{"entity-type":"item","numeric-id":3604000,"id":"Q3604000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6847313$CFEFCD8B-4B6F-4370-BD07-00BE1F6F0071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0d7cbf4ff89e9c1649ea3c294ce7b77b95d71a","datavalue":{"value":{"entity-type":"item","numeric-id":2074664,"id":"Q2074664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6847313$B7E42235-A3DB-443E-B658-465B1868D311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b448328659c53b39c3b23ae508f95e38910428b9","datavalue":{"value":{"entity-type":"item","numeric-id":3453243,"id":"Q3453243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6847313$AEAB99BC-6282-457F-A7BD-40371C13FCE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e648849759be406c9eb52fea228820e1c04a6864","datavalue":{"value":{"entity-type":"item","numeric-id":5756559,"id":"Q5756559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6847313$B015E399-1132-4F10-A470-174784478A1F","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":"Q6847313$D5F7C73E-DDC9-437C-8F56-BF89CDC61E53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c08116d290ea01a9659a86b7bd774b933652284","datavalue":{"value":{"entity-type":"item","numeric-id":2859022,"id":"Q2859022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6847313$88CC7387-CD3F-40B0-9B59-D2528B6559A1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Using execution logs for improving pseudo-Boolean propagation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Using_execution_logs_for_improving_pseudo-Boolean_propagation"}}}}}