{"entities":{"Q3026333":{"pageid":3037049,"ns":120,"title":"Item:Q3026333","lastrevid":45280237,"modified":"2025-12-04T04:46:17Z","type":"item","id":"Q3026333","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4014021"}},"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":"Q3026333$5221462A-1671-4A63-9295-46E18D5A89FE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9a5c9189aeaccb0bef23cd0eb78f83681cb6adec","datavalue":{"value":"0624.68034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3026333$9103429F-E31E-4C83-ABBB-B936AB66004A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c52c91827c5a18fc450af4cec489c4fb0e8f46e0","datavalue":{"value":{"entity-type":"item","numeric-id":320191,"id":"Q320191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3026333$76CD7C46-122F-4591-91F1-CCD0CC70812F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3026333$CE49512C-6D9D-4A09-807C-B2258F69ED51","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3026333$B89D7626-0F08-4EE2-A302-9CD541FE0BB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3026333$965E69A1-146D-41E2-922E-EBDF353F6365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3026333$597CA0E8-F8B6-47BF-91AF-070A68004D7C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"11bc4240c3ee4a0131f904e29755413593d104d0","datavalue":{"value":"4014021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3026333$2D19C3E5-E2B1-4C23-9415-A60D2E51011A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"657b1dc58dc8383e3970395d34173e20fb990340","datavalue":{"value":"programming language","type":"string"},"datatype":"string"},"type":"statement","id":"Q3026333$8BFEEEFB-A483-41E5-BEB9-6202C4FE2280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5a54bfe4160c4136119f69df3dba514b7baad5f","datavalue":{"value":"strictness analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3026333$43BA6211-CE12-4752-987E-4037BD4CEB91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2fcdabc34faec2b0acf7add19f8dba3e97fa0c0","datavalue":{"value":"typed \\(\\lambda \\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3026333$E3FA44F8-4668-4A2A-B7C4-76FF2EFFD633","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":"Q3026333$31344F52-93AE-4349-829B-8C72E3450FCF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2210e42a745acd3fde9aaf4e65aaf2250ab240a","datavalue":{"value":{"entity-type":"item","numeric-id":2757801,"id":"Q2757801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de51c23b65adfab3ad2d0210cf8a18d1f1cf6f4a","datavalue":{"value":{"amount":"+0.9379691","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3026333$84607610-2DA5-4D98-9A5B-C707141477FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28b48a8ea9d2e6b2d32ad4856dca419ac1652a77","datavalue":{"value":{"entity-type":"item","numeric-id":5096253,"id":"Q5096253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a567ef11ef25540aaeb8ee02098bf0cee1fe3afa","datavalue":{"value":{"amount":"+0.9227516","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3026333$5DE67D1F-304B-4A85-9164-1019E930E31B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f26c5e9f784f203a0e32d1dd0b41cae62ca78c8","datavalue":{"value":{"entity-type":"item","numeric-id":1098274,"id":"Q1098274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9311b978e2157b19aa148d8580b521afc09fea0b","datavalue":{"value":{"amount":"+0.91591305","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3026333$E1F5E31F-78AE-4A40-8AA7-E8B76B3E8FC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fe83d322ad211062f70bfa17e17d146ea2fbd91","datavalue":{"value":{"entity-type":"item","numeric-id":1314350,"id":"Q1314350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d56a202c67c4ef51d8234ed287bd3ad73078d49","datavalue":{"value":{"amount":"+0.9019436","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3026333$DA03B16C-5FF3-4664-85BA-7F51F7F1D394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60e2dab6d797b1c178b64bfb70cf64935c5f0621","datavalue":{"value":{"entity-type":"item","numeric-id":4279259,"id":"Q4279259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b8729cd0a8eafdca7f9e6695b7ce019bfefd3e8","datavalue":{"value":{"amount":"+0.8965832","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3026333$9A670E8E-F426-4524-8B78-320FE98D1A68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6e4f483a450f14c52b124bd2de4d610514091e2","datavalue":{"value":{"entity-type":"item","numeric-id":1193597,"id":"Q1193597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"117eff4ac482d9c5884e4a4e991d6eb7022cd9bd","datavalue":{"value":{"amount":"+0.89203656","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3026333$AAEDCFF8-BDBB-4533-8DB4-686EC76F73C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30a430e2f1a0030e09c2cda68c10362455f8cba7","datavalue":{"value":{"entity-type":"item","numeric-id":5458441,"id":"Q5458441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2eb14b2f53956b97ed00d44d3ffe92ae8339c9c0","datavalue":{"value":{"amount":"+0.88555074","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3026333$2436ABAC-5F6B-4308-8144-B309369DA0CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f24817ea0b21cee2a5b2e62c3d86ab616382e95b","datavalue":{"value":{"entity-type":"item","numeric-id":1082802,"id":"Q1082802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"378ff59f7f29b90a6b26c589d05f41ad30cdab87","datavalue":{"value":{"amount":"+0.8813188","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3026333$5BF63012-AE34-4E79-807C-89DBD6E8FBA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78b176b8167565062f21e96ce0f27ba857641b4d","datavalue":{"value":{"entity-type":"item","numeric-id":1110312,"id":"Q1110312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41a461150d0a7dba1acee004089bcdcce3f79178","datavalue":{"value":{"amount":"+0.8775178","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3026333$FB0F7345-482B-4C52-A3A3-068236C42014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"362eeccd28ad12f686c85aa4f925743237c6c23e","datavalue":{"value":{"entity-type":"item","numeric-id":2729061,"id":"Q2729061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22da08c0612214c704adf41bb4b4f005431232aa","datavalue":{"value":{"amount":"+0.87582356","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3026333$1FE3AECE-6AF6-4A7F-9547-0F14A680912C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3026333","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3026333"}}}}}