{"entities":{"Q1125575":{"pageid":1136324,"ns":120,"title":"Item:Q1125575","lastrevid":69700497,"modified":"2026-04-13T08:48:25Z","type":"item","id":"Q1125575","labels":{"en":{"language":"en","value":"Computing with contexts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1375361"}},"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":"Q1125575$91FBECF9-A2D8-49E1-8AA4-672D5949DCBD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f478b42ed7c3aa95c5b60706b28d18ade590c42a","datavalue":{"value":{"text":"Computing with contexts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1125575$67D7BD55-2B54-4F89-AC6E-D2F00031F896","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"02bb73747386c0656714853b23cd4d918942c953","datavalue":{"value":"0936.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1125575$8D12BE2E-6519-4260-98E8-F6D71EFFE1C4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"633e4b1cc0786ad5b3e62e31c2de90fd4572cb68","datavalue":{"value":"10.1023/A:1010052222987","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1125575$0C82EA28-5804-48EC-B879-2DA72C318533","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e92b917b4b1f15c6d190a36e7f0ba33b1c478458","datavalue":{"value":{"entity-type":"item","numeric-id":688569,"id":"Q688569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1125575$6130A3B0-5B78-4692-BDC9-39D071A8D3C6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"64a3a07e604cd8e480c16efc452d3568f025ae86","datavalue":{"value":{"entity-type":"item","numeric-id":162338,"id":"Q162338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1125575$EEB13B60-52E8-418E-92E8-8F19A3D303B7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8a55f3aff8e421376e6a53544327002c7c786556","datavalue":{"value":{"time":"+2000-01-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1125575$C00F986C-46A8-4AF5-BBC8-0C060762930A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1125575$3953ACDD-70F7-4821-8987-4F8FCF364EC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1125575$15EAAD17-75B2-4B6F-A890-C8616AA63DEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1125575$92313B8F-1539-4D7F-B027-6E96DB3E44AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1125575$8648C7FA-F73F-41B4-BDEA-15170C56B051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1125575$5332060F-F1B6-4BEC-ACE5-08A0276A56D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1125575$607E4D63-4A88-489A-9E38-B17104BD8CE1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1397ce6c5bcfe346b743bf6bbf8023772ec98f64","datavalue":{"value":"1375361","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1125575$BFD767F7-615C-48DD-AEB7-BE14DBFD7D02","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1673effed617e85ede7b4289591417b4992fe3b","datavalue":{"value":"\\(\\beta\\)-reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1125575$A3B53F6C-E075-4181-9CFD-8125DC22C14E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1125575$166989DC-F5C6-44A4-ABA0-E776EF2EF44E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"864858f296d44f1b1da9c617735088aa9a6c072e","datavalue":{"value":"representation of contexts","type":"string"},"datatype":"string"},"type":"statement","id":"Q1125575$3C00C6AD-3F08-4467-8181-B3BF5150E149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"771e181184559d834e1993adf995d1a38755b8ae","datavalue":{"value":"encoding of reduction systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1125575$14968C77-ADBE-44E6-B816-3F2FE2A4914A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1125575$BA9B93EB-E03B-45E4-B157-8839B85FC2A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1fbb913eb702e92d9a2c79585ed92bf5de56c1c","datavalue":{"value":"call-by-value calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q1125575$07E17B8D-D22E-4AD1-9594-37EA51AB952F","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":"Q1125575$33BCB7F0-EE83-4926-AA1E-957AAD40959B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7994281e0a2bbecfd1ee56be59446d2e1609cb2e","datavalue":{"value":"https://doi.org/10.1023/a:1010052222987","type":"string"},"datatype":"url"},"type":"statement","id":"Q1125575$A32269C8-ADE6-44FE-A08E-8A6B3FE27153","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"81e1542dd6751ea1151dabd49936c213fa7dbb29","datavalue":{"value":"W1557465145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1125575$806B572F-BB32-499C-A9E5-61217BEABCC6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b41d2ff7117d54f8f148e9ac977fa1dd9a3a6199","datavalue":{"value":{"entity-type":"item","numeric-id":4222937,"id":"Q4222937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3cde1d443096317db3cdc4fa0c4a2dcebd6fcb9","datavalue":{"value":{"amount":"+0.826503574848175","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":"Q1125575$FD6DBB01-26A8-409E-970F-842FDBBC0CF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c369cbe60177c955fbf1373bef4d0bb4d5433ef3","datavalue":{"value":{"entity-type":"item","numeric-id":5951522,"id":"Q5951522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56d9a8c69607cdcdeb4618d2634871ee7404c148","datavalue":{"value":{"amount":"+0.815733015537262","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":"Q1125575$6BE79B14-233B-4F78-A063-C936873DA9D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14984f3cb58c984e4b4abbabec043fee8d0da6c7","datavalue":{"value":{"entity-type":"item","numeric-id":5958759,"id":"Q5958759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"199c8bfda785fe362c8b77af415c5780c7079637","datavalue":{"value":{"amount":"+0.7976741790771484","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":"Q1125575$144AD2D6-F99D-4B8D-8324-25967E71D013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab2cc39521aa141ac40ba2582b00538c095f8d0c","datavalue":{"value":{"entity-type":"item","numeric-id":2817703,"id":"Q2817703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"775c7963428a1ac77b8c720880c2029f3744dfd1","datavalue":{"value":{"amount":"+0.7689250707626343","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":"Q1125575$3561663F-A1F0-4052-9160-8D3B20AE4B9C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computing with contexts","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computing_with_contexts"}}}}}