{"entities":{"Q3637167":{"pageid":5667073,"ns":120,"title":"Item:Q3637167","lastrevid":50704178,"modified":"2026-01-14T21:02:01Z","type":"item","id":"Q3637167","labels":{"en":{"language":"en","value":"New Encodings of Pseudo-Boolean Constraints into CNF"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5576285"}},"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":"Q3637167$B2770DE4-8D9B-4696-8F05-50DC6654D0CB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"62786d1875831119cb8e927b98987c777889d5d2","datavalue":{"value":{"text":"New Encodings of Pseudo-Boolean Constraints into CNF","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3637167$03229115-186C-4BA5-8F4E-584DFFE49446","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"917e0c6fbfc99243ca4f27ab7164d0ef64d3f544","datavalue":{"value":"1247.68246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637167$866C6005-FEB3-4D00-906C-32210DB4CD70","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ed290898ff215ed654a6b9d7e61d936adc961eb4","datavalue":{"value":"10.1007/978-3-642-02777-2_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637167$CE02DBB1-482E-4B56-9E58-C8F4BA83B39A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d4955bafb93aaa1bc5390fe85ede125a111b6b1","datavalue":{"value":{"entity-type":"item","numeric-id":877839,"id":"Q877839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637167$C3E4F619-B500-4AAC-8A06-DE4F419302DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7aa50cb090133c1276a20a5c3fcef5cf7557266","datavalue":{"value":{"entity-type":"item","numeric-id":765339,"id":"Q765339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637167$45201E52-3631-4AAE-8333-14B2C6B7B7F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4beadd54d37d1768a3822ce90028da2dc5fab4c4","datavalue":{"value":{"entity-type":"item","numeric-id":606900,"id":"Q606900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637167$2C7DC96A-F85A-4C6A-BA25-132433625954","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":"Q3637167$6164AFEE-8E3E-4EF3-8DE5-3F066211B691","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"94035e3f051d88ae4ad052aa0269faba85e94c5a","datavalue":{"value":{"time":"+2009-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3637167$B1C0428A-3526-420F-A325-F02EA48F69B6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637167$9330064F-DA99-40F3-B984-03FEC93BE2EA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"709d1f5ce8e0bf9375f42e92575e5db8b0b5e7fb","datavalue":{"value":"5576285","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637167$1C1F1FE1-4901-4E9B-8012-9450F0A93882","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54fc13d85c90406af05dbef85bf312281300c830","datavalue":{"value":"pseudo-Boolean","type":"string"},"datatype":"string"},"type":"statement","id":"Q3637167$36DC755F-BFDC-4EEC-98D0-B949E99B1E2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22fa0d08e2924415230ac1b5388e2f086765c1ba","datavalue":{"value":"SAT translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3637167$ECCFFAEE-E28E-4163-B433-1758073FF4B3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d8159bf0a919a0b8aef1e30e19d8f9c6cbe3ba79","datavalue":{"value":{"entity-type":"item","numeric-id":16793,"id":"Q16793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637167$6CE3FCD1-BD6F-49D1-82FE-9CAFF7FF1F6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"327d4a53b9450aa43441b555bcbd82aa43b41de7","datavalue":{"value":{"entity-type":"item","numeric-id":13494,"id":"Q13494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637167$27386B38-5840-4D12-A396-2E30399F2D1A","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":"Q3637167$0DB3D3C0-1226-4309-9F2D-A512DD07F166","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"786d2b7207be943dfc557f7974ee58be169f3ed0","datavalue":{"value":"https://doi.org/10.1007/978-3-642-02777-2_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q3637167$A8B0C3DE-703E-4F5E-8D55-7ACE811BE30C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0df9d1e2b3bc65c6d077cc104c40da95a2cf46e6","datavalue":{"value":"W4301887518","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637167$F10A521F-C35D-47A1-9356-900AE19079DA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"140707a542a9d45a6f78619413d8c06c89d7576f","datavalue":{"value":{"entity-type":"item","numeric-id":2729082,"id":"Q2729082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637167$C831A2F4-66AE-4497-BF2D-431FDDA5C911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0136916078008f85fe85508dd536c62284b62696","datavalue":{"value":{"entity-type":"item","numeric-id":3523055,"id":"Q3523055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637167$1C3CB7E2-B01B-4D4A-8DD6-0F8C105DA4C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37c83eb0bb9c863c487d30856ad78d111fa5c91a","datavalue":{"value":{"entity-type":"item","numeric-id":5897193,"id":"Q5897193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637167$F0B47980-3808-4B9E-8370-F9A0A16ACB39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdfdc3eaa2f6b84752ed0d70637ff5b1bc7bd9f4","datavalue":{"value":{"entity-type":"item","numeric-id":3429162,"id":"Q3429162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637167$04BE868A-B585-409E-A557-F2E2E1BDA187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4db0ca3f41f4690dbf2ec6990d8347992fea3ec8","datavalue":{"value":{"entity-type":"item","numeric-id":3612464,"id":"Q3612464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637167$7654AC33-5AA5-4A90-80BC-4F0595C5B66B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8828146480c327d9a17971b5fa330d92b4921c90","datavalue":{"value":{"entity-type":"item","numeric-id":3429154,"id":"Q3429154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637167$35636A22-4D23-4C81-8D83-EAD115CC83F5","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":"Q3637167$137C04F4-8200-4291-8A1C-68EECE86A641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b107d69d8ca98db7620611ee6ace5f0ce2d290cb","datavalue":{"value":{"entity-type":"item","numeric-id":3524229,"id":"Q3524229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637167$DB5416BB-61AA-4048-A727-CFE6622BEB40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f217d7c1a8591d173f7a390567150498d1528ee2","datavalue":{"value":{"entity-type":"item","numeric-id":293409,"id":"Q293409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637167$62FABD6D-10C8-44C8-BFDF-4357B76C9DA3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5acb1edd21c23a4caa49967f778b3c1ff2122d0","datavalue":{"value":{"entity-type":"item","numeric-id":3429162,"id":"Q3429162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d68bc40b8a59b40a08f4be63c9d1ef820d5e311","datavalue":{"value":{"amount":"+0.9197821617126464","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":"Q3637167$53312429-4A7F-4500-BF8E-31E17B520C38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44a4d9d44482ef2b2e6eb69318a624b464406c5a","datavalue":{"value":{"entity-type":"item","numeric-id":3453205,"id":"Q3453205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58dfe20ead1fddcfb608d09317a5f50b4bac9c9f","datavalue":{"value":{"amount":"+0.8551980257034302","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":"Q3637167$BC7191E0-7413-4F7C-BE0C-9B76420B2F5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5d04c998d4391d40391033a7c208d1b9d5827c3","datavalue":{"value":{"entity-type":"item","numeric-id":3007674,"id":"Q3007674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2f0bf6f95aa2aff17b5341f6ff443b97e89fa46","datavalue":{"value":{"amount":"+0.8258540034294128","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":"Q3637167$F86D2830-0864-4FD6-A1F2-E6C1AFF6D7B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c34cbbae1ac331190093428bc3ea6b9d5212fe02","datavalue":{"value":{"entity-type":"item","numeric-id":3524229,"id":"Q3524229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"437f7159e6ccdf09aafd54da080863dd19d2beec","datavalue":{"value":{"amount":"+0.8166289925575256","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":"Q3637167$EC0A6591-5CE5-470F-B2E4-9A773DFA6FF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e60971c7f2cbfb85bcc36fe0a3a900132157fd65","datavalue":{"value":{"entity-type":"item","numeric-id":2060735,"id":"Q2060735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e1399aa7fe8c5530accc936ca65efe79fb4ec1a","datavalue":{"value":{"amount":"+0.8128490447998047","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":"Q3637167$C02314E9-CCCD-46FB-87C0-48206390E33F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3637167","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3637167"}}}}}