{"entities":{"Q6511538":{"pageid":14090497,"ns":120,"title":"Item:Q6511538","lastrevid":95378228,"modified":"2026-06-05T08:57:15Z","type":"item","id":"Q6511538","labels":{"en":{"language":"en","value":"Model Checking CSL for Markov Population Models"}},"descriptions":{"en":{"language":"en","value":"scientific article from arXiv"}},"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":"Q6511538$8553CEE8-9BA7-4D4D-AC14-21764A175721","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"843b36aa0808912724f100599222ce4024e7d885","datavalue":{"value":{"text":"Model Checking CSL for Markov Population Models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6511538$18D21585-27A0-4D64-8BA7-FC986C6A1261","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"55dd4af5344b39525bba1cd23d721332270a0810","datavalue":{"value":{"entity-type":"item","numeric-id":2248079,"id":"Q2248079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6511538$5D0C9AFD-88FF-45AA-B4D4-A45FB140B688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dffa8575a90582a7e362ce4ca416eabc864ff69c","datavalue":{"value":{"entity-type":"item","numeric-id":389834,"id":"Q389834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6511538$29965BF9-9569-4EA7-B387-372CD038F4C6","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":"Q6511538$6262DF82-EDCB-4232-9706-A25019B7055A","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":"Q6511538$BD462871-BAA5-4916-B94F-492BAAB501F7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"16d4cffa663de70132ceaf7816bfe7ec31b7aca4","datavalue":{"value":"10.4204/EPTCS.154.7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6511538$69DCF730-3425-4A67-97C2-BC020FDB2089","rank":"normal"}],"P21":[{"mainsnak":{"snaktype":"value","property":"P21","hash":"d05b787c0f298e4fd52311d550ae9b6cb5c482bd","datavalue":{"value":"1111.4385","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6511538$8B02819D-39FB-42C5-9370-008D904860B6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model Checking CSL for Markov Population Models","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Model_Checking_CSL_for_Markov_Population_Models"}}}}}