{"entities":{"Q2583540":{"pageid":2594283,"ns":120,"title":"Item:Q2583540","lastrevid":48634036,"modified":"2026-01-05T11:05:30Z","type":"item","id":"Q2583540","labels":{"en":{"language":"en","value":"On the verification of qualitative properties of probabilistic processes under fairness constraints."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2247928"}},"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":"Q2583540$B08F872C-B2E9-424C-9DB4-F56714F7AF13","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cd82c8215cedef4b567e2475e0bae87619c70c37","datavalue":{"value":{"text":"On the verification of qualitative properties of probabilistic processes under fairness constraints.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2583540$6988A609-D484-4DF1-A303-2A27027BC86B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b1a909893499f1ab97690a7dc69197ff6a8172d4","datavalue":{"value":"1078.68664","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2583540$EDDE7CAE-E112-43EC-9661-930699E91C4A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4612db31292df844af84ae787712302773320044","datavalue":{"value":"10.1016/S0020-0190(98)00038-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2583540$8B0674D1-1754-4840-A419-F22238AA4B36","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"46e921d835845969ea465c2330db5171d968f1ff","datavalue":{"value":{"entity-type":"item","numeric-id":436314,"id":"Q436314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2583540$965E5598-7602-4B3F-B07B-7BFED8BD3AAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9491c0a0f4df059e837824eca71ad92c31ba0be2","datavalue":{"value":{"entity-type":"item","numeric-id":278754,"id":"Q278754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2583540$83A2AA9C-E69E-419C-B186-633D32CEBF77","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2583540$E1568907-159F-4F60-94CC-416173661EBF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b4df1b8b5707fc4a42b8f50fc6476f3b8f097b1e","datavalue":{"value":{"time":"+2006-01-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2583540$36343BF4-803A-45EF-B299-66B54D3AD16D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2583540$512BC37C-6F9C-493D-A004-A854D30A1DC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2583540$B4D4C346-B71F-4095-83B3-CDE9470AEE66","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"01d93dd4178345e76382d01b03b0cd724aa4deeb","datavalue":{"value":"2247928","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2583540$7661D640-360E-4403-A314-6E252287F5E6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed20754726814593f955303c5797338e8d266877","datavalue":{"value":"Probabilistic processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2583540$AE623F94-0823-4B99-BE37-7923049CAA62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68be6715570c298de2f7dfb5b1baeb889a9c5942","datavalue":{"value":"Verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2583540$3143B85B-15E9-46B4-B1FF-3B5D663A9533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87621db073afd2f46ccfed001782722f08bdab2a","datavalue":{"value":"Fairness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2583540$E2CF74C0-56AB-4BCC-8CA6-7F0A1D645F7F","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":"Q2583540$3A893A7B-F1A6-4E33-BF7F-EF9D934FB741","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3394b77eec107b905563ae3b7de38349fb3b8401","datavalue":{"value":{"entity-type":"item","numeric-id":4036557,"id":"Q4036557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2583540$298FAAF1-B750-42EA-922C-7D6F1EC06FEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c321453b0f983f90188afe93371af650492014ce","datavalue":{"value":{"entity-type":"item","numeric-id":2583540,"id":"Q2583540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2583540$B99EA3B7-F91D-437E-9CF6-ED96EEF1C6B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"088b32c44048c251fc5ff6645f61a3bd446aa88f","datavalue":{"value":{"entity-type":"item","numeric-id":4222911,"id":"Q4222911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2583540$B5F51CA1-39B3-49EE-99DB-AD4FA68F06EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ce71a5e212a8c5cd65d66580e9075eb5aa319ca","datavalue":{"value":{"entity-type":"item","numeric-id":2956706,"id":"Q2956706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2583540$4618BC62-E93A-4CB5-A87B-D27C397C6BD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4671ba8a140affae8061cb60ef71467705a88ee7","datavalue":{"value":{"entity-type":"item","numeric-id":4256644,"id":"Q4256644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2583540$D2C00DF3-CCFC-425E-8165-D1BC378832ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"015cd53333891e4bd79b629bebe5f35ba7a7263e","datavalue":{"value":{"entity-type":"item","numeric-id":3738540,"id":"Q3738540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2583540$D846F60E-22AD-480D-A18C-7E186A05807E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c038b8dac9451f007d0167ee6a8b5f37a4c69a0a","datavalue":{"value":{"entity-type":"item","numeric-id":1898113,"id":"Q1898113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2583540$CF65A42E-B3C4-4FD4-AE87-7B600B548A94","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":"Q2583540$DE99664E-E4A9-4E09-88D7-42DB90A2256D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2e80321a5b901dd6bcf10e15a0ea7c4a4a661ba","datavalue":{"value":{"entity-type":"item","numeric-id":4749184,"id":"Q4749184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2583540$4C2E4349-1577-4EAA-A77A-11AA46C47655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ffbb2a00ae3c06220852f238ea41cfa8cb8aa4","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2583540$3079A651-9F97-458C-A6B6-ECDC6B908E91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3261cf7e2174b332e3482b23b1e1c76c1020c488","datavalue":{"value":{"entity-type":"item","numeric-id":3922147,"id":"Q3922147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2583540$14BF09AC-FFC5-4C6C-B7A7-1574B7767025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4c9a168cfecebbdce77004f3cafd3d6265c7163","datavalue":{"value":{"entity-type":"item","numeric-id":3674620,"id":"Q3674620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2583540$F51B0B17-D1BF-48FB-9C23-342EAA375F8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79c327d54b89f1d9396d01a5c0a7b87dc33721b9","datavalue":{"value":{"entity-type":"item","numeric-id":1079944,"id":"Q1079944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2583540$42628ED1-9BEC-4DF9-9BB3-3E2C637ADC9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"288242718e3c927db37f8dbbb0c11f4c7a610e5e","datavalue":{"value":{"entity-type":"item","numeric-id":1803654,"id":"Q1803654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2583540$C343A942-88A6-4ED9-8477-4291A036FF80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66e0a5ea99878fcbdbb6bb9b18eb9fce9101e415","datavalue":{"value":{"entity-type":"item","numeric-id":1166926,"id":"Q1166926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2583540$1F3257FE-0A82-497B-A07D-36B3303D92DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e54edf4f219cc341320e452ee26091fbc705bf28","datavalue":{"value":{"entity-type":"item","numeric-id":1343865,"id":"Q1343865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2583540$A6038224-2FB1-484D-8D65-7413BA6D93C8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5212f68e8645da8a27a86a5b0e704c2aa6214dd5","datavalue":{"value":{"entity-type":"item","numeric-id":5137353,"id":"Q5137353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4f7aea49dc4a51a1423bf9bc35e6f170d885f38","datavalue":{"value":{"amount":"+0.8349342942237854","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":"Q2583540$9CA39C16-3068-4F6C-B18E-E8F5FFB4F266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1e828a88cc083488162102a330c1132056f4f76","datavalue":{"value":{"entity-type":"item","numeric-id":3396595,"id":"Q3396595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bed6a4da77b546cb4230c0c9d62e2faa1b63b3d","datavalue":{"value":{"amount":"+0.8191789388656616","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":"Q2583540$532ED149-9104-43B4-BD68-B22F0A00436A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe1e80ecf7e6d5c1e1b62c24df761dfd31a0b808","datavalue":{"value":{"entity-type":"item","numeric-id":3648696,"id":"Q3648696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bcbab90c3718058507908a7198bd3614ae58d6c","datavalue":{"value":{"amount":"+0.8158108592033386","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":"Q2583540$60BE7773-7BC4-4573-8732-F1DD24F6ACA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e96afd576058b65aa7927fccab4a9227a917d7ff","datavalue":{"value":{"entity-type":"item","numeric-id":5395684,"id":"Q5395684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eefd0994154114ea4a675a66c3e1a930361fd7cf","datavalue":{"value":{"amount":"+0.8118726015090942","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":"Q2583540$B8875A33-0CDB-4ED2-8C9A-D066CC278921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af4caec9da3c75f208928bb12a2ae26df880fe2f","datavalue":{"value":{"entity-type":"item","numeric-id":840697,"id":"Q840697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a7e04abce0fea9519b3d60c24adaac03ab7fb4a","datavalue":{"value":{"amount":"+0.7954405546188354","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":"Q2583540$C26F782F-75D3-4409-951C-3C9803F64C9B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2583540","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2583540"}}}}}