{"entities":{"Q4896506":{"pageid":6926085,"ns":120,"title":"Item:Q4896506","lastrevid":47418337,"modified":"2026-01-01T16:50:04Z","type":"item","id":"Q4896506","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 937366"}},"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":"Q4896506$A62C141B-FE53-4C23-BDA0-59D483F1042A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6e393f3d78bd71132b75e1a435d8f6833d0c34b1","datavalue":{"value":"0868.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4896506$25C38307-6433-47D4-B582-A56F215FF5A9","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":"Q4896506$E5632E79-789E-433E-9FEE-832E3AD41B8E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"18c3bb1a11dba9f99423cf053a5921485bdadd22","datavalue":{"value":{"time":"+1996-10-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4896506$A58751A7-8E2E-4A96-AB3B-716428CB66B9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4896506$A0A63352-CF31-4CDC-B9E4-5DDD898D4FA4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"89b6bbc4a9e859219f063c7abe56e67a2bbd666e","datavalue":{"value":"937366","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4896506$13332227-265A-455E-B4A1-96233FA018CC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f3df3b6ab6e45d64e7480b6c086eb279b31be19","datavalue":{"value":"lazy cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4896506$275E66CA-55E8-4F0A-9D4D-701DA1DC8495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d82d54321dd9799ec54c6e2eeabcd189cda5e80a","datavalue":{"value":"proof nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4896506$56F75C9C-0B5E-4118-A161-2C468C856A82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ccd45f8358392c3ec5433cc328747270355d7a87","datavalue":{"value":"multiplicative additive linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4896506$FFB9E8A4-1616-4F5B-A4DA-8F919D0E198C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4296281254337308ad2c5f734043898466afdb58","datavalue":{"value":"normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4896506$1B2ADAD7-ABF3-4458-8500-1E20CF70FCB7","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":"Q4896506$D372D9A2-6199-4D7E-B8E0-9590E2953F1A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31060e3f577fb75f63334367614882164bb64a90","datavalue":{"value":{"entity-type":"item","numeric-id":5311252,"id":"Q5311252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de622ba66cfe96c4026e6513fafdd7fa396f84a4","datavalue":{"value":{"amount":"+0.8495933413505554","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":"Q4896506$83C52BF5-F08C-4BED-8609-D24D545DE0F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8b37468d28424d36c3021152c551704c3d423fa","datavalue":{"value":{"entity-type":"item","numeric-id":5277740,"id":"Q5277740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b84677135e35aca5bb6c97d8d3954cde5432251e","datavalue":{"value":{"amount":"+0.8478077054023743","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":"Q4896506$EBF08626-2B50-46BC-B321-09A4121ACBBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b884d605bb5a85adadcd73bca8423354979e663","datavalue":{"value":{"entity-type":"item","numeric-id":4842976,"id":"Q4842976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fc29c2bb0348228e4f864041820e9236b0616d4","datavalue":{"value":{"amount":"+0.8389920592308044","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":"Q4896506$0C4354FE-446E-45CD-8728-CE5E39255C36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dd827eacbfc809706753b656450e4e302b5167b","datavalue":{"value":{"entity-type":"item","numeric-id":5310668,"id":"Q5310668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df03dc6816b8c60be6c179949d0a3aa671e1ef96","datavalue":{"value":{"amount":"+0.8376050591468811","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":"Q4896506$41035C1A-ABEC-4609-B104-56BE18005F95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7254c70d5edb0c87e8a56c929375f69578ccbd95","datavalue":{"value":{"entity-type":"item","numeric-id":1325054,"id":"Q1325054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8d51ba9dd4154744495cfa9971b1fa748429773","datavalue":{"value":{"amount":"+0.8345280289649963","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":"Q4896506$4DE2AF70-C81F-4D27-8086-5042BC446800","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4896506","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4896506"}}}}}