{"entities":{"Q7020364":{"pageid":21625101,"ns":120,"title":"Item:Q7020364","lastrevid":77553308,"modified":"2026-05-05T11:16:44Z","type":"item","id":"Q7020364","labels":{"en":{"language":"en","value":"On Hofmann-Streicher universes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7991307"}},"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":"Q7020364$2256E190-98FD-492C-8299-9B88021F0CB1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cd9c288907609ffa71718fdc3dd43485ab9061b7","datavalue":{"value":{"text":"On Hofmann-Streicher universes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7020364$12212DAA-095D-4EDD-9667-FEDA23D20E57","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b4851ef2bc26192db41c4cc3deee09099e74f14a","datavalue":{"value":"10.1017/S0960129524000203","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7020364$78E378BE-3401-4D90-9799-ADB6F60A6C0F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2009e276a9c17224dc798d13c148c747ba9f7376","datavalue":{"value":{"entity-type":"item","numeric-id":938240,"id":"Q938240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7020364$671A7E8C-2AF5-49BB-91D1-4B9E9A59B77F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7020364$F091ABC3-DDEF-4AAD-AABF-3C40133E2573","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5849f8a09876005da2e55ba8679512a3334b77a3","datavalue":{"value":{"time":"+2025-03-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7020364$3B92797E-B4A1-46BC-9C5B-7D39DC522180","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7020364$ED4793A7-A90D-4BAD-AA91-C1B69FC6E62C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dc9a4660f4497e5f1d0102b9481bc1c28d08d790","datavalue":{"value":"18N45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7020364$05CE10FC-316E-469F-BCB6-76B444B833A8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"97bcb4496b568b47e43a1c41f37fe15cd2f0c3ae","datavalue":{"value":"7991307","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7020364$35D7ABA3-F8AB-4552-AC2F-F38C3CCF786A","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7020364$4A610F89-EC07-450B-9111-20A1E509E8B7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"872a8823fdf38d2ac6f36643772b65777f85914c","datavalue":{"value":"universe","type":"string"},"datatype":"string"},"type":"statement","id":"Q7020364$E01C3FF3-4B85-4F6B-A90F-A817DDE4E18B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q7020364$27EA23D9-9D97-4A87-9877-A3102D3793FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5685485f4c27abda29cd481c0486a1adb54b3a91","datavalue":{"value":"category theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q7020364$029FC176-40AC-434A-A783-BC03B83E08F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4ecd2d433c9f863c39fe5a1fa2de24434b6de0d","datavalue":{"value":"homotopy type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q7020364$E0C7DFA2-9BCB-4D15-9D4B-56B6F310B40B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"788c0e99db7f10cd46a18cd4b1ccf0c8d518b4ed","datavalue":{"value":"presheaf categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q7020364$47FBA920-87EC-4985-B959-E6C63840148C","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":"Q7020364$5F8A6072-E829-4CAA-B7FF-39A2E249A03C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"637f41e23e6e6f97fefaae078bf593436fd91189","datavalue":{"value":{"entity-type":"item","numeric-id":6586829,"id":"Q6586829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7020364$E56B7CE9-B17D-44F5-9A8D-CB831C546BA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1d13fae8b0edd005619879264a500b259205b13","datavalue":{"value":{"entity-type":"item","numeric-id":5963045,"id":"Q5963045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7020364$925CF753-3751-4736-BF03-D45AFC2EAE63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8aaadb40567471ab3b08d7e0f56fc4fa59e18adb","datavalue":{"value":{"entity-type":"item","numeric-id":5182321,"id":"Q5182321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7020364$514218CC-F901-4CAE-B275-1A31F2004F35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e808d133b8eefc8f53421e00131793a6a3e6a75","datavalue":{"value":{"entity-type":"item","numeric-id":2643608,"id":"Q2643608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7020364$0ACC0FC9-FED7-4A49-BB9B-69BD64002CEB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On Hofmann-Streicher universes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_Hofmann-Streicher_universes"}}}}}