{"entities":{"Q3075246":{"pageid":3085962,"ns":120,"title":"Item:Q3075246","lastrevid":51185639,"modified":"2026-01-17T03:23:23Z","type":"item","id":"Q3075246","labels":{"en":{"language":"en","value":"An introduction to small scale reflection in Coq"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5850142"}},"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":"Q3075246$1869419E-0945-4908-A40B-8FA5E734D5B7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eca84c7c41c9a5d2f7eb9880341211cd6f3f24b1","datavalue":{"value":"1211.68368","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075246$E23F66A1-8DB1-4A20-8F8D-6AA11ED43922","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6fe183d93c029e0aa92279cd45c5ae8bafa3a4ae","datavalue":{"value":{"entity-type":"item","numeric-id":1084851,"id":"Q1084851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075246$0A9836B7-8A43-4E22-992A-22278612EE65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"379ac4e8dcb87cc7060e4dba787e250b7104d056","datavalue":{"value":{"entity-type":"item","numeric-id":512133,"id":"Q512133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075246$E8251E80-9608-4E01-8B18-14165CA7D1B4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"76c08091180089def748f7e20273d2f981bdee68","datavalue":{"value":{"time":"+2011-02-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3075246$E9572ED4-0105-4C1A-B166-906FCBB7C00A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b8e28bbc7dc7b18dfdf5c3a3f89f40b23a0a0907","datavalue":{"value":"http://jfr.cib.unibo.it/article/view/1979","type":"string"},"datatype":"url"},"type":"statement","id":"Q3075246$8AC0157A-459E-48DB-BDC6-7A93A72B918B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075246$C7C2AC87-E13A-4A90-8426-203AABE3E0F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075246$61FB6DED-1D44-44C8-AF80-24ADC68AEC36","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a19cc04c0aa934e18ff82864d8f5de4c6b0c0c07","datavalue":{"value":"5850142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075246$91B14407-98F4-4886-89A4-43D1D4471504","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98456cd4cdf0db037b678749018452921ff9260b","datavalue":{"value":"Coq proof assistant","type":"string"},"datatype":"string"},"type":"statement","id":"Q3075246$B9FF3E94-3AC6-4D7F-8A46-EAE4A7BCFAD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18bf27ffaca9c257e384b7b93a5c6a66f6cd2a3b","datavalue":{"value":"SSReflect package","type":"string"},"datatype":"string"},"type":"statement","id":"Q3075246$A208794E-1B2E-4C8F-BE68-06B5C47E8AFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfec6e9f625cbec77b95ae4b0d288a1e3a9f2c49","datavalue":{"value":"formalization of finite objects","type":"string"},"datatype":"string"},"type":"statement","id":"Q3075246$C32E7E98-5D95-4DFC-ACA2-33E8BCC2F0D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc72b44002cc875bd12844afa4035d98a70850ec","datavalue":{"value":"intuitionistic type theory.","type":"string"},"datatype":"string"},"type":"statement","id":"Q3075246$28901597-BDCB-48CD-BF59-A374E823B2F6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a94daa7865c51c0d2412cced8422ea9361d06e30","datavalue":{"value":{"entity-type":"item","numeric-id":21343,"id":"Q21343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075246$6F1BF1BC-4EF1-4601-B83A-D7A4800AF98C","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":"Q3075246$0CAA67C5-1377-4B8C-B628-4364669C2FEB","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":"Q3075246$6C794F14-8AA9-418B-AD3F-A19ED05EBA05","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2376884d87536b9d0382addbfec06eeb8f1148d8","datavalue":{"value":{"entity-type":"item","numeric-id":2907323,"id":"Q2907323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04595c9f2bb0b55064f19021f4e0dde8e3b65f80","datavalue":{"value":{"amount":"+0.7609072327613831","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":"Q3075246$4A5F2A9C-E320-49B9-B9E0-ADC5C531A76E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24cdcf48e2229f3526631ece2a3e1a80cc930fcc","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f54f8ad918bd3ffe985dfec61ea8d024ce2d4c71","datavalue":{"value":{"amount":"+0.7392471432685852","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":"Q3075246$35F041ED-3279-4801-94EE-6A27F143FC44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9564fbc26aa84919584d31b80771f8b6cda49a26","datavalue":{"value":{"entity-type":"item","numeric-id":3075245,"id":"Q3075245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a6d5f948dce38302ed3f6dd8258f74a960dab53","datavalue":{"value":{"amount":"+0.7335325479507446","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":"Q3075246$F77DCC9E-AD36-4F59-AA67-1F820A89B240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d418b1916f055252798ddb01731a341d8407187e","datavalue":{"value":{"entity-type":"item","numeric-id":5327334,"id":"Q5327334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e4ae6e9b9e1bb1204d4a4051d26fc6ed32e6521","datavalue":{"value":{"amount":"+0.7155452370643616","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":"Q3075246$76015C38-20F7-47B2-AA3F-4683B0558BAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdd8eb245e282dec7a4076b897d6aaeb7848435c","datavalue":{"value":{"entity-type":"item","numeric-id":3543643,"id":"Q3543643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f959fe4da3b3a4cd9206dfd3e409b9b3bba8d3ae","datavalue":{"value":{"amount":"+0.7138723731040955","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":"Q3075246$C2C30867-C119-4ADB-8AF8-DE666384CB48","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3075246","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3075246"}}}}}