{"entities":{"Q2968416":{"pageid":2979141,"ns":120,"title":"Item:Q2968416","lastrevid":58076391,"modified":"2026-04-03T17:17:32Z","type":"item","id":"Q2968416","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6694184"}},"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":"Q2968416$8CDBD16E-6CDF-4E1C-B20C-4566AECD8E16","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a9fd8b5af95b460ee68ffb9a7441725a04d09dc3","datavalue":{"value":"1359.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2968416$75F86AE7-5E76-4C61-BBB6-2B61562CC66D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"efed21e9824a359c8d3282e3ffda49b99e5e2e03","datavalue":{"value":{"entity-type":"item","numeric-id":636370,"id":"Q636370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2968416$184294F6-5BB3-4C30-95AF-812EC100DE32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef3ce062a3abe34fbc66f2165f0b82461a1fec7d","datavalue":{"value":{"entity-type":"item","numeric-id":930884,"id":"Q930884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2968416$E6028454-A701-47F5-A295-802FD48E1E05","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"856edffdf82e86092e797d3b8ee58dc208c2c6a3","datavalue":{"value":{"time":"+2017-03-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2968416$1CF0F158-2EA5-4CAC-AEF3-1EAB3E1DA343","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"31c6b6318ad6a30f34537917f7440835354df3ba","datavalue":{"value":"https://arxiv.org/abs/1309.5767","type":"string"},"datatype":"url"},"type":"statement","id":"Q2968416$691DA8F6-B394-4010-A21A-BFB5F251CB9D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2968416$307BB3B9-F737-4F64-B408-FEF9780922E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2968416$4E6B9E47-4242-4F1F-A468-E5525C373663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2968416$9A2ECF58-DA77-4EAD-BA27-1B1EAA23D4DC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"03725d4f7cac105b030b43be92a96ad867491ac6","datavalue":{"value":"6694184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2968416$356544E4-82AC-46DF-BFD0-C568B2482716","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q2968416$59B570B5-3F31-4873-9BCD-A2B2429BF3F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ee22a16b68ff7690ced49d39b0f7a8a6db96b60","datavalue":{"value":"calculus of inductive constructions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2968416$674DCE35-AE81-418D-8A13-398F2172908A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5795787683dc16a0e892761f65c085daecc3346","datavalue":{"value":"impredicativity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2968416$16F94E42-E267-431E-A519-15039525FF7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7308438e644b030c4bc3bc6f9bbd4f90e8209eb4","datavalue":{"value":"strictly positive type families","type":"string"},"datatype":"string"},"type":"statement","id":"Q2968416$AA61F207-0EF8-4326-AD1D-6E09F4E3CF4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68b9ebe01b54b481b7be556b57426c3e3808b860","datavalue":{"value":"inductive type families","type":"string"},"datatype":"string"},"type":"statement","id":"Q2968416$F66780C8-5D26-4EE7-A6FE-74AC645896E1","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":"Q2968416$FECF46E5-0BBF-4439-8869-4DD4BA4B9AC8","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":"Q2968416$0D1D8BED-5B77-4340-AF65-5C5F988D9199","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"93408d23dce68ff126cf88c0735fceb4e5a1cb73","datavalue":{"value":"10.4230/LIPICS.TYPES.2013.169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2968416$A0BA1294-90B8-4EC3-BD4A-5F95A66EB87F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"691503f60d24287fb32ef68e579afe8cb580fb96","datavalue":{"value":{"entity-type":"item","numeric-id":2843002,"id":"Q2843002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28b199ec56b3f8ea102ef2173c77c4f776216ab4","datavalue":{"value":{"amount":"+0.7680618","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2968416$EDD82068-C918-4EAA-A9A6-B2DB632261F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5930fbe507a78cd4956cf826d8db400a4013b5b5","datavalue":{"value":{"entity-type":"item","numeric-id":2709566,"id":"Q2709566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fc87e9ff87792f4110e404fd4d80d9da1236db2","datavalue":{"value":{"amount":"+0.72436553","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2968416$F76E4D4E-AD4F-4459-8B7D-C627313A30BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff2083498b7b630a9e694745616cd75e96256226","datavalue":{"value":{"entity-type":"item","numeric-id":5108584,"id":"Q5108584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c7accdfb379c96c7239a8ccbf59dbf4e29eb933","datavalue":{"value":{"amount":"+0.7229121","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2968416$18F122F2-770B-438B-879A-0F19A76D4C70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a29124d463976a3e6669e983fa1bd0bce9e89e4","datavalue":{"value":{"entity-type":"item","numeric-id":3493233,"id":"Q3493233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75f8a0c43009b8f56b6e13e6d773dac6f99788c0","datavalue":{"value":{"amount":"+0.69811296","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2968416$AA8B5AE4-BF00-450B-80F1-1E3C77D6544E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d41e148aab5b9c324fdbd72170e7259352cf8da5","datavalue":{"value":{"entity-type":"item","numeric-id":1260651,"id":"Q1260651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3d852e35cdd54685899b5c97e0fd15431df4bfd","datavalue":{"value":{"amount":"+0.698059","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2968416$0E60AA6A-D144-4F1D-B863-962FD1EADD85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64e0301818f353211630136dcf91ae0fe90a6c9b","datavalue":{"value":{"entity-type":"item","numeric-id":438595,"id":"Q438595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a82cf86ada7873d0a2b8b4f038ae726bb2c9c08","datavalue":{"value":{"amount":"+0.69481766","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2968416$4E029132-1103-4781-96DD-7693E751DF69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70503557b32ef1d1101c3c64ad4014eeaffef77c","datavalue":{"value":{"entity-type":"item","numeric-id":1622943,"id":"Q1622943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93df26d461d95c4dc73f4f094f138f48c4daff72","datavalue":{"value":{"amount":"+0.6926929","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2968416$1A905B98-0825-4A74-B416-0E130467C45F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2968416","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2968416"}}}}}