{"entities":{"Q5195243":{"pageid":7224815,"ns":120,"title":"Item:Q5195243","lastrevid":58476480,"modified":"2026-04-05T09:33:39Z","type":"item","id":"Q5195243","labels":{"en":{"language":"en","value":"Initial semantics for higher-order typed syntax in \\textsf{Coq}"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7106479"}},"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":"Q5195243$01129A67-2977-467B-9FF9-9E4832B9A8BB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5c48060132e5309264c95d15b5b53b8d3c8e4121","datavalue":{"value":"1451.68312","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195243$D0E9AF40-433C-44E9-9799-8ADC325B5DC4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ebdd912b169a139b5481c76e8978f5a1ad20396","datavalue":{"value":{"entity-type":"item","numeric-id":2319988,"id":"Q2319988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195243$1E558C89-11E2-4C22-A458-D4A31F487DB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6faa750d85f41278391aef371fc808fde8cdd05","datavalue":{"value":{"entity-type":"item","numeric-id":2351411,"id":"Q2351411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195243$72466556-D283-4A08-A8A9-E2742FC2203B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5e86f4a04633c16a30a7b65e0a3f44b477c2fa3c","datavalue":{"value":{"time":"+2019-09-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5195243$3FBC6A61-6398-425D-9727-B3820FDDAFAC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ec688ecf05c698c5449a95f49d518c19ebd15793","datavalue":{"value":"https://arxiv.org/abs/1012.1010","type":"string"},"datatype":"url"},"type":"statement","id":"Q5195243$8FA88C3E-193A-473A-8820-43BE94DF64AD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195243$916DC3E6-0479-4BFE-8D28-B14968CCF963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195243$8327BFCA-337C-443B-B4ED-1D915CA002EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195243$0E8531D6-9FE4-44DB-AD59-55FEDD2812EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195243$0A9C2DF7-B6F7-4F8A-A9CB-B2890D7F1EE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195243$B6AD2105-549E-47E6-9C0C-797877911632","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c77140103af9d311555a94407c2e1b41f18df9bc","datavalue":{"value":"7106479","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195243$53F8F845-4723-425E-9DE4-6CEF46E43757","rank":"normal"}],"P1463":[{"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":"Q5195243$C37D9A42-CD20-4160-9559-969C8D2FF8D0","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":"Q5195243$1E735986-5BC8-445A-A6F3-14929C1B2354","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"454e87d77373377a717f31776ec68c068e25d332","datavalue":{"value":"10.6092/ISSN.1972-5787/2066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195243$3289CB4E-E3CA-48E0-8A6D-3696B44FBDD1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0429bba24e70d441caf0d7d5727ac9bb160a74d1","datavalue":{"value":{"entity-type":"item","numeric-id":5195264,"id":"Q5195264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"286c19252f733c5f150bed39b2d09b950941c13c","datavalue":{"value":{"amount":"+0.8141404390335083","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":"Q5195243$7150EEBE-43AB-46D5-87C7-01B9319F55EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5b3ebae18d1b2e386d2528f6903ed57988a4316","datavalue":{"value":{"entity-type":"item","numeric-id":2887056,"id":"Q2887056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e588676701c907207815cd7cec8a3cf4a684bb9","datavalue":{"value":{"amount":"+0.8104146718978882","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":"Q5195243$9FA293BE-DB75-470A-A0F4-ABA1CCAB6051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"771e6bf14bf9eed658c21b56b460fb04bed1fd1d","datavalue":{"value":{"entity-type":"item","numeric-id":3656423,"id":"Q3656423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57aa2845981df54c9e09e8624bfa7cbbbf6cbdce","datavalue":{"value":{"amount":"+0.7915772199630737","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":"Q5195243$200A35E6-098D-494E-987E-C2E43E766102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d8981901febcd7accd965714d3a1f4b9b8c7219","datavalue":{"value":{"entity-type":"item","numeric-id":3024831,"id":"Q3024831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"966a9a677fa9a8050b372ddc2de9ad09387e3668","datavalue":{"value":{"amount":"+0.7893220782279968","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":"Q5195243$D6945F05-5D67-4F10-A693-D22487061126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fb27ab82d86d579fbe962c877c8c6b995aaa7b8","datavalue":{"value":{"entity-type":"item","numeric-id":2392480,"id":"Q2392480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6b9179d95ebd07970f77cb50c975b2ba80620c3","datavalue":{"value":{"amount":"+0.7844849228858948","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":"Q5195243$A9A69D19-6B22-48DD-9E2A-C49BD3E0FB4D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5195243","badges":[]}}}}}