{"entities":{"Q6855249":{"pageid":20628133,"ns":120,"title":"Item:Q6855249","lastrevid":84261431,"modified":"2026-05-14T08:30:08Z","type":"item","id":"Q6855249","labels":{"en":{"language":"en","value":"Coq support in HAHA"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8162419"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6855249$739AC575-2A6C-4F1A-B275-991CF09A5173","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"342127a7807cc533afb29cdb74cc91d29396122b","datavalue":{"value":{"text":"Coq support in HAHA","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6855249$4ACC44A6-EA32-4B5A-B155-D75AC0AD5177","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aedc64f1da2cff01f11bb2b8d7cd747b329c0f29","datavalue":{"value":"10.4230/LIPICS.TYPES.2016.8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6855249$2465E698-754A-4ADB-9948-6CC4F20DE58E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"266d48a9c2e37ea24b4a5e4d6235b0f28f65402c","datavalue":{"value":{"entity-type":"item","numeric-id":276261,"id":"Q276261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6855249$1BDA6825-5960-455C-9D75-3A9C00BE4C12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6c4126f41aa55f809ebb637deb5d362ebeeebb7","datavalue":{"value":{"entity-type":"item","numeric-id":276262,"id":"Q276262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6855249$B722A532-D065-4638-B5FF-F96A8A9B8DA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6338eee5d7ef2bd3d78aa8bae844dca9f4b8a928","datavalue":{"value":{"entity-type":"item","numeric-id":1197523,"id":"Q1197523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6855249$D954A0EF-D82A-439A-B8A1-3C225DEA5DE3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8247fef3aa53b05a97c163d5591b14fd483acdba","datavalue":{"value":{"time":"+2026-02-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6855249$9A0E2491-AADE-42E1-81F5-EA516AE17B67","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6855249$18B6F38F-B208-41C1-9478-D2DB95E3EC09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6855249$38F13679-86DB-4023-8B07-4ECCA8EB4791","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"659c4804b2a19ae1db07a4b1bdb5d0f9dafd6d0c","datavalue":{"value":"8162419","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6855249$651809D5-04AF-40AC-91CB-CC28867A240E","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"daf5f856a5d861312ad309ab567540337a5f61d6","datavalue":{"value":{"entity-type":"item","numeric-id":57050,"id":"Q57050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6855249$6FDA3B28-1EB4-49E0-BEC1-E2AAFA1E7BCA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6855249$D5939010-5E15-48F0-8971-9B4C913ABDF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6855249$6DC519B4-B533-46AA-AB54-07516FC3B452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"059daaab1abd1b69a3c94e6a0530da90d3f220f4","datavalue":{"value":"Coq theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q6855249$336ECF57-C786-46CB-A15A-ABB9B0B718BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d03315480081185908007e49d84429a4e057628","datavalue":{"value":"teaching","type":"string"},"datatype":"string"},"type":"statement","id":"Q6855249$6B79FB23-98E5-4469-BCEC-8132B8B27E90","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6855249$BA39FCA6-3340-4AD2-AADC-1EB7D6FC1C8C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b482c6db8c5f464e19abc785decdb94a930d517","datavalue":{"value":{"entity-type":"item","numeric-id":1949765,"id":"Q1949765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6855249$1652E91A-2D0C-47F6-95C8-A6DDADCF29E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3343c3ecaf29b3d00ed730793fb135803dd0ca2f","datavalue":{"value":{"entity-type":"item","numeric-id":5176992,"id":"Q5176992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6855249$4BEC3D5B-F77B-41C3-B3BC-B6EC4FD0C00D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b02cebc44c2831878b18e904086383fc947d3037","datavalue":{"value":{"entity-type":"item","numeric-id":5417200,"id":"Q5417200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6855249$F0661AB0-88B8-4DD1-9B66-FC6D6DA30084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8f6d658032331dfb0270d5e1966446426f3c01f","datavalue":{"value":{"entity-type":"item","numeric-id":5326280,"id":"Q5326280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6855249$98A31684-59D3-4DC7-ABD2-098143B91274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6855249$852E50A9-E78B-464C-B233-6825D2395774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2f77790f3de0e7a5198a8f1c64a8023dd2bee09","datavalue":{"value":{"entity-type":"item","numeric-id":5348912,"id":"Q5348912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6855249$AE381485-CAFD-442A-86D2-63AE57B4A0B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"333782dfe2a782886768e8c7561d4e8bfd035e1a","datavalue":{"value":{"entity-type":"item","numeric-id":2655327,"id":"Q2655327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6855249$F32D949F-030C-45F2-B44B-65693216A646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fca3c893ec274449af409e1d364b4d648dd50b27","datavalue":{"value":{"entity-type":"item","numeric-id":1012129,"id":"Q1012129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6855249$8B284000-371A-4826-A2D1-0C0954EB9C7E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Coq support in HAHA","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Coq_support_in_HAHA"}}}}}