{"entities":{"Q4612415":{"pageid":6641998,"ns":120,"title":"Item:Q4612415","lastrevid":57186339,"modified":"2026-03-27T10:14:52Z","type":"item","id":"Q4612415","labels":{"en":{"language":"en","value":"Two-stage agent program verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7009529"}},"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":"Q4612415$7CBEDF2B-C763-4477-AD49-774E70BD142F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"395b19418a97eb83f26e4459c81196d84e324033","datavalue":{"value":{"text":"Two-stage agent program verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4612415$17108127-AC30-4417-98E2-85A0846014C7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2b378609459207e7290953caafc779d588c9012c","datavalue":{"value":"1410.68221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612415$AF740CAC-487A-49DA-869B-D59B24C376BF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6cff588b238fe649ad35be9c49b1edf5332cb4aa","datavalue":{"value":{"time":"+2019-01-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4612415$10BD2DD4-3408-40C5-98C4-48E5E229321B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612415$1931850C-2AF9-4633-945C-C4F4B3042FD0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"29c38fce6a8292244bec04d52f9f0e92944505cf","datavalue":{"value":"7009529","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612415$D0E4DFE1-8E17-4E98-A988-621E5E2FD9F1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4612415$620A2658-80A0-46D1-A46E-5DCE2B8F3BF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5cc5329b128b70a122e478ccd74f79e65db148cf","datavalue":{"value":"BDI agent programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4612415$2D93A6A4-3C10-4B85-ABB1-35FBA889DC95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56c2a4c294c0c50219d7041b4f79ce486ecb217b","datavalue":{"value":"AJPF","type":"string"},"datatype":"string"},"type":"statement","id":"Q4612415$AD82C336-92C9-4BF3-A525-2617922C332C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"772c4ee50d131f1a35ff4b31da11ffcdcf02c815","datavalue":{"value":"SPIN","type":"string"},"datatype":"string"},"type":"statement","id":"Q4612415$131AC75D-071C-457A-9975-78EE5F6BB9B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90e943ab804171fd158c4b2245bbdf6310b49e37","datavalue":{"value":"Prism","type":"string"},"datatype":"string"},"type":"statement","id":"Q4612415$D5954F58-D593-474F-A3A3-B879DA560380","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"531a52a4ab12ab6e2b5be84834036762ed677445","datavalue":{"value":{"entity-type":"item","numeric-id":13928,"id":"Q13928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4612415$FB040FA4-8414-40F6-870E-84C9320FB36C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4612415$EAE4A7E5-F548-4A33-9060-C4C72D4CAEBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0e08ce1ac46e4dcfa9d24dbe5d8c871a26ae1956","datavalue":{"value":{"entity-type":"item","numeric-id":40213,"id":"Q40213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4612415$F24A576B-CE2F-467F-93E2-6F696ACD6CA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a469e056e11b4eea16feeb44af96914c6c908b81","datavalue":{"value":{"entity-type":"item","numeric-id":40214,"id":"Q40214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4612415$0E40EE7B-1F05-49C3-97A3-C510A7526BDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4612415$EEA32EE4-3C31-4281-865B-3448F7AC41DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cc47147a404ecf949cf86c4e92d2dcc5a8bfafcc","datavalue":{"value":{"entity-type":"item","numeric-id":19680,"id":"Q19680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4612415$E48B7FD2-8ED2-4C5E-8D4D-8B2A11505AD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"af5bf62d73c7ce629c0669b5ccd1badd6d3f9691","datavalue":{"value":{"entity-type":"item","numeric-id":21446,"id":"Q21446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4612415$70372FBE-257C-4A02-B190-B29045A322DB","rank":"normal"},{"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":"Q4612415$A4570952-B5A9-45AB-B199-A2C660BC82F6","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":"Q4612415$52E2AB40-ABAD-4CCB-B11A-BEF317CC0EA1","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"bfef2d06f0d8bce64c9dd7545837c791532fa14e","datavalue":{"value":"Q98283410","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612415$78A381C9-6C0E-442E-9784-3444065FFA9D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bf1342e7e23c431c89439590c7a9e664c71e3a02","datavalue":{"value":"https://doi.org/10.1093/logcom/exv002","type":"string"},"datatype":"url"},"type":"statement","id":"Q4612415$865D3EDA-7672-4653-AF75-2106F2AFF729","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eff79782c8d9df2ce27cf6713f1e90448132dfd6","datavalue":{"value":"W2316566338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612415$8D009A75-AFE3-411E-9FF4-0F704F977CA8","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"c993f34d68c1815c7b42ec270463644b8f32a5d6","datavalue":{"value":"journals/logcom/Dennis0W18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612415$D8601F3C-4EBD-4D99-8246-6FEA06BC076E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ce5293d6d0b5e1f68d16e84b8054950d6a21f1d3","datavalue":{"value":"10.1093/LOGCOM/EXV002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612415$07F0533E-EFAB-4FCB-83FD-16E95DBC3722","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4612415$61BAF80F-156F-4D9B-B950-003DCD2F2157","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d87cd9f434b7b4c50b7b995e8aa9f37379edd85d","datavalue":{"value":{"entity-type":"item","numeric-id":2372188,"id":"Q2372188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2e903f202dfcb769b56a9bb32c0e987090ec8b3","datavalue":{"value":{"amount":"+0.83969986","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4612415$4EA14531-8F57-4D14-8EBF-4D2A14F023F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cf60cfb981d458de9405c70005d360f9aa9674f","datavalue":{"value":{"entity-type":"item","numeric-id":3623976,"id":"Q3623976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7f12bcd92d0124f398f842476038a72fec41c0c","datavalue":{"value":{"amount":"+0.8380134","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4612415$D1B9A45D-687E-448C-BB27-4A28C3600527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4eb14bfc62dd7c3bb337b9836b986e5062b087d3","datavalue":{"value":{"entity-type":"item","numeric-id":3056325,"id":"Q3056325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d2302b56f1a0da31112bd614dce7f7ba6b9a52c","datavalue":{"value":{"amount":"+0.8336263","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4612415$4AECAD0E-8805-4472-A594-2B9A364011E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93faaa9962d10c14d4161abd3ffbcd421cf540b9","datavalue":{"value":{"entity-type":"item","numeric-id":2925412,"id":"Q2925412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ee97a4d49c11cc8e662e5793c2be0a102d364d1","datavalue":{"value":{"amount":"+0.8307162","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4612415$BEE57146-40DF-49F3-9257-81E504188E47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b0dfe6888e8821c28b5b9ddd1301f8fd102ebe5","datavalue":{"value":{"entity-type":"item","numeric-id":1040334,"id":"Q1040334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0f8972d99e7870e7811afa1c1115c4ef6a25ef8","datavalue":{"value":{"amount":"+0.8298577","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4612415$3C9CC76A-A86B-46B2-B2D2-03A20028964A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9193d3cf0f1036b6a677ddb4a040c059f3a09ce3","datavalue":{"value":{"entity-type":"item","numeric-id":4739289,"id":"Q4739289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57c1b6c6305d702649a20b74780c08634acce3ad","datavalue":{"value":{"amount":"+0.8279247","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4612415$4AF81BD8-1D91-449A-8B26-53B4C3632266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ee40760f3b925a19619e686cffdde8727e51478","datavalue":{"value":{"entity-type":"item","numeric-id":253980,"id":"Q253980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"551b326f25f2ba66ae8f334dd7baddbe29fba789","datavalue":{"value":{"amount":"+0.82534885","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4612415$951CD08A-55C8-4B05-9844-CBDF02166DFC","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":"Q4612415$275397B2-7CC5-4940-9626-FA7E3161CD08","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4612415","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4612415"}}}}}