{"entities":{"Q3000379":{"pageid":3011103,"ns":120,"title":"Item:Q3000379","lastrevid":51248375,"modified":"2026-01-17T10:53:03Z","type":"item","id":"Q3000379","labels":{"en":{"language":"en","value":"Verifying agents with memory is harder than it seemed"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5897033"}},"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":"Q3000379$E589D24B-EAAE-4105-841B-46DD83D4BCCB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"51b527fdbb4b057d493f337d565f3dc8e61d936f","datavalue":{"value":{"text":"Verifying agents with memory is harder than it seemed","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3000379$10086B6C-E6E0-41D1-9690-8A63665BC19E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f4fb69717f1059d918d103aadb591243f74a52b8","datavalue":{"value":"1216.68257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000379$994140F5-F232-46B5-BCBC-C166A61E37A4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bd6a97157d467983ac36a761239b0dc1a50d9307","datavalue":{"value":"10.3233/AIC-2010-0481","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000379$5636A8BB-311B-4F05-B299-6CDD7652F42B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"25ff1cf7a8d164a6f0b1ef151149191d50dc7d44","datavalue":{"value":{"entity-type":"item","numeric-id":322074,"id":"Q322074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000379$BDA89E59-E154-415E-8DBB-76B4B0FFE7F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3bc5ca0cdf3d434f2877c83bb14fe1425e818e4","datavalue":{"value":{"entity-type":"item","numeric-id":885522,"id":"Q885522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000379$81F53F06-6F8B-4520-9A25-1382BABF25DA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b0d5ef245f17a6ec236579b9502514ae3fc93c36","datavalue":{"value":{"entity-type":"item","numeric-id":2811219,"id":"Q2811219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000379$2C9CD9F2-7029-4158-9FCC-8879EFBE03AA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"582ddc080e0097b96146009353001f8291010262","datavalue":{"value":{"time":"+2011-05-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3000379$1A0630F3-2741-48CC-88FF-32C0A9ABAE9A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000379$F539E31D-C49B-4F85-A83F-88F4C91A7093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000379$BB21F876-268C-4A2A-860E-0B3257149A2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000379$39CB8EBD-BD74-4B48-80C9-F9511A10D7FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000379$8AE5ADA7-1F2D-477A-BF90-3026DC5BFD5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000379$64F94641-124E-4800-A7FD-08187E4DADA4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9abb56b10d146eadf5f09a102070be9df1c6ec56","datavalue":{"value":"5897033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000379$E43D871D-5CB3-483B-806A-128B616C3666","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b8a6cdf022e043ef375f2ef2be39dfc2c7a5ed2","datavalue":{"value":"strategic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3000379$03DC0FCB-EBA3-49B0-83EB-F4CECAA32DCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3000379$B3F577B8-D68F-4BBE-8282-94A1BD33D9B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3000379$328046B9-9313-43CC-A4D2-6B160EAA861F","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":"Q3000379$0AAA79E3-B8A0-4D3E-B132-57D19209C5F5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"733e09c6518600ef145bb38ffd2611a05d23a80a","datavalue":{"value":"https://doi.org/10.3233/aic-2010-0481","type":"string"},"datatype":"url"},"type":"statement","id":"Q3000379$814B3E6D-3BAC-422A-96C4-F4674940AD3E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dfb1fc98f640aed091c26e057c99fba610764d7c","datavalue":{"value":"W1907048110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000379$ED1C0870-4182-4424-8700-F745E9E4F43C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61d5ae02988cf89fafa847e035f6b40a766c3456","datavalue":{"value":{"entity-type":"item","numeric-id":4992516,"id":"Q4992516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dab4c6e6ca7ce4eb3ce87108e9addb6b171bbcb","datavalue":{"value":{"amount":"+0.8279628753662109","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":"Q3000379$F2F9699D-6B5B-4D33-8523-AD53ABA4401B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e6d6b36f1cdd9e12aa75c2139e1c1312794d065","datavalue":{"value":{"entity-type":"item","numeric-id":2481560,"id":"Q2481560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c25681784deab6ae66e1fe7365e781e3061cfce","datavalue":{"value":{"amount":"+0.8248212933540344","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":"Q3000379$972219D0-B0CC-4506-BDCE-395ECEEA44B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b27f49d6eececad98023bf7bc598e72ddfe6053","datavalue":{"value":{"entity-type":"item","numeric-id":3605522,"id":"Q3605522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"526ee856cd02aedb5e0b34ab30228ed5a6bbc93e","datavalue":{"value":{"amount":"+0.8196095824241638","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":"Q3000379$F359045A-F8D1-477D-9E9C-5A92BD1C9544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a758e31b118fbf79943aa7ff50361510c2d3f0f8","datavalue":{"value":{"entity-type":"item","numeric-id":5758039,"id":"Q5758039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13cb3df69f9271e4b9dd53d3ebd65929f34c2dcb","datavalue":{"value":{"amount":"+0.8169026970863342","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":"Q3000379$C4128631-1B11-4613-9897-944ACBC568BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e587b2b75b9de8c5402f573535c0e2cd217d1b34","datavalue":{"value":{"entity-type":"item","numeric-id":3518283,"id":"Q3518283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d476573b0609168becf6e73ff19ae712385aa50f","datavalue":{"value":{"amount":"+0.8002592921257019","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":"Q3000379$CEF8C9CD-5413-4CE5-BF1E-D77D632552D8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3000379","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3000379"}}}}}