{"entities":{"Q2999192":{"pageid":3009916,"ns":120,"title":"Item:Q2999192","lastrevid":51242552,"modified":"2026-01-17T10:11:29Z","type":"item","id":"Q2999192","labels":{"en":{"language":"en","value":"On the (un-)decidability of model checking resource-bounded agents"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5887289"}},"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":"Q2999192$E123E46A-CD66-4D32-A38A-BEABFAD20753","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c504993505d25c00e1d1e3a1f229ab3fa57ff1bf","datavalue":{"value":"1211.68246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2999192$FBB3C662-4C11-4CB6-BDA9-64F01674DFE9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6de2420487d83900b2b345cc3d0b2023bebc76e5","datavalue":{"value":"10.3233/978-1-60750-606-5-567","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2999192$5F90412E-5E34-4757-B3D1-E13EDCB4A45C","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":"Q2999192$9F155BB7-7AAC-41F6-9DE9-4EC73FD2406C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f70139ae293ddeae039d04bfa93e219a2c5a3abb","datavalue":{"value":{"entity-type":"item","numeric-id":2715876,"id":"Q2715876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999192$C9301E2F-339D-47AC-A834-62B9F5F8E7F6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"48dcea6cafeaa3b44f87e092d3e836e753750797","datavalue":{"value":{"time":"+2011-05-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2999192$2067506C-D9AD-4333-AF0C-00D56A37FE17","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2999192$4B1487B9-2B64-4EC1-86EB-A729FE60A794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2999192$64B1E8A0-3628-477C-8E85-7FFE6AD84DD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2999192$723A08BC-C750-4051-AA18-ACCAF9022F5D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"172fc9a855cc810ddc2af332dc855ba20a20a807","datavalue":{"value":"5887289","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2999192$83A24950-2D46-410F-AE90-92E9C450D86E","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":"Q2999192$397B5DFE-0142-4956-A67A-AD6E11DB01AD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b161cdca93adf2fe2b85e9f10c0ae4c86b2d4b21","datavalue":{"value":"http://dspace1.isd.glam.ac.uk/dspace/handle/10265/522","type":"string"},"datatype":"url"},"type":"statement","id":"Q2999192$0520B356-1490-4616-906D-AED5B3DD4800","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dfb51d8227dd9738c7d7cb42387529987b36514e","datavalue":{"value":"W2536466748","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2999192$2B433CD5-3D1F-485C-871F-6AD3272E6586","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bd969af07a27d3bb6f6a0d417d29ed935404b9f2","datavalue":{"value":{"text":"On the (un-)decidability of model-checking resource-bounded agents","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2999192$A32060EA-E367-4904-AE34-4080CB07C551","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56a41bd364839a2a7fe17958c3fe5b558bc3b486","datavalue":{"value":{"entity-type":"item","numeric-id":3188235,"id":"Q3188235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99bce89e286d731e70fc89868f6aa89e3039bc03","datavalue":{"value":{"amount":"+0.8574519157409668","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":"Q2999192$95FAA123-388D-4EAE-B1AF-17A2B2EB0AEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"488992a8ed2236fa72bb60da72cabdb5695e8e16","datavalue":{"value":{"entity-type":"item","numeric-id":514142,"id":"Q514142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58b4331cae237bd709142bf1020f096050f10fd3","datavalue":{"value":{"amount":"+0.8148411512374878","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":"Q2999192$1970EDA6-9FE7-4350-B621-C51DE54EC677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fea7ffdc85ecefa05a7baacca30052c1827d6f54","datavalue":{"value":{"entity-type":"item","numeric-id":2498917,"id":"Q2498917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0820c8e5e80e62761bf0c2131eecf7d57f1554a","datavalue":{"value":{"amount":"+0.8003134727478027","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":"Q2999192$BCB96B3B-C330-4127-B94E-99F6CC4B1405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32daf514979af1f778551e6855a9ad222281e837","datavalue":{"value":{"entity-type":"item","numeric-id":4681373,"id":"Q4681373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e2d7c3d5ff2220a91b0ed2b55f9720e2effde61","datavalue":{"value":{"amount":"+0.7966840863227844","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":"Q2999192$B429FD0D-1AD5-49E2-9E4B-179F920AD65D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6288a8490258e4fafa84dad91f9da5fabc7e1e4","datavalue":{"value":{"entity-type":"item","numeric-id":5283018,"id":"Q5283018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"500bf6a643860e0ddbf338ee47b2a6008becc60b","datavalue":{"value":{"amount":"+0.7855821251869202","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":"Q2999192$90BE6B79-C003-4D62-84BD-78C21BDC0DBB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2999192","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2999192"}}}}}