{"entities":{"Q6528678":{"pageid":14139739,"ns":120,"title":"Item:Q6528678","lastrevid":40047148,"modified":"2025-02-13T15:00:44Z","type":"item","id":"Q6528678","labels":{"en":{"language":"en","value":"Primitive Recursive Dependent Type Theory"}},"descriptions":{"en":{"language":"en","value":"scientific article from arXiv"}},"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":"Q6528678$A4388823-13BB-4F7F-8BB4-750A535B23A4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d3fbddffd55b98c16622a2df0ef6fef443e23895","datavalue":{"value":{"text":"Primitive Recursive Dependent Type Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6528678$0B2F0BD0-4EFC-41D3-822A-5A57FB71E411","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e65812be4cd0be55e195a415cc5c72e9a1b4f46","datavalue":{"value":{"entity-type":"item","numeric-id":1687769,"id":"Q1687769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6528678$8201F15A-9984-4535-9E29-197DF1A87B6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f20cc16d6d6bbf30fbc72e25b4f0f96c736e4ed","datavalue":{"value":{"entity-type":"item","numeric-id":6528677,"id":"Q6528677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6528678$6E262FB5-1BA9-4CD1-99C3-A69967DAF81E","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":"Q6528678$E2B0D864-AA9F-4F64-BAD1-4D28715C5C91","rank":"normal"}],"P21":[{"mainsnak":{"snaktype":"value","property":"P21","hash":"9ec4b792ec5d1094429f3a032b90ca1f899aecaf","datavalue":{"value":"2404.01011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6528678$50595DA7-677D-4148-8972-99EC9236122E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6528678","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6528678"}}}}}