{"entities":{"Q3656763":{"pageid":5686669,"ns":120,"title":"Item:Q3656763","lastrevid":50876093,"modified":"2026-01-15T13:13:28Z","type":"item","id":"Q3656763","labels":{"en":{"language":"en","value":"Linear temporal logic \\({\\mathcal{LTL}}_K\\) extended by multi-agent logic \\(\\text{K}_n\\) with interacting agents"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5658001"}},"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":"Q3656763$BB8FE1A2-EDED-4703-9ADA-1F30BF77800D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3acaa37a7d9535631836336a592774c918eaefeb","datavalue":{"value":{"text":"Linear Temporal Logic LTLK extended by Multi-Agent Logic Kn with Interacting Agents","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3656763$7818782C-8B81-4BD1-B7FF-600A1B64E956","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b32a339efa95e98d7db4ccb88c691217754114a3","datavalue":{"value":"1208.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656763$D74C86D2-4658-4B17-8C5E-C654E556520D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7d7ae205d063227bc6a8fe4b8cec53b398b20968","datavalue":{"value":{"time":"+2010-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3656763$347F3EA0-9D43-4A12-A6F9-120F038312A4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656763$B120425E-A4AA-4182-92A9-B6F179605CF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656763$FBAC7E4D-6604-431A-BF2A-76B0E45BF365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656763$2E1AB752-F362-4EFB-998D-6F7C49FB4161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656763$AE41ECA4-5365-4A94-9CBE-D3CE8330927A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3944454084d11304468bc1dade0facda80942b44","datavalue":{"value":"5658001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656763$F6DF3185-6819-4453-9FA6-2EFBF4568AE7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3656763$687F2528-ABDA-429E-A684-6A8DFB058564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4337ccd63bd5a94b947eb4b97131d9622035","datavalue":{"value":"modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3656763$CE5A0E61-D2D3-4D82-AD5F-AC26B94C85D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11e532df4083e878137a2a1938ce3cc4113b011b","datavalue":{"value":"multi-agent logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3656763$18F02D8E-E6D0-4F20-8C7C-E460FA8B2AA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bab347f35b8dabf1a1ac8288105627df18575c3f","datavalue":{"value":"interacting agents","type":"string"},"datatype":"string"},"type":"statement","id":"Q3656763$8D4740B9-8EF4-4F75-A1AA-40F86134CEF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3656763$1F248CA1-B9DF-4F89-9415-AE3679B2E1FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d607627523840bd0bf4407097f29a3a99ef4a0a8","datavalue":{"value":"algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3656763$AB117778-0C56-4395-AE23-C1591D483B5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6135ceafed3292f6b66e098192375f7d5b754046","datavalue":{"value":"inference rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3656763$6D6B08BA-7B19-476F-BF99-2C12BF69CBC0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"96cc32b5114aed13d4cd109fe7265b4e5c590084","datavalue":{"value":{"entity-type":"item","numeric-id":1669761,"id":"Q1669761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3656763$4D2A3F40-D76D-41B5-AC0A-22CEDDE4038A","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":"Q3656763$BC357CBA-85CF-4448-8446-3FD32457DB01","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"06961c3526c85eb3394d231a44a790dd2255c5a9","datavalue":{"value":"https://doi.org/10.1093/logcom/exp027","type":"string"},"datatype":"url"},"type":"statement","id":"Q3656763$42485F5D-DC90-4A74-BA15-7533D2DADAF1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"545a133be26de44ea611e9ef10943e91e3938d84","datavalue":{"value":"W1969992219","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656763$B63FE9CC-C665-4539-BFCF-07A747153416","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5bee626ef2e0c8ded78dff372225fad64c197625","datavalue":{"value":"10.1093/LOGCOM/EXP027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656763$E0422429-F4BE-4BEC-B5A9-8C862A6CF1A3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3656763$918A28D2-0E43-4705-8C45-B39B5B8FAB71","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2866fa1432cb74df3582247cf73183c74019884","datavalue":{"value":{"entity-type":"item","numeric-id":4966050,"id":"Q4966050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed36d8c99ed08e2d3623e79bdda511453ad61d08","datavalue":{"value":{"amount":"+0.8433746099472046","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":"Q3656763$A3B854B9-4CF6-4A49-A232-9BA263371A9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b98ba21cf33c2f3a387bc04d072055415a132d3","datavalue":{"value":{"entity-type":"item","numeric-id":4966494,"id":"Q4966494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b73cb10d1d9b3df58091bd6c97fc5e40a8cf2de7","datavalue":{"value":{"amount":"+0.8334777355194092","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":"Q3656763$A0A937D3-69FE-412C-95B1-28157CDC45AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3608314a0661e54f0bb1b2bef0f16012a5444c1a","datavalue":{"value":{"entity-type":"item","numeric-id":3643317,"id":"Q3643317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a096dcd6662777fcd44bccedc43ddba3f447dff","datavalue":{"value":{"amount":"+0.8276203870773315","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":"Q3656763$050E781E-C758-4294-80CE-5224D8F5F5F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a80a09c56fa8314dfe0b3f475727c15010739c3","datavalue":{"value":{"entity-type":"item","numeric-id":5435114,"id":"Q5435114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bcf4aafd771861ceb8edc2ba6ee678ad9589b3a","datavalue":{"value":{"amount":"+0.825469970703125","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":"Q3656763$3E060C21-9A52-4D0D-8375-009224E017FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e03b2613f2e51bcb0e0211ce9373f4391a63d91c","datavalue":{"value":{"entity-type":"item","numeric-id":3507416,"id":"Q3507416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df7c87a6e46ff85fcc4056893c4de3cc5fc6563c","datavalue":{"value":{"amount":"+0.8202542662620544","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":"Q3656763$FF442EB8-C863-4207-86C3-2D48A064DADC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3656763","badges":[]}}}}}