{"entities":{"Q5057474":{"pageid":7087051,"ns":120,"title":"Item:Q5057474","lastrevid":37472701,"modified":"2024-07-31T02:03:56Z","type":"item","id":"Q5057474","labels":{"en":{"language":"en","value":"Categorical reconstruction of a reduction free normalization proof"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7633584"}},"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":"Q5057474$A72805F7-06CA-44F9-ACC9-BC8F750EA25A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"594158044ba32d486b51f4e7e51a2337da8833bf","datavalue":{"value":{"text":"Categorical reconstruction of a reduction free normalization proof","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5057474$784528B3-1237-4E9A-B801-6A6FE6652958","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e44e42912ef827058cc4b8b9894d28b222d251b6","datavalue":{"value":"1502.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5057474$EFF3BAED-5244-4E8E-BB95-39F9C3A76361","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"10ae4189ff048793486e414a015ee94487b7520c","datavalue":{"value":"10.1007/3-540-60164-3_27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5057474$EA69DBE5-D59F-4803-9491-9D47FA5E4F0C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6801a503eb1bea2102d1e59832005afa5cab1cee","datavalue":{"value":{"entity-type":"item","numeric-id":1652991,"id":"Q1652991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5057474$99EB95AA-4A18-41DD-939F-26BE9BC4F9CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"02af282ac48548b384bd92269300a29e2bca8e17","datavalue":{"value":{"entity-type":"item","numeric-id":534711,"id":"Q534711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5057474$0223A0C8-3394-4FFC-8D99-5D3F339A90AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fadd7c9edb175c39860a7070bf646e2e9cc896ac","datavalue":{"value":{"entity-type":"item","numeric-id":165871,"id":"Q165871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5057474$85BC790E-F5F2-475C-96A8-02801C6E0F71","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2d01887dc98fd8c4d6ade67aaf60252deb06c08b","datavalue":{"value":{"entity-type":"item","numeric-id":5057462,"id":"Q5057462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5057474$E1D53FBA-4B5E-4D55-9CC8-E72E0DB251A4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9acadd84a8b0de963ab68148d6ca934fa0ce41f5","datavalue":{"value":{"time":"+2022-12-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5057474$5AD0CEBF-C9DE-4AAA-B9E1-6045EA1718F0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5057474$E06DA54C-28D7-47CF-B011-8E4F5E0EBF4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5057474$E35CECA0-4DB2-4642-BA86-6912FB77B59B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5057474$AA90B4BC-BD79-47E4-905D-A082A457BDED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5b843f6afac0844bb204a270e30ae74630f177d9","datavalue":{"value":"7633584","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5057474$98A2769C-9F15-4CA1-BD79-1ED55C3B0F44","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":"Q5057474$33149FC1-60A5-4CB4-AE7F-949AA5FF568E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b6108dfb3081152c033c7928e37d6431e006a50c","datavalue":{"value":"https://doi.org/10.1007/3-540-60164-3_27","type":"string"},"datatype":"url"},"type":"statement","id":"Q5057474$49450B95-0D60-4896-A4FD-203B637AC2FC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0ff466f6448144093747c78dcd85c6fdd1f47c13","datavalue":{"value":"W1765415708","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5057474$EA0C46DE-AE4A-4776-8956-7745D85433C9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"730be61f324b593b9cdcf693cd18218da2ef3707","datavalue":{"value":{"entity-type":"item","numeric-id":2785696,"id":"Q2785696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5057474$8FB2510D-FF11-4A18-94E6-721DF0B05E29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27e31b151b8d22be2aa79bf2dfac73aa834ed045","datavalue":{"value":{"entity-type":"item","numeric-id":4012882,"id":"Q4012882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5057474$A4461366-179B-4413-9219-325A9A0AD280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4749998a63e8333eabd57d6ad134faa39446f2a","datavalue":{"value":{"entity-type":"item","numeric-id":4525278,"id":"Q4525278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5057474$8D4B994C-3B43-432A-AB97-A381D2AC71A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e6c515c53cd15526b8909325376b292606ea9c5","datavalue":{"value":{"entity-type":"item","numeric-id":3024834,"id":"Q3024834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5057474$D1182984-06F8-4195-91CB-036DA5B1A400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"371429f546a4764331068bb46ddde929cdbbb450","datavalue":{"value":{"entity-type":"item","numeric-id":5546768,"id":"Q5546768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5057474$0DE442A9-C707-4443-88FB-7845BE8DDD43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5057474$07F423D1-A8C7-4F0D-A6A8-1881F850D53E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae94f828af67e50fecbc9e4b645ed6964977b9db","datavalue":{"value":{"entity-type":"item","numeric-id":4099613,"id":"Q4099613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5057474$53723CDB-2C78-4F3E-9B1F-7A403318F44B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"492542c2fa16745b6c1ab27c66663c1aea1182a1","datavalue":{"value":{"entity-type":"item","numeric-id":804559,"id":"Q804559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5057474$C8DF8CF2-1569-44ED-B38D-9FF716C0847C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ab5d7b35f67f940445411fa45c1b02bcb40d39f","datavalue":{"value":{"entity-type":"item","numeric-id":3999860,"id":"Q3999860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5057474$D1458C87-EF92-4D95-80B4-3A0A013DD9DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fc0f83d5ec3109942a6da644b57709f31b1dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1188522,"id":"Q1188522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5057474$F6EEE13C-E754-456C-99B2-807EAC8858EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5057474","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5057474"}}}}}