{"entities":{"Q5756747":{"pageid":7786298,"ns":120,"title":"Item:Q5756747","lastrevid":50158043,"modified":"2026-01-13T07:25:42Z","type":"item","id":"Q5756747","labels":{"en":{"language":"en","value":"Symmetry Reduction for Probabilistic Model Checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5187425"}},"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":"Q5756747$77D60AB7-35A9-4546-AAD0-328A3D1A44F6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2da49c14f752e6c4fbe3d0664eda64b4b4cb21fd","datavalue":{"value":{"text":"Symmetry Reduction for Probabilistic Model Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5756747$4971A3A3-A94A-4CB0-8649-5A0E8393493A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"66b44e3ef2bc7bbfb85dc0f26b357a7d909913f7","datavalue":{"value":"1188.68194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756747$2D647615-A0D5-4590-8399-22E0FC3BE953","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3a78a907b8f7fb86f5c139e4ff155327b31bea85","datavalue":{"value":"10.1007/11817963_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756747$B43E8926-CA5C-4E7E-8CA4-826B28394CB2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756747$7E151705-9764-4E6B-9420-1B24059510BB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"86270c54a1750ab04e947a6e47c89ac1ca7458cb","datavalue":{"value":{"time":"+2007-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5756747$BD9CF3D3-6C89-472F-A600-21CAFA80FE86","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756747$64890A00-1D97-4707-8DCB-8BB860740E40","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"868feb6d8a141099addff24306ad8226fa79e1c2","datavalue":{"value":"5187425","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756747$7E4A28E5-C69B-4DD8-BF28-DBDF96374CBA","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":"Q5756747$771000E8-1AE7-4368-AA77-7FD289FB9756","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"032fda88db23299caafd4ea3d2f075b8c9a5ddc2","datavalue":{"value":"https://doi.org/10.1007/11817963_23","type":"string"},"datatype":"url"},"type":"statement","id":"Q5756747$5E559934-0100-459E-AADC-21AB428E93B7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"35d5b6b4e04781dd0721f58c4d357a3845fd717b","datavalue":{"value":"W1603153151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756747$F9112837-0BE3-44C3-B12C-1E76BF716DB6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3afa334a067e03d94ea27cf005c11aec0bb94c51","datavalue":{"value":{"entity-type":"item","numeric-id":3522889,"id":"Q3522889"},"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":"Q5756747$C7CB0B51-CC59-4FAF-8BD8-B84C61F6A4AC","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":"61bbf1af55e3ffc46275c81c2041e244741282bb","datavalue":{"value":{"amount":"+0.8373117446899414","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":"Q5756747$5D1A9282-E55C-40ED-8C83-42F7ED91A848","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":"79d01445a5b0218c4a681c0d495890a27b59b5bd","datavalue":{"value":{"amount":"+0.8350383639335632","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":"Q5756747$70F0CD75-08C1-44A8-B776-6728132EC551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15a780136676f2f4abac533f4c4d0397cc6ec411","datavalue":{"value":{"entity-type":"item","numeric-id":4738464,"id":"Q4738464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8b5cb03b4266ad59a599776d651cd4f0e248caf","datavalue":{"value":{"amount":"+0.8100306987762451","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":"Q5756747$D3A8F3DC-C34C-42B8-B0D6-5C05EBDF7F74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b36633c4186fe1d71569c427b2dd8e5ae26faa3e","datavalue":{"value":{"entity-type":"item","numeric-id":1886448,"id":"Q1886448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e847f20bf87df1bb208972c1ad56b0459cdd9d3","datavalue":{"value":{"amount":"+0.8074325919151306","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":"Q5756747$A697A58A-1D3B-4F52-9608-65F419D78C2B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5756747","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5756747"}}}}}