{"entities":{"Q6978892":{"pageid":21376395,"ns":120,"title":"Item:Q6978892","lastrevid":84031151,"modified":"2026-05-08T08:49:12Z","type":"item","id":"Q6978892","labels":{"en":{"language":"en","value":"Intransitive temporal multi-agent logic with agents' multi-valuations. Decidability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8045735"}},"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":"Q6978892$02839D43-CE79-4ADA-866E-333D6516B965","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7270c2cbb3869914748f4e00b7c6de288cf0e97d","datavalue":{"value":{"text":"Intransitive temporal multi-agent logic with agents' multi-valuations. Decidability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6978892$A7419463-F6B8-4891-A3FF-2643F3B57BC6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f60183c375455bd695846be3d552c2f57d3a3bee","datavalue":{"value":"10.26516/1997-7670.2025.51.141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6978892$2CA83933-7CE6-4AE6-9424-21ECD9643D28","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f2db2f5d1a5ef2c57868b44225b0f6f92140d66","datavalue":{"value":{"entity-type":"item","numeric-id":6115006,"id":"Q6115006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6978892$ED4C42F5-57BD-4988-B12D-3DFDCD7EF72B","rank":"normal"},{"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":"Q6978892$9F0930A0-A3D8-48BE-B04A-D7C7BAFB0903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de6b3cf97c223289899e3fcdc109dfb20b293049","datavalue":{"value":{"entity-type":"item","numeric-id":823962,"id":"Q823962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6978892$6C814B03-AF73-4C6D-84F7-10943B859A0E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e8c151147c8821ec3ee756d29e6b29a4fbff0332","datavalue":{"value":{"entity-type":"item","numeric-id":6831187,"id":"Q6831187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6978892$ED6391F9-A167-430A-96D5-6DBED1D25096","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"89c6ef824894ecd8ca1a4a8bead8f2e704f9553f","datavalue":{"value":{"time":"+2025-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6978892$A2933B5D-AB1F-48A5-A4D2-64458CBCE267","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"832cbc9f8136616afa99b2f2523afd34fb2b8e0d","datavalue":{"value":"https://mathizv.isu.ru/en/article/file?id=1527","type":"string"},"datatype":"url"},"type":"statement","id":"Q6978892$64B07FE5-57B9-4075-9CD8-24C714582E1D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6978892$C2473388-1B56-404A-9A50-F9196F0C34B8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"211e6acf48b136bbb1e44fceb8de895aea9c7b9e","datavalue":{"value":"8045735","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6978892$14B46A3E-C8D0-4CFC-BE20-2941937245EE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6978892$2A39EC5D-BFDE-4097-BD1C-525E99BCD343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9a7d6b6aed13db4a3dbd46f0e7d4427e41c81c5","datavalue":{"value":"frame and model Kripke","type":"string"},"datatype":"string"},"type":"statement","id":"Q6978892$10456956-F0FF-4B18-87F2-F796193D6C84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08cbe306d5f16bb92b9e72bcbd338a3b96fb9170","datavalue":{"value":"multi-agent logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6978892$BFA21EC2-27B6-49AE-B7E1-96C56439FEF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24596bbdc562e600f5490c428d90c0875b71c0c5","datavalue":{"value":"decidability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6978892$9BA73452-CDF3-46B9-B9E3-3D3572766EB8","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":"Q6978892$EA333CDD-1251-4788-BABD-F5F5D293686E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"32bd844e2ac6c16282777f96779e968b00f57789","datavalue":{"value":{"entity-type":"item","numeric-id":3455832,"id":"Q3455832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6978892$71F0C1F4-7546-49B3-87FE-EE50F56783E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca58aecc98ffe22720114328099c1ba4e97844cb","datavalue":{"value":{"entity-type":"item","numeric-id":5140323,"id":"Q5140323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6978892$1B7354EA-53F4-424A-9BE4-0396588EF66E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25bf3b6fcad9bcae62ab5045ba42a1bbfafba368","datavalue":{"value":{"entity-type":"item","numeric-id":3507416,"id":"Q3507416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6978892$18395E85-69F7-4C2A-93CF-F7B57792C95B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e40e8e6d8ddf8d0c8db8344cb310a0d5b6713f1","datavalue":{"value":{"entity-type":"item","numeric-id":4260085,"id":"Q4260085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6978892$27891E5B-3DFB-4103-B18E-0AD212E8E428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7deac8e4739febd2e58c74094514d50b36375099","datavalue":{"value":{"entity-type":"item","numeric-id":3143566,"id":"Q3143566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6978892$E06CC8C0-C2C1-44BE-8252-27A20C21F586","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":"Q6978892$3FF49100-597D-4FC9-ABEC-707FA011355E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f42c62c4402b806ab53881fc2a7a5ded7808d96c","datavalue":{"value":{"entity-type":"item","numeric-id":1309039,"id":"Q1309039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6978892$73611E92-6905-454C-A398-FC94C7B2DA98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a43060567729c3a38442ab2692d2a83f6265f17d","datavalue":{"value":{"entity-type":"item","numeric-id":2826032,"id":"Q2826032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6978892$9225DA63-122F-4D97-B1ED-F9F01D61C594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8f9929ce5ccfe9a513968a0f9474365ecdf033c","datavalue":{"value":{"entity-type":"item","numeric-id":779153,"id":"Q779153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6978892$7673D2DC-96D8-491D-BB11-156AEAFAF42D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a0ac8806b9b9fa7b84d0cddb249dea121d731cf","datavalue":{"value":{"entity-type":"item","numeric-id":2213922,"id":"Q2213922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6978892$FE7642C3-3C50-4F69-BADB-C324854730F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26c7558e95a5efd44a2f68a20afbaf035d02a611","datavalue":{"value":{"entity-type":"item","numeric-id":2030777,"id":"Q2030777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6978892$E3EA43AF-F0E8-460B-9A86-E56B5D24F77D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4781a9e5c0303423493ce7374c1aa23ce6d95b72","datavalue":{"value":{"entity-type":"item","numeric-id":1407585,"id":"Q1407585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6978892$6ADD6FF9-CD5C-4725-9B21-B75E925EEB7B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Intransitive temporal multi-agent logic with agents' multi-valuations. Decidability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Intransitive_temporal_multi-agent_logic_with_agents%27_multi-valuations._Decidability"}}}}}