{"entities":{"Q16612":{"pageid":16668,"ns":120,"title":"Item:Q16612","lastrevid":56221833,"modified":"2026-03-13T05:31:57Z","type":"item","id":"Q16612","labels":{"en":{"language":"en","value":"Yices"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"eacd06d186fee266d24153c0810b7fefb3ef93b6","datavalue":{"value":"4436","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16612$B49FBC40-5CC2-468C-B51C-F5C4B71EAB49","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":"Q16612$A78328ED-E632-46C3-B6DF-8C5105458BE7","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"e7ba33fb2f1f23ba1d1f4b8b86cd1d09b8af8ef8","datavalue":{"value":"http://yices.csl.sri.com/","type":"string"},"datatype":"url"},"type":"statement","id":"Q16612$3459A507-608E-46C3-BB5E-3B2F47AF13A9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16612$1E359C1C-1FAD-4220-98AB-964BB6152191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"95bde9084e6ca63a8492631a417b047b22c72453","datavalue":{"value":"05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16612$42EBCD75-1250-46BA-8D05-0A9C55238E18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16612$BCEC7461-3661-4B25-AFC7-ED43770259F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"541da1e359051dfcf3c498b9f1f1f8f905fbafe3","datavalue":{"value":"90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16612$E7987604-3599-4BE2-9153-0B0A48EBAB4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bebb7aa66b6973aa3a0c9749da8f6cd6626bb594","datavalue":{"value":"94","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16612$26C40124-F896-4D76-BE0F-5DFB49D4EE1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae9c75c1f07ce06d85b9552d2104619090f82402","datavalue":{"value":"00","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16612$8E49C608-244D-472E-92A4-0FA271B16797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d57514d4788d5abbd1056aadd506bc3f1b86263e","datavalue":{"value":"08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16612$5055700F-7662-4286-9718-B0BEB1C08255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fd3cd3c8cd085ac2048034c2279872658062342d","datavalue":{"value":"11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16612$4E26E3CE-72BF-47DE-AC93-DF74511F877E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5f5c899803a3ce2dc0dd1263cc65df28aab94054","datavalue":{"value":"12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16612$307FBEDE-72C3-4E56-9A06-2ED2B956C56D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdcc80d920f5e4d163108380bb0c7de24bca08b4","datavalue":{"value":"26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16612$99C9F85E-F606-4A8E-98F1-D54EFBAA3013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"eb161afac2a132ba3ff878220cc5d73379a399b9","datavalue":{"value":"52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16612$D423387A-3517-443E-B9BE-C2085FB5C1C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e24ee68b43931de13fa3c2edb783c4c41f7c841b","datavalue":{"value":"55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16612$372B4791-8FA1-4C8E-A116-BF77A753D6C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a438efc028ac8f007fcfec586995516429ecdd8","datavalue":{"value":"91","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16612$489403D6-7DBF-46A3-94F1-777F2CD6151D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d0cfa49f62a5e301328cd7af9d04a50119944fd5","datavalue":{"value":"92","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16612$CE66ED28-CAAA-4557-A0F8-D92C675BE624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7bfd76a3cee4b1dd54b082650152581ca2d695de","datavalue":{"value":"93","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16612$F0C8CC1A-0D2B-471A-953C-B4DE4CEA6B4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cdd04b3c5243643f89ff1bab2287589642562be3","datavalue":{"value":"97","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16612$E34F35CD-492F-49F7-BFE9-884983019462","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":"Q16612$99DF15F2-FEA5-4F88-A9C1-A157C7EA8A43","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":"Q16612$04038949-7B41-44A9-A3A0-D8B80528ABFC","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":"Q16612$EE24EA98-8269-40CF-86C5-1AF5B2868E78","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":"Q16612$85879A69-9E16-40AE-810C-27C0FED2B8A6","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":"Q16612$0C583C6E-6BCE-4C22-A65E-5EF2A3965751","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":"Q16612$CD6A77F0-D6A8-4526-9A2B-D4537047C65E","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":"Q16612$1B5F916F-F10F-4525-A7C2-78509D7CE700","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":"Q16612$D39B08DE-DAE8-4E17-8AD4-1FE9CE4FE74E","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":"Q16612$137857C8-1C24-41CC-B59D-CA090446F6AE","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":"Q16612$A2B927B1-844E-4533-BB5C-E99E9B590C13","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":"Q16612$00C807FA-7F29-4F0B-8443-A1AA22C86FAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1c43eb26b29c59c3376a4b82a5c62f435fb00011","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16612$C963EC5A-2BAA-4DEE-9AF8-F23138E92F46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e238dc5dc0b4042463067e088ce52f9cc637d703","datavalue":{"value":{"entity-type":"item","numeric-id":46504,"id":"Q46504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16612$3272DE0F-BC95-4BCB-801B-E46F098EFCDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"60b0b9c91adb8d09f1c02fbec7661becb3b46ed9","datavalue":{"value":{"entity-type":"item","numeric-id":21432,"id":"Q21432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16612$27EDEE06-E274-4D4C-A441-FA175E92B6D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"81c3fae3cbb793c48ed2c1672d4d650e8717c5e2","datavalue":{"value":{"entity-type":"item","numeric-id":31323,"id":"Q31323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16612$CFA36254-9C5A-4AE8-9B37-9F40848D004C","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":"Q16612$C0474325-511E-43CB-998F-7312C690D592","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":"Q16612$EC48E4C7-3471-4439-B44C-AC018FFE8F20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ae4293277921362844d52e659f53d4bb6a996ae8","datavalue":{"value":{"entity-type":"item","numeric-id":19847,"id":"Q19847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16612$96200631-4B8A-4537-8663-B0E3F179D61D","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":"Q16612$EBC23904-2AD0-4A7E-BBF6-D8A381D1FC55","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Yices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Yices"}}}}}