{"entities":{"Q4246951":{"pageid":6276552,"ns":120,"title":"Item:Q4246951","lastrevid":46833552,"modified":"2025-12-25T16:45:53Z","type":"item","id":"Q4246951","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1301738"}},"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":"Q4246951$DA4D6B03-A675-4BD4-A009-AF80823A05FD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"94802461398695a8da0e379862e7360d6e990688","datavalue":{"value":"0927.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4246951$4E7176CA-6853-426C-A06A-B82924FB5D05","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fdac7f8667945c3fb34e527fc5abbf5817818c79","datavalue":{"value":{"time":"+1999-06-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4246951$E85DD4BD-41F6-4B0B-9799-395E95068F34","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4246951$FE71F10A-E529-4D7F-9E92-455D0137DE48","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"acf9146ac88304c450d2b89ec767d6fa107a1378","datavalue":{"value":"1301738","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4246951$E7FD0E20-5C76-45D6-A529-50C0C21781C4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246951$4BA7ADCB-D9BC-4192-9ED3-E147B55C1A17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03953052dfbb0199a4a1af26ca18e8a87f1fee83","datavalue":{"value":"theory of dependent types with explicit substitutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246951$47CD060B-F36E-4D8B-9F57-7C4EAA4FA111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f493fb1bea71986dee3dc287c34b85d8847d6b8","datavalue":{"value":"open expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246951$BA852C23-F7AB-4D45-B32D-A6883D07EB77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"caf34db329b49b517b24ae175c329381a2963173","datavalue":{"value":"type uniqueness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246951$3C506218-033B-4995-AE99-3A0EEBD32B50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"052f645ca75595742d150f20ed9972514862e750","datavalue":{"value":"subject reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246951$A4E2015F-9186-4024-9E8C-34F7E6DD3486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246951$B4D879CD-3932-4CF0-A0DC-21649F341DB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246951$DECDC38A-F863-46A3-8F0B-DE04C980E271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d52fedc06b05496f4c6f09890ca4e7c626a7a377","datavalue":{"value":"weak normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246951$B061E919-BE2D-41A9-A21D-4C9FDAF3C050","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"964ad06bbce2223d39835995102fd837d5d2b24f","datavalue":{"value":{"entity-type":"item","numeric-id":1791191,"id":"Q1791191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4246951$B47A065A-8AE0-46A0-9CC8-A2B2508C12FA","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":"Q4246951$17A34668-84CA-4DC7-8743-A8BA56B58544","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cc16ca82b3e003bb51faf975a29e863bfa6f595","datavalue":{"value":{"entity-type":"item","numeric-id":2713354,"id":"Q2713354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee90a510e761605e7f61fc1787bf754752639406","datavalue":{"value":{"amount":"+0.8331714868545532","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":"Q4246951$8027283C-5A5E-40E5-9CCF-B21624BCEA95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15d852783bf97d7293a6b7041995508fa67c820e","datavalue":{"value":{"entity-type":"item","numeric-id":1273074,"id":"Q1273074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe3106efe041f4c26f55cd8d6945655a976ac2ee","datavalue":{"value":{"amount":"+0.7764962315559387","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":"Q4246951$B09E91F3-F2CF-4840-92E3-E315E30634E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1f536dd4897b55633cd8707e2d26ca95080188d","datavalue":{"value":{"entity-type":"item","numeric-id":5371956,"id":"Q5371956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e45f40537cf9e1278467575a5e6a1f6506d91ca","datavalue":{"value":{"amount":"+0.7622361183166504","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":"Q4246951$9987E609-97DE-47B3-ABA4-79B39F88173B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a944de1252706d173f4611eb3df36f22264a4ad2","datavalue":{"value":{"entity-type":"item","numeric-id":4964710,"id":"Q4964710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1ed5239dd7f50acb661b0e7a55f54b9b8f50cb1","datavalue":{"value":{"amount":"+0.7556174397468567","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":"Q4246951$A7C36C2C-E810-457F-BC08-5A7A15D31786","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4246951","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4246951"}}}}}