{"entities":{"Q5015595":{"pageid":7045172,"ns":120,"title":"Item:Q5015595","lastrevid":54172526,"modified":"2026-01-26T09:48:45Z","type":"item","id":"Q5015595","labels":{"en":{"language":"en","value":"MiFuMax -- a literate MaxSAT solver. System description"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7441848"}},"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":"Q5015595$06DA2C33-2016-49A1-BE62-A692A3DCC40C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"186ebf084c89a82dd1a0ff416f17e6a3e6f4e4b7","datavalue":{"value":{"text":"MiFuMax\u2014a Literate MaxSAT Solver","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5015595$10894158-89BB-44DC-882C-8CCC2DCE5607","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"416e0b187c9f84facffbfdbb28a2c3553602e70e","datavalue":{"value":"1484.68217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015595$4E9422BA-1ED9-450A-B13B-E18CBF9DBEF5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f1c0d93d8cd7709ca5e47f0e7bcb2deca6e0f8e7","datavalue":{"value":"10.3233/SAT190103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015595$7280343A-12DE-4888-B7EB-EFE1DE587355","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e24c4e43654848209a68060f96d6b8df113db0e5","datavalue":{"value":{"entity-type":"item","numeric-id":253961,"id":"Q253961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015595$E80325BD-4CC2-4C04-83AB-6859F5D40B0D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e8ef780f8c191fed22e1ac9c059ebec4d3cf7c73","datavalue":{"value":{"entity-type":"item","numeric-id":5014281,"id":"Q5014281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015595$00C03AC4-5167-447D-B86B-7D54D29814C3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"179d64d567eb65d7ced64a9cbb5733ee98b610d6","datavalue":{"value":{"time":"+2021-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5015595$2C598229-9C7D-4D09-BE95-8F4B06054E21","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015595$FC9746F1-4E1E-4B23-9626-B1817A361755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015595$FBD5E559-C0A1-402E-80FC-3A4F22BB0B9E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6b25db31784f31ae2f3e614eab392d1e78f7b63b","datavalue":{"value":"7441848","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015595$DCA209BE-5825-4F65-A0A0-CB1F483A80B9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f90035379f033d8c779548ef0daf0c9417d7c5a3","datavalue":{"value":"MaxSAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q5015595$DB62A05B-1CEE-492A-9193-B9E3F7E9D657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5867ec7b44aefc01672736513dfe6410a0300cd5","datavalue":{"value":"SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q5015595$7D77E324-297F-4C7E-A916-38148503E2A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7af8f7921ac9d97c3c337b3e70582fff95c5246d","datavalue":{"value":"literate programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5015595$4F30D729-77A8-44E9-805F-26CAB9A58834","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"495bbb2cdf1ccc0b759095cf4242510e92d4756f","datavalue":{"value":{"entity-type":"item","numeric-id":37198,"id":"Q37198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015595$B979DAA6-D1D9-4D3A-9E9E-F178E201D242","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":"Q5015595$164C093E-A75D-4D18-8572-627F882E7398","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"22485e2e7f5d751287059d6c89f8749b6a408a20","datavalue":{"value":{"entity-type":"item","numeric-id":5325885,"id":"Q5325885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015595$3C009470-7017-4683-8495-75C39AD8452B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d421342230c67a224b42e44ea336b06445d9587a","datavalue":{"value":{"entity-type":"item","numeric-id":2845506,"id":"Q2845506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015595$99BEAB49-147C-400B-9F15-C04A852CE86D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e648849759be406c9eb52fea228820e1c04a6864","datavalue":{"value":{"entity-type":"item","numeric-id":5756559,"id":"Q5756559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015595$298C0C59-32A4-4BFC-B98E-074A46C3753E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77b430e85ce041664f165c8018c4e5ae7fa672fe","datavalue":{"value":{"entity-type":"item","numeric-id":3316551,"id":"Q3316551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015595$81187E97-591B-4536-86E0-5ED7F54D48EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bd4afa29e020ea6bb9de6f599ede133d0d89b0e","datavalue":{"value":{"entity-type":"item","numeric-id":3637182,"id":"Q3637182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015595$DC99850A-BFC1-4F21-B7D8-63156E98B540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bef6d2427f49c9b63113649bc54ab909f5f1166a","datavalue":{"value":{"entity-type":"item","numeric-id":2348540,"id":"Q2348540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015595$BBC68A5A-8C48-4372-894A-5294CC344DCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c337d12d1fce2d6f32267753653c9887252cb69b","datavalue":{"value":{"entity-type":"item","numeric-id":3192051,"id":"Q3192051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015595$ECF2DAFB-8080-4FC3-9019-EB3B27EE338A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9269e64d2adca53bb2f298ca1a02b550d98c27a7","datavalue":{"value":{"entity-type":"item","numeric-id":4571400,"id":"Q4571400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015595$0FF377BF-F1D8-4FE7-9055-BC7491FEB957","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":"Q5015595$8A03C7EC-7442-4377-B96A-D06DFE67E9C8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2df4fd37c6bb6420b5883e9ed47de12f4acc8663","datavalue":{"value":"https://doi.org/10.3233/sat190103","type":"string"},"datatype":"url"},"type":"statement","id":"Q5015595$85FD8A09-F442-416C-A6A4-FB96587DDED9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"077ab5687f2d51a4ce853d09849c3e618c464f62","datavalue":{"value":"W2278445211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015595$BA4D0A05-6C66-42DB-A291-C9A2431DB468","rank":"normal"}],"P1643":[{"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":"946da1f564cfe5177fe688971743d14e66ecac8d","datavalue":{"value":{"amount":"+0.8064409494400024","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":"Q5015595$A8A98723-0B9F-49CE-B263-AE953405C8BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2084749d0a6826dbbf256f652e959344d3aad6a","datavalue":{"value":{"entity-type":"item","numeric-id":933784,"id":"Q933784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0488b5ee7ced5fc6837cfa9e6cc72ecf1ebedb4b","datavalue":{"value":{"amount":"+0.7733554840087891","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":"Q5015595$1A59E3F9-00C7-4014-A246-58F1A978DD67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33250f260d9da800bf4da3a93eef7edbea6c93db","datavalue":{"value":{"entity-type":"item","numeric-id":3637178,"id":"Q3637178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d6b68f2ceea190c40a8ea7724813d8de8713238","datavalue":{"value":{"amount":"+0.7707397937774658","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":"Q5015595$24203C7F-8ED7-410D-BF2C-4266EA5C5ADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7385fe6d7cf1e95d81c9779e41148f51b625018a","datavalue":{"value":{"entity-type":"item","numeric-id":2389619,"id":"Q2389619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81e9742fa882be728608d78e059b1605b8bcf622","datavalue":{"value":{"amount":"+0.7651597261428833","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":"Q5015595$F3662D2E-A969-4332-9C91-F74FFF20D621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bf4d866e68bc2042476a6fb24341692dfe6ec74","datavalue":{"value":{"entity-type":"item","numeric-id":2818041,"id":"Q2818041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d824a5513f0e98aeb72f8c1b7a3c9cf0dc46c53d","datavalue":{"value":{"amount":"+0.7571476101875305","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":"Q5015595$1E7B02CC-0A29-4007-BAD8-B2B50DF77DD3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5015595","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5015595"}}}}}