{"entities":{"Q4508294":{"pageid":6537887,"ns":120,"title":"Item:Q4508294","lastrevid":47510338,"modified":"2026-01-01T22:50:30Z","type":"item","id":"Q4508294","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1512610"}},"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":"Q4508294$2DBEB890-2497-4F45-A1A7-A91F947F1617","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"16da6f66456be1ee176a685075aaff0c204c865e","datavalue":{"value":"0955.03064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4508294$DB006A06-F153-4B26-84AB-A1576E9A136E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"486d099545b5d657b05fa44bcf3d0c8a1580d678","datavalue":{"value":{"entity-type":"item","numeric-id":476170,"id":"Q476170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4508294$99C32881-E2D5-47AF-A6FF-02CC4348ADEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1dca62213c403be08a72765d5013cff559684e6","datavalue":{"value":{"entity-type":"item","numeric-id":654905,"id":"Q654905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4508294$968ADE4C-8D66-4F89-80C4-D768FC3A9957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0aaf76855a122148b3cec34c550514a70b8f16e5","datavalue":{"value":{"entity-type":"item","numeric-id":4508293,"id":"Q4508293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4508294$E7766D1B-E4F9-4359-ABFD-564A0107C177","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4a831e2ddd3ec081d65f9d9ba86075a05ae19362","datavalue":{"value":{"time":"+2000-10-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4508294$62BF497F-A622-4544-AE04-76C45F91298D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4508294$725B1956-16A9-4187-B6EC-7D405E3C401C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4508294$577F8997-2F92-4463-B98F-506BEFD0DD18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4508294$84FC95C4-2386-45EB-8520-BD0933C64AE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4508294$A9D79846-F5CB-4AA6-AD95-80EB77D4510F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d969ad06c7529f7c2d3f713dc90303c1455da29f","datavalue":{"value":"1512610","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4508294$D240488B-C1CF-4E65-8877-8E7BF41C4FD9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4508294$B844C306-3A56-488A-B2E0-B1FFF055EDF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4508294$22B1E2E2-46D7-44A7-BCE6-1EDB332FA8C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af462e56ed2ce88a42c8df0ec7f2dc6a55ded212","datavalue":{"value":"strong normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4508294$A992C25A-0EE5-4390-8739-FAE54AC86985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"466c42c02ddf75f7f67e6990514dda7f81e85cd7","datavalue":{"value":"explicit substitutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4508294$D24EEA76-3D76-4B55-985A-0AC9FA42413C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4508294$D7B43189-554C-4FD3-B917-810FF97A9B83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d82d54321dd9799ec54c6e2eeabcd189cda5e80a","datavalue":{"value":"proof nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4508294$A64062F3-9238-4872-AD9D-3F69C3679440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22ef5b45c70e7720d3715b50b8e9d09312b65395","datavalue":{"value":"de Brujn indices","type":"string"},"datatype":"string"},"type":"statement","id":"Q4508294$03C6E78A-A370-4667-8C40-5BF5B5106961","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":"Q4508294$7FB71C40-C311-4740-A5F3-C86D554D5732","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45eee5387ffc13439f111f4498a8382c82cc48ed","datavalue":{"value":{"entity-type":"item","numeric-id":4814187,"id":"Q4814187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8db7de9a4ec1d22e4064ebebb01a465380f320b4","datavalue":{"value":{"amount":"+0.9628680944442748","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":"Q4508294$CAA1ED61-B06D-4096-BC2A-666CB79CCB29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de03afcd9e634828c884f8371c6924cf776aa37f","datavalue":{"value":{"entity-type":"item","numeric-id":1290510,"id":"Q1290510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb03a3345af98c5dfb42c7c104cc37d9dd4bc7b9","datavalue":{"value":{"amount":"+0.8407095670700073","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":"Q4508294$30EAFC86-0B7F-468A-BCFF-363F910DFD38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b55c1e018dcc7d1fbd95aeb639eefcb65f04b2f","datavalue":{"value":{"entity-type":"item","numeric-id":2785671,"id":"Q2785671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb03a3345af98c5dfb42c7c104cc37d9dd4bc7b9","datavalue":{"value":{"amount":"+0.8407095670700073","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":"Q4508294$732E1A34-EEF0-4ACD-B56F-7AEDC795AB26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae33ec0cec722ae39db812bfd7fd70874e418f99","datavalue":{"value":{"entity-type":"item","numeric-id":2713357,"id":"Q2713357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d05389ec1397dae28b54b807cdc897b4774e6438","datavalue":{"value":{"amount":"+0.8312602639198303","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":"Q4508294$4ECAAE0E-DE38-41E4-B270-2BACCB6DF640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a5dc303f3b1ad40fbd3260ea7a4c26ee1cdde02","datavalue":{"value":{"entity-type":"item","numeric-id":5308025,"id":"Q5308025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ac4836448be8badbf4a92ed92e293dc34b1536b","datavalue":{"value":{"amount":"+0.8274797797203064","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":"Q4508294$D9974175-B7D9-4A74-8835-EC6DDE574248","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4508294","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4508294"}}}}}