{"entities":{"Q5041127":{"pageid":7070704,"ns":120,"title":"Item:Q5041127","lastrevid":54419768,"modified":"2026-01-26T19:11:43Z","type":"item","id":"Q5041127","labels":{"en":{"language":"en","value":"Comparing integer linear programming to SAT-solving for hard problems in computational and systems biology"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7600957"}},"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":"Q5041127$4306CAB5-9A49-4453-8C19-67A45D66BD8A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c6cde66cb09eb8facd74746ae0642d61cece6e3c","datavalue":{"value":{"text":"Comparing Integer Linear Programming to SAT-Solving for Hard Problems in Computational and Systems Biology","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5041127$60008DAD-8C9B-43C8-B519-16765E925669","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5686487a1dd4fd019a58ed2f9e1dc8200d712100","datavalue":{"value":"1500.92030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5041127$77F1CFFC-5EEE-48C1-85F3-CB5A471C85DC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"64537db70f2466e64cf9a145486209c74ad46c00","datavalue":{"value":"10.1007/978-3-030-42266-0_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5041127$ADBE43FE-15AE-4176-8EB9-9408F392E19A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8ce1d08b6f8eebfc6a065211adb06728f004ca4","datavalue":{"value":{"entity-type":"item","numeric-id":5041126,"id":"Q5041126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041127$18535C19-3422-460D-A739-A290B9E20DDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e5ba22e631ad38a12f3ec708e4fc3ea9618f2d6d","datavalue":{"value":{"entity-type":"item","numeric-id":822014,"id":"Q822014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041127$4D6E51B4-144D-40C0-9588-E4F6F613979E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e43ec2b202e198d6095e3eb7d39c15e272952dda","datavalue":{"value":{"entity-type":"item","numeric-id":793742,"id":"Q793742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041127$F01D82B1-5FB1-4650-98F8-11DD469BB3A9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"72ccf8182811a945282ff4ab05a0f66818216c7f","datavalue":{"value":{"entity-type":"item","numeric-id":2823012,"id":"Q2823012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041127$B80000AC-2EA2-4313-A521-2595391E526F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f63eb77a6cdb61f75205564f776cc43c0ac4bb43","datavalue":{"value":{"time":"+2022-10-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5041127$1DDA7034-14BD-4559-8A80-C33B4144F27B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"33dbd2fb5ca21d3b7512e0368d809229686ea08a","datavalue":{"value":"92C42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5041127$35E2A717-82E2-4C7F-9440-980434723013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"505a49771a29a1df80db47f27f0ca3c9ddd29e48","datavalue":{"value":"92D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5041127$92859865-D90E-47CF-9BD4-6E3AE5B4D00E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"628b6504534c9c491a1aed9f9fa031e89a793c1f","datavalue":{"value":"92D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5041127$1BB88398-DEF0-46D3-94EB-9A9A7FC72867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3feee98fb6a1a95642ba0c6a16390527874922bf","datavalue":{"value":"90C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5041127$84894112-4EA0-4603-84A1-B579F3150A77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c061e4e7ae883786725eafc8628fcf7f3e822514","datavalue":{"value":"92-08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5041127$F9762FB4-DAC8-4D83-B2A6-982C904226B8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d214c2f600f5876978ea38e69b7650a4efbb7213","datavalue":{"value":"7600957","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5041127$7BCB8B8A-18C8-47DC-9C00-0D0D684F04ED","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e0a438e9092bcf192a5c493b52b0717e88c2591","datavalue":{"value":"integer programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5041127$66AB0B3E-D584-48D3-ABDC-DB30EDC8A465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5f9a2adc04516f7806472d1c6b5b07524a09c31","datavalue":{"value":"SAT-solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5041127$3C6FDE4E-788A-4D96-8D63-4B2DA687EFC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc53d5be0e42bc6520cd105433c85abaabdce1c9","datavalue":{"value":"computational biology","type":"string"},"datatype":"string"},"type":"statement","id":"Q5041127$A2493749-4722-4AE5-8A66-0AA982A4CAE2","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":"Q5041127$A20A1BA8-1CF0-46E8-9F53-5EDD6C0C01CB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fafd5d2e861da246d043e60986c60c186e4efd85","datavalue":{"value":"https://doi.org/10.1007/978-3-030-42266-0_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q5041127$F3F28697-BD67-4EAF-9821-7C6A981C0308","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7ceac8a7f458d2c1ce01eafd8e5764f873aa2b91","datavalue":{"value":"W3013362614","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5041127$0226C1ED-0B47-42F3-891B-7E1916ACBC22","rank":"normal"}],"P223":[{"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":"Q5041127$A7CC40A2-DD31-4D3B-8B7D-2911CE5F3586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b594f057de4472ec1decbf07280ac7eb2cee28ec","datavalue":{"value":{"entity-type":"item","numeric-id":5169884,"id":"Q5169884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041127$769AE67F-0A4A-4813-8E31-AEB13451A986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d255215a1b025cf210af3f355e37697660777b8","datavalue":{"value":{"entity-type":"item","numeric-id":5742904,"id":"Q5742904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041127$A70986DC-0ADF-40B8-9413-F763EE1F2BDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf9e90c95fd5c79989070bc823592bcbb4d665d2","datavalue":{"value":{"entity-type":"item","numeric-id":4234063,"id":"Q4234063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041127$104B3D13-D199-4B39-9A2F-4E44E6D73C02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce1f4d6a76f60118bd1b3af8caa41c377e183875","datavalue":{"value":{"entity-type":"item","numeric-id":2890436,"id":"Q2890436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041127$751B1AD0-1D3A-47EE-96A0-DDCD5E8B787B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3174545f247ba867e20ce889e707d3773ba2f1ad","datavalue":{"value":{"entity-type":"item","numeric-id":897607,"id":"Q897607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041127$D9D58E99-8643-43DB-AFAF-40B2C0C5A22D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1aa738a7900632aabaabb26c9e49338b2384a24","datavalue":{"value":{"entity-type":"item","numeric-id":3644723,"id":"Q3644723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67ddb2952cc19dabf3df93635a75bd7fd8523793","datavalue":{"value":{"amount":"+0.776709794998169","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":"Q5041127$69AEB3A0-2B9B-473E-99F0-C85A64B8D51A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fec5181653640d40c17597bbc5114109377a3ab3","datavalue":{"value":{"entity-type":"item","numeric-id":1278588,"id":"Q1278588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a45a844d95efba2d4b49b187389a6ae009a2e9dc","datavalue":{"value":{"amount":"+0.7469232678413391","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":"Q5041127$81CD1405-B7C8-454D-9B13-8E208CE6B660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4a06f9791d8cc4ab0ac4b12a7aba208e551e570","datavalue":{"value":{"entity-type":"item","numeric-id":2867346,"id":"Q2867346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a92ff40c4cf09708b122ccd559629d7cfad6fb7","datavalue":{"value":{"amount":"+0.745073676109314","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":"Q5041127$492D7FF9-7ACA-4205-8A6E-45213D07C60D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cc91ecea872c6bdbff7ba4d1d06a41e5d19a838","datavalue":{"value":{"entity-type":"item","numeric-id":5742904,"id":"Q5742904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b92bb903439e9c333c9f5b9ff5ed109aeda7364","datavalue":{"value":{"amount":"+0.7422036528587341","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":"Q5041127$53274F6A-6754-4994-BC0D-200C2DC02A33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e8fb614c1bcd16fd655d399323cb453dab17bd0","datavalue":{"value":{"entity-type":"item","numeric-id":3608831,"id":"Q3608831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2039a3408cf5eeaa7636a61fa5f8afae0ea94e9","datavalue":{"value":{"amount":"+0.7340895533561707","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":"Q5041127$85F39B32-E7BE-4741-B6C3-7E1E029B26AA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5041127","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5041127"}}}}}