{"entities":{"Q3434628":{"pageid":3445331,"ns":120,"title":"Item:Q3434628","lastrevid":50085082,"modified":"2026-01-12T22:01:47Z","type":"item","id":"Q3434628","labels":{"en":{"language":"en","value":"A Computational Approach to Pocklington Certificates in Type Theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5148615"}},"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":"Q3434628$1A1EE8AF-10C2-44B3-B25C-2C91D85FE203","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a4104da3ca1b9ef8ad71690935d6011a97364604","datavalue":{"value":{"text":"A Computational Approach to Pocklington Certificates in Type Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3434628$45827224-AEEC-4B54-8098-B17C0A2FDE88","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ce5ab96b25777801edd4156674a957588e528018","datavalue":{"value":"1185.68621","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434628$7A0D2404-B3B6-4B35-9869-A5DF7A3EC1FF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fdf78fe74b43de55823e9b3982a7ab56d78727d8","datavalue":{"value":"10.1007/11737414_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434628$2B0A760D-26A4-4F76-9C0E-693F33CFBC81","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bffd823543cff1e715d11a4bf716725d42966bb","datavalue":{"value":{"entity-type":"item","numeric-id":633301,"id":"Q633301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3434628$8EC84BE2-4C3F-4A41-9BC3-4A45BA119A17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a5fa5da603477bed196262dce34c616a0a67c991","datavalue":{"value":{"entity-type":"item","numeric-id":742366,"id":"Q742366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3434628$08DE7230-3950-4126-A797-C815218C1534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f69fec18e304e301a38c349c8b21d1a76ec69093","datavalue":{"value":{"entity-type":"item","numeric-id":1322846,"id":"Q1322846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3434628$DF84E7B4-02C4-49C7-A5B2-53D5FD632AFE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a2a09b5cba4f9e4657809ce2fd194ee37ff6e885","datavalue":{"value":{"entity-type":"item","numeric-id":2798252,"id":"Q2798252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3434628$CC1C1325-28A1-4A62-BE5E-8C7B46B26701","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"76e690768584aa88840deb200205c30c45e627e4","datavalue":{"value":{"time":"+2007-05-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3434628$3C98DA9A-4736-4BC5-89E9-5191844817DA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434628$16A7F94F-9538-48D9-B30E-040B9A958A29","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6b65d5224d92085d497337152ff5e16f97682c00","datavalue":{"value":"5148615","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434628$979D496B-19FB-4638-867A-ADCB2B0CCC2A","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":"Q3434628$F6DC19A5-D85F-46FE-A925-BD2BF23CC53B","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":"Q3434628$8911FE59-36F7-4427-9146-4A80BF84EB35","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a006c67194918c27bc90d2578bec40fc3129b1c8","datavalue":{"value":"https://doi.org/10.1007/11737414_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q3434628$5EBE194A-7068-42EB-9100-99400C51FFD9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8ea426b283593b421d6526b9e2503d0c40c0ee6b","datavalue":{"value":"W186686109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434628$D1D5418C-8C91-402D-A96B-D1B77C5EF947","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbe640dc2885d5ad60732c9cd04956ad01e5c4de","datavalue":{"value":{"entity-type":"item","numeric-id":597112,"id":"Q597112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d39bc4ec54f9345e5f4bd8c8b30d3144db7b9718","datavalue":{"value":{"amount":"+0.7930325269699097","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":"Q3434628$AB82D02E-308D-4813-A7AA-1419A6813F0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"729fbe98429653233a4f66b1c3f97da60ffa4d98","datavalue":{"value":{"entity-type":"item","numeric-id":2751544,"id":"Q2751544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b564733402c415fba120bb493accd4e5d43f9e8b","datavalue":{"value":{"amount":"+0.7679685950279236","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":"Q3434628$25747A49-E2A9-4450-9DC0-8C8EA3028894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dad3c62830479147228097217e5686a67a4619f8","datavalue":{"value":{"entity-type":"item","numeric-id":2760868,"id":"Q2760868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c87fd5729f4704e85f016fb6530a269dcdd803c0","datavalue":{"value":{"amount":"+0.7377005815505981","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":"Q3434628$E50AE902-2525-4455-9620-249E875AE776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1813dee6ade6ce3af2af73d2234b94398df48393","datavalue":{"value":{"entity-type":"item","numeric-id":5958299,"id":"Q5958299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b0138043e418b0de2e1d423892d44968383cddd","datavalue":{"value":{"amount":"+0.7238081693649292","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":"Q3434628$9CB1D92D-F00B-48EA-BE3A-E674FFD877BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49588c07988751ae1273848a4c830db88aadde25","datavalue":{"value":{"entity-type":"item","numeric-id":3523185,"id":"Q3523185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b38f3c6ea465c7c4d3881e61d67655a773e0b40","datavalue":{"value":{"amount":"+0.7072838544845581","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":"Q3434628$B8CE0C0E-9028-4714-B00F-F32187774AF7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3434628","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3434628"}}}}}