{"entities":{"Q5756574":{"pageid":7786125,"ns":120,"title":"Item:Q5756574","lastrevid":40922869,"modified":"2025-04-14T04:27:57Z","type":"item","id":"Q5756574","labels":{"en":{"language":"en","value":"Characterizing Propagation Methods for Boolean Satisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5187233"}},"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":"Q5756574$10704C1C-48CA-4920-8E9B-F7BE827A60BA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"63f2588c065d7fe2d01cf516a97d2ecd8897ecd1","datavalue":{"value":{"text":"Characterizing Propagation Methods for Boolean Satisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5756574$5F0262A2-F1F9-4705-AAE2-E9C55CE81BEC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"98ee9cb7db56026163de134107ea19eefecf2ceb","datavalue":{"value":"1187.68547","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756574$318FCDC6-35EC-4D5A-81DD-03EBB1783871","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9c957d0705828baf34e6d8f09b35dbe319c79a13","datavalue":{"value":"10.1007/11814948_31","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756574$194BDB9B-681B-4F1B-B96A-31DA8C1CDA0C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"698308f1eb002a9cbcb6d8ece6b9b3c10b8d7717","datavalue":{"value":{"entity-type":"item","numeric-id":5756573,"id":"Q5756573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756574$F5B98C47-653E-417B-A9CE-95ECE70ED261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf57a15e60aa9dd2d720b1ac8f7cc15a99ffa6c0","datavalue":{"value":{"entity-type":"item","numeric-id":543572,"id":"Q543572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756574$76C4440F-179F-4C94-80F7-963F75E59DE4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756574$91958092-EB57-4131-9FD7-43657971BB45","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"425e48b9986b227b93d91ab0854d5e88273c1020","datavalue":{"value":{"time":"+2007-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5756574$661E0773-EF14-449A-8335-3DBF33BC9FA5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756574$268A0F38-6C30-4A5C-80E9-319FF37E0063","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e00f556569fa66bf6056899b4bfb396c5947eea1","datavalue":{"value":"5187233","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756574$6C3132D9-B80E-49DB-B2E1-EC34B565E331","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"02aa6cae878b77a5f61151dfb914bd66eebb75db","datavalue":{"value":{"entity-type":"item","numeric-id":16507,"id":"Q16507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756574$5CFF4D02-6ADF-471D-9F46-4045F7F9F494","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":"Q5756574$4DB20865-A8E4-4511-84EF-AF6B9C7FBA82","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"482fa66a4a6348fac4e2fb2b7e90793f5152a1f8","datavalue":{"value":"https://doi.org/10.1007/11814948_31","type":"string"},"datatype":"url"},"type":"statement","id":"Q5756574$5443078C-77BF-4CF1-8EA1-A45BACB57E27","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4008d5d53f8ec5bf95e280a1412efe9cd0a1b99f","datavalue":{"value":"W1488026446","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756574$D4BA21D0-1AE1-49A3-8E2C-A90BB87028C9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75b119b93ef3fd723a297ca76715cb431329d919","datavalue":{"value":{"entity-type":"item","numeric-id":4913754,"id":"Q4913754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd15fe459369c769b8161d08b30072328ea07495","datavalue":{"value":{"amount":"+0.8903937","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5756574$48CCFD2C-2CB5-429D-BB40-652E217CA3AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8c7c95240e207c0d8b24c33c19beb8f00c024a9","datavalue":{"value":{"entity-type":"item","numeric-id":4804883,"id":"Q4804883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6ed8da2d965a4a6a0acd78d7f70b794686041fb","datavalue":{"value":{"amount":"+0.88540685","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5756574$EA1911D6-BDEC-4FA6-A140-37DD3F65F9FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bcbeeb5ebf247252bd252f2b9b4f1bdf64d126d","datavalue":{"value":{"entity-type":"item","numeric-id":4809068,"id":"Q4809068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6ed8da2d965a4a6a0acd78d7f70b794686041fb","datavalue":{"value":{"amount":"+0.88540685","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5756574$B0DC1C76-D363-4C18-95BE-4879D2479EE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6397715b4b253111073a53ff394cddb3612a19b9","datavalue":{"value":{"entity-type":"item","numeric-id":1408385,"id":"Q1408385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61fc5d329e047456e5d92516f9a3f5f0a537f8be","datavalue":{"value":{"amount":"+0.88489246","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5756574$73E46B9C-115E-4D13-A1F2-9ABD5D48D089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8750f891b953ed87358a28cfddae23de23f8fe4d","datavalue":{"value":{"entity-type":"item","numeric-id":4426375,"id":"Q4426375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25f9c8e87152d9c0140691c73c02d2bc33f42786","datavalue":{"value":{"amount":"+0.8837678","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5756574$B0A94100-70E8-40BF-B252-9904E9BD9FA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98a85203c99cbcfe0abf575ceed71162f01a1a90","datavalue":{"value":{"entity-type":"item","numeric-id":3567616,"id":"Q3567616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ae18723860b9e8e7ee4603bc2a04f1e7fe5b99c","datavalue":{"value":{"amount":"+0.8825866","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5756574$36810F35-114F-44D4-AC10-DA25C2EC2999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b091c6ad307ef3a1494f08534f9ebaa1f6a70509","datavalue":{"value":{"entity-type":"item","numeric-id":5318246,"id":"Q5318246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdc25eb6f2bbe60558fa3ba069a8359b680bec4a","datavalue":{"value":{"amount":"+0.8813992","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5756574$E2C26008-B48C-49C4-ADDE-64F137E14142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e68a4ecd14d9185b0b097d26bcd476c19dadcf82","datavalue":{"value":{"entity-type":"item","numeric-id":4319327,"id":"Q4319327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7b57407e294e6c46cb74a7b49c777dd80154ca5","datavalue":{"value":{"amount":"+0.8811431","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5756574$B617E42F-A080-4015-8555-3A1CB274FA06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22bdcdca4d8d41325bbd8e35be08b8ac85e833da","datavalue":{"value":{"entity-type":"item","numeric-id":1430296,"id":"Q1430296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37a31d8c1ff5faa984c569fd2bf20fdee5c35655","datavalue":{"value":{"amount":"+0.87508917","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5756574$C93B2F7A-8F57-42B2-B7F1-B004A0429475","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5756574","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5756574"}}}}}