{"entities":{"Q31667":{"pageid":31723,"ns":120,"title":"Item:Q31667","lastrevid":56309484,"modified":"2026-03-13T06:01:05Z","type":"item","id":"Q31667","labels":{"en":{"language":"en","value":"PySMT"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"4234a7996ca76eee24d913e28ea564674c5c276d","datavalue":{"value":"19843","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q31667$16564B11-68D5-42CC-B626-F68B497404E6","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":"Q31667$02EBAD48-E3C8-4B62-B179-5672F59E5679","rank":"normal"}],"P339":[{"mainsnak":{"snaktype":"value","property":"P339","hash":"ba596debe4114a9cef45ac076871e2d4c17654ff","datavalue":{"value":"https://github.com/pysmt/pysmt","type":"string"},"datatype":"url"},"type":"statement","id":"Q31667$E00117C4-92EC-4B82-8059-DC6403299A15","rank":"normal"}],"P1454":[{"mainsnak":{"snaktype":"value","property":"P1454","hash":"82df9e010967fd5befcf0653da54d8e88122723f","datavalue":{"value":"swh:1:snp:177249fbcd71796add1bcf17a3213642548a236b","type":"string"},"datatype":"external-id"},"type":"statement","qualifiers":{"P339":[{"snaktype":"value","property":"P339","hash":"ba596debe4114a9cef45ac076871e2d4c17654ff","datavalue":{"value":"https://github.com/pysmt/pysmt","type":"string"},"datatype":"url"}],"P140":[{"snaktype":"value","property":"P140","hash":"1563c337670ae6f71e30ea45c2723c1f80cb978c","datavalue":{"value":{"time":"+2024-03-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"qualifiers-order":["P339","P140"],"id":"Q31667$F7F210C6-7162-41EE-8F16-542C9646B4D3","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"96f05ece74af4a9174f4f5444f15bdcb7e75f7b3","datavalue":{"value":"https://github.com/pysmt/pysmt","type":"string"},"datatype":"url"},"type":"statement","id":"Q31667$ADE8487D-0AF3-457B-805F-27E8F48B05CF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q31667$ED78E06D-780F-4AFF-B1D9-0F4883CC237B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3caa64e9b44e0e6a95be04e9d18f7428dc349506","datavalue":{"value":"34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q31667$6F82691D-75C7-4586-B422-8DA424E58A0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q31667$16898FB5-D37C-48D2-82E9-139DFF7B0CAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a438efc028ac8f007fcfec586995516429ecdd8","datavalue":{"value":"91","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q31667$5A6A1443-18DB-490D-A75D-816731C53543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bebb7aa66b6973aa3a0c9749da8f6cd6626bb594","datavalue":{"value":"94","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q31667$B0517AFC-580D-4C14-947E-6810533A64EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d379e93a1cc3ab3df2a5b8d85c84eb0620f6469c","datavalue":{"value":"06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q31667$25A43C5C-C36D-4A2E-8D02-242BA7BB01FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8befc1ffe367aef867e4dcd902eb59cbacd3a347","datavalue":{"value":"13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q31667$FE578F7C-EB79-456B-89AB-E3F9B1927D11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"01c8c566de1600f59b5f8122a428964fb913122a","datavalue":{"value":"37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q31667$D6877B28-0E29-4512-8A82-504290D646CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d0cfa49f62a5e301328cd7af9d04a50119944fd5","datavalue":{"value":"92","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q31667$21D7AEB4-3264-442A-930F-549D01B166BE","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":"Q31667$79958451-D9E9-441A-81C8-9D3C1FED2734","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":"Q31667$E54D2C68-5F3A-4E9B-B804-DF2390E40E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8aafdf7df9ab6945d55471b6dee241d20aae57bb","datavalue":{"value":{"entity-type":"item","numeric-id":16290,"id":"Q16290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q31667$9A5CC4CE-A274-417B-AC32-F64FAB961F0F","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":"Q31667$05ADDAA9-15F1-4817-B339-4DFC53EB4360","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":"Q31667$8CB07440-ADE0-4244-9F41-2E3F50E7D7C6","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":"Q31667$1D743026-5941-40F4-B6B8-98FBE0B68409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"5512a245b580a3f828fce063aaa46b76323f4f40","datavalue":{"value":{"entity-type":"item","numeric-id":13684,"id":"Q13684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q31667$90C62D8E-48F8-4826-A54D-42CF6CEDCE41","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":"Q31667$F089C6FC-CF1D-4999-A3CD-58BFEA913EA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"fd9117bb2b0e98e97f710df5c62fc1fa82922397","datavalue":{"value":{"entity-type":"item","numeric-id":35083,"id":"Q35083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q31667$DEAF4BCC-D04F-4727-AF19-76103A3E1C31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"66168feda9e1784d76b7dcbc6fb97af98c98b137","datavalue":{"value":{"entity-type":"item","numeric-id":1353554,"id":"Q1353554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q31667$F28F3FE3-B8AD-4789-8458-1A2230305894","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":"Q31667$98614E40-EAD3-424C-AC42-4AF7F1FEBFD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"c9b16366127050be336d5a6c8997cdced7a9e9ab","datavalue":{"value":{"entity-type":"item","numeric-id":30365,"id":"Q30365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q31667$34F5563D-2CF5-4045-BE1B-283407201B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4f1354f7ba5a86f7e41a391f9f0526d019ac3e89","datavalue":{"value":{"entity-type":"item","numeric-id":19210,"id":"Q19210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q31667$3747947A-2735-4423-9D0F-1BB859FB59B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"5b43378ad25c4688935e819cbfb6b2e14ff33a08","datavalue":{"value":{"entity-type":"item","numeric-id":51750,"id":"Q51750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q31667$CFA6A3F3-41DD-417C-BF7A-4485E904296F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"53b9a65755d142aaab53b35bb679c5ce2db64012","datavalue":{"value":{"entity-type":"item","numeric-id":37197,"id":"Q37197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q31667$FF6D2567-5761-4628-9FBD-378A2E8BD817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"3702312e6d97a69409579d346ce761c95d0ff2a9","datavalue":{"value":{"entity-type":"item","numeric-id":19150,"id":"Q19150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q31667$82CFA7D9-58D3-4781-858D-82F9C9102075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"3c0276fd745290a549b6f6f3b6f8a145f421dbbc","datavalue":{"value":{"entity-type":"item","numeric-id":15063,"id":"Q15063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q31667$B43CE1FB-E1AA-4F4A-A7AE-7DB1576BCD8E","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":"Q31667$E77CD019-15DD-4D7D-879A-98C93181344B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"630f90c6207ecbb70e56eab746e613dbdce29707","datavalue":{"value":{"entity-type":"item","numeric-id":16498,"id":"Q16498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q31667$7E6DE18D-E182-4998-95E2-323B806E93B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ab957b48d0d18c5423d2de4870fc3087c7134def","datavalue":{"value":{"entity-type":"item","numeric-id":36532,"id":"Q36532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q31667$316B90B7-9D93-4122-95C9-B96AF43ECC73","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"PySMT","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/PySMT"}}}}}