{"entities":{"Q6535681":{"pageid":14146824,"ns":120,"title":"Item:Q6535681","lastrevid":95493737,"modified":"2026-06-05T09:09:18Z","type":"item","id":"Q6535681","labels":{"en":{"language":"en","value":"MDPs as distribution transformers: affine invariant synthesis for safety objectives"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7798094"}},"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":"Q6535681$354B8169-0A8A-4778-8D61-A075D4422AF7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b8cf82566656d3db75c6b2f038698bd85e1c3211","datavalue":{"value":{"text":"MDPs as distribution transformers: affine invariant synthesis for safety objectives","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535681$92FFF8E1-9770-4904-BC87-494CE6B98122","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a39f53c9b1c81318f14efd8dd3ae62592802f380","datavalue":{"value":"1547.68401","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535681$4A699D46-FEB9-413E-A687-49D9AB4923B5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8671bd5b5e57f9e6e2d2b6c0db4cf5fab3a66a39","datavalue":{"value":"10.1007/978-3-031-37709-9_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535681$94CBAE1A-0D61-45AB-B8EF-E74F7B3F40ED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0148a7914729f10791714961eacfb31054def7ce","datavalue":{"value":{"entity-type":"item","numeric-id":436614,"id":"Q436614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535681$24D27F85-2F1B-42E9-9AE6-8D3AE8638BBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cff81c72b46c2d37ebe9a5f2cbcfbb6825cbcc7","datavalue":{"value":{"entity-type":"item","numeric-id":253965,"id":"Q253965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535681$4BBFCF5D-DFE0-4862-8DEB-DDD615F70ACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5292d458af310b000030cf51a9a263a1b17344bd","datavalue":{"value":{"entity-type":"item","numeric-id":2151246,"id":"Q2151246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535681$E1890A85-F57E-4376-B610-FE502634CED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eda3d7f024da16a0466017d0ba3242249661e0fb","datavalue":{"value":{"entity-type":"item","numeric-id":2662674,"id":"Q2662674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535681$C300102A-2497-4F6E-8D74-DF45FA6D78AE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ee76859de6cb7315119a0b9d8fb63ade5f4cb1a2","datavalue":{"value":{"time":"+2024-02-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535681$D9D6147F-8F7A-4B13-BE53-EFD64CAA7C55","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535681$40EA7191-5679-4F53-8B78-311895F6221A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"377d3ab03372cff12915e0de0374438ff70c3716","datavalue":{"value":"90C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535681$38AA2FB6-6AEF-4A9F-ACAA-B260B4E4E8DA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"894863f895d16d74bc40d1f17693cfa0fe713f05","datavalue":{"value":"7798094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535681$0BCEB83E-9865-4C44-99A6-1666F2A3A85F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbd1f99995fb6a13da62a377ba6327166316e976","datavalue":{"value":"Markov decision processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535681$D2647D80-3CA9-458D-A54A-ED2012C41D6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"535f65541f41a57140701ba196c6989224dff34b","datavalue":{"value":"invariant synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535681$721E4C40-8184-43BA-9027-ECD5764B26A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7d0f8919b351b29ce43d5944201d2f7ff62c5fd","datavalue":{"value":"distribution transformers","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535681$1DFC16D7-9DC0-42B9-A687-63CF65E23CB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"420e3e0f4f3ea60df11db960ffedaf87a0889b73","datavalue":{"value":"Skolem hardness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535681$5E37D7D9-09FB-459E-B9D4-F470624FF28E","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":"Q6535681$0D71321E-37C9-4F98-805C-F1D41DD7EC1D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e361303362106d748658b6298a68993e25e6b5c","datavalue":{"value":{"entity-type":"item","numeric-id":5501948,"id":"Q5501948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535681$36D8AE39-9040-4899-96D2-F2A2164A7F83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1212c8425b239752c05c7ca478ec7f069c4d8361","datavalue":{"value":{"entity-type":"item","numeric-id":477610,"id":"Q477610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535681$C01063E2-C955-413F-A1A0-CA4A15BDE406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ffb2d8faebf71f9e4f7eb82f1cf5c4c3ed7c095","datavalue":{"value":{"entity-type":"item","numeric-id":5145274,"id":"Q5145274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535681$24FF6E42-ACEB-4456-B894-9904809D7DBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0383da82b76a5590e0218b9b1e2ba239918753ab","datavalue":{"value":{"entity-type":"item","numeric-id":4930721,"id":"Q4930721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535681$35860D5E-5434-40FA-9898-834175749E16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535681$828D0D92-1220-4E38-B0AB-ABA563689425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"524f16ffbcee76a403363a3e2b620a3d4c86391b","datavalue":{"value":{"entity-type":"item","numeric-id":6536145,"id":"Q6536145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535681$85ED99CE-AD05-4109-A7A5-F50D06DBE98E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7693cd9fedcc4158fbc7d282a8bc3bf800eb74a0","datavalue":{"value":{"entity-type":"item","numeric-id":832288,"id":"Q832288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535681$63D32762-80BC-4EF4-A77F-F94369C56586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99439fae6e37c6c02251eaecee18e0ab08279341","datavalue":{"value":{"entity-type":"item","numeric-id":3412000,"id":"Q3412000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535681$FC937BC8-3ACE-4C38-A3B8-CD301D4FB831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c26807c2efabfe4028eec4255a13eb24be3d6d8","datavalue":{"value":{"entity-type":"item","numeric-id":4836494,"id":"Q4836494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535681$1DCBE60E-6EBA-448B-ADAA-300D5B22D477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65b3eab8ea5621b62b0ebdf051228ca6c983dd62","datavalue":{"value":{"entity-type":"item","numeric-id":5716591,"id":"Q5716591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535681$C9CF0FF0-3575-4DD4-8BC7-466432A9CAD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b2e31ac893aa29128650b9cc43fa3a6b0fcfb14","datavalue":{"value":{"entity-type":"item","numeric-id":4633524,"id":"Q4633524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535681$04982B36-2072-4700-BD0D-EA1D7D60F558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9e2619d921a90a23a3b4e83cf6d7c062656523e","datavalue":{"value":{"entity-type":"item","numeric-id":2164209,"id":"Q2164209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535681$0F44BAB5-9D18-4EAD-9B0F-1FFE0E3AA957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94843e74cff4f6c0a9c61a11a081fe4a8d98563b","datavalue":{"value":{"entity-type":"item","numeric-id":2828275,"id":"Q2828275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535681$E538BBFC-AF9B-4650-B04B-CBC7070FEF8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d79fae0e490d4de93be67ea5956cf2be9fe74d5","datavalue":{"value":{"entity-type":"item","numeric-id":6487312,"id":"Q6487312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535681$ABE93231-5643-44AE-9640-3F39814F434E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c48c1b5335f38418b8536e609549aea982b5eff","datavalue":{"value":{"entity-type":"item","numeric-id":6488476,"id":"Q6488476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535681$305AACFC-D2CA-4D3E-B95E-CD56CF48E232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9932219303365b4b5720c36b0bda5dfd72a1484","datavalue":{"value":{"entity-type":"item","numeric-id":5370852,"id":"Q5370852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535681$2270C2F1-48DE-4942-BB3B-BF83863FA306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21640ae8e3aa02debe92970cf2184aca918b76e5","datavalue":{"value":{"entity-type":"item","numeric-id":5326318,"id":"Q5326318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535681$45B481BD-6E76-4603-868F-0D0E97904B87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aee35b920b29b4f9dcb2d3243c04d909ecceb6c8","datavalue":{"value":{"entity-type":"item","numeric-id":5900703,"id":"Q5900703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535681$1AC2BBAB-BD59-4F64-85CA-701855F61FFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8ddbb40830c44c06b2cd9a4e3bd65ec2bcddcbc","datavalue":{"value":{"entity-type":"item","numeric-id":2769578,"id":"Q2769578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535681$16C678A9-1B43-488B-A96C-3B6A583A9734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6826931c7fbd099e876410cceeef903bc184e57","datavalue":{"value":{"entity-type":"item","numeric-id":4414726,"id":"Q4414726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535681$B31D728D-C29A-46D8-A78D-BDAE91D1330E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23658341dc791ef695df619485437ec6440f373a","datavalue":{"value":{"entity-type":"item","numeric-id":1509284,"id":"Q1509284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535681$CF4A5999-FC20-46B8-85A9-B4A20EB7009F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4695166b1293068c05dfa98069b650e03db43bae","datavalue":{"value":{"entity-type":"item","numeric-id":852298,"id":"Q852298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535681$A24E7AE4-768D-48EE-9A90-459BA2956EA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0fcd1262ebaeb142ece48b594c05a6eede332ac","datavalue":{"value":{"entity-type":"item","numeric-id":1112337,"id":"Q1112337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535681$3CD97AD1-5B69-4A70-A444-CB915C68D9C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f787411cd150ae479aad18d1dd19610e066110a","datavalue":{"value":{"entity-type":"item","numeric-id":5408556,"id":"Q5408556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535681$DFF96501-6A88-4686-88E9-81B006FECC29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"242981f17c00df13a619d8bfc5459a0605635e93","datavalue":{"value":{"entity-type":"item","numeric-id":4625651,"id":"Q4625651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535681$142A51BB-F23B-4BB0-B4D7-0510F1D1C479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66ddc2eb2c2c7e4de88bf7b1e42e663c1e6cd2d2","datavalue":{"value":{"entity-type":"item","numeric-id":2680877,"id":"Q2680877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535681$F985BC93-EA65-4BEA-986C-6B167031A58F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e051ccf6f9a8344d59965a1ee34c9029be4f922","datavalue":{"value":{"entity-type":"item","numeric-id":5145337,"id":"Q5145337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535681$49AEDAC0-8FA2-49E2-B162-DE5690630603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c1591307efdcfd25c5361ed6b6bc0d30639a1f8","datavalue":{"value":{"entity-type":"item","numeric-id":4650346,"id":"Q4650346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535681$D2828304-0F78-47A8-9284-C8FC8EB6B565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94b5a8fed0ee1cba076830dfc26a1bc4e07bfddd","datavalue":{"value":{"entity-type":"item","numeric-id":5323914,"id":"Q5323914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535681$38CEEC6D-22B7-47D3-860A-426AF26963DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca4c4e10e2a379ac0948dd390415bd76c21bf3d1","datavalue":{"value":{"entity-type":"item","numeric-id":4899140,"id":"Q4899140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535681$1CFD8997-F5D6-430F-A812-9F0901C82597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f21fe6b91a9127407c7e54ae1ade44cee80b24d3","datavalue":{"value":{"entity-type":"item","numeric-id":5383986,"id":"Q5383986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535681$225F2EE3-CF97-4625-B6B9-1F7E47E93692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f035e7ce71fa36b05517fb3b1000527a247baf6","datavalue":{"value":{"entity-type":"item","numeric-id":5901912,"id":"Q5901912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535681$DDEA5342-EB6B-42A1-9768-C76341460BFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42899df5b07f98507ca87f01b80430013eb00ad3","datavalue":{"value":{"entity-type":"item","numeric-id":4315289,"id":"Q4315289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535681$5A2078FF-57A5-4D8D-A547-9CDA81FE49CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7a935eee3bf58ccd898805ad8733a27537e6981","datavalue":{"value":{"entity-type":"item","numeric-id":4285035,"id":"Q4285035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535681$65BABB1A-3C02-470B-B98C-4F937534E296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c89dbab3e6b723e605c6aa70dd1a0838f12ee2f","datavalue":{"value":{"entity-type":"item","numeric-id":859956,"id":"Q859956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535681$66B2DA00-D3A5-44B8-8C4C-36EF78043C0A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"490a1ba5ce4565504568a55927d63dc67436063e","datavalue":{"value":{"entity-type":"item","numeric-id":5145274,"id":"Q5145274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3188f76a64114996b72d03d3d712c910733df4b6","datavalue":{"value":{"amount":"+0.8251330256462097","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":"Q6535681$38AFDDDB-0B95-4C74-91F9-A3C634CAC0F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0994bafde4ee1ee2214f47a7f767115bffadcc3","datavalue":{"value":{"entity-type":"item","numeric-id":1694463,"id":"Q1694463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"700eaa0a6d12cd5b04fa9deec0aa1d2a31e91382","datavalue":{"value":{"amount":"+0.744850754737854","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":"Q6535681$9D1ACC79-28F8-496E-8DF8-37B3C9342BE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11df3ecf814cc37ca91c6203b77a7f48b5a497ca","datavalue":{"value":{"entity-type":"item","numeric-id":1740670,"id":"Q1740670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d491a6a80b19f9947bc6cf121469b834f794a99","datavalue":{"value":{"amount":"+0.7409979701042175","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":"Q6535681$D4726A06-5394-4379-9DF6-B39E90DDA8E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbc1b935c4ef1f7c1db37718510d4922a9cea460","datavalue":{"value":{"entity-type":"item","numeric-id":6109587,"id":"Q6109587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16773df0d85e30009002506a6cb755abfb3af78b","datavalue":{"value":{"amount":"+0.7393558025360107","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":"Q6535681$A7C21FA6-3DF7-44F1-959D-877FE5FD3A17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"373f6a6eb1f549c8a9b9d76b89758cdc113f5ace","datavalue":{"value":{"entity-type":"item","numeric-id":4673428,"id":"Q4673428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3691925b5369c2889176cc66df5b693156761ec2","datavalue":{"value":{"amount":"+0.7341292500495911","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":"Q6535681$38181EAC-8122-4612-9A41-DD509C5F6C68","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535681$918C8999-13D0-4453-BC9B-D794C3C4E726","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"MDPs as distribution transformers: affine invariant synthesis for safety objectives","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/MDPs_as_distribution_transformers:_affine_invariant_synthesis_for_safety_objectives"}}}}}