{"entities":{"Q4599614":{"pageid":6629198,"ns":120,"title":"Item:Q4599614","lastrevid":82460555,"modified":"2026-05-06T20:57:31Z","type":"item","id":"Q4599614","labels":{"en":{"language":"en","value":"W-types in homotopy-type theory \u2013 CORRIGENDUM"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6821824"}},"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":"Q4599614$64AAF9AA-DEA0-4B0B-BEC7-35FEFBFD46A2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b1d30aaa2ace9c770282a85cd26d494ff587a843","datavalue":{"value":{"text":"W-types in homotopy-type theory \u2013 CORRIGENDUM","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4599614$ACFFE04D-B863-4727-A8B6-0426BBCA44E0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d98d3b352ac7024879fbf5c077635181a36cf5d7","datavalue":{"value":"1376.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4599614$4850BF6C-176C-4E64-B60C-5E82E42A2F87","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"020ff36e90d61ef3dab9519074ab3ce640c3985f","datavalue":{"value":"10.1017/S0960129516000025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4599614$BA2E2976-AC2F-4F1E-8522-23E0F86BEA72","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9d5b6d9c706120e3546cda282e0bf75898c459f","datavalue":{"value":{"entity-type":"item","numeric-id":448332,"id":"Q448332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4599614$FFDC5FEC-0C92-4CBD-962E-64B3DC10D834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d27f35d8b8d36daa01c278530444ad70355c66c","datavalue":{"value":{"entity-type":"item","numeric-id":169786,"id":"Q169786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4599614$B802A277-92DD-4D86-B070-C62288FCBE29","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":"Q4599614$5D933F0B-5478-483F-85AE-07A330A1A679","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7600255b4ee907c1b1dfbc5f62c7b1165ab1b6d0","datavalue":{"value":{"time":"+2018-01-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":"Q4599614$18C872C9-776D-4FCE-80BF-FF16591D7228","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4599614$2C9ACCCD-8B6D-43B9-B7CF-2481002EE6ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4599614$A3FDAC5E-5471-4793-945E-325D5816E19C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71e15d3a17f1ae7a1c0239050ee3b6d6009a74c","datavalue":{"value":"18F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4599614$B8E35690-CC8B-487A-815B-DD2DFC0597F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3643431a725e554c54598cd9777f2e5a7f105dfb","datavalue":{"value":"18G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4599614$5C23930E-B09B-4498-AE67-4CAE8872D609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c9fdba58e5344e05288d09cbbfa64fc756b9e06c","datavalue":{"value":"55U40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4599614$0C8D3193-3CB8-45F3-947C-C2B82941115E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1554032a8d06aaaa632cd64dcd90f92b4f02a2c0","datavalue":{"value":"6821824","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4599614$088E17FB-3A8B-4A2A-BBFC-16AFE5E0000F","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":"Q4599614$0C61119A-B9CC-49B8-AE07-2756C0A974F1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a57a3318a25662d2e0c0547f497fa8797898329","datavalue":{"value":{"entity-type":"item","numeric-id":5740651,"id":"Q5740651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4599614$E128289A-06DE-4F66-8565-F2D35F11560B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"W-types in homotopy-type theory \u2013 CORRIGENDUM","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/W-types_in_homotopy-type_theory_%E2%80%93_CORRIGENDUM"}}}}}