{"entities":{"Q1683448":{"pageid":1694189,"ns":120,"title":"Item:Q1683448","lastrevid":71968470,"modified":"2026-04-14T01:46:29Z","type":"item","id":"Q1683448","labels":{"en":{"language":"en","value":"Distribution-based bisimulation for labelled Markov processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6814296"}},"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":"Q1683448$2D4AE8E2-335E-410F-BA44-CA2D222F8C1C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ba3d7571b7a8f17e6a573c309050ed4b06ed4b9a","datavalue":{"value":{"text":"Distribution-based bisimulation for labelled Markov processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1683448$6BEEDA4F-668A-4C33-90D0-5DBE80E46147","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"033d90f8577b9d00308eed37298167fe1f6f0d83","datavalue":{"value":"1494.68184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1683448$E38B5C11-1000-4845-B94B-EB413EEBF088","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0b6c53cce26e6aeef406f04409556aa0f1d7f3eb","datavalue":{"value":"10.1007/978-3-319-65765-3_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1683448$BCBE9914-380A-4A08-8E87-86FC58F06066","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4c3f057a0d48aefd1923ddd9c2ff240d2a12acd4","datavalue":{"value":{"entity-type":"item","numeric-id":896907,"id":"Q896907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683448$47B1DB58-FBB5-4030-B561-3E5DA491F8AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"46d3f99e48b59b557bc3dd9cf62b57fa91f92dcf","datavalue":{"value":{"entity-type":"item","numeric-id":1720447,"id":"Q1720447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683448$FEA8FC42-501F-4260-B982-327A5A08B15E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5894425868796c1c566a284833508f3ef0277bc9","datavalue":{"value":{"entity-type":"item","numeric-id":764615,"id":"Q764615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683448$C441F80B-6258-42F3-9470-C308026236AD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e0b35d2e482cf5e430246ef005011e53c42974f0","datavalue":{"value":{"time":"+2017-12-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":"Q1683448$060AC069-AB09-4BBB-A855-ADB5ABAAA45F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"50ffcd2c766909263a98684f055a4dc7684123dd","datavalue":{"value":"https://arxiv.org/abs/1706.10049","type":"string"},"datatype":"url"},"type":"statement","id":"Q1683448$98F77BF5-CB9F-4706-B1F8-4F6EE05A024B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1683448$7C9E4F03-4D8F-4191-BBF4-DA2F35ACFFDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1683448$2C4D3D71-BEEE-4399-AC8E-AB6CD33FC04A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9f13f2be9b497238021ec52b75323019dd30fb53","datavalue":{"value":"6814296","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1683448$AD79F02C-DD7A-4209-9B30-24C20A87D656","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":"Q1683448$136F31DF-1DF6-48B7-9A58-BA22D34B6F36","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"df809f59e05151b5f6b64e29ddcee6b579305965","datavalue":{"value":"W2963540427","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1683448$3C937FF9-0E21-4EC9-B000-A7265BE44740","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ef81862bca1afbd34a6a39bb10b75740caa503e","datavalue":{"value":{"entity-type":"item","numeric-id":2506488,"id":"Q2506488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"952f7d653a291971179ff123b507181df910a6a2","datavalue":{"value":{"amount":"+0.885772705078125","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":"Q1683448$0F0398AB-A2BB-469F-BEC9-8D2F331AB22D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81e1b267484066afff79512a6586de0009975d53","datavalue":{"value":{"entity-type":"item","numeric-id":4737187,"id":"Q4737187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27fe33b4734fd319bdd43d34ad243093ab9e9418","datavalue":{"value":{"amount":"+0.8605926632881165","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":"Q1683448$F7D2ECAC-F994-41C0-9F7B-1F5AEDF260C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27be90a18914037a481652af0d8a4ab64e2f109e","datavalue":{"value":{"entity-type":"item","numeric-id":1941884,"id":"Q1941884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f206d94641afd2cd0b28921efae500c2cf21a14","datavalue":{"value":{"amount":"+0.8264468908309937","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":"Q1683448$D3DD0C65-BC9C-42C2-ADD1-79422C527688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50d46ba54601f163b675063e5c03a22cdf97caad","datavalue":{"value":{"entity-type":"item","numeric-id":3225737,"id":"Q3225737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8cab9fdfa33b59e58939fb3517d9acc67d00bae","datavalue":{"value":{"amount":"+0.824387788772583","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":"Q1683448$F5BDEFA4-FAF2-481C-A263-05C1366DCBCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43621669fa72f2c09090eab148ed1d48d89efa24","datavalue":{"value":{"entity-type":"item","numeric-id":1770416,"id":"Q1770416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9918fa38a9fce42829e2ebf8deaec576251d3e9","datavalue":{"value":{"amount":"+0.8239402770996094","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":"Q1683448$C756892D-E7F7-430C-BC49-54D087392A7C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Distribution-based bisimulation for labelled Markov processes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Distribution-based_bisimulation_for_labelled_Markov_processes"}}}}}