{"entities":{"Q6190087":{"pageid":13324975,"ns":120,"title":"Item:Q6190087","lastrevid":98790530,"modified":"2026-06-05T18:29:41Z","type":"item","id":"Q6190087","labels":{"en":{"language":"en","value":"Formal modelling and verification of probabilistic resource bounded agents"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7800199"}},"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":"Q6190087$78716567-A5E9-40AB-ACD4-350DCF36A44D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9bce021d395f0ebf2cf3e3114f466df1be36104b","datavalue":{"value":{"text":"Formal modelling and verification of probabilistic resource bounded agents","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6190087$C73E8C6D-84AA-4BBE-B388-A99C0CCFA5B7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f31cbb69d992932609412c99f70ead74ade8028e","datavalue":{"value":{"entity-type":"item","numeric-id":514141,"id":"Q514141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6190087$463B18B5-087C-4BB0-9BBD-C25D9712AD5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"900a92e2bedf37e0464f76b64291234d7518d0d9","datavalue":{"value":{"entity-type":"item","numeric-id":1036065,"id":"Q1036065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6190087$54110D53-D83D-4D79-AF2A-AA6BD2913199","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"147edfc9dddd5bbefb3ef0a24d334c7da90bbf45","datavalue":{"value":{"entity-type":"item","numeric-id":195246,"id":"Q195246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6190087$4F94B26A-7975-4018-978F-B42783DDED47","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ddc536a77b5abf6ca8dc6c14f526e73c6ecff903","datavalue":{"value":{"time":"+2024-02-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6190087$85A5202B-B5C6-4535-929E-BAD90CD97401","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6190087$76F6514C-17EB-41DC-A3FB-C7DC42A3004F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6190087$B9B716A6-E95C-4B82-A4E3-D764B2B7D54E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"16c692ba7a57a3d303ed80fca1514d44839fe4d0","datavalue":{"value":"7800199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6190087$05582106-6B49-4C98-B238-39829E6A2780","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07a823f53658b8093a9e4e8d05047a6a2a3ca845","datavalue":{"value":"logic of resources","type":"string"},"datatype":"string"},"type":"statement","id":"Q6190087$AE8F594F-429B-46D7-B7B6-8DF37AA086D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1ae521718438d9dae164938ac201015537dd61f","datavalue":{"value":"alternating-time temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6190087$22E258C4-23C9-4F3E-9045-73F46A8D8AED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"639912d39561777c9f24eec80a9240f4cb2e5c52","datavalue":{"value":"probabilistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6190087$18067EFB-C0B4-48A8-B3B2-50F184225165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8cfb635100bcc8a85463e6beac1ce534f15033d","datavalue":{"value":"Markov decision process","type":"string"},"datatype":"string"},"type":"statement","id":"Q6190087$087AE164-56E2-4A2C-91C4-ED901FE11C0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65c3b98487eb404131cfd6dc457f97f412fed996","datavalue":{"value":"multi-agent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6190087$1D21FCFD-6AFA-4826-ACC4-90A1090DE7DC","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":"Q6190087$D0CB9376-F44C-441F-AD5A-DF14EC644C7A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"13976e81712c7677f91e6e333088b23eee4545d9","datavalue":{"value":{"entity-type":"item","numeric-id":834401,"id":"Q834401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6190087$CB28D8BE-D23E-497D-9664-BC0B922AE7FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ad1468a92fee3fd9075afd970a448a580e20b4d","datavalue":{"value":{"entity-type":"item","numeric-id":4612421,"id":"Q4612421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6190087$4C43C9DD-E06B-4702-BF5D-6A7352C9A01F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"850426d5d369e8c311520c5bfefeeb05450eb043","datavalue":{"value":{"entity-type":"item","numeric-id":5915568,"id":"Q5915568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6190087$AC580EEC-59AD-4FD5-85EB-47151EB24C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20ead61db802ad1c0783d59938a8599fe136603f","datavalue":{"value":{"entity-type":"item","numeric-id":3103974,"id":"Q3103974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6190087$BC6F9441-2C54-4CD8-A1EA-B154DBD86350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"769eb075a8591fedeeeb48d88649ad25436ce9a2","datavalue":{"value":{"entity-type":"item","numeric-id":3655213,"id":"Q3655213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6190087$0124AAF9-8698-4B03-8C35-205CEE36C694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d969bd9e9070eb4e4b53be99bf5557f5f64d3d3","datavalue":{"value":{"entity-type":"item","numeric-id":3455546,"id":"Q3455546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6190087$53624111-1911-4B2D-829F-F9A9AA91EC6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6190087$965418BE-77DD-4B98-ADE5-95C64A26E925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"061ceb32f196efab4e3492cc20506efef48ae10b","datavalue":{"value":{"entity-type":"item","numeric-id":4270055,"id":"Q4270055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6190087$E7A31605-C418-4A0E-A142-7E6775368AEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c85ab7363a12934a25cfe5128f1e624ed339dce5","datavalue":{"value":{"entity-type":"item","numeric-id":2238736,"id":"Q2238736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6190087$1F565D10-FE7C-4553-A1AE-C6B8ACB7BFD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ce71a5e212a8c5cd65d66580e9075eb5aa319ca","datavalue":{"value":{"entity-type":"item","numeric-id":2956706,"id":"Q2956706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6190087$40D276F3-E9C9-4312-B5D1-A09C66BECA4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"316651779c62cd2c64d803fb7190454c88ee5d9b","datavalue":{"value":{"entity-type":"item","numeric-id":3794956,"id":"Q3794956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6190087$23F29C17-5685-4B49-B383-CD00E7181259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f86e9908c5f6dd9a800c61e26a2445758daac9f","datavalue":{"value":{"entity-type":"item","numeric-id":3055669,"id":"Q3055669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6190087$32EB6D86-9B36-45A1-BF89-CF1D93DD74F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fa9a404b059d8fda8df0c5b1ed2675d4ad3d104","datavalue":{"value":{"entity-type":"item","numeric-id":5192925,"id":"Q5192925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6190087$7415E5E9-2AA2-476C-92A7-FDDCB5031824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e132eb6e4129ec3907e531e05dd7650eccf8ac77","datavalue":{"value":{"entity-type":"item","numeric-id":2248068,"id":"Q2248068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6190087$3C67F988-D595-4148-B28B-84660F5ED5C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c14bc875c66ff52b141cf21722a24492eadfc8a","datavalue":{"value":{"entity-type":"item","numeric-id":2825419,"id":"Q2825419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6190087$A2B1D54A-85B9-4476-B57C-40102C5D6CFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6190087$6AB5A362-D7A5-45EE-B9B4-3ECD6AA19322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58400827380938aad7d677a98b8a5e5ffe76ed0c","datavalue":{"value":{"entity-type":"item","numeric-id":3000641,"id":"Q3000641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6190087$B37D3ACB-BCDE-447C-8224-0C20289B0714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d52df2154bfdd0f3ced81e7603ae5503222445b","datavalue":{"value":{"entity-type":"item","numeric-id":5689624,"id":"Q5689624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6190087$250B5220-E377-4C00-AC69-3B56C13F288F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47a85d60a2ee6f470b072052d7cd8be0eccee601","datavalue":{"value":{"entity-type":"item","numeric-id":2368988,"id":"Q2368988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6190087$8D42B6C8-8B2B-43C2-8AD3-FD0C534C124F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"900ac051474744a4eec236c54c217e3fb3724cb8","datavalue":{"value":{"entity-type":"item","numeric-id":2859103,"id":"Q2859103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6190087$D48C13A1-846A-4614-9D83-ABBF688A5D80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b24a85f874546f73b4ad1b2521d808f4db160643","datavalue":{"value":{"entity-type":"item","numeric-id":4387999,"id":"Q4387999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6190087$4BC15B0B-F6A7-4967-A3AA-22DA3E518802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"753bfe30e08a7e82b0acc716c863fd1bf7ed17e1","datavalue":{"value":{"entity-type":"item","numeric-id":3084591,"id":"Q3084591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6190087$482DAD6D-28BB-42CC-9055-ACD05E68BA7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2894b2589e750019bf0ae73f0ab2629648809ccf","datavalue":{"value":{"entity-type":"item","numeric-id":4738778,"id":"Q4738778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6190087$2527255F-B03F-4938-B107-4859E1D5E502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"554dd80b26f1471d0a2efb82a159b112585c78b4","datavalue":{"value":{"entity-type":"item","numeric-id":4329525,"id":"Q4329525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6190087$C12C6296-7851-402E-BB58-DCD2AADD60DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72118b2bfd3309b966d02b0d911523710a400f09","datavalue":{"value":{"entity-type":"item","numeric-id":3984137,"id":"Q3984137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6190087$3781B096-7C8A-4FD7-872D-6770E035D581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39b93998684d1eaabe487a5046dec8978f83de1d","datavalue":{"value":{"entity-type":"item","numeric-id":814613,"id":"Q814613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6190087$3140965C-2AD9-45E2-B9D0-E88DA714D7BA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b95bf2ee4bb9696da4622d4507798bf0f0775bfe","datavalue":{"value":"10.1007/S10849-023-09405-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6190087$DC56124D-D579-41A1-90FA-8A4A3AFC8B16","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":"Q6190087$7F33E576-0F9A-4D31-A038-173FCC37DC13","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal modelling and verification of probabilistic resource bounded agents","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formal_modelling_and_verification_of_probabilistic_resource_bounded_agents"}}}}}