{"entities":{"Q3510851":{"pageid":5540755,"ns":120,"title":"Item:Q3510851","lastrevid":50400200,"modified":"2026-01-13T23:35:06Z","type":"item","id":"Q3510851","labels":{"en":{"language":"en","value":"CSL Model Checking Algorithms for Infinite-State Structured Markov Chains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5297087"}},"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":"Q3510851$8761474B-2228-4732-889D-3A6F33A3D585","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d9ab0111fe11be3b2887eaeaeb9496d6602307ac","datavalue":{"value":{"text":"CSL Model Checking Algorithms for Infinite-State Structured Markov Chains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3510851$C091AE31-4112-4B97-A552-9E242B2D8CD9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cce759d7963a458a5795758fb397a2a510c97fd3","datavalue":{"value":"1141.68355","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510851$5B887C4E-2755-408C-A8D6-5AB59DC7487A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"22d6ac95be6a6b39aa6b569a92f0418d28226203","datavalue":{"value":"10.1007/978-3-540-75454-1_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510851$6D9F786F-007E-465E-99E9-BB3B11BED834","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ab59c40aa3f1553c66a6eb09646ad8f5d7173be","datavalue":{"value":{"entity-type":"item","numeric-id":832096,"id":"Q832096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510851$A16A58B4-94F3-435B-B89B-9F110015878F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb2e128d1893afac7ce739c02a6083e5282dc6b0","datavalue":{"value":{"entity-type":"item","numeric-id":686333,"id":"Q686333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510851$BAEBFFCF-BAD9-4D95-9852-D5E94EDB6064","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510851$A0C32267-7F2B-467A-B306-4C2094E2A671","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7f56be72f9fbb489e432bf17d8b59be96c2fd855","datavalue":{"value":{"time":"+2008-07-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3510851$AAA94155-1D24-406C-B045-B5B963DC7486","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1908801a2431998085c7d582418a428f7e7f6658","datavalue":{"value":"68M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510851$B03F6517-BBE8-401E-9E64-125A0F8F20A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"763034182a2d667b75e92e2d6fff2d7378094131","datavalue":{"value":"60K25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510851$32765383-A01E-4042-BB04-AA95B2E661B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510851$7CB84739-A9ED-44C7-A73C-7466CC20FE4F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e81b3a28fe69c7c9cb92a80c0ec00a9e76524b0","datavalue":{"value":"5297087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510851$72B397D9-9FC1-4AAB-A13D-F9287C3F0850","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":"Q3510851$8F04AF5C-7685-40EC-B35B-12411F9EEF51","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f8f39bd995653da978052207b6bb25e85d049562","datavalue":{"value":"https://doi.org/10.1007/978-3-540-75454-1_24","type":"string"},"datatype":"url"},"type":"statement","id":"Q3510851$F888BAF4-1A98-4A0D-BF14-32412E9DB5CB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8ddd5f88f336bbd3f396fc24acf6fe1a52622dde","datavalue":{"value":"W1899490968","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510851$6FACEB8B-36AD-4F18-908D-76D77F42BB49","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0a3fb7215fbeed47aa01ba04d3d2006db79807e","datavalue":{"value":{"entity-type":"item","numeric-id":3543298,"id":"Q3543298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7043558f7e0b5e6d4b41cd6e0c18bd6470bd1931","datavalue":{"value":{"amount":"+0.8785259127616882","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":"Q3510851$085F4F42-B193-4387-A10F-AE69461BC4CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc1fcd48c493965ab2e407530b2e2e203db0266b","datavalue":{"value":{"entity-type":"item","numeric-id":5703762,"id":"Q5703762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1b17e5a86de8313994c602942d0d56126b6e02b","datavalue":{"value":{"amount":"+0.8525722622871399","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":"Q3510851$23C3A21E-184D-451C-ABF6-23BFC0519C27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a719f9181d0c0a0209a3e590013cc8c29da8863","datavalue":{"value":{"entity-type":"item","numeric-id":995462,"id":"Q995462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"070d42f0ce004d0f878aec227ac3f6ce9fe3b3e9","datavalue":{"value":{"amount":"+0.8333887457847595","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":"Q3510851$3E70B86E-0851-4023-A142-6C90AE90526A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5b08cbe2ce280e7e3b4563c5dcf1960b830f116","datavalue":{"value":{"entity-type":"item","numeric-id":1400291,"id":"Q1400291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8cd108ae51f0717be05e159225bba7521b3d8ab","datavalue":{"value":{"amount":"+0.8258183002471924","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":"Q3510851$B69E8180-D8F5-400E-96CD-56833B297685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45590e7e1c2fde35f1e0d9874e268faa51fa4b25","datavalue":{"value":{"entity-type":"item","numeric-id":4813203,"id":"Q4813203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a047e48d913bdcd6cbcebb2afa1361cb968c37c4","datavalue":{"value":{"amount":"+0.7630201578140259","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":"Q3510851$672281B8-E847-49A5-B6CC-C1D2CA03F8EA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3510851","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3510851"}}}}}