{"entities":{"Q2323974":{"pageid":2334717,"ns":120,"title":"Item:Q2323974","lastrevid":71843298,"modified":"2026-04-14T00:54:34Z","type":"item","id":"Q2323974","labels":{"en":{"language":"en","value":"Relational reasoning for Markov chains in a probabilistic guarded lambda calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7104893"}},"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":"Q2323974$2350FF1F-F488-4112-8D05-D75A39AA6C3D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"124c4fc455d4079c08d7fd2f182a4dbbdb3909ae","datavalue":{"value":{"text":"Relational reasoning for Markov chains in a probabilistic guarded lambda calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2323974$2C105C98-6C95-4D8E-BAB1-2D153162DD64","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"edc0d43fce322e8bb7e8e6a091c11a2e6763c8bc","datavalue":{"value":"1418.68048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2323974$09F762E3-C5C7-4246-ACEE-6E98F0925C73","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d36fc6c331f5b9b44c5a6bf5e198390cf4f03617","datavalue":{"value":"10.1007/978-3-319-89884-1_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2323974$44C3FBBD-F8CD-417B-B027-E0D7B546F4C2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca1362f66c9e3c909a39c34748d1b216a78e7983","datavalue":{"value":{"entity-type":"item","numeric-id":2133462,"id":"Q2133462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2323974$E1E639B1-0E3A-4B29-A49A-5E3AC6D27CBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df85df02f9f01c867f5b97dc99ba15582bedbdd2","datavalue":{"value":{"entity-type":"item","numeric-id":236461,"id":"Q236461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2323974$A39210C7-B7BC-4D0A-8C7D-0BBDCA32559E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"573e97e485dc7f23b42802228edbcbd518cf2ea9","datavalue":{"value":{"entity-type":"item","numeric-id":444497,"id":"Q444497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2323974$012BA339-CE6B-4040-9684-E1BDD755AF93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fdd2574135da41ce8fb8efa05f8438741fa998b3","datavalue":{"value":{"entity-type":"item","numeric-id":1704598,"id":"Q1704598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2323974$52FB9638-752A-4EC2-B50E-95CB8250AD0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0543480bd713540e86d55e77dccdfc4a22872606","datavalue":{"value":{"entity-type":"item","numeric-id":843950,"id":"Q843950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2323974$CC243E02-4E87-43E9-B167-A09E2215D40A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b6ed5eb3ed9fff3c6429e68d8bf1ac9d63219f0","datavalue":{"value":{"entity-type":"item","numeric-id":1615409,"id":"Q1615409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2323974$91AB1EC7-B0A5-411A-82C3-9CFD98FEA30B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e58c5ec13ac9ff2a0c2a7ef47523e32b869731b7","datavalue":{"value":{"time":"+2019-09-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2323974$0419C759-870C-42EC-9FD9-8BB7B497A9C6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"846f7871060e4dc00b1f76fae59fdecb11b666fd","datavalue":{"value":"https://arxiv.org/abs/1802.09787","type":"string"},"datatype":"url"},"type":"statement","id":"Q2323974$BCD013C5-18A4-4DBF-B793-A6718E3B86C1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2323974$C67EB1BD-56C0-4861-8C69-99C2895A41B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2323974$5F7A0319-3FC7-4C0A-B4A5-A6D9A9CA825C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2323974$545412AA-A858-4D2F-B76F-4864A3D6F122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6a9ff1a146ff44dca747e334413377c148d2df3d","datavalue":{"value":"60J20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2323974$465F47ED-AD08-457B-A837-6F0E165CBD4C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dfd88ab4b89167b4c0a0a4277d5e6980d26f26fd","datavalue":{"value":"7104893","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2323974$7049C70A-9871-47B6-BB2B-42713E86AA8C","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":"Q2323974$E9B7BBDC-AC9D-49A5-8438-8534ABC70C59","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bcffecf49cf1b0539cd17df6e108adecc57ed0d2","datavalue":{"value":"W2788983559","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2323974$A6439CD4-1889-4F00-8273-D29B2E8EDCF5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c14dfcd1b5e1a79916e05a491b82ce0b7cb3bfaa","datavalue":{"value":{"entity-type":"item","numeric-id":3460069,"id":"Q3460069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce0cec7074c4acd84ee23485c19ea87a164578f4","datavalue":{"value":{"amount":"+0.7572518587112427","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":"Q2323974$0863CF1F-63F9-48C3-9E57-122960F041CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17a03647ea8e2a70e43e4a9ec1442cdf6acbdcf4","datavalue":{"value":{"entity-type":"item","numeric-id":2949445,"id":"Q2949445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6550cf09947232c256537d1bcb4fee34907504e6","datavalue":{"value":{"amount":"+0.7167287468910217","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":"Q2323974$F3F3260C-0E65-4787-9EE4-6084474D294E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f692ca3643d2f6ed22ab0f66b4efdfb2355d155c","datavalue":{"value":{"entity-type":"item","numeric-id":1701041,"id":"Q1701041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5d75bea6b250cd4fb1c08a0ae4713e122c557eb","datavalue":{"value":{"amount":"+0.7141343355178833","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":"Q2323974$17975AE0-AB25-4774-B277-0F40FCA86DF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13b86b6995e48e0874414cd1c5daeeb59fa89a47","datavalue":{"value":{"entity-type":"item","numeric-id":2981999,"id":"Q2981999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8051c807988493837b2aac2c246cb49cc78c93e","datavalue":{"value":{"amount":"+0.7080087661743164","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":"Q2323974$A5B0C76D-9C26-49C4-87CF-047E7D804909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c15373072fdb042eda76f66164256e436212dcb0","datavalue":{"value":{"entity-type":"item","numeric-id":5370853,"id":"Q5370853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"596c8b22cf56310b886e6b2895f163fdf47e4333","datavalue":{"value":{"amount":"+0.7021646499633789","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":"Q2323974$3CEA2AFA-343C-426D-84F3-E316F3FF44D7","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2323974$FFEC1BAF-653D-4EE9-9A7B-B5E3F6F1AE4F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Relational reasoning for Markov chains in a probabilistic guarded lambda calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Relational_reasoning_for_Markov_chains_in_a_probabilistic_guarded_lambda_calculus"}}}}}