{"entities":{"Q3540071":{"pageid":5569975,"ns":120,"title":"Item:Q3540071","lastrevid":49488853,"modified":"2026-01-07T07:11:54Z","type":"item","id":"Q3540071","labels":{"en":{"language":"en","value":"Interpolants for Linear Arithmetic in SMT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5369268"}},"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":"Q3540071$E3C690E7-FD1A-486C-BE6A-8C40D6E145DD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8926fab3e995afa6ceb45f3c3c68e9137cbceb0f","datavalue":{"value":{"text":"Interpolants for Linear Arithmetic in SMT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3540071$EF4F2FAD-1643-4624-A6D8-8012D5F53971","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4c60088880158ab9dcd53d9969ea95b893b8280b","datavalue":{"value":"1183.68379","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540071$96CA7481-4D4D-42D2-87BF-83CC6BDF7C59","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"469a1059a24f28f977f0048c75e4104836141db7","datavalue":{"value":"10.1007/978-3-540-88387-6_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540071$E2D7CEC5-D5F6-480D-B101-DC679AB86A60","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540071$BD3C360B-47F8-4DFA-8928-2737A11032D3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391f01da9d69c422d0ad9b2dbbb0b627908b1ac6","datavalue":{"value":{"time":"+2008-11-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3540071$400B4DC2-9967-4925-B767-CA44BDE5A832","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540071$CD40709F-0AEA-4216-86CF-FD90C71C84AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540071$07087102-E09C-48D8-817D-8E773F0A3CD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540071$5B65376E-C7AA-4127-8A81-5032CB27C87E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c075b85cd90d5c31469010e2cb123b885aaaf270","datavalue":{"value":"5369268","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540071$137AEA2F-6699-47C4-873C-CECDE67091C9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3fa0ba30f2225a69a75d233361703cec68c39010","datavalue":{"value":{"entity-type":"item","numeric-id":15473,"id":"Q15473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540071$26A3692B-05C6-4650-A0A3-1592AF26ACA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6c46d83f8225e8e4d789b6fc74144d78a1809470","datavalue":{"value":{"entity-type":"item","numeric-id":24792,"id":"Q24792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540071$55D254EB-C3AE-4755-A9C9-662A1239E501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"85575b60ef4d0a8413d3c895be2530b8915bc3fb","datavalue":{"value":{"entity-type":"item","numeric-id":16612,"id":"Q16612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540071$370D4F3C-E11B-47A4-9342-1FC3F97BE26D","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":"Q3540071$25978384-6332-4B75-BB86-BEB8F82ADD89","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"032688a23869393d1abae0f70214766f0f855fda","datavalue":{"value":"https://doi.org/10.1007/978-3-540-88387-6_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q3540071$62FB6F1A-778A-41E6-9848-871C9C7CB418","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d64ca3c091f3f2b9e0605c3c12689413147e3827","datavalue":{"value":"W1500752789","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540071$C094CEC0-18C9-4D01-8E78-E39340F9B1A6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"da0010e327ddd368956022cbe52c271ac71c9d3b","datavalue":{"value":{"entity-type":"item","numeric-id":5458340,"id":"Q5458340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540071$F73E79A1-4F52-4A1E-BB54-993FC10E5840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bffe48c7c76b90bf68970921698e19786e1600b","datavalue":{"value":{"entity-type":"item","numeric-id":2747613,"id":"Q2747613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540071$091D996A-6C43-4153-8AF5-F1B221C143F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7de140db476e3cb4a77792caeebac28e6bb14357","datavalue":{"value":{"entity-type":"item","numeric-id":3244103,"id":"Q3244103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540071$8CC1F497-8F3D-4D86-AFBA-665182E51148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdccc5d83f7311582ae4e1c48da92b5c9b5c7298","datavalue":{"value":{"entity-type":"item","numeric-id":2559426,"id":"Q2559426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540071$382100A2-9D22-4712-9A56-95D11902FCE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3e61d2ed274cc952eba4995774f4775f8cabd6c","datavalue":{"value":{"entity-type":"item","numeric-id":3512498,"id":"Q3512498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540071$5C1815DA-62C4-428C-8676-202E495327AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"348369ca3fccbe91226809a75cbf31afd7f3186d","datavalue":{"value":{"entity-type":"item","numeric-id":5900666,"id":"Q5900666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540071$F0C8CB61-CABA-45E2-B396-9324F8EE1769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02bb13653bf736c163884115eb3f8d59e19d2e63","datavalue":{"value":{"entity-type":"item","numeric-id":5308386,"id":"Q5308386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540071$7C6424AD-3E9E-4155-89E1-16A6098CF437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f54bc0e2f92beb50e9c6902664de23aa76daffd","datavalue":{"value":{"entity-type":"item","numeric-id":5703754,"id":"Q5703754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540071$C68046DA-6099-43F4-A492-01DA54150ECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed0c5a805e2d83d2fc67d0e9100dbfc3999c3a60","datavalue":{"value":{"entity-type":"item","numeric-id":5452619,"id":"Q5452619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540071$519B0D21-A438-4BA8-AB4B-0D3AD412875C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7903ffd8f9b852f272a22a95cb583ad2910295a","datavalue":{"value":{"entity-type":"item","numeric-id":5394624,"id":"Q5394624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540071$37EAE274-E322-4895-A321-EFF3258F166C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afe6d7bb0674a6cdba5cf502ac70a32860d40de5","datavalue":{"value":{"entity-type":"item","numeric-id":832268,"id":"Q832268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee65f41b69b62265d57b85f6402dda879afdebdc","datavalue":{"value":{"amount":"+0.8889564","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3540071$95162A49-FE73-44BD-B3F1-3CD9FB911B52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13004038faffc696fbd1f83fa37d6804792ecd3b","datavalue":{"value":{"entity-type":"item","numeric-id":5891705,"id":"Q5891705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3081f26e901b50526153ba6f5dede4cc75359b9","datavalue":{"value":{"amount":"+0.88778675","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3540071$E7CCDEC3-0D54-4281-AB74-C263DD2E54A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d0acf781d81a37d8deb3e20167f9211fb090938","datavalue":{"value":{"entity-type":"item","numeric-id":5892495,"id":"Q5892495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3081f26e901b50526153ba6f5dede4cc75359b9","datavalue":{"value":{"amount":"+0.88778675","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3540071$47F5CB02-D283-4AAA-9642-525650E0CB49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb5e44f140dab8a31109329358c415520b0ce897","datavalue":{"value":{"entity-type":"item","numeric-id":5166692,"id":"Q5166692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"839d2f6585347dbae4ad3235c00d660024f72266","datavalue":{"value":{"amount":"+0.8727097","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3540071$4949B0CE-CE43-47E9-B9EB-4AEA4248C05E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8c3e74606c40341a9a3c0b7752f33f84cb80541","datavalue":{"value":{"entity-type":"item","numeric-id":4302342,"id":"Q4302342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0fa917988854f89289a1f399f269f34fd7f5f22","datavalue":{"value":{"amount":"+0.87199295","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3540071$C10E76F9-F1A6-41D2-A259-96A42A8543CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"983f12d49d1082c01b8f635af6ed51965a406a38","datavalue":{"value":{"entity-type":"item","numeric-id":3460545,"id":"Q3460545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e9be9e50eb03bd13abc0ca13c5fd7afa2c04397","datavalue":{"value":{"amount":"+0.8699112","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3540071$61C4903E-67B6-435B-AC70-28DE4304E594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0b9a69f466d03db65fc7f60d310c12c4c4cd4b8","datavalue":{"value":{"entity-type":"item","numeric-id":6110908,"id":"Q6110908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39bb6507cfe32e4b4276ea3c2bb9b1d35552fc44","datavalue":{"value":{"amount":"+0.86278474","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3540071$4379094B-646C-40CE-A8B7-A4B59229DDE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c29f1ea0d1877e5c2b9de1968e56034687845ddf","datavalue":{"value":{"entity-type":"item","numeric-id":4635819,"id":"Q4635819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74951aa1a4eb1304df3598c44fa349fc4e70dfa8","datavalue":{"value":{"amount":"+0.8616487","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3540071$24CFD3ED-36A3-4DF6-A7DD-E4197F476BD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97d68bcb8084a36ed362b6555c581cc66937378b","datavalue":{"value":{"entity-type":"item","numeric-id":4972164,"id":"Q4972164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5d18d6477564b6c389acf19bece8cd492db8ae7","datavalue":{"value":{"amount":"+0.85745895","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3540071$B94D30B1-D57E-4FBA-A663-1B4E9ADCC7DD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3540071","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3540071"}}}}}