{"entities":{"Q1791140":{"pageid":1801882,"ns":120,"title":"Item:Q1791140","lastrevid":72966246,"modified":"2026-04-14T09:04:30Z","type":"item","id":"Q1791140","labels":{"en":{"language":"en","value":"Towards certified meta-programming with typed Template-Coq"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6946971"}},"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":"Q1791140$0AF54A8F-6C4F-4214-9FE1-8905EC7E363C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"34aba42e0822106fd99ab5fe795219799e8fbe30","datavalue":{"value":{"text":"Towards certified meta-programming with typed Template-Coq","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1791140$4D731FF0-14C4-493F-B596-183A8BD68F46","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5f14a22d29355af4056197ce0ac6ac9bfa52e07e","datavalue":{"value":"1468.68071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791140$9F6E2D7C-F6F5-4163-96BB-CD9280A06B3A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6bcc5b1f334fd0a8fa84a30211f2bf5008a21aea","datavalue":{"value":"10.1007/978-3-319-94821-8_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791140$854AFC40-CE6F-4C5E-84EE-AE2D36A2C436","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"32716be673cdc09479b44e6ef5b44e12f30c3c62","datavalue":{"value":{"entity-type":"item","numeric-id":1791137,"id":"Q1791137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791140$CCAFB6F5-A328-4AAB-85A4-BD05040CA65A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9cb8671b5b74811c81f29e2d55dce0ba176aa70c","datavalue":{"value":{"entity-type":"item","numeric-id":1791138,"id":"Q1791138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791140$D710872F-2E52-4EFA-A28D-3B9D86AA06CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"110c9b9e0e852b5bffe2fcd42275bf67a9f49ee7","datavalue":{"value":{"entity-type":"item","numeric-id":375195,"id":"Q375195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791140$414C54C4-30CF-45F7-919A-6B3D88BB314E","rank":"normal"},{"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":"Q1791140$C437E99A-7F61-4803-941D-22771EF50661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f7519cb4a1f2077b5761baeaf0abc45060a0b93","datavalue":{"value":{"entity-type":"item","numeric-id":636302,"id":"Q636302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791140$68FFF5E2-D5E3-460A-9596-A095E67E3293","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ff3c7136492fcf13c84b92efb7ac37b3eed57322","datavalue":{"value":{"time":"+2018-10-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1791140$7353B408-627D-46C4-A151-D28213A36AF2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791140$879AAA5B-D550-450F-A824-2BE52E89A341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791140$AF6E0864-E283-4B99-ACBF-0E9028F7CCA5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bcd67c0143e71be0157e6c757da25f99c6489a42","datavalue":{"value":"6946971","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791140$5C56A1FE-4EF1-4F79-B007-AE4AC96BBC40","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6afb9e05f24776a03d7fcd415baf7b99112468c9","datavalue":{"value":{"entity-type":"item","numeric-id":34519,"id":"Q34519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791140$95D04914-E468-4A49-B8B9-9525FBEA598A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7a89d66e6a5af9de31d41292d285f0eb7b530aaf","datavalue":{"value":{"entity-type":"item","numeric-id":39284,"id":"Q39284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791140$88C82442-1618-4458-B726-22B51F7C1F40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791140$9399E04F-DF14-407D-AD97-5B497E98F4C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d4f20857e79be9881c5d7a06583454f1cf2611e9","datavalue":{"value":{"entity-type":"item","numeric-id":24994,"id":"Q24994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791140$88D00EC8-F932-4300-9ED3-BD9EB3AFD0FC","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":"Q1791140$278AA76F-9B96-402A-A063-5A850A24EB09","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e282c807e4e53f88afb5b48a1046c462d133a884","datavalue":{"value":"https://doi.org/10.1007/978-3-319-94821-8_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1791140$80E83711-87F8-47ED-A2B7-A0D6E60505A1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6d7dd9c810b6fe727172860cc54a12e00eca69c6","datavalue":{"value":"W2805888229","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791140$6CA2F025-39D2-4486-8424-DAF926FA5D96","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e621b40b2f2889d97fe668bccc4a3b6ff03f815","datavalue":{"value":{"entity-type":"item","numeric-id":2209542,"id":"Q2209542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"377e5cd73c0e5bc0fcd1caa8c5c71a3231ed1dc7","datavalue":{"value":{"amount":"+0.9278318285942078","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1791140$296CAD95-07FF-42D3-91A8-B9613D825246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c8fc519c81890f963ff41e9abebedea516f59fd","datavalue":{"value":{"entity-type":"item","numeric-id":5371944,"id":"Q5371944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02db059fc2afa0ac29930a1924a3d3be54c3676b","datavalue":{"value":{"amount":"+0.7236844897270203","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1791140$0390141F-86BA-4175-AA5D-E948793DD09F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd320e0dd124a74f141966186c66ad6d88974feb","datavalue":{"value":{"entity-type":"item","numeric-id":1791170,"id":"Q1791170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"603072d0c269fce8d905c2151bae1752da874cd3","datavalue":{"value":{"amount":"+0.7207951545715332","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1791140$E0A2091C-23B3-4FDC-88DB-E9E3A4A79B28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3e572badf5bee00e7427a40b4cef297ea325698","datavalue":{"value":{"entity-type":"item","numeric-id":5244791,"id":"Q5244791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ce8f8818529c2ccc1a6aaca202381fa385fc27b","datavalue":{"value":{"amount":"+0.719419538974762","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1791140$EA956360-0E6C-41E5-93C2-EE63A89C2C19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca320f3d91c0d7a8bb4f611412474fdb2e1c5024","datavalue":{"value":{"entity-type":"item","numeric-id":2767010,"id":"Q2767010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"489c9ba163d969adeb1d35fbc0385db813950395","datavalue":{"value":{"amount":"+0.7186682224273682","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1791140$56A3518D-41BD-4BEF-ADE1-F4AA7A9BA242","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791140$B1FC8CC9-B47D-44D0-B7FA-3B2B02BD9A79","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Towards certified meta-programming with typed Template-Coq","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Towards_certified_meta-programming_with_typed_Template-Coq"}}}}}