{"entities":{"Q4246950":{"pageid":6276551,"ns":120,"title":"Item:Q4246950","lastrevid":46833549,"modified":"2025-12-25T16:45:53Z","type":"item","id":"Q4246950","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1301737"}},"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":"Q4246950$2F526163-18C6-4F8C-93A5-54D0369D380A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a600d939679323c11f0f586d0983bf7fb8d30492","datavalue":{"value":"0927.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4246950$2AB15DA2-8CA4-4051-A81C-567678DC0614","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4c50fe9376530cec8a3eb57fe20f53896f97fa2","datavalue":{"value":{"entity-type":"item","numeric-id":345706,"id":"Q345706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4246950$550688E9-6626-4ABD-BB73-935EE5D71FCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f69fec18e304e301a38c349c8b21d1a76ec69093","datavalue":{"value":{"entity-type":"item","numeric-id":1322846,"id":"Q1322846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4246950$64BDEDC6-4875-4446-9A8A-A297802CCC48","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c2c35fb8a8597468e70992cceb470233a004c261","datavalue":{"value":{"time":"+1999-12-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4246950$28C176DD-5538-4A4D-9F8D-004FFBC0A9AE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4246950$929705F8-0682-4CE2-B7B0-147048C4EE42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4246950$E3D00126-9958-4289-8637-D397BD0A57F5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4ab113d5eb4daa1e9c25420b45d589688e2f3df6","datavalue":{"value":"1301737","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4246950$6415C41A-C443-4590-9138-DAD2AF104719","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246950$A8F1B4C8-3B8F-4A67-A0D5-D73896F262F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"803071656ef49caf5ffffeffb35be0afbcb7ae7c","datavalue":{"value":"pure type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246950$0034D9EE-A2C5-4960-A97A-C472B4E4885E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d8bb84bd86abec9f57c8cf048201e810211b8ba","datavalue":{"value":"strong normalisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246950$B7B06B4E-5EC3-41C1-86EC-2E1288ADB26E","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":"Q4246950$C5BB8AF2-88A6-4F6C-B94A-48A0E3F5AEB9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9da3f06971b0a5c5e1545510a0e13f468a663910","datavalue":{"value":{"entity-type":"item","numeric-id":4501161,"id":"Q4501161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60c07085b5efa23085e4cc0108731199a885aceb","datavalue":{"value":{"amount":"+0.816801130771637","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":"Q4246950$E22A73CE-B754-493D-B1BB-1862FAA7FEA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fcd043b3642e93111b86d90f238c370fa1011fb","datavalue":{"value":{"entity-type":"item","numeric-id":4673438,"id":"Q4673438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0280f17520c59e5f49e7675dbc87337d0f114e8","datavalue":{"value":{"amount":"+0.8164585828781128","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":"Q4246950$4977CA53-6521-4D3A-A96A-8D74B7FE1C9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05a8612493e6b5a2b4d78fc816cee4538696a4ac","datavalue":{"value":{"entity-type":"item","numeric-id":5170829,"id":"Q5170829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ceaf014126c47e79d430fbd9dd4287953d25955b","datavalue":{"value":{"amount":"+0.8085343241691589","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":"Q4246950$3034AA7C-77D8-4E66-968C-293FA7AC263C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32ca232539b3919fae74a91eac485d7d5c56544e","datavalue":{"value":{"entity-type":"item","numeric-id":3520143,"id":"Q3520143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"917e0b86ca66e8bf434cdca906d667a424f33180","datavalue":{"value":{"amount":"+0.8056495189666748","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":"Q4246950$6A1D1C89-56AA-4C90-A002-B459DD57A1A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0c8c0f5ae247476426e7422638b0d17ca3f5c27","datavalue":{"value":{"entity-type":"item","numeric-id":3365535,"id":"Q3365535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39603cdd51a3ef90ed62db8d76863a826a09cda7","datavalue":{"value":{"amount":"+0.7926499843597412","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":"Q4246950$4381E5AE-6FD2-4717-BDA2-065F74AAF7F7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4246950","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4246950"}}}}}