{"entities":{"Q19148":{"pageid":19204,"ns":120,"title":"Item:Q19148","lastrevid":56224758,"modified":"2026-03-13T05:33:53Z","type":"item","id":"Q19148","labels":{"en":{"language":"en","value":"Kodkod"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"0f33792236e76780668797f48e02cc9c61b186c4","datavalue":{"value":"7090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q19148$248CA9FD-4D71-4913-96D5-FAC45E198E3A","rank":"normal"}],"P286":[{"mainsnak":{"snaktype":"value","property":"P286","hash":"fec24b3ecfc2b99690310b8e04703dfe2c6eef89","datavalue":{"value":{"entity-type":"item","numeric-id":5758136,"id":"Q5758136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q19148$6851A8E8-9A4A-4E20-BE44-303202737FC7","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":"Q19148$F1A35C2D-96E2-4AC4-9275-A4416F0724C0","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"93252b62e26ba942d9bf767c3888a3db360156e8","datavalue":{"value":"http://alloy.mit.edu/kodkod/","type":"string"},"datatype":"url"},"type":"statement","id":"Q19148$93269356-E9F2-4517-9389-E60AECBDAD78","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q19148$7A0E05C4-7180-4A4F-BEAE-A83EF27AE404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q19148$5BF7AD3B-8762-431B-B561-F80A258B68E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bebb7aa66b6973aa3a0c9749da8f6cd6626bb594","datavalue":{"value":"94","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q19148$D58D1A9F-4CB5-4B20-9113-11D7DB107574","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":"Q19148$1C58159C-E6C0-460C-AF13-21F7D01E6238","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":"Q19148$EFAD44EA-EA6A-4ECB-8987-799E09D090D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"85d5a2bfb7e5cd7e1dfb166523d6500a685410a1","datavalue":{"value":{"entity-type":"item","numeric-id":13377,"id":"Q13377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q19148$860EFF42-6C48-454F-8F1A-60E45E585F3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2f058c7f37c83e0df243d1b74e064cb4cdf28a10","datavalue":{"value":{"entity-type":"item","numeric-id":18972,"id":"Q18972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q19148$3ECD0EFE-51B7-4881-AF85-1BB6D1FAC177","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":"Q19148$AD7C6453-3370-450B-B71F-F61956854460","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":"Q19148$6C05F13D-6E28-43EB-A7FC-0B72B6F7DB97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cea2a7e9bb130921d12e1d361b3d4585036772c9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q19148$97C87A86-136F-4500-BA71-9E823BE3002E","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":"Q19148$EB389709-0FE5-4E2B-A3A7-8DD5AF7F4F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a914dacc34e4e61ed03e570a74b16e375359d7b0","datavalue":{"value":{"entity-type":"item","numeric-id":17116,"id":"Q17116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q19148$C23BF861-A3E3-4F68-AF9C-A479C721B320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ecda3e6d8e971c0b93d4cf3afb41990e853f830f","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q19148$D8D47B4A-0A20-4462-838E-5D246F1366EF","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":"Q19148$4BB1A1CD-95F1-4B84-9C97-5249A9A1480F","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":"Q19148$999DC75F-9882-42E5-BD31-756C27539E95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f99a4a11b17c4105097c2abc36eb4f0f11d54f1a","datavalue":{"value":{"entity-type":"item","numeric-id":40517,"id":"Q40517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q19148$6C322B92-13A3-4F7A-A091-37D9C191E2FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"682e7fe1e23a35e887f6b40b7a4d423855e3983a","datavalue":{"value":{"entity-type":"item","numeric-id":19142,"id":"Q19142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q19148$189F8C28-D749-403E-99CB-9BD4CD7C7199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"515bc38162975a0380fd911b84d9fd5f52be48ae","datavalue":{"value":{"entity-type":"item","numeric-id":19307,"id":"Q19307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q19148$6A364348-C4B1-4456-9D59-3937AAA30683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc41d9364226bfa8139f8dbc43b1b77967245f13","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q19148$E26BE115-A2ED-4CF7-B62A-703047333FDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ff80b41d03c65073c007c903a317be0a9c94293e","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q19148$9B78624E-D6C9-4E7D-AE5F-E00F4405CE6E","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":"Q19148$29F8BC95-EC7B-4370-87B9-6DC11BBA6945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b82152c1528c5be7e2040d1abd74977f4fe51817","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q19148$7F5E8D84-3B23-4C7B-BEC0-985CFCCCE3AB","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":"Q19148$A63096AE-E85A-4349-A440-8F546240C34B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Kodkod","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Kodkod"}}}}}