{"entities":{"Q5958759":{"pageid":8135561,"ns":120,"title":"Item:Q5958759","lastrevid":47755912,"modified":"2026-01-02T14:57:05Z","type":"item","id":"Q5958759","labels":{"en":{"language":"en","value":"A typed context calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1715804"}},"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":"Q5958759$20F75335-9B11-47AF-9588-E618ACA8553C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ae15d1963313fc0853dc648a7455974be893e6bd","datavalue":{"value":{"text":"A typed context calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5958759$AA8F1B2C-2FCC-436F-84DB-1881DB46E64F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"63449171e0488959b1e54c0c8f9d721e76b554ce","datavalue":{"value":"0989.68017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958759$A03561B5-D121-4F0C-A7DE-C699D6A88A4D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7e95d66a54c2a98419c578e1fbe5ebbfffa1e551","datavalue":{"value":"10.1016/S0304-3975(00)00174-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958759$F4EB28BD-EA7D-4B4B-AD65-7272E4A664EB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2dfb294f0df38baa91ddd424af07965b404c41d6","datavalue":{"value":{"entity-type":"item","numeric-id":236765,"id":"Q236765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958759$4A771B9D-A0E0-403D-8FDC-2D349A9C95D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c21dc57b4273e0b2624584e438392f8a01e9347b","datavalue":{"value":{"entity-type":"item","numeric-id":915442,"id":"Q915442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958759$982D4CA3-3423-47A3-8812-A00203275CD6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958759$4AF66D81-22E0-401D-930B-CA909B6609F7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de0bbc1f0efc0eda52d8a37720ec217ae66c93cd","datavalue":{"value":{"time":"+2002-03-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5958759$7F8BFE94-8EF9-4E95-BB41-468C0E74F805","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958759$25D417E8-4D2C-4F93-9C02-BDEFE91034F7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cdb10ba7fd6a05248524832eb828481345252521","datavalue":{"value":"1715804","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958759$2414AEC5-F9E5-4398-A99C-6EC17E3E64EF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d668889f77f3e419bed3147b829f1a444275662","datavalue":{"value":"context","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958759$7A4AF957-3E53-4958-99B9-C6601D3952D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cb2aa8953507be78145ef07fb1e05160aa99","datavalue":{"value":"lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958759$3F9E0742-0420-4793-A006-B2EF57C1E4B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92b4edef10612b66f6eed634fbf58b8a7ba51304","datavalue":{"value":"type system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958759$C6C21F95-0964-469A-B5AC-85D15919C759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98b927cd2e3199b8ddcf6e7ff44126d6942f6f66","datavalue":{"value":"alpha-renaming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958759$47203D9E-5F11-4B74-AB77-8B3903DE9E0A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958759$6243274B-F415-4410-B5E4-5A1C614B5265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"640e4fd88a5f30a16111d1aae60fb5a8e06d1e5d","datavalue":{"value":{"entity-type":"item","numeric-id":13964,"id":"Q13964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958759$9545329B-9B94-4099-87EC-07E68530EE7A","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":"Q5958759$9D1AAF1F-8AF8-43FE-B44B-F05912E3ACA9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5249c80fcd11fa0612fb7dd29644b8dc29907a14","datavalue":{"value":{"entity-type":"item","numeric-id":4939690,"id":"Q4939690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958759$0E890F95-D708-439E-BE44-ABB90364FA24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1887644b2ef4af5ef7c8805f46e5186aa6119bd","datavalue":{"value":{"entity-type":"item","numeric-id":1127514,"id":"Q1127514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958759$2EDAD2F6-C419-492A-BBE0-8886DCF31C89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5927659804eca2a32583cb94f8cceb03b87d2078","datavalue":{"value":{"entity-type":"item","numeric-id":1854337,"id":"Q1854337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958759$3CBEBA3C-6769-4389-9BC7-A8B8FD1919F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"106507d2ad7198eda87b14657c5af01d30112965","datavalue":{"value":{"entity-type":"item","numeric-id":4474830,"id":"Q4474830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958759$8A4E15EE-00C0-4868-A2AF-D1C7797FAF82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07dadde792dcb13c41fbe1946050933563c45bb8","datavalue":{"value":{"entity-type":"item","numeric-id":5881173,"id":"Q5881173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958759$7A550F75-A958-4D88-9B28-54C27890D3E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39c1f2f960f512ccd7091a5b8e9a97f6dcbf7b5e","datavalue":{"value":{"entity-type":"item","numeric-id":2817703,"id":"Q2817703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958759$E27CC942-7035-4B64-A2B7-610270EB0CE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6fe3949a60e4535ad5a0b04a8726d37af9ca0c6","datavalue":{"value":{"entity-type":"item","numeric-id":1249567,"id":"Q1249567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958759$53879964-B6CF-45C7-8013-C5CEEC51C74A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26844ae575fb4cdebf73566954301f72a527cecf","datavalue":{"value":{"entity-type":"item","numeric-id":1243117,"id":"Q1243117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958759$F63C8A20-4C77-418B-8BB7-B31C8F60A0C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9016a296fbe5b7e10c78e01580d70c438834c031","datavalue":{"value":{"entity-type":"item","numeric-id":4263880,"id":"Q4263880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958759$83456F5B-B99E-403F-9CA1-CE7DBC44C5B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c382f571059f65c71d7c5267e06c23fa2d98eb72","datavalue":{"value":{"entity-type":"item","numeric-id":5917605,"id":"Q5917605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958759$176E7615-221C-42A7-BFFE-B14C12377C20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5a23b5f1b883353db1792da9968220a0c1143a3","datavalue":{"value":{"entity-type":"item","numeric-id":685380,"id":"Q685380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958759$3E73AE61-9157-4776-9DFC-510AA044FF50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efac3d4750390c91832466c53b7195b315c1ed1f","datavalue":{"value":{"entity-type":"item","numeric-id":4518890,"id":"Q4518890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958759$3BF95557-12E5-4529-BEE0-B3B3BA5B8225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"999d11415caa2e3807e4f29e56c682879566b1d6","datavalue":{"value":{"entity-type":"item","numeric-id":3659104,"id":"Q3659104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958759$226C4670-3638-4360-8FEC-EA3C79C5F9D2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7d6b54297b73540d30bd44484332434d5af11f79","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(00)00174-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q5958759$9EA93315-FA65-4EAD-97A0-3B2B12360207","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"96dd00c005ef3a042dfc70adf7662f4cedbe48e5","datavalue":{"value":"W2113696254","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958759$3AB93C99-BDF4-45DF-B362-AD20CE6D7782","rank":"normal"}],"P1643":[{"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":"995412f2e5d0aa1b451023d76b74c33adfcdbb03","datavalue":{"value":{"amount":"+0.8520736694335938","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":"Q5958759$6F829355-6392-480A-B7E0-D8430116DC78","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":"b8ed8c241c02fd8e74abe3dcdfde6d0c2ccebb45","datavalue":{"value":{"amount":"+0.8499860763549805","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":"Q5958759$B8069A11-9FA1-4250-B5CA-0FE5EAC1900E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de14ffc87ae9579150588c68efa3e67f7336822c","datavalue":{"value":{"entity-type":"item","numeric-id":2841274,"id":"Q2841274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8ed8c241c02fd8e74abe3dcdfde6d0c2ccebb45","datavalue":{"value":{"amount":"+0.8499860763549805","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":"Q5958759$CC4CC84F-9C97-4D42-8AD0-E2BB14D640C6","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":"4ff122bbaaa809888b518c3cc1e9e36ef16a6a9b","datavalue":{"value":{"amount":"+0.8437501788139343","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":"Q5958759$B167ADF8-4645-4DDB-A0C3-1C36393752A4","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":"062def8ce0ab346e49fd01f8ad5c3339fd1358ec","datavalue":{"value":{"amount":"+0.8296011090278625","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":"Q5958759$34DE1683-94E6-454E-88E8-2CBB724AC0C5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5958759","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5958759"}}}}}