{"entities":{"Q2881075":{"pageid":2891795,"ns":120,"title":"Item:Q2881075","lastrevid":58048494,"modified":"2026-04-03T14:39:15Z","type":"item","id":"Q2881075","labels":{"en":{"language":"en","value":"A dependent nominal type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6021325"}},"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":"Q2881075$BBC98C45-A014-44CF-A1D8-DC00B723E847","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a724975b05c721009edad6906fd4c2d42c8be55e","datavalue":{"value":{"text":"A dependent nominal type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2881075$7A032FF5-2A01-4E09-B587-CC45FA00D8FB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"21ee3825129a90f061067f8556a4b40e824cf19a","datavalue":{"value":"1241.68046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881075$E1CAF422-35A4-491F-A658-EC63D4B42754","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1e942e50d59e9ec3f6f972c4cad71b9802cc4d94","datavalue":{"value":"10.2168/LMCS-8(1:8)2012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881075$BCA94405-4A49-43F4-A0F1-1C9AAE9F5E79","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5395fd6215daedab9dca2942f104c17e46b5bcc7","datavalue":{"value":{"entity-type":"item","numeric-id":616848,"id":"Q616848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2881075$AEB61FC1-E86D-48F3-98DD-E87E6AAA1E77","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2881075$059276AA-7B3A-42F1-AAEA-F7FE3484B735","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d567b51f320d6b206f1e246178a080db047a3948","datavalue":{"value":{"time":"+2012-04-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2881075$8567A4E5-F7EA-48B1-A5D2-1D6042C3A737","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6d32b6d90bd976f2679ce133cbb4e6b342ed6510","datavalue":{"value":"https://arxiv.org/abs/1201.5240","type":"string"},"datatype":"url"},"type":"statement","id":"Q2881075$1EA9F65B-E3B5-44B2-876E-F20BF1BC0EF5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881075$17AED78C-071D-4255-9B09-ABF51FEC9B5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881075$1C739232-FB07-473D-8923-F123F63F6A99","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5417baa06c5211e8bbeb8449dc82ca8b2b3b1ddc","datavalue":{"value":"6021325","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881075$F891EEDA-CF28-47A0-8346-E796E2844B45","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e22447b229c7a32c8d247e1ea4002861fd0fbd68","datavalue":{"value":"dependent types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2881075$B0F60DBD-B99A-47BD-8D1B-04881FD8C171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f096f8ffbd1ceedf6bc993ca7f44927ad0aacae2","datavalue":{"value":"nominal abstract syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q2881075$C5ED74AC-D51B-4B82-9A5F-5A4028437609","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d4679151adf8ac447edfc2fb5110876fdfca498c","datavalue":{"value":{"entity-type":"item","numeric-id":20987,"id":"Q20987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2881075$96971983-23B4-4D20-B60F-42A9C131D0E3","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":"Q2881075$DE5431CC-C6FE-41D1-A606-779E79497830","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a33d93699c2511574b8287765cccf7d93052df89","datavalue":{"value":{"entity-type":"item","numeric-id":530845,"id":"Q530845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52f227f6e9398c274eb2d98a3da534b9106a2b34","datavalue":{"value":{"amount":"+0.8874322772026062","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":"Q2881075$5DE6F9C9-7BFA-4661-854A-A78A02A19062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"030520f7e830a87853a89f727920484d07ead10b","datavalue":{"value":{"entity-type":"item","numeric-id":2804939,"id":"Q2804939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0f5f2059b7c03d2652e3be52981935a42803e4a","datavalue":{"value":{"amount":"+0.8511254787445068","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":"Q2881075$DD6577E9-D05A-4B6C-BE37-5CB3B2B51587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e78fa51eef0f8fe2768e5cc7743bf42271ea384","datavalue":{"value":{"entity-type":"item","numeric-id":5311260,"id":"Q5311260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08983cc439aaf921dccb518cb84ddb8cbeec1ea6","datavalue":{"value":{"amount":"+0.832485556602478","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":"Q2881075$0494A4D4-2E05-461F-A458-FEBBD1C32675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fcdd084ea9e34ead3aa71beb6b96a3abd3b1166","datavalue":{"value":{"entity-type":"item","numeric-id":5277839,"id":"Q5277839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bd30d3baa3efc7ee3a6dadeec4c9154b9c7f1e1","datavalue":{"value":{"amount":"+0.8285859227180481","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":"Q2881075$E3CAD974-5380-4B84-AC7A-EDA499A541C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c2def8b855a3343460dfb20f0a835f5e03c169d","datavalue":{"value":{"entity-type":"item","numeric-id":3011103,"id":"Q3011103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c09370b9bfb392dd349d7d1ca094c1d5982b4e6","datavalue":{"value":{"amount":"+0.7580856084823608","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":"Q2881075$0FADB36B-556A-463C-9921-4BB9EEDD2E31","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2881075","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2881075"}}}}}