{"entities":{"Q4836020":{"pageid":6865600,"ns":120,"title":"Item:Q4836020","lastrevid":91423742,"modified":"2026-06-04T23:07:58Z","type":"item","id":"Q4836020","labels":{"en":{"language":"en","value":"Untyped strictness analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 762283"}},"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":"Q4836020$04FF30AA-B954-4ED2-9D88-64201BD1E884","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"605507973e04c429237821dfa33ad13570e8e6b1","datavalue":{"value":{"text":"Untyped strictness analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4836020$A272A01A-0C25-4BB3-B547-A3979619E704","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"106a140ab59e988a6862ce9c0a9616ddf04cf8f9","datavalue":{"value":"0819.68026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4836020$DE88FFCA-FC07-4F8F-AE0C-A49E8F06156D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1c85b53440561d404d0b805e9bf9ab67cc85e18d","datavalue":{"value":"10.1017/S0956796800001222","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4836020$B0766388-10D9-4E10-AC60-8E1A89B84A39","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa67fcd68cd5d24b490e1af799af0057fa080f1d","datavalue":{"value":{"entity-type":"item","numeric-id":4036552,"id":"Q4036552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4836020$A0EF2713-A03B-4517-9AEF-E693BB567882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd9eeea77fa294e9bccf24578b7f90fc51f99d2d","datavalue":{"value":{"entity-type":"item","numeric-id":796311,"id":"Q796311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4836020$331144A0-7D42-4920-9D9A-3A835E163A15","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4836020$792E01C4-D483-4E48-B2CE-7F9E2D83C37B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"475c462458f5897ccd369a31c0985317076f3863","datavalue":{"value":{"time":"+1995-06-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4836020$78E809C8-0003-44EB-85F7-6350880BBC07","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4836020$EA67A9E0-A7A2-4A3F-B122-88AFBB781B59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4836020$2A69ED67-A44D-4C75-9D7A-58AF707693EA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"20a55dca0222e1e9d85a81c698b592f0f3a1e0ba","datavalue":{"value":"762283","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4836020$43C1E354-29E9-4085-9325-985BF6EF0893","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5a54bfe4160c4136119f69df3dba514b7baad5f","datavalue":{"value":"strictness analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4836020$185CEDCF-157C-46CF-AD12-60C7258EB6FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f14e2f3db707b6a727613ed85f9a51af4c8df69b","datavalue":{"value":"untyped \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4836020$EB0E33DA-1B9E-408D-B900-8D3E2F7462F2","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"11fed6707c867bd0ce972f7d3df8b8f7e302d633","datavalue":{"value":"Q59505675","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4836020$58F57554-7B21-4811-B23B-BFAFC2B5CDB5","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":"Q4836020$DD4011B0-5DE1-489E-9BDE-82407DA2AF65","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"51a1dc2787a2805d9e93aa37dc6877e7907ed016","datavalue":{"value":"https://doi.org/10.1017/s0956796800001222","type":"string"},"datatype":"url"},"type":"statement","id":"Q4836020$A65D7EB5-D62F-44FD-8899-A17C24B40D19","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6280f56fa2a2d8aeac66aea141a09e42d01a301e","datavalue":{"value":"W1997249992","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4836020$73480BF3-E3C7-4CE7-B6F7-C2674E176AE9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f88fc7721af382cc5b57a640bcf3c7ea5d2744b","datavalue":{"value":{"entity-type":"item","numeric-id":1818314,"id":"Q1818314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84640155a8b724eced6321bebef8fdd83b3407c1","datavalue":{"value":{"amount":"+0.8160995841026306","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":"Q4836020$AD080EEE-D545-4570-9616-5D9E58D969F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"063e1ba206934372fcd8008b2e1801955ae67537","datavalue":{"value":{"entity-type":"item","numeric-id":1114667,"id":"Q1114667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6f143dd848a57c0371f8bd49fc545380e686396","datavalue":{"value":{"amount":"+0.8114159107208252","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":"Q4836020$81F155D8-1EE3-4A1B-8FA7-DD96BB2CCB53","rank":"normal"},{"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":"a00201c0652b9752665bb163d5091488d6d0f864","datavalue":{"value":{"amount":"+0.7876736521720886","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":"Q4836020$FA37E575-9BE5-473F-AF84-5A1CE078A325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3539e0b589113158c25ed7dcf2f752d442a5249","datavalue":{"value":{"entity-type":"item","numeric-id":656871,"id":"Q656871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec81869bd9a069f31d013d6eb405d7d70e85b10f","datavalue":{"value":{"amount":"+0.7847540378570557","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":"Q4836020$AF7C32FD-DE4F-4E1B-BB0B-62182D1DE461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9ddaed8645eeb72cf87e0821745423c7c38b51d","datavalue":{"value":{"entity-type":"item","numeric-id":4778697,"id":"Q4778697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e900bebfce7a0fd69e5b1af7825e5d3566eac69d","datavalue":{"value":{"amount":"+0.7822224497795105","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":"Q4836020$23FB4CA6-BB3B-49F6-B2E7-97AFFFACF43B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Untyped strictness analysis","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Untyped_strictness_analysis"}}}}}