{"entities":{"Q3623975":{"pageid":5653881,"ns":120,"title":"Item:Q3623975","lastrevid":50640929,"modified":"2026-01-14T16:06:52Z","type":"item","id":"Q3623975","labels":{"en":{"language":"en","value":"Specification and Verification of Agent Interaction Using Abductive Reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5547756"}},"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":"Q3623975$35E2CE2E-7518-4B45-8EB8-4571AD47CD44","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1d8ef87d5b68362a8e464eacf55a9a5568cc7a50","datavalue":{"value":{"text":"Specification and Verification of Agent Interaction Using Abductive Reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3623975$ACD95832-895B-440B-B12E-0E73271ECEBC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b396c0e71d40fe8b7a724d6d086fcd67eeaa5167","datavalue":{"value":"1236.68252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623975$DAAEC7F7-6E68-4B85-AB36-2A18475455FD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6f2dca3ed8ef0e1f3947359d1ea557c6dc777c1d","datavalue":{"value":"10.1007/11750734_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623975$7563EAE8-304C-493E-A947-C0212F8D1CD1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2aecda123e52412d7ba195e2fd5ef5568a8e345","datavalue":{"value":{"entity-type":"item","numeric-id":2694615,"id":"Q2694615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623975$6B5C0F35-AE93-42E8-B662-35E1D9306369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e88b0a6982e0cec91b7f35f7ecc941ec13aa573e","datavalue":{"value":{"entity-type":"item","numeric-id":222875,"id":"Q222875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623975$5F3E2859-91DB-4DFA-AF4B-FF618B694E72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"79522d80875e707d0dab6f28d9451bb243141953","datavalue":{"value":{"entity-type":"item","numeric-id":421473,"id":"Q421473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623975$B1DE6E39-AE1C-485F-A115-11774A5E88CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0afff187604e083e0229c3768f1fb98d8d2d59ba","datavalue":{"value":{"entity-type":"item","numeric-id":222876,"id":"Q222876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623975$04844F1C-F5FB-4AC4-811D-F2F67928220D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d9a24074f982cc414cdea1cf903a2494e05e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":222873,"id":"Q222873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623975$D5C6AAD2-3092-48AE-946A-B43DA33745F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"24fe719894250e24cc104bdd22699639c5f039fc","datavalue":{"value":{"entity-type":"item","numeric-id":702113,"id":"Q702113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623975$E25C16B9-442F-4B04-BC38-B0AB0DD84A17","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":"Q3623975$48D53847-AC4B-499B-B3DB-ADCFB9876850","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"962aaad97593dfc1dafb90617b979127f52bb556","datavalue":{"value":{"time":"+2009-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3623975$C00D1E7B-5FCC-4B84-92FC-4CCF2E8FFB5A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623975$812AE183-FC67-4DF8-9120-581E38B6CF64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623975$1E0EBF63-11E3-4AC4-AE0B-43641F60D74B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623975$3D25C4A5-E870-41A2-875C-5A7D99A487C4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af4d5fe03669a10e9ea5617c48c664b78b64a02a","datavalue":{"value":"5547756","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623975$B5EAAE9A-666A-47D7-B393-1EAE4133C98E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"4209fc2b37e4d7e94bec22d8f0f83be9a3916341","datavalue":{"value":"Q57977974","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623975$BBECBCA0-ED07-4CC5-AA2E-CAC649FC3309","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":"Q3623975$CBD8A744-FD1B-424C-AFC4-EC43DB8F7B7B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9fe32879dace4dccd6fc630a09efa472988d27a8","datavalue":{"value":"https://doi.org/10.1007/11750734_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q3623975$2DBA85FA-DDBC-41A0-82B2-1605902DB819","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"914b793859c13fbe5bf1a0a778c0113b35d0c33a","datavalue":{"value":"W1587154142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623975$FC101E8A-833C-4FB4-8DF4-8805C23B9449","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"3204e94905b5db5decd36bf3fe5bcd166848e231","datavalue":{"value":"conf/clima/ChesaniGALMT05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623975$4B3345D0-4B53-4606-A322-2F1AC2247216","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec7c543ca3d8eb1a2611ca5911e0e3654ab88af4","datavalue":{"value":{"entity-type":"item","numeric-id":5464836,"id":"Q5464836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8d9644ba55deead458c0d21ec6852264b7928bc","datavalue":{"value":{"amount":"+0.8064021468162537","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":"Q3623975$543D97C7-51B3-43D7-98F9-7017050E46A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"419b80a3a5169a5984bba87fa69aeabf4091f74f","datavalue":{"value":{"entity-type":"item","numeric-id":5897331,"id":"Q5897331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5dc5ec09d2aa65aede20c277d9a1bd8a1d9dc73","datavalue":{"value":{"amount":"+0.7832053899765015","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":"Q3623975$25ACF2C4-376A-4E27-9278-4C3FB395E9DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de00829c2a1679166910214dd99eddb8b4ed6387","datavalue":{"value":{"entity-type":"item","numeric-id":4414255,"id":"Q4414255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c43bb162f480fab3a11602407a24f56324c1cd7","datavalue":{"value":{"amount":"+0.7818818092346191","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":"Q3623975$15285128-51A2-427B-903B-061B180166E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0c76f0715b40459c111d04d41c4221a27e9a7fe","datavalue":{"value":{"entity-type":"item","numeric-id":2844044,"id":"Q2844044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cba4b7fef4586be23064768bc88c5414028e4c53","datavalue":{"value":{"amount":"+0.776479959487915","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":"Q3623975$4F71C0B1-30E8-4AE9-AF6F-BC35BCD0A5A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd34b354ba0e7ec60893009e6f8c85d9acb892fd","datavalue":{"value":{"entity-type":"item","numeric-id":4549424,"id":"Q4549424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45ce892c0e75e5e3b594526a73a481faf5988dff","datavalue":{"value":{"amount":"+0.7684227824211121","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":"Q3623975$63AC7990-40CD-4B9D-A096-A5FBD2B05B11","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3623975","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3623975"}}}}}