{"entities":{"Q16290":{"pageid":16346,"ns":120,"title":"Item:Q16290","lastrevid":56928402,"modified":"2026-03-24T17:47:12Z","type":"item","id":"Q16290","labels":{"en":{"language":"en","value":"SMT-LIB"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"9d557f8d8db39ce99f43f6d99410f43dad41290e","datavalue":{"value":"4103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16290$79B57E76-3807-4C88-BF64-1D4C63C50D59","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16290$52658476-F080-493B-B6E8-B11D083B8A09","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"06ce90b0864f461118c17dde0a3b137fac2a4cd2","datavalue":{"value":"https://smt-lib.org/","type":"string"},"datatype":"url"},"type":"statement","id":"Q16290$52293DA9-6EF9-42AC-AEE3-ACD47A96EDCB","rank":"normal"}],"P339":[{"mainsnak":{"snaktype":"value","property":"P339","hash":"d9483cba626ba68f8e8de6d229df8c22a5de04e4","datavalue":{"value":"https://zenodo.org/communities/smt-lib/","type":"string"},"datatype":"url"},"type":"statement","id":"Q16290$60B8D454-4027-4DE5-8689-C69F23DD687F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16290$0F971D92-6CDE-42B6-B6C9-867980725A61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"95bde9084e6ca63a8492631a417b047b22c72453","datavalue":{"value":"05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16290$77806AB9-A6C0-4CC3-8F88-35CC3CF4F999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16290$EF14FFE2-0209-4712-8A16-BF4B796E5814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"541da1e359051dfcf3c498b9f1f1f8f905fbafe3","datavalue":{"value":"90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16290$9900BF1E-EE7B-41A9-A5D1-711DC184C63A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d0cfa49f62a5e301328cd7af9d04a50119944fd5","datavalue":{"value":"92","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16290$A7868519-A7F4-4DB2-9073-4E1F3EB03A17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae9c75c1f07ce06d85b9552d2104619090f82402","datavalue":{"value":"00","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16290$41217F79-09C7-4617-8027-502377B48030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ccc624529bfb589cae1d19db3eb04dd4b43978c3","datavalue":{"value":"01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16290$EAFAB794-9312-4745-A1E6-B1A1B075BAEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fd3cd3c8cd085ac2048034c2279872658062342d","datavalue":{"value":"11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16290$A193D72F-3368-4013-AC36-789A94469622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8befc1ffe367aef867e4dcd902eb59cbacd3a347","datavalue":{"value":"13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16290$4F4BE784-0308-496D-9ABE-00B8986C57B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd4f0694ac7a00e4fadde328cdb4437f6c066de7","datavalue":{"value":"14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16290$0C8C6A04-B7D7-41AB-B25B-2756E7EDF90C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5dd818343d7a5b259737eac61518c19de74ecd35","datavalue":{"value":"15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16290$BFBCD570-2CB7-4899-8BFA-8CA34D29638E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c6cc7c76b3cafafac08dd013fc5ce16db183bb48","datavalue":{"value":"16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16290$F08B2CBA-1864-45C7-8B2F-89A0503796EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdcc80d920f5e4d163108380bb0c7de24bca08b4","datavalue":{"value":"26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16290$E9A8386E-AF0E-453A-90F7-8F7B1CC75F95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3caa64e9b44e0e6a95be04e9d18f7428dc349506","datavalue":{"value":"34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16290$34AE1D92-C6F5-4192-A903-73C326834E9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"01c8c566de1600f59b5f8122a428964fb913122a","datavalue":{"value":"37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16290$65ED2046-0357-4D5A-AD3A-691BEB09F639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"389057ea232b6d266cab69038163241bd07104b6","datavalue":{"value":"51","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16290$5E9A35A7-EF73-42E3-ACFF-79393DA4A457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"eb161afac2a132ba3ff878220cc5d73379a399b9","datavalue":{"value":"52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16290$6F48997D-D374-40D2-98C7-44BB4D976973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e24ee68b43931de13fa3c2edb783c4c41f7c841b","datavalue":{"value":"55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16290$7F4A3F31-DADF-45A0-A431-7CAA232EE97B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a104733b1e30d91f56342777dc887a3edbb9e05f","datavalue":{"value":"65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16290$16E170E6-43C1-4FC6-A1D8-0B29C899F6C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"41a6e0246acf8e32baa5cd8f5a0d05b7b1326a3e","datavalue":{"value":"80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16290$1CD65B00-CD53-4E06-916B-C37C5A80C8BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7bfd76a3cee4b1dd54b082650152581ca2d695de","datavalue":{"value":"93","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16290$E2E2445A-E02C-435B-8C9F-03A25E257481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bebb7aa66b6973aa3a0c9749da8f6cd6626bb594","datavalue":{"value":"94","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16290$9CEE7BC6-BFEE-401B-8A5A-B304226D2F92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cdd04b3c5243643f89ff1bab2287589642562be3","datavalue":{"value":"97","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16290$919C3BAC-5715-4F38-9D23-C13CA3B3F1DE","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc4eff68b160f30b8d66dfcb610a0ea7a927079b","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16290$61D6F18A-8C44-4B0A-B474-92A7413CC6A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"346bb06feebe5eec8261e483309d0da7485c1091","datavalue":{"value":{"entity-type":"item","numeric-id":21467,"id":"Q21467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16290$F612505F-9EB3-4B7C-B788-7D5F38952546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2a767ccd0e9bdc5b1b4a2069a6679f9340a857a","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16290$91914A6A-2277-47D9-83B0-8D0E644C2201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"0f3491a177e1cfc106ae0e5966e8456137b107ae","datavalue":{"value":{"entity-type":"item","numeric-id":16612,"id":"Q16612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16290$2DDF5354-4F75-4396-B63A-DE14ED18EBD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"28fc316ccc1f38bd6830fcffe3187b6d32168084","datavalue":{"value":{"entity-type":"item","numeric-id":15455,"id":"Q15455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16290$D2D4FC46-404E-4526-9B6F-F88D03D6348F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d6d29b9e294eea1a26ce05a4d8663847cfc55575","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16290$9385EC6C-E0DB-4FEE-921F-D0323EFCFD26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2694f9146fdf18f6fd46e48e80fcb9848219fbfd","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16290$4E7F50A1-642B-46C6-87A4-D322E7E3979F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a562a43d8b1690cddba79a1cc7d9977c384f2843","datavalue":{"value":{"entity-type":"item","numeric-id":21550,"id":"Q21550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16290$4384EEC0-9D89-48F6-B336-FCC8B120C315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"03281999c3208b8f3a62eaceadadf1ce834fe219","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16290$5ED3E32F-DD4A-4067-8D61-157F02613056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8533330b9fa0c1f7979d4af1d0e8bdba3ffc811c","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16290$BFEDC90D-5E5F-4540-98AB-09A74CAFBEDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b37a8a80b69a51617bb49d05d0c34a944056f381","datavalue":{"value":{"entity-type":"item","numeric-id":17123,"id":"Q17123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16290$6C7426B0-4280-4D07-A095-B8AF1CBB0141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"331995fe532c23e24d72d01a1bd6245fafcd9671","datavalue":{"value":{"entity-type":"item","numeric-id":19106,"id":"Q19106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16290$DB897F80-7F5B-402E-BBB8-5D1BCBEE6EF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b93a9885014e7b994c6840116d69ecd63fa83844","datavalue":{"value":{"entity-type":"item","numeric-id":19326,"id":"Q19326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16290$7D977CEE-7B89-496C-9CC6-C42E152DF28D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"27ba7e3c8405ebd661079c5c56868c6d995c0bb8","datavalue":{"value":{"entity-type":"item","numeric-id":17038,"id":"Q17038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16290$BEF8632C-00C4-4071-8D41-B22EC47E2EDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"929d5ae123d16d7d1416ccdcb0bb8cac6c7e0ecc","datavalue":{"value":{"entity-type":"item","numeric-id":12856,"id":"Q12856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16290$9EA667E9-924F-4918-9B2B-A101A560FFAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bdcf930f7899e3cf5a65caafbc2c70487c3ad6a9","datavalue":{"value":{"entity-type":"item","numeric-id":25009,"id":"Q25009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16290$C17D15FC-540A-49F2-BBBB-7B55BF9F6AFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b19fd8e419fa1cf231481feba8263b917fc1cd08","datavalue":{"value":{"entity-type":"item","numeric-id":20838,"id":"Q20838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16290$36BFB882-3CA6-406D-A743-FBB0820F48B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2fd4f2f31989858180fba533a04e1a60c8d16377","datavalue":{"value":{"entity-type":"item","numeric-id":22154,"id":"Q22154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16290$FB9EF6CE-4682-4D47-93EC-E4AFC2847F2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e3e9bb7b329ec8e71fcb8b28c9805dd4509dedab","datavalue":{"value":{"entity-type":"item","numeric-id":19731,"id":"Q19731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16290$E3BBBD38-B66F-40F9-A364-5E6DB3E3D863","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"SMT-LIB","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/SMT-LIB"}}}}}