{"entities":{"Q5034388":{"pageid":7063965,"ns":120,"title":"Item:Q5034388","lastrevid":32033077,"modified":"2024-03-19T20:45:10Z","type":"item","id":"Q5034388","labels":{"en":{"language":"en","value":"Mathematics for AI: Categories, Toposes, Types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7481174"}},"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":"Q5034388$45A3F691-0C51-4767-9719-0839A69B5479","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"659ca929d6169d9a3e434967cabb741fdaef81bd","datavalue":{"value":"1485.18003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5034388$0728E1B8-DDF2-4102-9CB2-CB7FB9569D05","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"22f0e8f024a2368d1cce741e6c96d3ab96663685","datavalue":{"value":{"entity-type":"item","numeric-id":309616,"id":"Q309616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5034388$3B68CCFB-F9AC-41E2-9A8D-1324634C00E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"34f6c61a4d8e7cb3336e81c9b5a7e55431b53940","datavalue":{"value":{"entity-type":"item","numeric-id":414942,"id":"Q414942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5034388$3C971A45-8D04-44C7-9403-B523423068BE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"83e9de7499b5a0f6d14506339adc50b7e4e1adfe","datavalue":{"value":{"time":"+2022-02-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5034388$03759D93-6A9C-4425-9A59-CF5DA80DFB71","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f200b7a9515d35a9ab27c1174589a23cb3322aad","datavalue":{"value":"https://www.cambridge.org/core/books/mathematics-for-future-computing-and-communications/mathematics-for-ai-categories-toposes-types/F75B023A3C42FAB5D4F186376216FC76","type":"string"},"datatype":"url"},"type":"statement","id":"Q5034388$977F71BE-167F-4D2A-8A6F-CDB316DDDBCB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5034388$32FC40E7-D9AE-4087-8D6D-5AA21BF1D525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51b7800ccceb407b4c9aa81c10252a3a04dbfebf","datavalue":{"value":"68Vxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5034388$7E4BF677-6716-4ABB-B3F6-B4C66C9981D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"86ef24f5c9e2aac48660aa2e36054c8246d3fc97","datavalue":{"value":"68T07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5034388$CCF48D35-7087-403D-AF98-69ECC6787615","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4922ba1c9fe61457f73950a0aca9b81dca509621","datavalue":{"value":"7481174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5034388$5F082C56-5B03-4A19-A337-A9D71579ECC7","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":"Q5034388$7D1A5374-4A6B-4004-8CB8-F0BAE6E6B282","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ed3acf9bf1db4717d8434954b474db790f563e3a","datavalue":{"value":"10.1017/9781009070218.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5034388$1D0FF90E-5C00-4425-A2FC-3AC29F9283FF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fa5813e45f873e083e719bd2c1702d0e41db751e","datavalue":{"value":"W4200192776","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5034388$13B34F35-E43C-4093-A9F9-549A576BA44E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b9d8578020bc6bf55596df01894faa7e14c7d622","datavalue":{"value":{"text":"Mathematics for AI: Categories, Toposes, Types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5034388$6686247C-753A-4C33-A0D9-E58892CB945F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5034388","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5034388"}}}}}