{"entities":{"Q3181648":{"pageid":3192356,"ns":120,"title":"Item:Q3181648","lastrevid":50783144,"modified":"2026-01-15T04:06:48Z","type":"item","id":"Q3181648","labels":{"en":{"language":"en","value":"Terse integer linear programs for Boolean optimization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5613974"}},"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":"Q3181648$B0D67094-DBEC-44F6-B0A0-27B2616E5EEA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"054531a6eb2a212e3925e889d8d16d5ea6ab1839","datavalue":{"value":"1180.90193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3181648$345ACCD4-F141-441F-B9C8-0780ECEF1273","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"02a2b8eae75ae93bfa2fd8be1469e19bd40ca9b3","datavalue":{"value":{"entity-type":"item","numeric-id":325379,"id":"Q325379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3181648$337AE55C-2DBE-40CF-999A-9A63C82F8390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec836ff936bc36da48dc2a5206310fbe5436267d","datavalue":{"value":{"entity-type":"item","numeric-id":403652,"id":"Q403652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3181648$3177EFBF-EF46-43A0-AC6A-8DA427639D96","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"93f647a4ebf59f456db8e4a403723e6cd39fb2e6","datavalue":{"value":{"time":"+2009-10-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3181648$1E49DC5B-78B6-40C2-8FFD-4B07BEAF1780","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6958ea3363ca9244e0da0201efd237a8410f9a0c","datavalue":{"value":"90C09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3181648$7F487169-6FCF-4E14-A6F2-560E47BAFD09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"52de7d4bf5a27d5ad252804eec58396bb3e40c44","datavalue":{"value":"90C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3181648$A4834B0E-0868-49EB-851C-AD9787EC3700","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8299b459af3d8c1ff5d4a3a69cd4e2c2da269d77","datavalue":{"value":"5613974","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3181648$4DD5F262-D7C1-4474-AD5F-AB15611D49B6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08c009e1da85687f7d248bf3d529bee2d7b4b712","datavalue":{"value":"pseudo-Boolean optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3181648$0126476F-A54B-4410-BB09-19A520542223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7266802113187a96c78397ed692b735dee12e876","datavalue":{"value":"maximum satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3181648$67504631-0BE8-4E10-8E6F-ABC10A8C02BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b75587800632425b7771eb751deb24e7233e2193","datavalue":{"value":"cut polytope","type":"string"},"datatype":"string"},"type":"statement","id":"Q3181648$13EADA63-31BA-43DA-95B5-A04E197EEF80","rank":"normal"}],"P1463":[{"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":"Q3181648$50CE10BF-A848-43D4-8835-6FE0638DCD5C","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":"Q3181648$E8E33DC2-02B2-40C7-9F5E-90C14CF3A993","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1e0b74582f1aa0867b3927fc7b7e4c33e174daf","datavalue":{"value":{"entity-type":"item","numeric-id":5289581,"id":"Q5289581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cc5af29848ad6b4409ac85d07e4f287e96e1373","datavalue":{"value":{"amount":"+0.7780323624610901","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":"Q3181648$2E921416-9232-4C03-9E39-C5B4ECA91B04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3ab83989720490254ed3195987d29d24d4b6248","datavalue":{"value":{"entity-type":"item","numeric-id":1310196,"id":"Q1310196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cc5af29848ad6b4409ac85d07e4f287e96e1373","datavalue":{"value":{"amount":"+0.7780323624610901","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":"Q3181648$14E36DC2-DBC5-4602-AD98-F709BCA5B632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ead4a6ca94afd43642018021f12f24f3ff9f93a5","datavalue":{"value":{"entity-type":"item","numeric-id":3429164,"id":"Q3429164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc45a6c1c717d7baeee1d3f50fb8fe4a3c75f18e","datavalue":{"value":{"amount":"+0.7769982814788818","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":"Q3181648$20998132-4D9F-43D5-9846-9BE0F12B9650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"847ea2b4776f186e465796b4e802477bc94d4ad8","datavalue":{"value":{"entity-type":"item","numeric-id":3544267,"id":"Q3544267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc6d4520a09eab7fff6477129d82152d0c3a741e","datavalue":{"value":{"amount":"+0.7690406441688538","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":"Q3181648$F73BF2E8-9BD9-48FA-AFA2-CB9FEB77C732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3215322cdcbd356039a61b33ebf44bc61435378e","datavalue":{"value":{"entity-type":"item","numeric-id":3775329,"id":"Q3775329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d177acd700e688e7012606035ff551ec3df3b58e","datavalue":{"value":{"amount":"+0.7622906565666199","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":"Q3181648$6CB2206E-484F-4704-B309-7D05A1021519","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3181648","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3181648"}}}}}