{"entities":{"Q3056337":{"pageid":3067053,"ns":120,"title":"Item:Q3056337","lastrevid":51128948,"modified":"2026-01-16T20:12:26Z","type":"item","id":"Q3056337","labels":{"en":{"language":"en","value":"Assurance of agent systems: what role should formal verification play?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5815357"}},"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":"Q3056337$7B698E66-011F-4EA8-8EC1-F4A40B2B401F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b3a5d45333124cc280aa13219eef54025168b86a","datavalue":{"value":{"text":"Assurance of Agent Systems: What Role Should Formal Verification Play?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3056337$593D5EC1-50AD-464A-9270-648A42FC7A70","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c9a6bcfd43649340a9735e5ed9f71b2865147faa","datavalue":{"value":"1201.68129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3056337$D41C42B9-CDB1-4472-B13A-ABD5F4B961FB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4618a9d95e3af5a21b4d2a28ef65d6483712dd00","datavalue":{"value":"10.1007/978-1-4419-6984-2_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3056337$BE5BE0F3-864F-439A-8E38-9AEC583B89C7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab15b7afeb6b28893f1e3c50b984feedf04bf804","datavalue":{"value":{"entity-type":"item","numeric-id":702107,"id":"Q702107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3056337$371702E1-4204-43F2-8D18-5811C7ED93DF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7b9423b0b2baca2110a761b9b652ec81a9281b75","datavalue":{"value":{"entity-type":"item","numeric-id":3056324,"id":"Q3056324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3056337$DA709700-FDEB-4C19-982F-EF43DE33F1A1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9da83de86884268e4bb618da2976a0f5979ab1bb","datavalue":{"value":{"time":"+2010-11-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3056337$F8C7A5B6-CC8E-4253-B1A7-CD8FC92A76EF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5e9880dd73db807997e2accf66a53aeac105a575","datavalue":{"value":"http://hdl.handle.net/10523/1102","type":"string"},"datatype":"url"},"type":"statement","id":"Q3056337$DD3143ED-0525-4545-BCB2-7DBD0EB164C9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3056337$A05865F6-88D6-4367-9631-96BDFFF0AD48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3056337$49E2245B-27F7-4D50-808A-70F559551DB5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"50b895e4e7614584a807b4598bf9693653ea5336","datavalue":{"value":"5815357","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3056337$215BCEF7-641D-4A4F-8FB1-254F42699CDD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"371406a043e069d30f6f1d468943360839c2befd","datavalue":{"value":{"entity-type":"item","numeric-id":18320,"id":"Q18320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3056337$7DD93E81-FBA9-49B4-8988-B545706D2C8E","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":"Q3056337$7DA5C23C-7B11-4AE2-B13C-D2235E9D51F9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3420c318d58931644f975a3c36797a428133e315","datavalue":{"value":"W2140779422","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3056337$D90F80E7-89E2-4FFC-B655-D325B62484F2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"079c5801c101f2ecdaa9f9228b0f38eff4f987ed","datavalue":{"value":{"entity-type":"item","numeric-id":5434474,"id":"Q5434474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adcd795f2bd7801bbc3b7502cf8f421e8e709e06","datavalue":{"value":{"amount":"+0.7890328764915466","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":"Q3056337$3363C410-0F0C-418C-B2C8-6994ECFA270B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac0a70c2115cfe1971f412963993b245970eef00","datavalue":{"value":{"entity-type":"item","numeric-id":4536747,"id":"Q4536747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcf8cf6552ee73f8e1ff95cfba0a44299e0a4b19","datavalue":{"value":{"amount":"+0.7423154711723328","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":"Q3056337$78C561AA-33B1-4C4D-8478-095F32AAB553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56a41bd364839a2a7fe17958c3fe5b558bc3b486","datavalue":{"value":{"entity-type":"item","numeric-id":3188235,"id":"Q3188235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7b38fe3a03213f71e1732f7763590553829cc23","datavalue":{"value":{"amount":"+0.7230656743049622","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":"Q3056337$F2D41C66-8FED-49FC-9B9F-89D70569E60F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8ca2bccef6f94ad406cb46da5dea8e9b80cb13a","datavalue":{"value":{"entity-type":"item","numeric-id":4527275,"id":"Q4527275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ce824b390d0086e4e3984fbe2b4de9c8ffd5a3a","datavalue":{"value":{"amount":"+0.7131643295288086","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":"Q3056337$878CF365-C9B9-4B22-AEE5-F31E082F7C36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95dbbc877313a4216c34fcee97d96d3dbe9ce526","datavalue":{"value":{"entity-type":"item","numeric-id":4467046,"id":"Q4467046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58a4fcee2904351c61cb2253d0f5e97974d15d94","datavalue":{"value":{"amount":"+0.7120769023895264","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":"Q3056337$4115275A-DBF6-4210-B16E-2C9536DC01CD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3056337","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3056337"}}}}}