{"entities":{"Q2372188":{"pageid":2382931,"ns":120,"title":"Item:Q2372188","lastrevid":72630690,"modified":"2026-04-14T06:11:07Z","type":"item","id":"Q2372188","labels":{"en":{"language":"en","value":"A verification framework for agent programming with declarative goals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5174339"}},"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":"Q2372188$8763760E-B844-4CF7-92A0-17BA3E37639E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1cf0eb0fe004ea4dd364b145e7f5606fd6517fba","datavalue":{"value":{"text":"A verification framework for agent programming with declarative goals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2372188$CF17DDC5-6144-425B-8002-63112A4F5AAF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d686de1f264956cc8f13a11789f2746e5db9a263","datavalue":{"value":"1122.68078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2372188$7BBD0329-6525-4713-9B20-89CF7FDA7163","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"768ccadf9be517eb9c9fb5c80670a4e733cc36e0","datavalue":{"value":{"entity-type":"item","numeric-id":343910,"id":"Q343910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372188$FB5FD571-23A0-4817-91C8-E11A62BFA504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6539cfadc75d6504ef9c471b16074d64840fa76","datavalue":{"value":{"entity-type":"item","numeric-id":433335,"id":"Q433335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372188$2ADF65D0-16EC-4486-84E3-D8E0E2AADF70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"922b683e07bf3e0e47cd22cde980ffa1e69756b9","datavalue":{"value":{"entity-type":"item","numeric-id":766270,"id":"Q766270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372188$53ADABDB-6D82-443B-A572-762E95CE39F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c4fe77fff21ad74d81092c085b4a78f8093906b","datavalue":{"value":{"entity-type":"item","numeric-id":375309,"id":"Q375309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372188$19F54611-8B38-4A60-B95D-0713C38BC4C4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fd9c858b64e538228c66f00c768fd1506ee71010","datavalue":{"value":{"entity-type":"item","numeric-id":124852,"id":"Q124852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372188$ADF9335F-F6CD-4829-9F48-610BC1FE7B73","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc1c38db5340c04383b1791c03458c798d747c85","datavalue":{"value":{"time":"+2007-07-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2372188$B79E4DDD-40E8-4EDF-A0F5-47BF7DFF711F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2372188$9CBC8456-C881-4C67-850B-8395F9E1BB50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"81ba1a045a2037276aea9aeb7e223aab3c4744ec","datavalue":{"value":"68T01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2372188$E5F2AFF1-1ACC-42FF-A5EA-7DA202B845D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2372188$07351A62-BA43-47E3-8961-CCE898E65BC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2372188$7909C18A-6C12-4607-9A5E-0122DC277AAA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"68e66f6a6c9b10ce9b81f14140a59fb67da59d7f","datavalue":{"value":"5174339","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2372188$1E3590EB-24EF-4721-860F-8204287C27EC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e53e1d9e18581165e74a23c4d98f84166bbc6778","datavalue":{"value":"agent programming language","type":"string"},"datatype":"string"},"type":"statement","id":"Q2372188$97406162-9DCD-4010-B958-45CF78E3C1E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5d7a94f09ba130dd5ebc85564134098e31071e5","datavalue":{"value":"declarative goals","type":"string"},"datatype":"string"},"type":"statement","id":"Q2372188$38AFE5FA-0347-477F-BB28-444915A28466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"453dffe903df1c5b47c9d810948be9e5b7d261b6","datavalue":{"value":"agents","type":"string"},"datatype":"string"},"type":"statement","id":"Q2372188$4A382D3B-34B3-4D53-BDE6-776E5744C0C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"281a2085f554d43e7be5cdfa798de7f16fc7c943","datavalue":{"value":"beliefs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2372188$A0B1AF84-E17D-4D50-A53C-B7CC74599948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b39bcd33ba55d4227ecae1456f6e1430405ab2d","datavalue":{"value":"programming logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2372188$54C6AF8A-BE62-406D-B266-1D6AA2FBB920","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"29bda2af91dca1aa0439166a73b51220c6f30159","datavalue":{"value":{"entity-type":"item","numeric-id":14449,"id":"Q14449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372188$D19827C9-064C-4303-AD30-D5317E52DFD0","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":"Q2372188$CD2C53A9-3967-4C9E-9A1A-7111B865BE9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"17cfe6afe68a54e81dc559ef2cd5a702765207b0","datavalue":{"value":{"entity-type":"item","numeric-id":25375,"id":"Q25375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372188$7CE689AD-8B8F-4961-ACC5-8C60B3B71CF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f0ef2bf8377a0b1024a6bd13b52053a465726708","datavalue":{"value":{"entity-type":"item","numeric-id":32673,"id":"Q32673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372188$25B71731-DF65-48AF-92FB-985FDE818FA7","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":"Q2372188$DDAB9EA3-062C-466D-98AD-F69408FC8117","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"110e6f91670b87942e022e4d7a78ebe20477ed57","datavalue":{"value":"https://doi.org/10.1016/j.jal.2005.12.014","type":"string"},"datatype":"url"},"type":"statement","id":"Q2372188$54B7429C-D1AD-493F-B301-6F300199AFF3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"316ccd769d57be78ef39bf2ee28187f5f9487aa6","datavalue":{"value":"W2133881934","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2372188$70637A29-D0D3-463B-B2D4-021B108F9A4E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a58fd1c1d08ee970b5e620a3f873df3171087eba","datavalue":{"value":{"entity-type":"item","numeric-id":3699670,"id":"Q3699670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372188$9CAE50B5-FFC8-4F2E-8D03-5CA380B4B7EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"475ea5d083fb5bd89962d85a5420e1d194f31549","datavalue":{"value":{"entity-type":"item","numeric-id":4024005,"id":"Q4024005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372188$48A17334-0271-418A-B217-CEAEF1FB5F0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71372fdcb48501c76512b55e87a54968a7919d1f","datavalue":{"value":{"entity-type":"item","numeric-id":3999717,"id":"Q3999717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372188$6CB87AB6-1503-4415-ABA4-440D3B00E7A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"090e4b104dd3f76f7e7cbd674cb41b2227a87ff1","datavalue":{"value":{"entity-type":"item","numeric-id":4692502,"id":"Q4692502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372188$CCB54AC8-2D7A-4C97-B60C-117EE7682C9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e33c87246e1b6e5e51298556a1997b3486676eb","datavalue":{"value":{"entity-type":"item","numeric-id":2640592,"id":"Q2640592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372188$FAD478FE-CBF4-455E-8339-B22DD52DF7DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1265d63b4599a3fae507d9b15943296bbefa977b","datavalue":{"value":{"entity-type":"item","numeric-id":4066568,"id":"Q4066568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372188$6512E954-2C9E-4F2A-B72A-528A6C5CEE34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4d2a1acabc8d0c27a05aa69968baa678ad24687","datavalue":{"value":{"entity-type":"item","numeric-id":1096610,"id":"Q1096610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372188$8F4CB9B1-7F20-4271-8871-A21B3F1739D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4940a5c8bacffcc4a0546f4ddcaab1553ab5cce","datavalue":{"value":{"entity-type":"item","numeric-id":4299011,"id":"Q4299011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372188$9854738E-5430-4AC2-8973-144C6B489D35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed2a635c7014658d2cab77d1a6b57bb75cfd1436","datavalue":{"value":{"entity-type":"item","numeric-id":1583234,"id":"Q1583234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372188$C9EE6CD5-AC5C-4828-BF9D-7FECF1F708A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372188$CF8C1AE6-89F9-466C-A5FC-E55A4950FE9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"174e3f2701a2bacd196e2d244539c0776079d382","datavalue":{"value":{"entity-type":"item","numeric-id":4858037,"id":"Q4858037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372188$9830ACBE-1C54-4D08-82B1-7D3286653BD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7a654f80327e02efb99f2503a4dbf4ca42d7dea","datavalue":{"value":{"entity-type":"item","numeric-id":1978378,"id":"Q1978378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372188$FEBB9B13-D971-42DB-BD58-D387D08AE172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16238b7b305e47995299b7fa143b7b717b5deffc","datavalue":{"value":{"entity-type":"item","numeric-id":4692665,"id":"Q4692665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372188$CF3610E7-6897-4100-91B1-DD3669321DFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c22b4c14406a61f28f8d6bf23209bb95e38f7ccd","datavalue":{"value":{"entity-type":"item","numeric-id":4843187,"id":"Q4843187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372188$7550E7F3-6F83-4A46-B17E-368C9D585DF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81fcc21f475e4cefd7deb8788c91767f5d25ca37","datavalue":{"value":{"entity-type":"item","numeric-id":4833778,"id":"Q4833778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372188$6CE2E4CA-466F-4DD8-AF7D-C62F4701CF65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5928ca97ace327cffa5b882a82a19effebafcda0","datavalue":{"value":{"entity-type":"item","numeric-id":4511252,"id":"Q4511252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372188$4E2E7DC9-DEF6-4760-AB4F-282F23367938","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"09ee83948f79f4afe10cfd3a514f76a3c9ec4f6e","datavalue":{"value":"10.1016/J.JAL.2005.12.014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2372188$ABC54D66-61B4-4566-B67A-D67931724814","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d1467e655fe777968ddb7d1f7f78f0af9b3f75d","datavalue":{"value":{"entity-type":"item","numeric-id":3056332,"id":"Q3056332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b391901ef8164359c85ce7400fb1686683c892d","datavalue":{"value":{"amount":"+0.9287752","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":"Q2372188$8FFFF042-1912-4EC2-9AEA-0F1F50D3E889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7045bb978c7f95ee7d6b2a568492f83c30c542be","datavalue":{"value":{"entity-type":"item","numeric-id":4473080,"id":"Q4473080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2381bf73eea0519b049b9f474bd635af36342802","datavalue":{"value":{"amount":"+0.90539515","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":"Q2372188$2C4DA001-7F63-4687-AAF5-F82654F61677","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":"4e13e917bf4c51d30057a650b34057d3c8940770","datavalue":{"value":{"amount":"+0.89424145","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":"Q2372188$A8F2C17A-D303-41F2-BD67-C08CFF71C463","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":"8b55ce39a361067ed582b0b31e9be7fc8feafda4","datavalue":{"value":{"amount":"+0.8664726","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":"Q2372188$0FA8AE12-A003-4336-8F1B-6E03F2DBDBD4","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":"ada9931fa3b956bd2653ceb95d2bd1f477c46f7c","datavalue":{"value":{"amount":"+0.86592656","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":"Q2372188$CA98B7BE-9131-4BFB-98FF-8B2D9D9F459E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"796541e19ed0f056e0d5135a8775b0d6b1f2a825","datavalue":{"value":{"entity-type":"item","numeric-id":5706839,"id":"Q5706839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ff13bbef46fcc7e033811dc71ad657f11fbd495","datavalue":{"value":{"amount":"+0.86437494","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":"Q2372188$16E9A402-B804-4260-A504-093083A968E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df56e80dcca1d3e4a46feaaa5a7f9e76f61b9232","datavalue":{"value":{"entity-type":"item","numeric-id":3166991,"id":"Q3166991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6431faee5fdc85a73c0a4c13cd85e11e2aa5e35f","datavalue":{"value":{"amount":"+0.86314553","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":"Q2372188$B1789F1B-4680-47B2-A15D-C7FAE1257A11","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A verification framework for agent programming with declarative goals","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_verification_framework_for_agent_programming_with_declarative_goals"}}}}}