{"entities":{"Q2915090":{"pageid":2925810,"ns":120,"title":"Item:Q2915090","lastrevid":58053264,"modified":"2026-04-03T15:08:17Z","type":"item","id":"Q2915090","labels":{"en":{"language":"en","value":"Reasoning about agent programs using ATL-like logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6084961"}},"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":"Q2915090$4E9E6594-3E80-4C20-9281-AA9E93A72C25","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b42cc613619499fd482b3f8cec82ddd6ba8b26d5","datavalue":{"value":{"text":"Reasoning about Agent Programs Using ATL-Like Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2915090$EDDA4043-A965-4143-A5D6-3EB04F6C2FB8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"324a70dce0a911bd5d0acd89e96e60d75484928b","datavalue":{"value":"1361.68247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915090$71522069-39EC-444B-8763-EF2C85EEA28E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8455ea2172433f707405040e20cd8da09bc20a85","datavalue":{"value":"10.1007/978-3-642-33353-8_34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915090$1F360A24-57DA-45A6-970A-8BFFE55800EE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a3f2aec1055f405a105e038002dbdf46a67d351","datavalue":{"value":{"entity-type":"item","numeric-id":360043,"id":"Q360043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915090$E5ACE651-7F66-4E06-9A74-650EC9B5E4DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a705a8d89c29fb1604f67995fdc4618f31c7aa1a","datavalue":{"value":{"entity-type":"item","numeric-id":1982750,"id":"Q1982750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915090$ECAD1FCC-ABE2-4D85-BF0A-39FA97E39DE0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f243a6673bd9cf7abffff5d921f26c940b2015b3","datavalue":{"value":{"entity-type":"item","numeric-id":2835857,"id":"Q2835857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915090$E791E7DF-EEB4-4391-B704-915EB9DCF4BB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9be54b5bf8411b172b987b968e66cf4985f4b2f8","datavalue":{"value":{"time":"+2012-09-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2915090$D6D589C1-2D8C-4747-8DC1-D638CE6F0C42","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"986467774da2c4865cc1e2fed9a14c6b678466bb","datavalue":{"value":"https://arxiv.org/abs/1207.3874","type":"string"},"datatype":"url"},"type":"statement","id":"Q2915090$D6FD9F07-5119-43F0-8376-2AFCE6F8A9F1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915090$214B7787-CF25-42BF-B34B-591BAF5D3634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915090$05B22BB3-8D5C-48EC-82E6-DDACB973CAEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915090$1BC0E2D9-B291-4A60-8003-4E03E2CE3ECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915090$EC675104-D68D-40F4-907E-3E66EB72267A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"888d2037a39c85335ff33f414e4e41915a10cc7b","datavalue":{"value":"6084961","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915090$CAE13DFB-9F43-4CCA-BF03-79EA6C5C9DAE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dbf7fb4bb6669dce40c772c132f1468f224d4c7","datavalue":{"value":"agent programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915090$8D1A8561-9BC5-4099-AA54-8B19894234F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4221f02ac4abce9932a7e259daa5ad68ef48708d","datavalue":{"value":"reactive plans","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915090$806FA1A7-9379-48C9-AFC3-853A13EF0F7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaa46675907beebfac19293458840e7a0c6b7392","datavalue":{"value":"ATL","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915090$C8779265-856D-4BBA-8B38-5933D5069FBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915090$6EA091D3-AA5F-4C49-A60E-ACD9DF6CB0BA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d5fae99124e5894964b5b74c58c0866710f387e7","datavalue":{"value":{"entity-type":"item","numeric-id":18665,"id":"Q18665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915090$56A38260-C16F-44B1-AFED-26382C3F492E","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":"Q2915090$1CFBA1CD-6848-4A09-B7B3-96D28A0F8FFE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7e92439323c40f4f2321079654d20ece60017f3a","datavalue":{"value":"W1587932713","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915090$60378E6A-E66B-4C2D-B615-1B7933394675","rank":"normal"}],"P223":[{"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":"Q2915090$15880D67-6FC1-4EBE-B7A8-9C8594D756FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af145f542ae2619b55e52a2de9ea4e16c37ec4f5","datavalue":{"value":{"entity-type":"item","numeric-id":3379040,"id":"Q3379040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915090$7352B729-821F-48FA-8478-6F74F1F079E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85f65a04473e326494eb5ff132684dc748c8573d","datavalue":{"value":{"entity-type":"item","numeric-id":2372188,"id":"Q2372188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915090$F55D0815-C1F6-43CA-8E45-EAF9DA18C9C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02602a830a4ff929b9a45bc8c561f33b6d18bf26","datavalue":{"value":{"entity-type":"item","numeric-id":3602940,"id":"Q3602940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915090$DDA1DEA1-759B-4A34-BA18-EFB64ABEFE81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"564fd9e8b23f01c7a64fcaac1de814ffa56a5025","datavalue":{"value":{"entity-type":"item","numeric-id":4028821,"id":"Q4028821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915090$B6F8EA25-4C2D-4C7A-A893-DA0AB9933B99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81d91232aa5e5972017f039bb450faeffa30c3e7","datavalue":{"value":{"entity-type":"item","numeric-id":2915090,"id":"Q2915090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915090$92E0CBEF-A77C-4910-8588-9F9A72C87A11","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d952e8962c80ee109d4f82f241d5579ea437c671","datavalue":{"value":{"entity-type":"item","numeric-id":3631320,"id":"Q3631320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20c7f25fd7959e17ca32a8a64daa12f7ad5c4e22","datavalue":{"value":{"amount":"+0.8150992393493652","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":"Q2915090$0AF784BE-13BC-490D-BF5E-2E9555DFD34B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d6c6fbb40e00990985fdba5bf807dda73d141b1","datavalue":{"value":{"entity-type":"item","numeric-id":3602940,"id":"Q3602940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2922f2b59ec27ccddc9c3d6d3fd01132b18624bf","datavalue":{"value":{"amount":"+0.7972004413604736","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":"Q2915090$32D2768F-8E5C-447C-9C3D-7CC12A5A1691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f804649ee6d851f624bcc5208ed7f841160458c","datavalue":{"value":{"entity-type":"item","numeric-id":4632327,"id":"Q4632327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a95343a403a22523d5744207a4904305870970e3","datavalue":{"value":{"amount":"+0.7929500341415405","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":"Q2915090$2FE8A909-5494-4C6C-ABA0-4F4346A8A558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b239ecb5fe7bf0b69ddd7584644b449fa00085e2","datavalue":{"value":{"entity-type":"item","numeric-id":4681371,"id":"Q4681371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c752e2d48a23ff402b21672234cb46c9020b4277","datavalue":{"value":{"amount":"+0.7878965139389038","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":"Q2915090$068A8A7A-DFB6-49CC-B2FF-A6672012BA00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94ec8e60a7967219054322ad755179d5b91e72a5","datavalue":{"value":{"entity-type":"item","numeric-id":2859103,"id":"Q2859103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d178da29968a604ad79526dfc762aff566377dc","datavalue":{"value":{"amount":"+0.7751083374023438","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":"Q2915090$26278360-B680-4223-A7E3-8EC4324CB290","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2915090","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2915090"}}}}}