{"entities":{"Q6280923":{"pageid":13417523,"ns":120,"title":"Item:Q6280923","lastrevid":58911813,"modified":"2026-04-07T01:03:42Z","type":"item","id":"Q6280923","labels":{"en":{"language":"en","value":"On Natural Deduction for Herbrand Constructive Logics II: Curry-Howard Correspondence for Markov's Principle in First-Order Logic and Arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 900301592"}},"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":"Q6280923$67A73410-F265-41EE-BD7C-A1B9FE08892F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"81dc7daf8e9d74fc43b1651d3815e34e62e970ab","datavalue":{"value":{"time":"+2016-12-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6280923$C34B9BA2-A918-4234-B579-22FBE9C5C9A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"23e305483c8390fc5243887be03d6710fa7b8317","datavalue":{"value":{"entity-type":"item","numeric-id":265000,"id":"Q265000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6280923$B4E5B488-839D-43BC-9FAA-3EBE389AB2BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f22a4d2cc3032ee5776cf0751b0019bab41916c8","datavalue":{"value":{"entity-type":"item","numeric-id":3384898,"id":"Q3384898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6280923$AB57DB5C-5E1A-4FCD-BC9B-C78E5829C389","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a15140b473e875f1517139c3af17397358167857","datavalue":{"value":"900301592","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6280923$D9D8D1EF-9508-4DA5-98E4-B77E224A9CC1","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":"Q6280923$F7930198-8116-4B08-98FE-3ACA278AE336","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"68d46e9440f4456916b0d74e0e3ab8b0171247ea","datavalue":{"value":"10.4230/LIPICS.TYPES.2016.4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6280923$90912055-2F9C-4200-907B-D06B0AE3DB82","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6280923","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6280923"}}}}}