{"entities":{"Q2708319":{"pageid":2719058,"ns":120,"title":"Item:Q2708319","lastrevid":82800152,"modified":"2026-05-06T22:06:47Z","type":"item","id":"Q2708319","labels":{"en":{"language":"en","value":"Explicit environments"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1588177"}},"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":"Q2708319$DBC5DD05-F56F-4AE8-B0E3-2A8869F876D5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"99bbb71d839b18406a2682889be2a12465e25b1c","datavalue":{"value":"1001.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2708319$C3DFB9F4-B3C7-4929-8896-376594878618","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db32c7bc7c189daf73345f89856903f5ca6df7f2","datavalue":{"value":{"entity-type":"item","numeric-id":235615,"id":"Q235615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2708319$0527A190-1E94-4EA4-ADE6-F1C8F1F6FD44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1266d5b12dd52276642e6566ddda642b92e88574","datavalue":{"value":{"entity-type":"item","numeric-id":740484,"id":"Q740484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2708319$1771A00B-2D1E-4BA9-B6BC-068AE16CCC59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bf8e0a1d6097cb2f9e59b0a8db1af8f459f9de5","datavalue":{"value":{"entity-type":"item","numeric-id":1183596,"id":"Q1183596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2708319$FAEAD2DD-D9D9-4ED8-8860-355CB55AA938","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b6c0c12789b1c65edf998b307fadc1a05e2a1e26","datavalue":{"value":{"time":"+2001-04-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2708319$F494FDD4-F14E-4942-8D70-40D79E29674A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2708319$2A7C5132-CE95-429A-9BFD-2F7B9BAB0A6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2708319$9E5AF4FE-0779-4BA9-BE80-7B71289FFA03","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"12728fd6ea290ffd00f0f7b199d9c8b64e34d7db","datavalue":{"value":"1588177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2708319$1E6E2D34-472B-425C-841F-73D6EF4ECFAE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02e15bce93c267cdd6be77e0314601574aa44e8b","datavalue":{"value":"simply typed lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2708319$6DE696FF-FB40-47D7-B74E-79C6FBC0CEA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7647829520304fc185f126f881f92329bac3a12","datavalue":{"value":"explicit environments","type":"string"},"datatype":"string"},"type":"statement","id":"Q2708319$341FD5E3-1222-44EF-9427-C4E425E1394F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"052f645ca75595742d150f20ed9972514862e750","datavalue":{"value":"subject reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2708319$3E7C5054-5642-40FD-A47A-8BD00447A00F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2708319$73E26E13-00B9-43BE-A043-8A2AE4FE2E5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4108cecd289b9cafbcb28752da70c2315de2efa0","datavalue":{"value":"conservativity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2708319$4476B526-593C-4967-9E37-4DCFD8A9367D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"226a26eede641240926e849457ec19b837c78bc5","datavalue":{"value":"strong normalizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2708319$9B8ACC39-C928-4271-B030-C6A3947E139F","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":"Q2708319$BA374B18-3C21-43F4-86AA-C3E04866EE4E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a784f5f80b79dd39ace74eacd981e8a0e645c124","datavalue":{"value":{"text":"Explicit environments","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2708319$7305BC71-1C90-4C30-A551-9541F8ED9335","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2708319$452B71A7-3C6A-46BB-A98C-DD8039655C60","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0bf460eb579338a48f05b4d8e88a6e0efb84168","datavalue":{"value":{"entity-type":"item","numeric-id":1894315,"id":"Q1894315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f81de2de88a4e77dd41e1a4744f140c247328043","datavalue":{"value":{"amount":"+0.8935526013374329","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":"Q2708319$D3788C5C-D3E9-4AB5-9FA5-D09D5913F458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f21d29d23c8530ce8a785aa45263e8eca45dbe58","datavalue":{"value":{"entity-type":"item","numeric-id":2763701,"id":"Q2763701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"404fac1e17f5a2b8d7a4da73c8e6135f3309c3d5","datavalue":{"value":{"amount":"+0.8622924089431763","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":"Q2708319$FA6FA813-4D49-4661-8A7E-E257A49BCFD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"610063cb2d5d625d23d1434e89afaca2aaf608c4","datavalue":{"value":{"entity-type":"item","numeric-id":4939690,"id":"Q4939690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"404fac1e17f5a2b8d7a4da73c8e6135f3309c3d5","datavalue":{"value":{"amount":"+0.8622924089431763","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":"Q2708319$86FEAAC1-87D6-4B8C-94A0-ADE4D2718136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0b97d95cf34a8c391dd2d7e3f7363efbb03b1d4","datavalue":{"value":{"entity-type":"item","numeric-id":4413069,"id":"Q4413069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd6e7b6482dd61202018f04695e8570f34700293","datavalue":{"value":{"amount":"+0.8531554341316223","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":"Q2708319$B4D7D902-DA34-40A0-9267-568202A2FF1A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Explicit environments","badges":[]}}}}}