{"entities":{"Q59477123":{"pageid":59378487,"ns":0,"title":"Q59477123","lastrevid":2215571490,"modified":"2024-07-29T16:22:24Z","type":"item","id":"Q59477123","labels":{"en":{"language":"en","value":"Model checking learning agent systems using Promela with embedded C code and abstraction"},"nl":{"language":"nl","value":"Model checking learning agent systems using Promela with embedded C code and abstraction"}},"descriptions":{"nl":{"language":"nl","value":"wetenschappelijk artikel"},"uk":{"language":"uk","value":"\u043d\u0430\u0443\u043a\u043e\u0432\u0430 \u0441\u0442\u0430\u0442\u0442\u044f, \u043e\u043f\u0443\u0431\u043b\u0456\u043a\u043e\u0432\u0430\u043d\u0430 \u0432 \u0447\u0435\u0440\u0432\u043d\u0456 2016"},"de":{"language":"de","value":"im Juni 2016 ver\u00f6ffentlichter wissenschaftlicher Artikel"}},"aliases":{},"claims":{"P356":[{"mainsnak":{"snaktype":"value","property":"P356","hash":"e5bb012c1ef15d731c805a08b4dfcf1fba950f1c","datavalue":{"value":"10.1007/S00165-016-0382-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q59477123$D2DEAA65-686D-42BD-8CCF-E36A44239ED1","rank":"normal"}],"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"29465f78f13add11b617f0de4ade56cd1122c19c","datavalue":{"value":{"entity-type":"item","numeric-id":13442814,"id":"Q13442814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q59477123$76544381-6BB2-43D1-97E7-938784A28E5F","rank":"normal"}],"P1476":[{"mainsnak":{"snaktype":"value","property":"P1476","hash":"55bc7f4ec976122da2d0a3af86d9f280828e94b7","datavalue":{"value":{"text":"Model checking learning agent systems using Promela with embedded C code and abstraction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q59477123$F222A36D-F78B-447F-B60F-342E07FCF2D5","rank":"normal"}],"P433":[{"mainsnak":{"snaktype":"value","property":"P433","hash":"d1661592d72f9489a6843e1b2291131a10a7fbad","datavalue":{"value":"6","type":"string"},"datatype":"string"},"type":"statement","id":"Q59477123$7C763250-EE8D-4520-95FA-38804519D264","rank":"normal"}],"P304":[{"mainsnak":{"snaktype":"value","property":"P304","hash":"20cc1675d5c628e6220281b17cb22d336f74db7d","datavalue":{"value":"1027-1056","type":"string"},"datatype":"string"},"type":"statement","id":"Q59477123$F4B68ED7-4D48-4176-BEFF-967C7D1624A3","rank":"normal"}],"P478":[{"mainsnak":{"snaktype":"value","property":"P478","hash":"725d3cd00fb2aa6a52597bc21107ec4155b9acc1","datavalue":{"value":"28","type":"string"},"datatype":"string"},"type":"statement","id":"Q59477123$B53104CD-5D84-4C36-AC69-E51500F35407","rank":"normal"}],"P577":[{"mainsnak":{"snaktype":"value","property":"P577","hash":"aaa6727200fac90fc160b20008f4d3b82ab71898","datavalue":{"value":{"time":"+2016-06-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q59477123$BBEA8F2C-F8E4-4E6B-8DC2-6DA0AAD7645C","rank":"normal"}],"P1433":[{"mainsnak":{"snaktype":"value","property":"P1433","hash":"bfa4250cd38d7b34c0cabf97d1c471c7f33e73a4","datavalue":{"value":{"entity-type":"item","numeric-id":5469945,"id":"Q5469945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q59477123$CC12D07B-7D74-4CAA-8011-FE6F90700FF5","rank":"normal"}],"P2093":[{"mainsnak":{"snaktype":"value","property":"P2093","hash":"3ccf36ad04f33cdbdd4f19a806ba5a2d19173231","datavalue":{"value":"Ryan Kirwan","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"2a1ced1dca90648ea7e306acbadd74fc81a10722","datavalue":{"value":"1","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q59477123$14E9FDF2-32D4-4879-A9A7-AA915BE2C826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P2093","hash":"e2c70f8986983e71dbb7bac965cbbe798951e207","datavalue":{"value":"Alice Miller","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"7241753c62a310cf84895620ea82250dcea65835","datavalue":{"value":"2","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q59477123$86C61D68-1544-4A9C-9932-295ED03DCE0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P2093","hash":"58f358499c09a464d5a5e09acafa987afa0592a3","datavalue":{"value":"Bernd Porr","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"0e979f28bf306fefdcd352b4eb8dee5da2153a6d","datavalue":{"value":"3","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q59477123$B467036E-A82A-48D8-BC4F-272177337E5F","rank":"normal"}],"P8978":[{"mainsnak":{"snaktype":"value","property":"P8978","hash":"eb43d4e1754c63cb1dfda2e8b3f580704d6553f4","datavalue":{"value":"journals/fac/KirwanMP16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q59477123$6ECDAE54-0F4D-45E7-B5F1-58F5F851371B","rank":"normal","references":[{"hash":"d88fbec0cac4521f90a250c57f1a64d2343d70bf","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"bbb16bcda319d1e785962e87a501c58b95f0519d","datavalue":{"value":{"entity-type":"item","numeric-id":105160373,"id":"Q105160373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P813":[{"snaktype":"value","property":"P813","hash":"c86a671b50b0f3f6bb9776680e9ffd2db39c1bc1","datavalue":{"value":{"time":"+2021-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P248","P813"]}]}],"P275":[{"mainsnak":{"snaktype":"value","property":"P275","hash":"d88af718aa8a9dfc24195b73bf4f597bc66c46c3","datavalue":{"value":{"entity-type":"item","numeric-id":20007257,"id":"Q20007257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P580":[{"snaktype":"value","property":"P580","hash":"1b272f983354bed39ab3aece039dd65ae6ef25ec","datavalue":{"value":{"time":"+2016-11-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"qualifiers-order":["P580"],"id":"Q59477123$defb7a7e-5210-46b1-a094-da4cdd8249dd","rank":"normal","references":[{"hash":"3a5a79d5f9f1c400e34ea860836aa86a6d7a2b15","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"8c99cde9c9a975090e642283ce4937f9cf3818a4","datavalue":{"value":{"entity-type":"item","numeric-id":115868162,"id":"Q115868162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P248"]}]}],"P6216":[{"mainsnak":{"snaktype":"value","property":"P6216","hash":"5570347fdc76d2a80732f51ea10ee4b144a084e0","datavalue":{"value":{"entity-type":"item","numeric-id":50423863,"id":"Q50423863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q59477123$073931ee-7378-489f-aced-150496b602c0","rank":"normal"}],"P894":[{"mainsnak":{"snaktype":"value","property":"P894","hash":"b3b32affd9b6de3b35417772c21b1a3b97735e2e","datavalue":{"value":"1348.68250","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q59477123$475B9A34-AF5F-4DB5-BCCE-B02493E9ED8A","rank":"normal"}],"P6104":[{"mainsnak":{"snaktype":"value","property":"P6104","hash":"a27c5fdb35b42381f12b2a603711e56d98dd77fd","datavalue":{"value":{"entity-type":"item","numeric-id":8487137,"id":"Q8487137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q59477123$38FFA927-8ADE-47DC-82E4-1029B7288E6B","rank":"normal"}]},"sitelinks":{}}}}