{"entities":{"Q5091273":{"pageid":7120849,"ns":120,"title":"Item:Q5091273","lastrevid":54368867,"modified":"2026-01-26T17:21:20Z","type":"item","id":"Q5091273","labels":{"en":{"language":"en","value":"Differential logical relations. I: The simply-typed case"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7561604"}},"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":"Q5091273$A4EB00DB-DB79-47E8-A745-232BCB28CBF4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f9aee8fa2e490413f426890c8aa34847b6dc293","datavalue":{"value":{"entity-type":"item","numeric-id":276253,"id":"Q276253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5091273$72D9F5D9-3377-471A-B1B2-2391BC132F9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"705529c2bd1a73bb28a5cb8b6e2f186805975b59","datavalue":{"value":{"entity-type":"item","numeric-id":1989332,"id":"Q1989332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5091273$4F629D06-6C77-44FE-ACEB-EB5D2F37EBCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0fe066dd66295d4f07a49a0fa718fa972fdc7a89","datavalue":{"value":{"entity-type":"item","numeric-id":4635619,"id":"Q4635619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5091273$B6F34F52-43C8-4D74-990D-725CC0806AE7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ae3e014d42c3e727189349ca8167d2ae32144d1","datavalue":{"value":{"time":"+2022-07-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5091273$8A881142-1088-4482-B072-64222D5C8BDD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"891ec6b44e2c8c1dc79614c2f25cf88a7e17672c","datavalue":{"value":"https://arxiv.org/abs/1904.12137","type":"string"},"datatype":"url"},"type":"statement","id":"Q5091273$953DE949-DD41-4F41-9A23-37EBEAD50D36","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5091273$2CE57A37-1BD7-4B8E-81E7-F578932ECB6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5091273$05712C65-BCE9-4456-9BC8-AB85F9BB292B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ccb5edc7e8d9f1de29c4fe6826616b7090f88c64","datavalue":{"value":"7561604","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5091273$CBD6F24C-EFA1-4F4F-B74A-A35F74AD7C4C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02e2bd1176be2ca24a8b368e42bc8812510b3ef7","datavalue":{"value":"logical relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5091273$8A6953E8-1B2B-4F57-B7C6-A402C9544241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5091273$192921C7-6C10-4418-BF48-99795851EB34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dac5de8e537c71cd90df166682399621b2f7fbf","datavalue":{"value":"program equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5091273$DC610C45-1A7E-44A7-8996-6C230FFF010B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5091273$BAB7BD71-1174-4382-B0B1-EA345C0C12F9","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":"Q5091273$B53D8F6A-78C0-4223-A506-42F483CB9AE8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb81bd457bbe741eac4d814dc1090b2d9998aade","datavalue":{"value":{"entity-type":"item","numeric-id":3348896,"id":"Q3348896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5091273$B3A7BB62-699D-4917-982A-8281696A37B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1c5707886a3eca23aea478a8a1c5a4df211fb78","datavalue":{"value":{"entity-type":"item","numeric-id":2289062,"id":"Q2289062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5091273$DD7C3FB5-8238-45A0-8CE2-888256248F5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13637c329a859369d956f00d5ad44bbfb24c2365","datavalue":{"value":{"entity-type":"item","numeric-id":1136494,"id":"Q1136494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5091273$06CD94A3-FE40-4475-A12A-BCA48A64CB65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9942e9f1e7dd047feb564c1ebb997f32e1d2a390","datavalue":{"value":{"entity-type":"item","numeric-id":1346621,"id":"Q1346621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5091273$23BFD01D-18EC-4DA1-B83C-1ABBAE70BB46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3973aff2805730b2683e3055d6c3b8b0d59a7ff5","datavalue":{"value":{"entity-type":"item","numeric-id":3107101,"id":"Q3107101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5091273$80944BA0-13AC-4348-B178-F5DD2B38E780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf7f478a0e3334d16e231c4c024432fa7752e636","datavalue":{"value":{"entity-type":"item","numeric-id":3190107,"id":"Q3190107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5091273$89F6C2F1-CBBF-465B-B7AC-6285C241DC2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c47a68d3004d147e7b0dbf4db2d3d3b9527e1665","datavalue":{"value":{"entity-type":"item","numeric-id":4635842,"id":"Q4635842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5091273$212DAE15-02CC-45E3-9834-3D5A46560029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca0b4b83a8f3411743c9b6e6bf6fa47950093e79","datavalue":{"value":{"entity-type":"item","numeric-id":2988646,"id":"Q2988646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5091273$3D5B835E-453E-4534-A5B9-E181B16FD6AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72b669d99f34e65c2bfc2f278974361852e47e27","datavalue":{"value":{"entity-type":"item","numeric-id":5370888,"id":"Q5370888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5091273$5AB499E9-3B7D-4932-9332-B7BE0A6A7FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73ca335199aed69709510ae3a329ce4b99864445","datavalue":{"value":{"entity-type":"item","numeric-id":3935454,"id":"Q3935454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5091273$9D3A384B-8156-405E-898E-6879D2536E6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36050cb2aebc6e0d72cd0bdca54e064168155283","datavalue":{"value":{"entity-type":"item","numeric-id":596029,"id":"Q596029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5091273$45793771-C518-4F27-9122-D49880CFB859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79c5be0178f4fbcce9b9a39729c1bf5508121de6","datavalue":{"value":{"entity-type":"item","numeric-id":5145320,"id":"Q5145320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5091273$C4695A1C-48E2-4C5E-BA66-AE1B47D081A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b751a3979c79fe1f89302da5be97058d231ad4","datavalue":{"value":{"entity-type":"item","numeric-id":2877685,"id":"Q2877685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5091273$79404F24-328A-4C42-A5A4-B5DAD71E5BF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"379a4dd85c1f0dee62644965f9a510435f4d7bc8","datavalue":{"value":{"entity-type":"item","numeric-id":4102032,"id":"Q4102032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5091273$3DA3FFD1-012E-470B-8CBC-C8916854E87B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ecd85fac6a91f87d421a94407c81aa413d02af3","datavalue":{"value":{"entity-type":"item","numeric-id":5176936,"id":"Q5176936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5091273$582C0002-62D4-4DE8-99C9-088F00EB97C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8820f1b321cfbef69924230a297198d883cd6da1","datavalue":{"value":{"entity-type":"item","numeric-id":3996704,"id":"Q3996704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5091273$506D81AF-177B-427E-B905-A2BCF83311EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b379364cb252742c8efdf365072062c0dfb27c0","datavalue":{"value":{"entity-type":"item","numeric-id":5685626,"id":"Q5685626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5091273$4DCBFB06-6AD8-4EFC-ADF7-A1BF8C1320FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e98a7868470ff575c450bc5bf1ed5f0ae6ca7d9f","datavalue":{"value":{"entity-type":"item","numeric-id":5941193,"id":"Q5941193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5091273$100DB639-540A-416C-99E5-8F293FFD3EBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaedb9f602c018e3f49cab3fdcc2051049564e52","datavalue":{"value":{"entity-type":"item","numeric-id":1770428,"id":"Q1770428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5091273$B100BFC3-5343-4C88-B5A8-C223E4232230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00ae5fa721f724c2c93f9d1963970f6ff50e63ee","datavalue":{"value":{"entity-type":"item","numeric-id":4535035,"id":"Q4535035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5091273$4175977E-57A3-4A7E-BA28-67D2C34D9FE7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"01cefdac212181d3b059fc713bfb13d4c5f27d13","datavalue":{"value":"W2965648770","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5091273$C8F4C38D-C60D-4CA0-833F-5E5DAC9C1DC4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3a1ad02f70b86db0ae4693e2ee7a3f7c4f3115c4","datavalue":{"value":{"text":"Differential logical relations, Part I: The simply-typed case","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5091273$5BFD686F-A6EC-43EC-86FD-17BE6DE59A9E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"602486700b310359129e64e1e46b8a281a7d8db2","datavalue":{"value":"10.4230/LIPICS.ICALP.2019.111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5091273$48C26008-BB9A-4FCA-9E60-B79D43F57869","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c33cf66f958016543d4a0f8c8ab4e2645346b417","datavalue":{"value":{"entity-type":"item","numeric-id":2664934,"id":"Q2664934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"513e7acbd4c16a1ae053a9648caf66211101a5f4","datavalue":{"value":{"amount":"+0.7989544868469238","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":"Q5091273$FA69B862-D019-4B3A-A2AE-AE0E8529EF31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84c8fc29a8abd66aec0f889dccada072e7d5d3f6","datavalue":{"value":{"entity-type":"item","numeric-id":3545276,"id":"Q3545276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cb18d580897365453a63edd9ecf1d185779a429","datavalue":{"value":{"amount":"+0.7643862366676331","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":"Q5091273$8374D7A3-9A7E-4B00-9209-8BD614852790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"959832de3369a3e6ac2ca60ca2a2f962f8ee1ebe","datavalue":{"value":{"entity-type":"item","numeric-id":4411847,"id":"Q4411847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53a562b74ccebe28e924762a2cd0958e32d4ff3e","datavalue":{"value":{"amount":"+0.7620540857315063","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":"Q5091273$F5A98FA9-802A-47DE-8C11-C2265E3105C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f0593df3e60a45ff9cf629a90b04e3efab2b06c","datavalue":{"value":{"entity-type":"item","numeric-id":2754136,"id":"Q2754136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1d75e43643bb066ac6711dac5b8654ee92e30bb","datavalue":{"value":{"amount":"+0.754795253276825","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":"Q5091273$930FEAEC-A378-4430-93F6-2BC690860E8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d402be264409e8ed2b6902a74dd6d61f4740c329","datavalue":{"value":{"entity-type":"item","numeric-id":5041087,"id":"Q5041087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2fa8bec058fed66797672c0169707f0c66011db","datavalue":{"value":{"amount":"+0.7535817623138428","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":"Q5091273$DC77DB90-D14B-40EA-A48B-BD5AB5E41AF3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5091273","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5091273"}}}}}