{"entities":{"Q3533153":{"pageid":5563057,"ns":120,"title":"Item:Q3533153","lastrevid":50483864,"modified":"2026-01-14T04:22:47Z","type":"item","id":"Q3533153","labels":{"en":{"language":"en","value":"optsat: A Tool for Solving SAT Related Optimization Problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5359327"}},"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":"Q3533153$38619C01-0485-473F-BA1D-F3ACE66F5606","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ba1b97f40e4289ff662ea7111af415f99bcbd10d","datavalue":{"value":{"text":"optsat: A Tool for Solving SAT Related Optimization Problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3533153$798F81B2-5108-4D01-A1E3-04D678AEA833","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"190d6b1c773d682383589af77828eda982219d49","datavalue":{"value":"1152.68553","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3533153$0DD07C69-43DF-442A-98E1-E376B87F80A9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cf79b6ef9b34f8d9e5971499647a3433b4b4fe65","datavalue":{"value":"10.1007/11853886_43","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3533153$71E6A289-F09F-43BB-8599-C51168C951A0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5fbf1d9c0b0e83239511c911eb40c1e2a2b73d12","datavalue":{"value":{"entity-type":"item","numeric-id":414854,"id":"Q414854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3533153$1967E18A-02A7-43DE-9CFC-CB0BEE424A95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3260f3ff5bb501f931edc564a27f90796d6990e6","datavalue":{"value":{"entity-type":"item","numeric-id":414855,"id":"Q414855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3533153$FB76117B-4D79-4E88-B081-267D922061B3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f243a6673bd9cf7abffff5d921f26c940b2015b3","datavalue":{"value":{"entity-type":"item","numeric-id":2835857,"id":"Q2835857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3533153$0E68F6EF-2029-430D-AC29-4E8842D71E53","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9a314951617bacafcd051bc028a7f73602f45eed","datavalue":{"value":{"time":"+2008-10-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3533153$E7852ED7-F361-47EC-BA4D-C4F88CD301EA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3533153$C03C4C1B-1D33-4215-8328-0F756DC713F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"955a6ac68db8c67c1772255c707ed5eb1d2bad2b","datavalue":{"value":"90C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3533153$2223E996-5974-4CF6-89D2-155F7F768350","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5ff23c42bbce95e089d2e40eaec9caed28956e9c","datavalue":{"value":"5359327","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3533153$A9B95A64-D60B-4AE8-A3C9-8F9A46AE6926","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":"Q3533153$02CE2AE5-1752-4262-B5A6-C0C42B117C70","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c1104e1a01fea5126cf3c6c969aec8c97db4f6d7","datavalue":{"value":"https://doi.org/10.1007/11853886_43","type":"string"},"datatype":"url"},"type":"statement","id":"Q3533153$379E27CA-2231-4D87-97BD-C75BE161C8E4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2e5cde068dedc552b0bff3bbc215a35fe8e8b9f1","datavalue":{"value":"W2149112194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3533153$DF2B38FA-C019-4A27-B6FE-0CC1ECBF11C9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d42a61528967e57bb077d7acc7755a32faf3f3d","datavalue":{"value":{"entity-type":"item","numeric-id":606909,"id":"Q606909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a35b4a4dcdd521642bc46ee2bafb339a725862ae","datavalue":{"value":{"amount":"+0.8513080477714539","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":"Q3533153$2622D1E9-CD61-4552-88C7-23CAFFE37BDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ab6b9734cc3d42c614089db151b583c27a3a712","datavalue":{"value":{"entity-type":"item","numeric-id":3624109,"id":"Q3624109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea1e11469e63ed8a54a9ac54b1bc468823e6125c","datavalue":{"value":{"amount":"+0.7827854156494141","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":"Q3533153$B1E0CF77-C506-46B2-A91E-1F1DEB288FC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4247961ed77b7a22e2192f953c29f42930dd8438","datavalue":{"value":{"entity-type":"item","numeric-id":1426002,"id":"Q1426002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0b0d1eb82fc9c0980b7e3d62f3d26d853917bcb","datavalue":{"value":{"amount":"+0.782533586025238","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":"Q3533153$A1AFFAF5-B222-4096-B045-DCF870E33095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9106f5e86e101ad9763bfa8efced152930103c0","datavalue":{"value":{"entity-type":"item","numeric-id":5756563,"id":"Q5756563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b58074a3c0578ec69df9a8abdf0af35b5e27136","datavalue":{"value":{"amount":"+0.7802385091781616","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":"Q3533153$4CD1FFE4-34CE-42FE-BD17-5B423FE4349E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb13cc492623077969c467c8b5baad17f6203901","datavalue":{"value":{"entity-type":"item","numeric-id":4536400,"id":"Q4536400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b7251d75de7669d6aae9be3b91c2d3eff669614","datavalue":{"value":{"amount":"+0.7772200703620911","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":"Q3533153$1C2EC06E-3337-4AC5-85BE-AADE263DCC21","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3533153","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3533153"}}}}}