{"entities":{"Q6546442":{"pageid":14157596,"ns":120,"title":"Item:Q6546442","lastrevid":95751035,"modified":"2026-06-05T09:42:06Z","type":"item","id":"Q6546442","labels":{"en":{"language":"en","value":"Multi-agent verification and control with probabilistic model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7855852"}},"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":"Q6546442$E35545D1-6CAE-4254-B268-358039519F90","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1de1b1614d0b4745c2570fd3791ce7ff33ab4ae2","datavalue":{"value":{"text":"Multi-agent verification and control with probabilistic model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6546442$8F0C6C57-FE11-4B66-9B6A-D5EF62A2D1B0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ab2d26f270a50f0f4adf3a4b2128972db6b07fbd","datavalue":{"value":"10.1007/978-3-031-43835-6_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6546442$926E25F1-4002-442A-8E5B-4CDF92190EF9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bb59c023eb1ef5529536baede1d4d9c62465c33","datavalue":{"value":{"entity-type":"item","numeric-id":4139715,"id":"Q4139715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546442$3848494A-1ACF-47DA-812B-EB47DC945C79","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c775b7be76488bf652b31b8283b5e517156ef32","datavalue":{"value":{"time":"+2024-05-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6546442$5D5DE808-3675-494B-90B5-38EE18274670","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6546442$BBF3174C-5BA2-4E60-B227-04CC27CD9DE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6546442$E6D496C9-1744-4435-A4F0-C60DFF79AFD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8f34675a74b150d19473221b06b085ebc8156162","datavalue":{"value":"91A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6546442$2B2E0D72-EB99-4D09-809C-6ABC93DCB9CC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4f046e20ad9ed123636e9a5bb5b3897dfa406ac1","datavalue":{"value":"7855852","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6546442$F3D553EF-A221-4406-984B-10FBD7A4C9D8","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":"Q6546442$A7F7D36D-DCB6-4E06-8E0A-C60851475ED1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d969bd9e9070eb4e4b53be99bf5557f5f64d3d3","datavalue":{"value":{"entity-type":"item","numeric-id":3455546,"id":"Q3455546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546442$AFF4B977-EED5-4F8C-A5B0-F076FF99EEAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4943f4466b49bd467d99530da9732a46d4d2372","datavalue":{"value":{"entity-type":"item","numeric-id":1641028,"id":"Q1641028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546442$11C28442-14B2-443C-A772-A9C5CD162FAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a860092cae4ad4c5ee631c0a98f0a7ee7f9c9d0","datavalue":{"value":{"entity-type":"item","numeric-id":3241581,"id":"Q3241581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546442$91674080-92C8-4A26-9EF6-D69A083482E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f797173b5b805e966fa2d55f1bc3618dd306318","datavalue":{"value":{"entity-type":"item","numeric-id":414898,"id":"Q414898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546442$F642F118-D8CD-459E-B9CB-E278DA7D5C84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9906c5d717d47d4806529740bb94b92cc109d45c","datavalue":{"value":{"entity-type":"item","numeric-id":2226751,"id":"Q2226751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546442$134E8BBB-5B53-496B-95AF-AB27FA040A15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e132eb6e4129ec3907e531e05dd7650eccf8ac77","datavalue":{"value":{"entity-type":"item","numeric-id":2248068,"id":"Q2248068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546442$4E257635-25D1-45E0-96D1-60514C8D28E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"009bc0f83eb006cba9e73c0e8b7538dc61c10ddd","datavalue":{"value":{"entity-type":"item","numeric-id":2672267,"id":"Q2672267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546442$FA1B3B71-0046-4212-ACD0-410E6F5BC2F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5142ee1d620d0b4118f77836a47316b18c6d1122","datavalue":{"value":{"entity-type":"item","numeric-id":4382287,"id":"Q4382287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546442$9408CC7C-3EC8-4EBA-8781-37FC70C5AA15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48fba66f06343e4c00142e4d486316c6b3354a32","datavalue":{"value":{"entity-type":"item","numeric-id":6104810,"id":"Q6104810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546442$C3C7B71A-F4FF-4576-ACCE-1EE3E597A518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83a0a14d870005f48235ffe3de19556efa14c292","datavalue":{"value":{"entity-type":"item","numeric-id":2105472,"id":"Q2105472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546442$4BB8B3DB-62B6-47EE-9EB4-B4444B3039A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a3d85602cf55efc0ff082d25991b50c39910549","datavalue":{"value":{"entity-type":"item","numeric-id":2147696,"id":"Q2147696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546442$0614FBA8-C288-415E-9EE9-7062D766DC2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b711123622a0e3f8073545eeafb2b835d379121","datavalue":{"value":{"entity-type":"item","numeric-id":6535606,"id":"Q6535606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546442$1E7DD220-E9BD-4036-A2FB-C7AAB8F7C49B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf76b91a3a8a16d0409c3637d5ae449c9020c74b","datavalue":{"value":{"entity-type":"item","numeric-id":6113986,"id":"Q6113986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546442$E230FB63-4304-452B-B6BC-AA9E6F80E756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa4147b894cc9ce75853108ec8ca9896a72c6037","datavalue":{"value":{"entity-type":"item","numeric-id":5335815,"id":"Q5335815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546442$A1EB07C0-35A1-4E7C-BC82-4E9CC4466B15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85a9d53d0c32ae8e12d976609959f0678ec4bf3d","datavalue":{"value":{"entity-type":"item","numeric-id":2124442,"id":"Q2124442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546442$7986751A-1C55-4504-A559-3C7E9053F617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17e0e65bc0258e3fb24301d38f9385a7e4dd4333","datavalue":{"value":{"entity-type":"item","numeric-id":5820908,"id":"Q5820908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546442$A8843C16-46AC-4D56-ACE8-63535E24713E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efe2eb4f871e854d18e3b7b4df71ab520ded5172","datavalue":{"value":{"entity-type":"item","numeric-id":6535956,"id":"Q6535956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4333776c9d87bcb24ca376cd9ebacba310991f1","datavalue":{"value":{"amount":"+0.8042096495628357","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":"Q6546442$F7227F34-B279-4976-AAAB-D790F9957B04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80807254c18f10732710c211898218b99f113946","datavalue":{"value":{"entity-type":"item","numeric-id":5166673,"id":"Q5166673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30eaaf6d99728feab7cc269bffff18c23e9a2d44","datavalue":{"value":{"amount":"+0.7862839102745056","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":"Q6546442$8FBD9374-A4AB-4744-94B7-CA059BA8B383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9b89b736728fceede5150e339e01484a9c9df95","datavalue":{"value":{"entity-type":"item","numeric-id":407511,"id":"Q407511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b77d4c23885e1d6161aff8c644856750b3028246","datavalue":{"value":{"amount":"+0.7798482775688171","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":"Q6546442$A968E9C0-D6FC-4585-9314-5BD5CBB9AB25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c38df574bcda4459ff8af7b227358dc29f7cc426","datavalue":{"value":{"entity-type":"item","numeric-id":4598136,"id":"Q4598136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7dcefe4b68c307d93de940e1463fcbe74d7f453","datavalue":{"value":{"amount":"+0.7798392176628113","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":"Q6546442$67E78BB0-655A-4EF9-B8C5-CDA8D0EBCDF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e98e9a8c1c8cb2d5abc6a2ca591b07594f66b7e","datavalue":{"value":{"entity-type":"item","numeric-id":386007,"id":"Q386007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a2b5cc67e5bcfdb4690be48c7e779d1ce3596ca","datavalue":{"value":{"amount":"+0.7762837409973145","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":"Q6546442$42F9973A-DAD6-42AE-B727-528407748259","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Multi-agent verification and control with probabilistic model checking","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Multi-agent_verification_and_control_with_probabilistic_model_checking"}}}}}