{"entities":{"Q5756563":{"pageid":7786114,"ns":120,"title":"Item:Q5756563","lastrevid":50157695,"modified":"2026-01-13T07:24:41Z","type":"item","id":"Q5756563","labels":{"en":{"language":"en","value":"On SAT Modulo Theories and Optimization Problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5187220"}},"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":"Q5756563$FF53F3BD-D261-4788-A41A-554178CA4F82","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a82b963fe9341f47a20764f613d47c87e6fcb540","datavalue":{"value":{"text":"On SAT Modulo Theories and Optimization Problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5756563$DFBD8970-387B-4017-B121-524A348A5B49","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bd780da75623ea1ac8602db7f2e9db4da79b289e","datavalue":{"value":"1187.68558","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756563$8D2938DF-0D4E-4B44-B58C-1C47A4DF3F09","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6f416f9983cb1c8cbabe2040b5538f3b0f77516e","datavalue":{"value":"10.1007/11814948_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756563$DB69FCF0-E1C9-4CFE-8061-70A46233DE07","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1e6a58ff964b9ca97414f0c42659717fa8e6fc43","datavalue":{"value":{"entity-type":"item","numeric-id":475169,"id":"Q475169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756563$4DEFF34A-0F21-407C-A1DC-FD8CC4FAF978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cfd1da8b09a3144b32ef026d1d9b2bca68560b37","datavalue":{"value":{"entity-type":"item","numeric-id":438574,"id":"Q438574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756563$A34B5F58-AC3A-4680-92DA-5C15D8AC2B31","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756563$CE2D165B-806B-4B9A-B63D-07DA2379FCA5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"425e48b9986b227b93d91ab0854d5e88273c1020","datavalue":{"value":{"time":"+2007-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5756563$EDAB4FF7-0183-43B7-B57A-8FCD23450778","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756563$0BFF76C2-F232-4AED-A737-7C7A0757092E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756563$51B2DC74-B64B-4FAC-B9EB-1DABC9F2F06B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6240621b4f2e712cc2d55185e0bf8226718da75e","datavalue":{"value":"5187220","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756563$0C360414-3A35-4EA5-A734-531EFACEFFC5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756563$CAF3E882-AB3D-4925-91C2-173D085A80FD","rank":"normal"},{"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":"Q5756563$A9238A46-1FE4-452E-A845-55CE6C994ED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"054bdc753160250e7a128ccbc7a9e886c58a34e4","datavalue":{"value":{"entity-type":"item","numeric-id":14538,"id":"Q14538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756563$2627FAE3-B59A-4023-8768-A0C62C0CF8A4","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":"Q5756563$6F020EEF-01FE-49EE-8D4E-11E80AF7D76A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4fea44c05752b6371141a839f01c62b7c5276922","datavalue":{"value":"https://doi.org/10.1007/11814948_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q5756563$EBA8F965-ACAC-486F-9A06-339C02F36C8A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7e22d6d009b08384fcab76235e4af5bfd0105208","datavalue":{"value":"W1548812055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756563$7A439E65-C0C3-4F33-980D-2BBE700CBF37","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"072374a55d8e9c6ee2ce35950a1d3908bb64157c","datavalue":{"value":{"entity-type":"item","numeric-id":3557072,"id":"Q3557072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf4cdd23636cfe8f05ef476f0d7dd81654fffb6a","datavalue":{"value":{"amount":"+0.8368770480155945","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":"Q5756563$0709AC88-C71F-4E82-93D5-437C1C6DA28A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16839c25443af1f0ca407fedc6c659d44618ee57","datavalue":{"value":{"entity-type":"item","numeric-id":2946768,"id":"Q2946768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0138c644eb1add07f8c9695f70d0f6072c68651b","datavalue":{"value":{"amount":"+0.8271459341049194","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":"Q5756563$0AA5C522-9EF3-411F-AABB-EB607ED06DA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d44bc618097406b4f5d19921d1927b50deb3818f","datavalue":{"value":{"entity-type":"item","numeric-id":2303246,"id":"Q2303246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a8734462bb00aca31a58913607d72b4ae54fb1b","datavalue":{"value":{"amount":"+0.8157373666763306","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":"Q5756563$44A94453-A47D-405F-BFDD-5F50FC8071DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18ba98873d052f5816175646d512a17079b79c03","datavalue":{"value":{"entity-type":"item","numeric-id":3176369,"id":"Q3176369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c1b0d53b02a90baf5b787dd77abe7e56c30e026","datavalue":{"value":{"amount":"+0.8078309893608093","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":"Q5756563$E934E9AC-C29F-4A7A-81D6-F2C66AA444A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc96a02bcf28ccc814613063c61e6ad958df42be","datavalue":{"value":{"entity-type":"item","numeric-id":5326459,"id":"Q5326459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d7d8910b3e9b7c7cf9059c104b3fbd4c3f5a1e0","datavalue":{"value":{"amount":"+0.7974162697792053","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":"Q5756563$4C7601B9-15D8-49ED-9059-5BBFE74DA4E0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5756563","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5756563"}}}}}