{"entities":{"Q6419694":{"pageid":13552747,"ns":120,"title":"Item:Q6419694","lastrevid":103108472,"modified":"2026-06-06T06:19:15Z","type":"item","id":"Q6419694","labels":{"en":{"language":"en","value":"A Univalent Formalization of Constructive Affine Schemes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 900573718"}},"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":"Q6419694$F7183301-82FD-485F-88D4-9F042455AC95","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5040dd04ff875c1b08da3389392dea034cb0b138","datavalue":{"value":{"time":"+2022-12-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6419694$3BE81DFB-884C-4179-9A61-BC3D25F88017","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"77d137d79d17b728457c440dddd66b155b1c321f","datavalue":{"value":{"entity-type":"item","numeric-id":6404424,"id":"Q6404424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6419694$463D4E48-C896-4C1C-95EC-15E027507AC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"37b6655ff0c1854542b6f28c9af39f0877a44635","datavalue":{"value":{"entity-type":"item","numeric-id":2319989,"id":"Q2319989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6419694$3D9A629E-A2F1-4DC2-813C-DCCD8E66E86E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"627231ca82fe182d085138d3b9038a50035b5936","datavalue":{"value":"900573718","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6419694$D85B0EC4-A74F-448C-8717-0C7874A113DD","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":"Q6419694$0D377F54-C655-4AF7-B3CB-EEAD30D87A44","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Univalent Formalization of Constructive Affine Schemes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Univalent_Formalization_of_Constructive_Affine_Schemes"}}}}}