{"entities":{"Q5505598":{"pageid":7535158,"ns":120,"title":"Item:Q5505598","lastrevid":50550818,"modified":"2026-01-14T09:09:05Z","type":"item","id":"Q5505598","labels":{"en":{"language":"en","value":"Tomorrow and All our Yesterdays: MTL Satisfiability over the Integers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5498385"}},"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":"Q5505598$AC7E3FD9-CB26-4461-87F0-211F75369F2C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aef49f7a7f5f960ef7bc3227327330e3046e025f","datavalue":{"value":{"text":"Tomorrow and All our Yesterdays: MTL Satisfiability over the Integers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5505598$532378F1-4857-401A-BFAC-784B598F5990","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"199232e9edf969341458bfdab81f0d4aa5234d73","datavalue":{"value":"1161.68567","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505598$49667EDF-2156-44EA-833F-2EC94195D9E7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5c50452525f9abe32d84f06395dd12ffe3801518","datavalue":{"value":"10.1007/978-3-540-85762-4_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505598$7661D1C8-8C8D-420E-9E81-4B485DF77CFB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"31a65fbbaeae777cc53a7239a9ca34bd6b05d7af","datavalue":{"value":{"entity-type":"item","numeric-id":714628,"id":"Q714628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505598$73A24651-F585-4E11-8049-99881D51A19C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"36f9775a15afc69e2b2803668d54a5345207093d","datavalue":{"value":{"entity-type":"item","numeric-id":2065547,"id":"Q2065547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505598$E0F640D7-0B21-4135-8C77-0FFC37396AA0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ed248be93f2dea7fdfc2631642f97cdf031ba329","datavalue":{"value":{"entity-type":"item","numeric-id":5505591,"id":"Q5505591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505598$BD31A7DC-6A4E-4097-85C4-615FC55C3A48","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51e6c39ac6ec91b8381a06fe1e16cf5aca0f2bdc","datavalue":{"value":{"time":"+2009-01-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5505598$1D9A5D11-78EA-4DC8-9EFC-D71CE17AF07E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505598$75984F63-6222-4E6A-A91E-F90D7066F03C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505598$1725E091-ABF9-47F0-8047-FE4617328610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505598$CD3AB8C2-9AD6-4A06-8B8D-32CA6381DE19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505598$9D96E0C6-D426-4A22-935C-A1756098C0BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505598$A96398ED-5BE6-47E7-8D57-BABE4CD4EAC7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1f2d9d2e7c56bc2adfe0712e3444746bf3b4b15e","datavalue":{"value":"5498385","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505598$5CB243C1-A47E-45A0-8AF3-718351A5F801","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":"Q5505598$F93296A1-74B5-48BB-8F73-E232E31A83AC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"abd12ea944a7ffd231491aa43f67207f77370fc3","datavalue":{"value":"https://doi.org/10.1007/978-3-540-85762-4_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q5505598$4918AF22-DE12-4648-9FBF-0D7CC49F7732","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2aeee85b019830c1a82b6a5ed8a0ed30331e023e","datavalue":{"value":"W1581639155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505598$8C932E05-39C0-4160-8F22-89CFEE669B2E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3c7f8b3f1ff6940d5ec48ef42f10efe12dcb747","datavalue":{"value":{"entity-type":"item","numeric-id":689093,"id":"Q689093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505598$5FB766E0-10FC-4EA7-9482-AF21D9B86D1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"898e265bdb42766c33d28daac7442ff9c86ef73c","datavalue":{"value":{"entity-type":"item","numeric-id":3508543,"id":"Q3508543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505598$F5CA1C46-26DB-4D31-9461-A3441E270C85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32dcb19e5ef5b6a802e39b06593342561643f7c9","datavalue":{"value":{"entity-type":"item","numeric-id":1854521,"id":"Q1854521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505598$1E26BF70-6632-4C3F-928C-9C787CE5D3EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505598$536CFD94-6B9E-4543-8B56-91D5474C6F7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9f21257d8b20ccfecd3db595afbc8b2e1a0a737","datavalue":{"value":{"entity-type":"item","numeric-id":3835817,"id":"Q3835817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505598$E46C8F9F-F1A5-4AD1-B839-44D83034EA6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcad196cde92ff58f605cb0c7899249dd4df74ca","datavalue":{"value":{"entity-type":"item","numeric-id":5317419,"id":"Q5317419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505598$8479402E-97A4-46E6-8C62-360C58C1E38B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6ee8482439db0c1b60415d5abcf524a3b838fa","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505598$4CE87B1C-5DEB-497C-8E81-154A8ED53D58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1d821bd2a1a38500df8bdaf1b0ad70b8c8ee08","datavalue":{"value":{"entity-type":"item","numeric-id":4385530,"id":"Q4385530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505598$F512AE84-836C-4B3D-832A-64D8E022C383","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b35c5c2d00b74ef3e1612d418fd0e3525fe319c7","datavalue":{"value":{"entity-type":"item","numeric-id":3543284,"id":"Q3543284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adc16fbc348b37841d36872433e50b4b1e223660","datavalue":{"value":{"amount":"+0.8173627853393555","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":"Q5505598$5C3AAEBA-ACB9-418B-A0E3-A40B260AAD25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f90b22a378cc7157b2db31a0024b78791eaa9262","datavalue":{"value":{"entity-type":"item","numeric-id":2405259,"id":"Q2405259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56ac14894c24620a7172afc6c1ae89aeb3e83e05","datavalue":{"value":{"amount":"+0.8160686492919922","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":"Q5505598$EF338351-7A84-43AB-9DB1-8DC3F49C7414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08187fb0101952b9f4dad3c72d2e27f324612e0b","datavalue":{"value":{"entity-type":"item","numeric-id":3511245,"id":"Q3511245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5ef9acd221efccc91a62e2e50cc6c1de7c34860","datavalue":{"value":{"amount":"+0.7986115217208862","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":"Q5505598$CE90B674-612D-4508-91CA-F24160D244A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c98872f51d1a248b1e766350b8e59e044fa540c","datavalue":{"value":{"entity-type":"item","numeric-id":5310684,"id":"Q5310684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d500838d355066d91f28a37ffdc0d415c555761c","datavalue":{"value":{"amount":"+0.7956779599189758","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":"Q5505598$3856C620-43FF-447C-AA90-64BE6E91746D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb5de592e6f455f32c2ae0957595a9c3e38aa524","datavalue":{"value":{"entity-type":"item","numeric-id":5111294,"id":"Q5111294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c5e3c35d32bbc1a47134eab4c79bd1536f2ff97","datavalue":{"value":{"amount":"+0.7872002124786377","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":"Q5505598$92905959-AEA7-4EAD-95BA-378A831E0B43","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5505598","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5505598"}}}}}