{"entities":{"Q2402133":{"pageid":2412876,"ns":120,"title":"Item:Q2402133","lastrevid":78637742,"modified":"2026-05-06T12:04:52Z","type":"item","id":"Q2402133","labels":{"en":{"language":"en","value":"Non-unifiability in linear temporal logic of knowledge with multi-agent relations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6770214"}},"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":"Q2402133$6354A3AF-90F2-40DB-A9A4-D9064E84EE12","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d08c0e47dceab980a3dbe30fbc7aee4c52a55bea","datavalue":{"value":{"text":"Non-unifiability in linear temporal logic of knowledge with multi-agent relations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2402133$C1474564-56B4-4612-9F01-0F2BD7E4DB2F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"606aa68ae9753c536d8bc3314c309271c401104e","datavalue":{"value":"1390.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402133$507FB6AD-DFF5-48B7-A713-D00BF9BF1069","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e74046ef75a739bade5c685f052605b54b71efd","datavalue":{"value":{"entity-type":"item","numeric-id":2239388,"id":"Q2239388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402133$B381C409-B4A7-4291-AA72-3FCDF68A60C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"719528417e41ea302fea9ece33c5a5d5abeb5ab3","datavalue":{"value":{"entity-type":"item","numeric-id":2402132,"id":"Q2402132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402133$CD429E2C-1653-401A-9E55-CB8344C8C1EA","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":"Q2402133$73197D60-7A1F-40DE-9E6F-66AE2E64EB61","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d89f904c4b6dfd91496e1b6cc3735b2f5d581a1d","datavalue":{"value":{"time":"+2017-09-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":"Q2402133$31E19FAC-DC8D-428E-B940-2D43A36B60CE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402133$5EE9C3AA-4585-4DA5-AD89-CBDE15227C94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402133$2DBBDD06-2D8A-4F67-9F7F-A310E6FE87FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402133$2475382E-832D-4EA2-B318-851B437346B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402133$A721B178-8F0D-4224-A482-0B255493A024","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3dcfb8c54720695623f6f45d1ad7131780d568a0","datavalue":{"value":"6770214","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402133$B345FCD5-F733-4FBE-B73F-0AA2CC8445E5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2402133$C8F083FB-E011-4AE8-A983-8F5E3B7F5067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"978b8d7cccc5c4f250c2c200f8a024c72a22514f","datavalue":{"value":"modal temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2402133$0D34FA15-EE3E-4237-B2C3-9CACEABDC406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0efffc433b5e541989f21bbb1232a52aa7490eb","datavalue":{"value":"passive inference rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q2402133$D2071EEF-87A2-44B1-B103-363130C06FD8","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":"Q2402133$666B9733-EC1E-4557-A138-05ED56C76BA3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6134e8e461da62c61d6de1a61b434f674f22b56b","datavalue":{"value":"10.17377/SEMI.2016.13.052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402133$D4A9BAEB-1D55-4BB7-A937-6FF22AF86B2B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b799d93c9c23571e42d1b0fdc710b5b584588fc5","datavalue":{"value":{"entity-type":"item","numeric-id":5224174,"id":"Q5224174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402133$FF58265E-C0C5-44AE-8D45-38C6EF717B75","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"288951fe02928f99ffe5b66a3c22bf0ff1aa9083","datavalue":{"value":{"entity-type":"item","numeric-id":2402145,"id":"Q2402145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2d045c7011f4046b4439182996716ec7ef19bd8","datavalue":{"value":{"amount":"+0.8017221093177795","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":"Q2402133$C593AAB4-1B6C-41D9-82FA-D782496FF02F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fba5470fe92f1ade869a5eab83c290d577d1c342","datavalue":{"value":{"entity-type":"item","numeric-id":3656763,"id":"Q3656763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e24e82fd65f2ed86cc981d17272c0c2603676e0","datavalue":{"value":{"amount":"+0.7771850824356079","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":"Q2402133$080C116E-1D30-4EF2-A6FD-5C8E9B1015C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"880ee291b4630b1dd7c2c733f665453b4b541b7d","datavalue":{"value":{"entity-type":"item","numeric-id":498234,"id":"Q498234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0743809ab2fe8bdd0a337481d3364c80829544ab","datavalue":{"value":{"amount":"+0.7679688334465027","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":"Q2402133$38BB0FCC-62A2-49E8-A153-754DF6B1AD5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da26ae8d949fb10c6f3e5e00b0769c4b2ca178f5","datavalue":{"value":{"entity-type":"item","numeric-id":4438101,"id":"Q4438101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb6ec18c9cd68c7c488a1a9565e980509016148c","datavalue":{"value":{"amount":"+0.767591655254364","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":"Q2402133$A94EAF50-93C1-410D-A691-AE1F92ABE7C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f75a87621fd7daeaba3ba05ec1ba4c139f4f2c19","datavalue":{"value":{"entity-type":"item","numeric-id":2436101,"id":"Q2436101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40502e45db5e631302348a3c8903f41d069c9af8","datavalue":{"value":{"amount":"+0.7637349367141724","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":"Q2402133$A8A15AD2-6C28-41C9-99FD-FEF9C9B4869D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Non-unifiability in linear temporal logic of knowledge with multi-agent relations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Non-unifiability_in_linear_temporal_logic_of_knowledge_with_multi-agent_relations"}}}}}