{"entities":{"Q41110":{"pageid":41166,"ns":120,"title":"Item:Q41110","lastrevid":56368038,"modified":"2026-03-13T06:16:01Z","type":"item","id":"Q41110","labels":{"en":{"language":"en","value":"CoqHammer"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"714feb7263c6fb6db360ed1ea299bc6f02d7aeb6","datavalue":{"value":"29396","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q41110$9FA870B4-5D87-41FC-9809-DF00A71E88B7","rank":"normal"}],"P286":[{"mainsnak":{"snaktype":"value","property":"P286","hash":"9ac937835e84dc6322897b102c4ee43c2348d5e0","datavalue":{"value":{"entity-type":"item","numeric-id":1663240,"id":"Q1663240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q41110$5A18B4BA-8911-4BB5-8188-772AAE3B559B","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":"Q41110$4674BC3A-EDA7-4A1D-83EB-45CB4116FE54","rank":"normal"}],"P339":[{"mainsnak":{"snaktype":"value","property":"P339","hash":"e366f974dd369f04364ad8f571bb0d59bca852b3","datavalue":{"value":"https://github.com/lukaszcz/coqhammer","type":"string"},"datatype":"url"},"type":"statement","id":"Q41110$F42B4C89-21C1-43E6-99BD-7B01ADBF91FE","rank":"normal"}],"P1454":[{"mainsnak":{"snaktype":"value","property":"P1454","hash":"ccc87d259b9c4dc05f1f1f32aae2fc3bea119a75","datavalue":{"value":"swh:1:snp:fd9a6ed7eef27e0dadccfd4367388b0526830270","type":"string"},"datatype":"external-id"},"type":"statement","qualifiers":{"P339":[{"snaktype":"value","property":"P339","hash":"e366f974dd369f04364ad8f571bb0d59bca852b3","datavalue":{"value":"https://github.com/lukaszcz/coqhammer","type":"string"},"datatype":"url"}],"P140":[{"snaktype":"value","property":"P140","hash":"c110283adba2c8ab5a73b63e9bde2c8b8cc1f894","datavalue":{"value":{"time":"+2024-03-10T00: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":"Q41110$73583562-A666-4046-9D8B-0774195BB2F3","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"c6584e7f54baad0d274458ec3066f307898a3218","datavalue":{"value":"http://cl-informatik.uibk.ac.at/cek/coqhammer/","type":"string"},"datatype":"url"},"type":"statement","id":"Q41110$FF97014A-335D-4E50-A49C-E02230C639C6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae9c75c1f07ce06d85b9552d2104619090f82402","datavalue":{"value":"00","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q41110$16110CE9-7BCB-4D1C-88DC-4EA05B100EE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q41110$631881D0-A105-45F9-8E2B-CF0451B3E520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"95bde9084e6ca63a8492631a417b047b22c72453","datavalue":{"value":"05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q41110$1C328BC6-9CFA-4904-AF56-3B69A989213D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"389057ea232b6d266cab69038163241bd07104b6","datavalue":{"value":"51","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q41110$63668135-1786-47A9-B195-C6AF376E2F3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q41110$14DA0213-D572-4D42-8C25-498754B8544E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd4f0694ac7a00e4fadde328cdb4437f6c066de7","datavalue":{"value":"14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q41110$DEC64416-EB4D-4C69-92E3-D17402F47A56","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":"Q41110$EFE6486C-3D72-4880-B3F9-1411CCC7B57E","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":"Q41110$D304D1D1-12D5-4939-934A-A6F1312EFE6A","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":"Q41110$2E02ABFE-93EE-4A96-9E84-A224C4686B81","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":"Q41110$A91F7A7E-1FAB-4612-A23D-C86237A2ABBE","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":"Q41110$03C8A192-4E6B-4CA9-BE3E-1EF7785E046B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2fd4f2f31989858180fba533a04e1a60c8d16377","datavalue":{"value":{"entity-type":"item","numeric-id":22154,"id":"Q22154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q41110$8AD53C65-58BC-4A43-8268-472FF54340E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"6a1c834eaf7bf2e5bf95e7e5755a5eb5ec3363d0","datavalue":{"value":{"entity-type":"item","numeric-id":23493,"id":"Q23493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q41110$B5E0E48E-B4CC-4433-9C55-B61B1E3C1FCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"239ac5c0327af3346b2f92ef805aaafc618ec12b","datavalue":{"value":{"entity-type":"item","numeric-id":18920,"id":"Q18920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q41110$15AD7064-AFFD-4909-95BD-C1EABAF600E2","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":"Q41110$08043708-65E1-4035-88D7-19E238F7D5CE","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":"Q41110$16ADF567-D5C5-4109-A9C7-725DD711AA30","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":"Q41110$8B050F77-0B40-486B-A87A-9732C409CE20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2ded5a481ece08049848bd1edb3f9afa21f0df2f","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q41110$FF9F0239-1324-448E-A5F4-EF9211D9AC98","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":"Q41110$78AFC4A2-3FFF-4467-A5A5-C8943C8A0640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7434bcf5c727d2c07e931aea1694436d0b39cd53","datavalue":{"value":{"entity-type":"item","numeric-id":27041,"id":"Q27041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q41110$AF8D02B5-87E1-47D8-B450-36DCE20C5A79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b93a9885014e7b994c6840116d69ecd63fa83844","datavalue":{"value":{"entity-type":"item","numeric-id":19326,"id":"Q19326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q41110$66FE3FF5-4B86-4F58-A83D-B07D4ED40AB1","rank":"normal"},{"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":"Q41110$819ED6A0-DEE8-4559-98D5-CD4FBBDD5A76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b10fe6e3bc5c69c332148e78e867385b231b7ea8","datavalue":{"value":{"entity-type":"item","numeric-id":44021,"id":"Q44021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q41110$5FB9D194-4F49-4557-A75C-7F8339792074","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":"Q41110$98C92DBA-4B1D-407D-B673-6E7190BA58E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b19fd8e419fa1cf231481feba8263b917fc1cd08","datavalue":{"value":{"entity-type":"item","numeric-id":20838,"id":"Q20838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q41110$C2AD77C8-5575-4492-B335-E8C4ED18042E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a54e24244723bf29b2db533f355d939551876363","datavalue":{"value":{"entity-type":"item","numeric-id":22240,"id":"Q22240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q41110$2CB7792D-E02D-42B3-9185-2816BD4E575C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"CoqHammer","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/CoqHammer"}}}}}