{"entities":{"Q4332424":{"pageid":6362024,"ns":120,"title":"Item:Q4332424","lastrevid":46470153,"modified":"2025-12-24T20:52:08Z","type":"item","id":"Q4332424","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 978248"}},"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":"Q4332424$A4AF5F64-E7E4-46F1-995A-CD8A3193CC90","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"454b9b47a6110a250eae9c79f6d6703f436c0cba","datavalue":{"value":"0863.68019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4332424$459C3893-A2CD-44A2-8FF3-23BF51753A97","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e27ee549e3862dd1e883829fc71d54217245973b","datavalue":{"value":{"entity-type":"item","numeric-id":332079,"id":"Q332079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4332424$CEEC8490-025F-4644-B26E-63D83EA6DF8C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cb8cca7aff509b0b212f6238d3457390f886754c","datavalue":{"value":{"time":"+1997-06-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":"Q4332424$1111FEB1-120F-4D5C-8400-DB3309C5B6AE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4332424$4EA9C904-5151-4152-BE0D-F015D215E180","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3672e65a2e0fb89619d5d278baa0c75f433cbaca","datavalue":{"value":"978248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4332424$9418756B-2501-43B2-8D65-AFEA8A2D7F77","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f0ce36239dbd08766601c3263a7891046c0723a","datavalue":{"value":"Lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4332424$6A087A17-E8EB-49A7-A3D5-4880F730E8E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5782f30dbabce87f67f580a319cfed7ff42dff73","datavalue":{"value":"type constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q4332424$517EE286-2204-472B-91D0-D4EDD75B8375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24f7113e137db7515886d073aa155104d9993fa5","datavalue":{"value":"positive recursive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4332424$A3579F82-7578-4FD7-9F26-2D4527156C8B","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":"Q4332424$1657C0EB-1A2B-41EC-A1D9-FA07274886F6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3f32cdd7b5e4ac2c40e2e965e295fc3f752a473","datavalue":{"value":{"entity-type":"item","numeric-id":3569027,"id":"Q3569027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ac8c9fbb7190a7df72e928575e95fec1f37a7f1","datavalue":{"value":{"amount":"+0.9995036125183104","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":"Q4332424$DD882107-1F18-46D6-ABAE-F7AC69B357C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d2268eff9a6b8816bc50336e8787e5950cce82f","datavalue":{"value":{"entity-type":"item","numeric-id":5687240,"id":"Q5687240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18917d50542029ab11ea7206c44937a74fb46671","datavalue":{"value":{"amount":"+0.7772185802459717","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":"Q4332424$D9F9482C-A4A3-4BAF-9306-59028B605CD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d465d27195e9892d22a7f9681fc405b78c0dae16","datavalue":{"value":{"entity-type":"item","numeric-id":365669,"id":"Q365669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed9ec53e27734f090bae195069e3356ece0623b4","datavalue":{"value":{"amount":"+0.7696329355239868","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":"Q4332424$5ACF950F-C4B7-4C32-917D-211E463A308D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cbb3792c7294973628dc4cec02b7076e8db03e8","datavalue":{"value":{"entity-type":"item","numeric-id":2771055,"id":"Q2771055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f410373ec0c7ed8ada9fa1e83a9f9169f07d1681","datavalue":{"value":{"amount":"+0.7540416717529297","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":"Q4332424$11E15617-5F61-4810-85A9-2EA9C0526A85","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4332424","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4332424"}}}}}