{"entities":{"Q4204146":{"pageid":6233747,"ns":120,"title":"Item:Q4204146","lastrevid":49327804,"modified":"2026-01-06T23:34:51Z","type":"item","id":"Q4204146","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4123722"}},"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":"Q4204146$A8E1126A-7EA7-4144-BCDB-C097768BBC1B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5341f3126509467e0f06c9a85912e9ae8e0c52aa","datavalue":{"value":"0686.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4204146$F66B8731-5534-4B54-8AB3-B6141C366DB5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d6b929913024f5e29c5ce062084dc3d0e1a3509","datavalue":{"value":{"entity-type":"item","numeric-id":534693,"id":"Q534693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4204146$3FA04E6F-78CA-48E9-95FB-B18F1CB7525F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q4204146$C6977CE6-62DE-4BD5-A0B4-2F3EAB0AFF9F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4204146$BA7A66AB-EC2C-4083-A444-02562174FBDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4204146$E3A39DC6-F1B6-4B0E-957B-70F73F334E08","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cc135dcf47b418144c1a5dab962dd2a00cd7ec61","datavalue":{"value":"4123722","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4204146$9E1068E6-0BF8-4DF2-BA95-397AD5B236C2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d746b3896b4249901f5c646e7e3f27a8b71124c0","datavalue":{"value":"cut elimination from Gentzen-type derivations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4204146$C2BEFE5E-0E1E-49B6-8A89-3931D08AA996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2cdead0f061086b347af0e4589875f41ca0fd30a","datavalue":{"value":"second order linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4204146$9F934DE8-81BB-4B2D-B594-019412E39A7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f5f9fa7c99fed84610c34025a6959701496fde6","datavalue":{"value":"normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q4204146$7DD03EFD-1451-4EB3-AD9E-74A266F2EEB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c59cb2670932bf6e6f54effcf5bd8705f9b1e6c","datavalue":{"value":"\\(C^*\\)-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4204146$DC5C2C10-3392-4D3D-8026-6E54B53023DE","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":"Q4204146$9804D272-04E1-46CC-BCA6-A85685A09A00","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"354f8f25b1db884f48e7ce3457966a6d8178d5ad","datavalue":{"value":{"entity-type":"item","numeric-id":4842535,"id":"Q4842535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e0591f85974ead11ca08c40640d75383ab607b9","datavalue":{"value":{"amount":"+0.8768289685249329","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4204146$B8868F14-7020-43CE-9C7A-7CD25B535048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4736240ea9c8198c5eac1f3cff0dd84db0548e48","datavalue":{"value":{"entity-type":"item","numeric-id":5394579,"id":"Q5394579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e0591f85974ead11ca08c40640d75383ab607b9","datavalue":{"value":{"amount":"+0.8768289685249329","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4204146$08CE6A52-9044-40BB-9A50-F88CBD9C0D7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea1b4286d348483573245aece781bd3fd229ede2","datavalue":{"value":{"entity-type":"item","numeric-id":1327394,"id":"Q1327394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"795f2e7cbf764d2a6fea95f3da70e07aab65af9d","datavalue":{"value":{"amount":"+0.8644000887870789","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4204146$637C5156-2899-49D9-BF47-14863FB3BFD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f5de19293ed034cfaabb57cd71c489a36d490c8","datavalue":{"value":{"entity-type":"item","numeric-id":714715,"id":"Q714715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f01478e19875716dc7995b040f3a803c92de5dfc","datavalue":{"value":{"amount":"+0.8610089421272278","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4204146$B79276AC-1044-4CC2-84E2-8E36A8F61FA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c6d61801d866db6c2fa99251ea836aa652c4270","datavalue":{"value":{"entity-type":"item","numeric-id":3203017,"id":"Q3203017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08901ee2d0e8b42f28bfffd9ebf5eb2347d16040","datavalue":{"value":{"amount":"+0.8196817636489868","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4204146$FDB4133E-01D7-4F03-B564-A77D1ED0F99B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4204146","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4204146"}}}}}