{"entities":{"Q3522889":{"pageid":5552793,"ns":120,"title":"Item:Q3522889","lastrevid":50445980,"modified":"2026-01-14T01:59:39Z","type":"item","id":"Q3522889","labels":{"en":{"language":"en","value":"Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5321049"}},"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":"Q3522889$EE17AAC1-CF37-4AB9-B008-7303439A5F69","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8c485fdfd824416e11496b53f4e44be315a75a81","datavalue":{"value":{"text":"Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3522889$409B4A60-2956-41C4-9692-7FB0E0FC5EB0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0166b9c928a3fb07d45ca5ed355f221ad8085fba","datavalue":{"value":"1161.68564","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522889$77B36BB6-68D7-48AD-9D74-56B5D8A5F4CB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1a02d8e42b65a3082f34420ac09aa4475caa8f24","datavalue":{"value":"10.1007/11901914_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522889$504EA092-2BAD-4BDA-B1E8-F485573A975C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db903008d5ee39538aa38bf45d7c449d7149af42","datavalue":{"value":{"entity-type":"item","numeric-id":763237,"id":"Q763237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522889$747E1ED4-63F7-4C0E-BCD1-5E34482470C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"90bbe2ee818852467359700b37d2788503a24def","datavalue":{"value":{"entity-type":"item","numeric-id":1312994,"id":"Q1312994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522889$A04BCD16-89C5-49B9-9DF4-68F22C6EFC22","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522889$F77F679A-28C2-4E93-A284-4966888734BC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2bf0f0ee9c49018dff9c641c5da1a78a5da873e5","datavalue":{"value":{"time":"+2008-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3522889$ED136926-7C51-4520-9F28-4F8E1D65B88B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"46645e4b5352a0f32215c407e1d24631c9e2d7b1","datavalue":{"value":"http://hdl.handle.net/10044/1/14321","type":"string"},"datatype":"url"},"type":"statement","id":"Q3522889$41EF84FB-69C5-4AFD-8957-3825C0525629","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522889$9E5B07A3-8856-42F8-9D7A-FD522B33D202","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"acbc0de74bbceb5427d8bd02a3037b208e134f72","datavalue":{"value":"5321049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522889$9FEB9E2A-43A1-42D3-BB1F-C9CCBDB29183","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"531a52a4ab12ab6e2b5be84834036762ed677445","datavalue":{"value":{"entity-type":"item","numeric-id":13928,"id":"Q13928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522889$14F39140-AEA8-4333-A928-F5EA5761E4F1","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":"Q3522889$5414E82E-62C5-4801-BEB6-537C40C61376","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2fa95eb8325a60aace2d912be1c14cdfd0154972","datavalue":{"value":"W1801185978","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522889$4BFBE37F-2134-4E32-ADC0-159CCEE138BB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77a1436ccda20475d9fbfd926307ca5c1c202c10","datavalue":{"value":{"entity-type":"item","numeric-id":5756747,"id":"Q5756747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f096466c0d852039eae4ed14dd01915dfda2b84","datavalue":{"value":{"amount":"+0.8460952639579773","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":"Q3522889$EED53F1A-77F2-4B07-BA0F-16885AF20258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"622868e66ef650eb8ec7f3672bdb93be8a195126","datavalue":{"value":{"entity-type":"item","numeric-id":2948486,"id":"Q2948486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76de8f8426578a299c73a4b705f48db6e5627bcc","datavalue":{"value":{"amount":"+0.8152168989181519","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":"Q3522889$E2DD8BBA-970E-49A8-ABDC-9EB99B9767E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b67f770f0af9161a17d35e15d4ceec60edb2e09f","datavalue":{"value":{"entity-type":"item","numeric-id":5897069,"id":"Q5897069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba13f64a4a310fe939fd489f50467a17be14717a","datavalue":{"value":{"amount":"+0.7972729802131653","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":"Q3522889$CF336FBA-1A38-40A4-87CF-0494777346EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8d363b663792e7f338fa28214e3a05cd3c77fd0","datavalue":{"value":{"entity-type":"item","numeric-id":5703773,"id":"Q5703773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faf67f3902ce72b9ff10a543b801d971e2bb8486","datavalue":{"value":{"amount":"+0.7886274456977844","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":"Q3522889$DF3E5E8A-8F2D-4D80-9C1B-76E4027E7806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a309d0f4e867ead9bc2a1ab4474fe77e993b3198","datavalue":{"value":{"entity-type":"item","numeric-id":4551137,"id":"Q4551137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"718ace6363e523facd2b9dfa42961e5c5114b193","datavalue":{"value":{"amount":"+0.7817043662071228","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":"Q3522889$A434469E-5EBB-4C6D-86C6-65CE1CF65774","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3522889","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3522889"}}}}}