{"entities":{"Q4156419":{"pageid":6186019,"ns":120,"title":"Item:Q4156419","lastrevid":28380363,"modified":"2024-03-05T13:29:43Z","type":"item","id":"Q4156419","labels":{"en":{"language":"en","value":"Normalization as a homomorphic image of cut-elimination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3588638"}},"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":"Q4156419$194F20E1-27C2-442A-9D37-CBBD6710A3C7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fcfff539d16c5af91376fbc384021e1cc9f0fb18","datavalue":{"value":{"text":"Normalization as a homomorphic image of cut-elimination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4156419$66151785-FE27-4996-BC2F-AC0DD223792E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a3465ba9b11ffc587e78ccb57a6e5602b7b820b5","datavalue":{"value":"0378.02017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4156419$234C1042-7F5B-4390-8763-059C60AE0D68","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9cf2255ab3e06f9cc18757cdcdc44c1c3cbfe3f8","datavalue":{"value":"10.1016/S0003-4843(77)80004-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4156419$A1065CA8-905B-4E6E-9D57-9D753E9A739A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dab1edfc4dd6c1c9811dd9eaca29c1ac0000ab7e","datavalue":{"value":{"entity-type":"item","numeric-id":1076006,"id":"Q1076006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4156419$573EA4B9-9D3E-4260-8E03-56D91960966F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8163ce1afc0fec16367278ef74f8847085a60d3a","datavalue":{"value":{"entity-type":"item","numeric-id":3041173,"id":"Q3041173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4156419$00CFF2FB-A28E-486A-9423-97DFF076120B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a49472451190faf858f564fafd4bcba399999753","datavalue":{"value":{"time":"+1977-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4156419$26D99014-00E8-46E3-B155-A3739EA1CD9A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e914ad4198919746f7f43e5298d5baf07e389c97","datavalue":{"value":"03F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4156419$21394975-1D70-49D6-9E2C-41232CEA26AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4156419$486CABA0-AD14-482E-925B-5671DEE5D7A4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e851c3415bd85b2e244a147f3914162e50eb37de","datavalue":{"value":"3588638","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4156419$293D4E6E-332F-47B0-9319-01EAC0CD3392","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"744e19c3d9b63f4d70c6d971b9c857c41d5c60a2","datavalue":{"value":"Q122966847","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4156419$88490968-D351-46DF-A738-BC4F9354CA5B","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":"Q4156419$900F5F44-0299-46A3-9C03-1CC7569C3BE7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4156419","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4156419"}}}}}