{"entities":{"Q6940481":{"pageid":21146493,"ns":120,"title":"Item:Q6940481","lastrevid":84102602,"modified":"2026-05-10T03:13:05Z","type":"item","id":"Q6940481","labels":{"en":{"language":"en","value":"Touring the MetaCoq project"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8082560"}},"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":"Q6940481$C18CEFA8-99CE-43DF-9DA8-0ACA1E006784","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"653138af6b79b089143301c559df71a21a03e760","datavalue":{"value":{"text":"Touring the MetaCoq project","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6940481$59CDE7F9-BB8A-4055-B6C6-ABD29B80B9B1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"26b0b675b41d68874faddb2457e7031d13569fc6","datavalue":{"value":"1570.68247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6940481$2510D211-55E7-475A-9ACB-BD0C283367EF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ec45452c2ea63dee13150e77e56beaddb2280ba9","datavalue":{"value":"10.4204/EPTCS.337.2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6940481$9091F13D-5024-4020-894C-D3795CFEA912","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9414558f268ee594724569b856f23c96f190f01","datavalue":{"value":{"entity-type":"item","numeric-id":1791139,"id":"Q1791139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940481$5525D795-3FB5-47AD-867D-9357C0C27822","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6fb3c2642bc08f401365e4a6aafa09d756f14110","datavalue":{"value":{"time":"+2025-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6940481$C0BF5C03-EEE2-42B9-92CF-34F32818287B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6940481$49757172-31E2-4D80-B5F2-4EF4807C3E83","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7fccdfea981ed4fc96f053c89baa6f9a361764a6","datavalue":{"value":"8082560","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6940481$6B002045-603F-4260-A5AC-87F9FDCEE0BF","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"55caab8c5bb050f39298bb24e71802196fa28463","datavalue":{"value":{"entity-type":"item","numeric-id":56978,"id":"Q56978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940481$59B86A51-5F79-4837-B742-78E168688F3F","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":"Q6940481$524C8E3F-1A6A-4319-8C06-31B20A9B6301","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c46319975d5f428b28cf95457785c347fec2d0df","datavalue":{"value":{"entity-type":"item","numeric-id":5494381,"id":"Q5494381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940481$A0416F55-F825-40CE-BD24-EA5035E66D87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f788536331bb87ba4e75963340b885a6c5e47c5c","datavalue":{"value":{"entity-type":"item","numeric-id":5747643,"id":"Q5747643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940481$6A113944-1A7B-4FC9-AC07-D4DD1A0EFE42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acbf68a35efd53fa46006569e2fcabd7e445489d","datavalue":{"value":{"entity-type":"item","numeric-id":4962211,"id":"Q4962211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940481$A3B23C35-D60C-418B-A024-A5150A5114E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16d69daa34c11e7542755ef35435ce2320824878","datavalue":{"value":{"entity-type":"item","numeric-id":5875413,"id":"Q5875413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940481$991FF63D-8401-4511-801E-3585B5F8C12C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31f5eaa659fe8e8ca88c500da0fd4cebc92efeb8","datavalue":{"value":{"entity-type":"item","numeric-id":2804938,"id":"Q2804938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940481$CB083E65-0511-49C8-9502-D5EF3A470380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d592f87e8857ff4d106dd1dd178161f50c9229b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940481$6CFEB297-4A40-400A-BEAA-A7A78F9C97E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd647b7e190f6768b66094a5a1a152a66fc6622c","datavalue":{"value":{"entity-type":"item","numeric-id":4219036,"id":"Q4219036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940481$CB3E9DFE-ED98-4FF3-9257-3F669E9FE70D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dac16af6cf1adb18d0516e2c8db27f45fc424e6","datavalue":{"value":{"entity-type":"item","numeric-id":5327343,"id":"Q5327343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940481$29FE9292-8502-4A96-8086-F9AFED92C053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b276a4466d3408aebe4dbddd64d84bba4e9bbb3","datavalue":{"value":{"entity-type":"item","numeric-id":5875426,"id":"Q5875426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940481$633970FB-F26C-48F7-98BC-862300E28002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aeedc506ee95714a79cfc16f82862182df8774bc","datavalue":{"value":{"entity-type":"item","numeric-id":3613408,"id":"Q3613408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940481$3CA4CC3C-512A-4C9E-BFBB-92873538A9C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f27fd93c1b5d93bcea3172146c72a26a046a3b1e","datavalue":{"value":{"entity-type":"item","numeric-id":2319982,"id":"Q2319982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940481$2D69E8C2-5E92-4540-B2F2-C60665D994B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23f6b4a66f9e8feb8a1f63c1710afd4d7b087156","datavalue":{"value":{"entity-type":"item","numeric-id":4635893,"id":"Q4635893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940481$0755A61D-0235-4BE2-9772-D01099C8AEDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92281f917da3a00fe0192413035ae6a90371a0b1","datavalue":{"value":{"entity-type":"item","numeric-id":287361,"id":"Q287361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940481$8368E4B2-1060-4712-BB51-67A8683A6A5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcd794e9602f713eb2dd357e2a648e63a03d08e8","datavalue":{"value":{"entity-type":"item","numeric-id":6099615,"id":"Q6099615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940481$5B99B015-7A96-40C5-B10A-5434C03AA255","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":"Q6940481$3AFF1DB1-E0A9-4206-ABA0-777B8278F79E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb1812a83c3a4aee25d6a67b2527c143aea9ae4","datavalue":{"value":{"entity-type":"item","numeric-id":4435471,"id":"Q4435471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940481$126A8FF3-C1CF-47A4-A424-2B6124B8B81C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9579a4ebc8fc362938d3ee4c1626b4dbb8862f2","datavalue":{"value":{"entity-type":"item","numeric-id":4281483,"id":"Q4281483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940481$A1E96F09-CF62-4C46-AEDD-C55E4102E97C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"880dd2d891bee7d89376be3d87fc756a3f8aa32d","datavalue":{"value":{"entity-type":"item","numeric-id":5144660,"id":"Q5144660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940481$50070F76-D250-49E5-9A17-A3B79F1E73E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccdfc6c2a229e09846d7ccb887c26192d20ce0f8","datavalue":{"value":{"entity-type":"item","numeric-id":2945649,"id":"Q2945649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940481$75729386-5DA8-4146-B635-76BC2D80CAF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"681f6b991823ef1eb2ae5a0dc4952d80f163b9df","datavalue":{"value":{"entity-type":"item","numeric-id":2844696,"id":"Q2844696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940481$AB9CC9F9-01A0-4B3C-A427-ACC5046DF07C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ba8bd57f8794d317056b114a38bf751913f81c7","datavalue":{"value":{"entity-type":"item","numeric-id":3612448,"id":"Q3612448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940481$79799C86-C710-4A63-B1B5-6CC220D2FE75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c103bf2cb62768c300adccc9356dc2154001a007","datavalue":{"value":{"entity-type":"item","numeric-id":2209542,"id":"Q2209542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940481$8C6DEDA7-AEF1-49E0-9D5F-544820D98871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca5666f921e01dd97435dae76a72d1660a28c596","datavalue":{"value":{"entity-type":"item","numeric-id":2879272,"id":"Q2879272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940481$20D37F8C-4287-42F9-BADC-B60998172FB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c382f571059f65c71d7c5267e06c23fa2d98eb72","datavalue":{"value":{"entity-type":"item","numeric-id":5917605,"id":"Q5917605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940481$83BBC5E4-041A-4CDE-BDED-7EF9AE8F9EE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d93e889c52c36a6fb58e10f9eb9b5078b5353ce","datavalue":{"value":{"entity-type":"item","numeric-id":4972072,"id":"Q4972072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940481$B2A6581D-A7C2-4D0B-A62E-4BBDA3DA0951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"980b703e2063f9bf90424e175cd7a7b4a6a1d2fc","datavalue":{"value":{"entity-type":"item","numeric-id":4993361,"id":"Q4993361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940481$B9926EBD-5879-4D79-8B95-30B81902037C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"497b4c81f4eb1172c293c9383a73640c83e593d4","datavalue":{"value":{"entity-type":"item","numeric-id":4364399,"id":"Q4364399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940481$A1F8AE49-9F25-4745-965A-46F6D0021160","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Touring the MetaCoq project","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Touring_the_MetaCoq_project"}}}}}