{"entities":{"Q5453501":{"pageid":7483060,"ns":120,"title":"Item:Q5453501","lastrevid":55973287,"modified":"2026-02-21T16:00:50Z","type":"item","id":"Q5453501","labels":{"en":{"language":"en","value":"Coinductive Proof Principles for Stochastic Processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5256516"}},"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":"Q5453501$C5C2D27C-EA06-4A28-92DD-E6B26FA2FF31","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fba674de91c882759c2ad8089cb7ed53041cc2e5","datavalue":{"value":{"text":"Coinductive Proof Principles for Stochastic Processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5453501$0054FFC6-F054-4A06-9396-F0EAA0D4B67F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"65d157a092f5703e8757084ca63c6e3f03d9d844","datavalue":{"value":"1131.68063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5453501$54BA84C0-CA92-4767-B763-0DCC6BAF5D0F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b368b43e020957be32a5557b94963c35faaa3db4","datavalue":{"value":"10.2168/LMCS-3(4:8)2007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5453501$A0E782CC-60E8-46D4-ABFA-F9259D8812F6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"60a24674fc3fdfdb20ce395c4f54c3ddf31dbed4","datavalue":{"value":{"entity-type":"item","numeric-id":283763,"id":"Q283763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453501$0C4B095E-ACDE-4A65-B68E-B8F96BF13647","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453501$7F1754F0-5A0A-4F48-94F6-BBEEEBF48D40","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"198ebadd055eae6a54aaf8b4ed7b348339bb3788","datavalue":{"value":{"time":"+2008-04-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5453501$9729B91A-1211-4A8D-BA5A-6ABEA23F36F4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5453501$1B508166-6F0D-4B11-8DEC-33379733468E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5453501$6D8DE1E5-F128-4D47-B148-8220245666AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d88ea66d29b5b400c53d2b740493531db9c799d9","datavalue":{"value":"60G07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5453501$A612FD16-E842-4261-B031-FA723C442868","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8e188db2022b709c00bacadd59b7ecce9b22f97a","datavalue":{"value":"5256516","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5453501$9CA5AC09-6165-482F-9DBA-EA0CB45D1CE4","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":"Q5453501$97FD81AE-D74D-4BAA-8E17-9F84601BE3E6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2331ec4df3b5429b5494c641126472a7edd5ef4f","datavalue":{"value":{"entity-type":"item","numeric-id":5361147,"id":"Q5361147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5c6835837a86cf53bba9673e091015ab9d33bb8","datavalue":{"value":{"amount":"+0.7622435688972473","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":"Q5453501$A7E40F34-EF7E-47D9-ADE6-F846519F7A1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f41c4d0a8b5b2af9d1b0eaf03ff14cbc5c60d1c3","datavalue":{"value":{"entity-type":"item","numeric-id":1318702,"id":"Q1318702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e5b339f77b317c37d7ec2c6cb57c0a4d490eecb","datavalue":{"value":{"amount":"+0.7367287874221802","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":"Q5453501$CEE8AFA6-2285-4F5D-962F-BE886D6696CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbdacffe350b0172db6270b2a9b59777bc6a7500","datavalue":{"value":{"entity-type":"item","numeric-id":4635886,"id":"Q4635886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5abab6a8e89e169544c809b1e9c92d0c214afa29","datavalue":{"value":{"amount":"+0.7247471213340759","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":"Q5453501$614C616A-8EC3-43DA-B154-882E2C8A990E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3ca8a2e01f8239d03ca7a8219c9f482f702440a","datavalue":{"value":{"entity-type":"item","numeric-id":4408808,"id":"Q4408808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a569b3350d892056cf3aba3d3cfb531d11f5189","datavalue":{"value":{"amount":"+0.7216423153877258","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":"Q5453501$BCF566EA-16BA-459F-AF63-49308180D82F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5453501","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5453501"}}}}}