{"entities":{"Q6572549":{"pageid":14183704,"ns":120,"title":"Item:Q6572549","lastrevid":42356171,"modified":"2025-06-12T17:06:21Z","type":"item","id":"Q6572549","labels":{"en":{"language":"en","value":"Formalizing the ring of ad\u00e8les of a global field"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7881127"}},"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":"Q6572549$97CBA057-CDEF-44E4-9258-D4F919726EF7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b9ddbe40b8caf7d78f8a0ac6ad1655415da2164c","datavalue":{"value":{"text":"Formalizing the ring of ad\u00e8les of a global field","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6572549$B6E46E28-959B-4231-9132-0BB02D6C8D64","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9ceb4b13b2876fcca290c6e84e42d1f1c9830cb5","datavalue":{"value":{"entity-type":"item","numeric-id":2086411,"id":"Q2086411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6572549$64BF4AC7-E3DD-4B8B-995F-EA6AC70CE42D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7dae1a09e0b079923de71e99f58f11ff9161f5ec","datavalue":{"value":{"time":"+2024-07-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6572549$2E3BAD07-25EF-4C23-99F4-8C369AB25C6F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572549$04628DFA-3FC7-42C5-8788-834E238ED9A6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9f24feeb06c10f68b9dc1c468328234195999a93","datavalue":{"value":"7881127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572549$6902C5DC-6B60-40A5-8FA2-9378EA63881E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0eae9dff33adcbc07f74d81a094a208f216c421","datavalue":{"value":"formal math","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572549$9AC93A1B-718F-4064-B9BE-42D99F10D462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0dea88c74ff234258f870550736d97356be39210","datavalue":{"value":"algebraic number theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572549$0C37A41F-E789-49BA-978E-93E391EE4C0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51556aced19a49a8a57c41e1e31cc4ff474166ae","datavalue":{"value":"class field theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572549$4137C914-803E-404B-94C2-D796C64ED7C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e8fd89fa28c0f6c3672ef10c3a2104586281edb","datavalue":{"value":"Lean","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572549$09D0BB20-E7A4-4D14-BEBE-664BA72704B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ece59c48c6b56403e847bffda58343af27541073","datavalue":{"value":"mathlib","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572549$5520F7E0-9A05-47D0-9BA1-1E02708A4BED","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":"Q6572549$A0416908-A7E5-47B0-9C97-0516A8F270E3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eabf5a7deb2bf8a9df3357790b0354d48fbb8b0e","datavalue":{"value":"10.4230/LIPICS.ITP.2022.14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572549$8377EFD5-4A97-4458-B44B-18C09660002F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6572549","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6572549"}}}}}