{"entities":{"Q2661378":{"pageid":2672121,"ns":120,"title":"Item:Q2661378","lastrevid":44590521,"modified":"2025-11-24T04:20:30Z","type":"item","id":"Q2661378","labels":{"en":{"language":"en","value":"Incremental encoding of pseudo-Boolean goal functions based on comparator networks"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7331043"}},"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":"Q2661378$E62791AC-9977-4D36-B209-E04FD4C35C3B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"74e13e851b9a021e548b2fd6ee583462f0b62862","datavalue":{"value":{"text":"Incremental encoding of pseudo-Boolean goal functions based on comparator networks","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2661378$FC16FAFE-FF62-4654-9FE2-B83827DC5216","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b89ba2b385eff767aba75f08f921b29119d8e281","datavalue":{"value":"10.1007/978-3-030-51825-7_36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2661378$0A362508-5BA5-4F48-BFB4-1DFECDA3631F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"73a2468ab546d0f64591ae8a5ad0b2ad8e730787","datavalue":{"value":{"entity-type":"item","numeric-id":730004,"id":"Q730004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2661378$BDE70D3E-A293-49BF-B2CE-87716572C97D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"852856601c700d456f379031cad996d3a18750e2","datavalue":{"value":{"entity-type":"item","numeric-id":808259,"id":"Q808259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2661378$8498488A-B032-415E-833A-1C81C6EB13BF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9d00bdcd19b4845662efa642e1e79b87a36e3395","datavalue":{"value":{"time":"+2021-04-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":"Q2661378$E8F059B7-EE38-4491-B1F5-2EA77D1818A5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2661378$E4D28CD6-B3C3-4B8F-824C-F706414F6AF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2661378$4A60CBF7-7F92-4D61-B4AB-248CFE161680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2661378$5B72E217-11A9-4511-98FC-79F206FD225C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"87423daab74738519e13a96a2ac62d759752e2bc","datavalue":{"value":"7331043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2661378$71D083AF-F38F-4AD0-8C15-B68509447F8C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b9c7a42f6fa7cd9034eb5795463e2a7c5eb9422","datavalue":{"value":"incremental encoding","type":"string"},"datatype":"string"},"type":"statement","id":"Q2661378$A97CCAB4-D18A-415D-8DA3-8CF9D942C528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f056f16d12e3911ff6246e91f9240fc3ed2e4d87","datavalue":{"value":"CNF encoding","type":"string"},"datatype":"string"},"type":"statement","id":"Q2661378$C1B18EA7-E8A9-4A4C-AF7E-B759802B1BF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d6fcec8e546d133ed330fa44a395a65aabde15d","datavalue":{"value":"pseudo-Boolean constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q2661378$B4243EE7-1D06-4189-8C83-4914C5363ADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dde58eb7a405f6ff4043a1186922c8dccac7ae2c","datavalue":{"value":"comparator networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q2661378$71813033-F923-449B-A2E8-EF1CE3D536D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ada39bf48376443cd80ccb164303b4bf9308180e","datavalue":{"value":"SAT-solvers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2661378$C60C2197-CEAE-4D24-89A8-9E3C07E557D7","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":"Q2661378$46303EEA-539F-413E-AB9A-CD6B7EB7E97A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"381d99ec0168bdc6ba24b66fd0b273265a1ebce4","datavalue":{"value":"https://doi.org/10.1007/978-3-030-51825-7_36","type":"string"},"datatype":"url"},"type":"statement","id":"Q2661378$62AAF002-8FEB-4884-AC26-194972F12809","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0c6f0318e28a713d2228125a3f212979bf8d10fc","datavalue":{"value":"W3039293627","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2661378$D0ACEC78-DABA-44D5-B53F-21676E387D3C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a6bd338c7eb3205bfc13bdaf0e6f17c1ae2b6cb","datavalue":{"value":{"entity-type":"item","numeric-id":1219868,"id":"Q1219868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e3ac1ab22fe15cf1102e98a732fdc5245c6dfe1","datavalue":{"value":{"amount":"+0.81624776","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":"Q2661378$3F99ABD9-435E-4A22-8069-5739CF52CF60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d14ba3d870a41a677847d8877076af841806a57","datavalue":{"value":{"entity-type":"item","numeric-id":1941951,"id":"Q1941951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b6069f682d9fbd5ba6348df06bf4397d7a507dc","datavalue":{"value":{"amount":"+0.8058712","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":"Q2661378$5228296A-4618-4792-8048-80D4CAD92814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b2e0a30645d74d651fac26a4721a956eedc3c89","datavalue":{"value":{"entity-type":"item","numeric-id":4285537,"id":"Q4285537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a6866445fbddac8cc386222afcd2bdfb2ddba09","datavalue":{"value":{"amount":"+0.80473197","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":"Q2661378$B5E9ACEB-D4A3-436C-922A-BB727B3E2F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d1ae53807ca8cb16bcd75f9214706332dce3415","datavalue":{"value":{"entity-type":"item","numeric-id":4373011,"id":"Q4373011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbe70dc7fe7c910f2eefa280dc9d90b2234dab2d","datavalue":{"value":{"amount":"+0.7954113","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":"Q2661378$5F64A9C3-A477-4A09-91BA-09107E0DE444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58cf255b649e93f242ce2a2992a9350a4f1f62bf","datavalue":{"value":{"entity-type":"item","numeric-id":4828041,"id":"Q4828041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c6547ed0de045e23b9a6f69a16396cf5b3ea6c0","datavalue":{"value":{"amount":"+0.79091465","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":"Q2661378$EDDA5FCA-DEED-4ADB-A228-6108B383C4B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"712d71181bebd6ae93982dde80071423571bf78a","datavalue":{"value":{"entity-type":"item","numeric-id":1589657,"id":"Q1589657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd1c9b841eb2b08ef31b6ed5f839d142510ec570","datavalue":{"value":{"amount":"+0.786815","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":"Q2661378$F364AA53-5F0B-47EE-8698-8A7FEBBB0AAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1dc7c223c5253f477f42fa50f0e01f4cd52df864","datavalue":{"value":{"entity-type":"item","numeric-id":5054852,"id":"Q5054852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd1c9b841eb2b08ef31b6ed5f839d142510ec570","datavalue":{"value":{"amount":"+0.786815","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":"Q2661378$DD1A33BE-86AB-4A59-8E52-6BC8D29347AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6c601bc2b7e20b321a6a8e5f0f1187b2a3bd307","datavalue":{"value":{"entity-type":"item","numeric-id":4973588,"id":"Q4973588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5fb033846dfe6f63cf5a6225ba4d1a7823aefcb","datavalue":{"value":{"amount":"+0.786128","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":"Q2661378$B1E27558-B26F-440C-9CFD-7679749DA028","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2661378","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2661378"}}}}}