{"entities":{"Q2970754":{"pageid":2981479,"ns":120,"title":"Item:Q2970754","lastrevid":85247966,"modified":"2026-06-03T06:25:38Z","type":"item","id":"Q2970754","labels":{"en":{"language":"en","value":"Semantics of the probabilistic typed lambda calculus. Markov chain semantics, termination behavior, and denotational semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6698747"}},"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":"Q2970754$FFEB482B-990D-4DD9-AE51-F4FCAD82287B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b6eb504f3f624bcc0eb8f4908272d11c3f6d8909","datavalue":{"value":{"text":"Semantics of the Probabilistic Typed Lambda Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2970754$6B98AA37-6E84-4998-B82C-708229083E5B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"58d84f24cef68c684c8630d3d8b3898fabe4e931","datavalue":{"value":"1439.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2970754$3A01BA74-0F43-49F3-8F4D-26ADB519FCAD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0fd0644429f207cfd58212ea859cae81237d3c21","datavalue":{"value":"10.1007/978-3-642-55198-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2970754$AD182A3E-7DF4-4D73-B096-5430D1374CEE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"459f77461fc171eba0b35f82a91915616178adae","datavalue":{"value":{"entity-type":"item","numeric-id":532404,"id":"Q532404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2970754$BEB4887B-6ED7-43FB-B0B1-4BDAD023D59A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"456d31ba67cbbb4f6a1b1583fb8de4a8edc10efe","datavalue":{"value":{"time":"+2017-03-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":"Q2970754$90981E8C-C715-4A84-8C4D-B3AD73105A9F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2970754$2F39EF48-DE38-4B33-BEAD-50E265F52978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2970754$04596FE7-299A-40A0-AB1F-AE064471A48A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2970754$C9E1E5B8-7637-4873-8681-4BA23890FF9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2970754$BCA8AEFB-5A85-4F8B-B397-BDBB17797CC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2970754$7BB6F4AE-5BC6-40B1-B4C5-36A96F00ABA3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"84fc0ef63272cc2c943b6853620c2a88522138c1","datavalue":{"value":"6698747","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2970754$E7B20880-3AA8-46E4-93D9-5F032F5392A5","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":"Q2970754$D226A26B-7D0C-4A0F-BBE5-B9FCBEE91E6B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dfbcbdf552c8676e41626bee718d7e6a61824beb","datavalue":{"value":"https://doi.org/10.1007/978-3-642-55198-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q2970754$48DC41A6-C051-4265-9475-FFD74A25E5C3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3993087e247e5eb4be764c3df47fe93b0d411ad3","datavalue":{"value":"W2593681380","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2970754$63AD792A-7F7C-4A79-A602-4AD2F1111B56","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff56d47be152074daf9fa303e945edef8f71d05d","datavalue":{"value":{"entity-type":"item","numeric-id":5497245,"id":"Q5497245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e631595d98629d9bf7dc235f40173255f5a39d6","datavalue":{"value":{"amount":"+0.7914624214172363","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":"Q2970754$B688717C-3DC0-460F-9A2B-BB89B3921F17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ab4fd71ad51ac082fbb6f91bbebab080cc6650c","datavalue":{"value":{"entity-type":"item","numeric-id":1675793,"id":"Q1675793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fe0449b0a7f31d3a3f12d983fa4fb52e089873b","datavalue":{"value":{"amount":"+0.7559419274330139","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":"Q2970754$13E44D23-4959-4F66-B718-88877C41F8F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efbba39e6ee364928b26e2b7a55a1aa71532325d","datavalue":{"value":{"entity-type":"item","numeric-id":5134467,"id":"Q5134467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed2ed7ec5f8cfc0ab2253859238e90f552813385","datavalue":{"value":{"amount":"+0.7431032061576843","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":"Q2970754$C8643E1D-57E6-4F58-8EBA-713A7B0DCD5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"429f664986c3991914912f223791a9bf6c6c0370","datavalue":{"value":{"entity-type":"item","numeric-id":4650346,"id":"Q4650346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c3d2707d1a4a59922634d742524b55052c905c2","datavalue":{"value":{"amount":"+0.735275387763977","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":"Q2970754$A6C6F282-C552-45D6-84D6-72CD0857603C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8e8b1e51d5cee4308c2517eab98d3a5024e6a98","datavalue":{"value":{"entity-type":"item","numeric-id":4635912,"id":"Q4635912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab27588618aa34f0f28c6df1e884f9ed34807918","datavalue":{"value":{"amount":"+0.7339439988136292","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":"Q2970754$2F78D0BC-551D-4E26-BF1D-779F29155C6B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Semantics of the probabilistic typed lambda calculus. Markov chain semantics, termination behavior, and denotational semantics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Semantics_of_the_probabilistic_typed_lambda_calculus._Markov_chain_semantics,_termination_behavior,_and_denotational_semantics"}}}}}