{"entities":{"Q34519":{"pageid":34575,"ns":120,"title":"Item:Q34519","lastrevid":56329680,"modified":"2026-03-13T06:06:14Z","type":"item","id":"Q34519","labels":{"en":{"language":"en","value":"CertiCoq"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"ba71f5cccfd9edf637b7d9d0632b9d5d261fab3c","datavalue":{"value":"22728","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q34519$912A76F0-A576-4DB2-87A4-198EC0E07A22","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":"Q34519$D705C48C-8C66-47E1-A73F-6E5BEFFD6B10","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"bfd1c905be1865b4085717869da3605c49a81d20","datavalue":{"value":"https://www.cs.princeton.edu/~appel/certicoq/","type":"string"},"datatype":"url"},"type":"statement","id":"Q34519$76BEFB4A-104A-4832-8072-3AB2E036C0CD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q34519$22954F32-3BE5-41BF-A4A2-F5EF36781D4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"95bde9084e6ca63a8492631a417b047b22c72453","datavalue":{"value":"05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q34519$ECEFA798-6874-4A5E-8B60-BF03B2BE1B8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q34519$49BDFF28-5AAC-4D66-8A93-72CE560E9450","rank":"normal"}],"P1458":[{"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":"Q34519$9ED4DC9F-6844-4CCF-938C-3218A02CE076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7343f563fd02ee3f7d39ccb038f5c1c6c726769a","datavalue":{"value":{"entity-type":"item","numeric-id":20799,"id":"Q20799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q34519$004EE902-4BC8-4B47-ACF3-F9E856B9E492","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":"Q34519$C1E2EA1E-4BFF-4F42-81C2-2CCA849B5077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"6a98913d28e06371416ea2826884dc0ec7364f38","datavalue":{"value":{"entity-type":"item","numeric-id":21716,"id":"Q21716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q34519$0550BECE-7173-4F3E-877F-009C9C5F7D10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ce85c993c5667f0e00667e59d4bde9135ecf7ce4","datavalue":{"value":{"entity-type":"item","numeric-id":39198,"id":"Q39198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q34519$9C4AA3F6-88DF-432D-8F65-0B368F7E56A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b82155c8d1da98891c9daad267405a7d93979d3b","datavalue":{"value":{"entity-type":"item","numeric-id":33165,"id":"Q33165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q34519$16A9D653-1171-4511-9B66-84AC3A050E67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"af5be8898ce461756a5dfb25c5eb486b63258a4d","datavalue":{"value":{"entity-type":"item","numeric-id":55704,"id":"Q55704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q34519$46279BF7-4939-4091-AA64-BC5FAD292818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d5fff99af73557a45eccfa0b83feaa35dd993fa7","datavalue":{"value":{"entity-type":"item","numeric-id":39285,"id":"Q39285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q34519$EE7521DB-5DB5-44F9-97F4-66DBEE853862","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":"Q34519$BE4B2876-C55C-40F2-8768-C146C7E1BD5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"001eaff59b7c9240612d0809fd97011d13b11c37","datavalue":{"value":{"entity-type":"item","numeric-id":24994,"id":"Q24994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q34519$A7DFC103-158F-4683-885E-B3DBFF058377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a4e379c1ae3ec0947777bb7c46343a7c1d018240","datavalue":{"value":{"entity-type":"item","numeric-id":33310,"id":"Q33310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q34519$7CC4F9A0-75B1-49C1-B6F9-08644F283429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"95e5f1158f96f22279bdd9d9c26433e98a490641","datavalue":{"value":{"entity-type":"item","numeric-id":21498,"id":"Q21498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q34519$9287534A-3BC7-4688-8DB8-815A68750CA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"af7596ea90a473f9470e833bf08344ca1ec71143","datavalue":{"value":{"entity-type":"item","numeric-id":40151,"id":"Q40151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q34519$4EB7B015-9DD2-4FAD-A300-5B7D1ABB6150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"144f0221487b5ba035abaca0f440960a9e47efeb","datavalue":{"value":{"entity-type":"item","numeric-id":27113,"id":"Q27113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q34519$95C974B4-0DDB-4B1F-8E82-A92556708FD5","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":"Q34519$F444362B-7B48-4D32-86D8-9E9D251E5AB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9af22de3c04c2fd4a3c5719d7671bbe7418627cc","datavalue":{"value":{"entity-type":"item","numeric-id":40244,"id":"Q40244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q34519$16B112E1-9BAC-4460-AC15-EEDC66225940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1cc6b0913edacded01c385a7bde05b242ad151a4","datavalue":{"value":{"entity-type":"item","numeric-id":31834,"id":"Q31834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q34519$84E344D7-B514-4F28-B50D-B6BCEF921650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e2deb6bf1d4c2d4a91e6bd25d48cab95bae8848d","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q34519$29BF86D9-0D5F-4893-9F01-A858831E50F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"10b7d941d6abf28fdd67a2888fcb5bdb38af5b4a","datavalue":{"value":{"entity-type":"item","numeric-id":21954,"id":"Q21954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q34519$4E7ECD26-575E-42E1-868A-E109DACB425C","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":"Q34519$5E221FB7-29EA-46A9-9434-1EFDD001EDE0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"CertiCoq","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/CertiCoq"}}}}}