{"entities":{"Q33378":{"pageid":33434,"ns":120,"title":"Item:Q33378","lastrevid":56328141,"modified":"2026-03-13T06:05:55Z","type":"item","id":"Q33378","labels":{"en":{"language":"en","value":"CoqPIE"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"44a2abf118976a80893a1a785fccc89329aba5a0","datavalue":{"value":"21572","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q33378$18E2B23D-230A-4EDA-B9F6-E3AB31E5A585","rank":"normal"}],"P286":[{"mainsnak":{"snaktype":"value","property":"P286","hash":"e9bf8a5715e7fd552049fdb61e3ad46c5fbfebb1","datavalue":{"value":{"entity-type":"item","numeric-id":2829283,"id":"Q2829283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q33378$B16AD792-99D5-44DA-97D8-E804C38EA0D2","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":"Q33378$D24A5BD6-2A8A-44BA-A1B8-4E46B5100179","rank":"normal"}],"P339":[{"mainsnak":{"snaktype":"value","property":"P339","hash":"035ea6112707190880a84e13dd45a3be978054bd","datavalue":{"value":"https://github.com/kendroe/CoqPIE","type":"string"},"datatype":"url"},"type":"statement","id":"Q33378$3861BC3C-7E52-4BAD-9C6E-A4EE4198E591","rank":"normal"}],"P1454":[{"mainsnak":{"snaktype":"value","property":"P1454","hash":"b2fb4eac85e4793cc0661ec8e48c34d5cf52d6ae","datavalue":{"value":"swh:1:snp:544b82be3a2486e40716ec3634e383c0fc9dd1f7","type":"string"},"datatype":"external-id"},"type":"statement","qualifiers":{"P339":[{"snaktype":"value","property":"P339","hash":"035ea6112707190880a84e13dd45a3be978054bd","datavalue":{"value":"https://github.com/kendroe/CoqPIE","type":"string"},"datatype":"url"}],"P140":[{"snaktype":"value","property":"P140","hash":"ed4f25f2cf7aa42d004e152894008be2c8c790de","datavalue":{"value":{"time":"+2023-11-23T00: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":"Q33378$3EA9E96F-1F82-4954-B568-4352F10CEB76","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"ca6e7fdf3b67191f637d0f72db937f382b7e8cd9","datavalue":{"value":"https://github.com/kendroe/CoqPIE","type":"string"},"datatype":"url"},"type":"statement","id":"Q33378$190A78A0-7C38-4CCB-BCA9-4B2B48B801A7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q33378$ACC9C27C-C347-4FA7-9345-53EF29FADF65","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d0166f82b5c929454cd86cb97fa88777f5eb1653","datavalue":{"value":{"entity-type":"item","numeric-id":25199,"id":"Q25199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q33378$F4159921-6B16-460E-A686-84B80B2E3F5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b4d2672e62bd63a3033254dbdcd4252569f178e2","datavalue":{"value":{"entity-type":"item","numeric-id":33379,"id":"Q33379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q33378$D83CED0B-E3DE-44CD-B5AE-5FB28EAEBD05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"40c0430811ce2f934ec39dc6a05fa324ddb2493e","datavalue":{"value":{"entity-type":"item","numeric-id":13489,"id":"Q13489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q33378$05584705-D43B-42D1-9341-A76D952580BE","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":"Q33378$F47D786B-A68C-48B5-9D4D-DF825F3FC3D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"dc75b1f4f41a196c347c039c5eec89b08662123b","datavalue":{"value":{"entity-type":"item","numeric-id":18543,"id":"Q18543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q33378$D85361FC-F760-46DB-9EBE-32366A0DE91F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a7a8db67cdbad1c61eb28b6dbc688bcdfd970f50","datavalue":{"value":{"entity-type":"item","numeric-id":17052,"id":"Q17052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q33378$5DBEC497-FE4B-471C-92E0-5D2E726D321E","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":"Q33378$CCBD133C-7C9C-4F87-87E7-14E1A9F800F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d2669f70aa880147b83c35d15adb11ed5fffe51a","datavalue":{"value":{"entity-type":"item","numeric-id":21949,"id":"Q21949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q33378$FD66E60B-13D6-4B87-8185-D0B64D923E84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9b146b58733c48c2c5ce5d4e1add942a8122e41e","datavalue":{"value":{"entity-type":"item","numeric-id":19238,"id":"Q19238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q33378$7A027A6A-4B5E-458C-BE2B-F443282E666C","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":"Q33378$450AA79F-4B9D-438F-A337-80A2EB1D1EEF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"CoqPIE","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/CoqPIE"}}}}}