{"entities":{"Q4218107":{"pageid":6247708,"ns":120,"title":"Item:Q4218107","lastrevid":46656156,"modified":"2025-12-25T08:34:18Z","type":"item","id":"Q4218107","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1222569"}},"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":"Q4218107$E6221FCE-B52A-44D7-9684-CC97B0DF22BD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4a2d6bf0c0fbff12ac6c1c3393668cd1909f6742","datavalue":{"value":"0912.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4218107$DC417D2F-9363-4C80-B0C4-25B53FB53945","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"df85df02f9f01c867f5b97dc99ba15582bedbdd2","datavalue":{"value":{"entity-type":"item","numeric-id":236461,"id":"Q236461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4218107$C1AA456E-EBD4-4D3B-B647-305942ACD816","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"874b84f4e4c3d1120a3f15a09b668720ffcef7e9","datavalue":{"value":{"time":"+1998-11-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4218107$A12457E3-8CFB-4901-B89B-B27870889AC4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4218107$2E01EAC3-53FB-4EB3-9FFD-FBD94D56F00D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4218107$3909D962-D1D0-4622-AE4B-104D141C4E69","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fcc6811bbdc16108d7db34ec645a07d61e382d93","datavalue":{"value":"1222569","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4218107$BA663DF9-3FE2-4801-A4C1-FAF7D5D0AA4C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4218107$355F2ADF-F39B-4B29-8902-1F7301602BE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a16175304ce6d978fa8571f4da79d0836d8f47e6","datavalue":{"value":"functional Pure Type System","type":"string"},"datatype":"string"},"type":"statement","id":"Q4218107$09C6B9F7-2D70-491E-B2C4-C2B01B782F24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d52fedc06b05496f4c6f09890ca4e7c626a7a377","datavalue":{"value":"weak normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4218107$5EF122CF-3894-4D0B-8122-8E81D3EA4D91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff01eebd523d874aa04e366ef54c13a3acb26b62","datavalue":{"value":"type-checking algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4218107$F136EC15-5901-4EA5-9F1F-BAA8093BFD26","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4218107$3222C4B5-A91B-4E55-87CC-DAA0E3CD32DB","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":"Q4218107$C5779D75-C134-4F23-99EF-E9C638D71A1A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab1b0f160bbc941ec74ecbc89400d2c491580c66","datavalue":{"value":{"entity-type":"item","numeric-id":1271309,"id":"Q1271309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"326289d3edb94f0f808cc51de208056b642018b5","datavalue":{"value":{"amount":"+0.8077290654182434","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":"Q4218107$76B05B72-E40F-4929-BEE2-41E7C2C28558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"192016c7411dd01638c7d001c7b6a59d7fb8d10b","datavalue":{"value":{"entity-type":"item","numeric-id":1260645,"id":"Q1260645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52cf3f7486eacc67d89ec89bbd6f34a6d0068b88","datavalue":{"value":{"amount":"+0.7839253544807434","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":"Q4218107$3AFD91C9-0E6A-4ED5-8B30-1A4C01E8DF49","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4218107","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4218107"}}}}}