{"entities":{"Q2948486":{"pageid":2959206,"ns":120,"title":"Item:Q2948486","lastrevid":52355978,"modified":"2026-01-22T10:56:50Z","type":"item","id":"Q2948486","labels":{"en":{"language":"en","value":"ExplicitPRISMSymm: symmetry reduction technique for explicit models in PRISM"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6487907"}},"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":"Q2948486$5E3C61F2-C78A-4DF3-9071-D9688D8D8DCC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d147b5c0a415545450f054c863003508f9cf60d9","datavalue":{"value":{"text":"ExplicitPRISMSymm: Symmetry Reduction Technique for Explicit Models in PRISM","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2948486$CF26BDDD-1B5A-4E88-9353-5DBA1E61123D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7a4a7857e372793d0def47e5ebc751a0a6e7b201","datavalue":{"value":"1459.68122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2948486$E8919E4B-7A46-423F-B0F0-B716F2EFD913","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ae7a3cb6b42cf65ea22236223f3c6550ab2221f9","datavalue":{"value":"10.1007/978-3-319-17142-5_34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2948486$D6929AA7-ADA2-40E5-8C7A-87774B94E660","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3da306ad151cdb25f20602c51a895b4f7bb2beeb","datavalue":{"value":{"entity-type":"item","numeric-id":2948483,"id":"Q2948483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948486$A12A9DD3-A2E3-4B89-BBB9-AED50BA5C0C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4affffbbe7a42be1442ebcbfa286a21627dc3306","datavalue":{"value":{"entity-type":"item","numeric-id":2948484,"id":"Q2948484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948486$7DFD828A-ED59-4CCD-9B2C-139775F03FDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d5b49ea86b7ccf9a5e9944a515e0b5fae20496d","datavalue":{"value":{"entity-type":"item","numeric-id":2948485,"id":"Q2948485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948486$6D1A6F37-644D-4047-8A39-01A2875D2622","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":"Q2948486$52F18120-B1F3-46DB-B979-00CF097182BD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a02eff2a6739f20c5ba25ea9c06d2f02c0f4ac2a","datavalue":{"value":{"time":"+2015-09-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2948486$12936244-4832-4C2C-B196-4D454128EB7E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2948486$C22045C3-A2E0-4491-9987-666D1CCAC39C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2948486$F17D33A7-3048-44B3-A20D-B1C56F620209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2948486$F3CF9239-78F7-43DE-A8A9-8A710B709401","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"183c0ad439cd0db0ef99b6b8c99e34769adc22a4","datavalue":{"value":"6487907","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2948486$E6D0EFBF-96A6-4E7D-A885-14D9C44E327D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc82eb0e9558af823c3a363caa181de5a4f2bb18","datavalue":{"value":"on-the-fly symmetry reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2948486$EE0D5813-085A-45A8-9F8D-1393472E0596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14fdb321d63e54de1f24ee42307b3934b281d990","datavalue":{"value":"probabilistic model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2948486$AE475036-7BAB-405E-AAF2-A86683BD0360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7f356f46dbbc156bb630f7867efdfae084bf655","datavalue":{"value":"explicit state representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2948486$81421787-3368-4389-9FB0-A5A6D1360DCA","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":"Q2948486$A551AA0D-A188-4EC8-A1E2-78E1245A4A49","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":"Q2948486$FD704A31-5A20-4088-952E-84CB04F9D852","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"62f9a21a448a7a820383a7fdcbfb43761df70108","datavalue":{"value":"https://doi.org/10.1007/978-3-319-17142-5_34","type":"string"},"datatype":"url"},"type":"statement","id":"Q2948486$B689EA8D-BE28-4126-8154-8B85BF108FC1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a17b6e190d92a2b23834800f0093039b0f09685d","datavalue":{"value":"W2286129565","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2948486$5F371941-B4FE-4003-9B31-8EA9F9B95E04","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cfe4133bc97663278d858774a2e91566ed437f9","datavalue":{"value":{"entity-type":"item","numeric-id":4804888,"id":"Q4804888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948486$A5F8F9AD-DF72-4F2C-96D7-029F792B6685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2894b2589e750019bf0ae73f0ab2629648809ccf","datavalue":{"value":{"entity-type":"item","numeric-id":4738778,"id":"Q4738778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948486$F64A5AED-2AF1-451F-9984-0540776776A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e3cfa5cbc29a490fa9eee5494235cfa87d81ceb","datavalue":{"value":{"entity-type":"item","numeric-id":3522889,"id":"Q3522889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948486$361FD030-8189-4D78-8D41-35A704C35408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ceb233ba0d30f428f8e8cdcd58588ea0dfbd7bd","datavalue":{"value":{"entity-type":"item","numeric-id":5703773,"id":"Q5703773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948486$94372D44-74E0-4FE3-A647-E1351DE71076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e53d9e53c3c574e8c7675f6ec5036e8ca0ad199b","datavalue":{"value":{"entity-type":"item","numeric-id":1343864,"id":"Q1343864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948486$E79E6852-874C-4E61-8D64-056369E5C29A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b1c0bf45a94eb17ba9463d772e2cdda4555e240","datavalue":{"value":{"entity-type":"item","numeric-id":4551150,"id":"Q4551150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948486$FEB00272-C689-4A2F-9C50-6BBFB0F9602F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcc36368f80a66f5158db4d76bfa148823c47a0d","datavalue":{"value":{"entity-type":"item","numeric-id":2373877,"id":"Q2373877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948486$F4D6E2FC-B641-4990-81CD-3889C1A8A084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4d3ce340288da659d54d631e0195d3f90ab97c7","datavalue":{"value":{"entity-type":"item","numeric-id":5756747,"id":"Q5756747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948486$7069530B-FDB9-4948-8B16-23F5FEF13252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37f8d0da54d388341dc7925c0ce5aff8ab7698b8","datavalue":{"value":{"entity-type":"item","numeric-id":1886448,"id":"Q1886448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948486$0B0EF56B-585A-4ECA-8EB9-BAC2BB92973C","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":"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":"Q2948486$2CDCE504-DC0E-4C06-83FD-D41FC7688DAF","rank":"normal"},{"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":"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":"Q2948486$0EF8CE02-F065-43A3-9225-C97010D8C7FF","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":"59f9ee85a4bbf2e3a626ef00b04cbbb1d6eab23c","datavalue":{"value":{"amount":"+0.7829707860946655","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":"Q2948486$D5B92431-873B-4EFC-BDE4-68D0197BBC91","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":"f8a4e638f604493a8ac66c0465df2e2f456f9375","datavalue":{"value":{"amount":"+0.7794944047927856","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":"Q2948486$D2039753-0A7C-4CA0-B877-E070D2D198A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e6c83ef57a042b2cbf6c6426c603ea0d66685c9","datavalue":{"value":{"entity-type":"item","numeric-id":5151008,"id":"Q5151008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2054bfe79d029c6c98363d21acc2a12ce256cbc0","datavalue":{"value":{"amount":"+0.7764502763748169","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":"Q2948486$82469053-E204-4AA0-968B-56292C5AD14B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2948486","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2948486"}}}}}