{"entities":{"Q3100161":{"pageid":3110876,"ns":120,"title":"Item:Q3100161","lastrevid":45450655,"modified":"2025-12-08T14:24:33Z","type":"item","id":"Q3100161","labels":{"en":{"language":"en","value":"First-Order Linear-time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5977312"}},"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":"Q3100161$E737E502-6B0C-4603-8D21-BB549291C138","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"27b78b7e163aac8e197ec246819a1a1c8fb6d57d","datavalue":{"value":{"text":"First-Order Linear-time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3100161$C1C2464F-FEB4-43B3-9EF7-1703351B3E1A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"054cfa9b2c4278d13e8d34409666f4816cf9caa5","datavalue":{"value":"1252.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3100161$2861A566-EE7A-4E0D-B150-A896490B3E53","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"165158345cfb7afe95e984419005e753cb9d6393","datavalue":{"value":"10.3233/FI-2011-382","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3100161$D4CC1B8F-BEE3-49EA-AA5D-190AF355E868","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"52000320d108ee6b6146ae320a672f6ae77321de","datavalue":{"value":{"entity-type":"item","numeric-id":785240,"id":"Q785240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100161$90FA0680-0DD9-49FE-9E47-F609A25A49BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"45ff5eb95cd0f47a5dcbb6509988939501b112b5","datavalue":{"value":{"entity-type":"item","numeric-id":598544,"id":"Q598544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100161$D877321A-A2D3-4108-9F26-CC9546811F5C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100161$473DAF33-59C1-4F35-A91B-A14F9566FBCB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6d06d6de084d6566994eb3940381939ab0e2877d","datavalue":{"value":{"time":"+2011-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3100161$6CC1324D-2DD0-4C1D-B7F8-A657397F5FEB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3100161$B78B67BB-722B-45CB-8A67-E525C558C8C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3100161$2A2ADB04-CA04-4F04-B7E5-CED55F858F15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3100161$6595546C-CBE4-4C2A-990A-C50A724DBE4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3100161$5CB6F432-154B-4176-BAD9-FFD60B3F6396","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"09aaaa659dc47029b2d61927b1eeb4e9f8712857","datavalue":{"value":"5977312","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3100161$B2BFFB04-F3D6-4860-8BF6-08642C0ED455","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"229d67327ec2ac43eb2a02649c93ff9dfd05a4db","datavalue":{"value":"first-order modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3100161$29DCDDC2-21C5-4672-83F9-90E29B841C8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3100161$A6426A9D-DC85-4360-947C-0CF6DA99F254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25b255b3f7f779539c5118a049f2680d4f791b91","datavalue":{"value":"epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3100161$B4231AE3-984D-4DEC-9405-F0AA61CD390F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65c3b98487eb404131cfd6dc457f97f412fed996","datavalue":{"value":"multi-agent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3100161$69F48349-DC7B-4ADD-B90F-073206379F42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3100161$8C5FF9BE-6611-4B80-9464-D7A9A52877AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68171fbf1c967f5e2254d14fa162c1ad9a588676","datavalue":{"value":"interpreted systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3100161$0A7B933E-1478-486B-B21C-91F1B1625305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79db4a3f492414cb1cce75f4783005c78fc886b6","datavalue":{"value":"message passing systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3100161$033A89FD-DEE1-47D0-A1CF-B5F125D380E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"666779a38fa937251fc61ea056c3be2b34fda746","datavalue":{"value":"Barcan formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q3100161$113FF792-D7C2-4ECB-B57B-DDA5D22A934F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3100161$357E90F6-9170-409D-AF33-BE986A29AF9A","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":"Q3100161$1849A591-1104-4398-8D86-A118286772E3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7873475f9508b03c33155ab1a6e40deec28a2823","datavalue":{"value":"https://doi.org/10.3233/fi-2011-382","type":"string"},"datatype":"url"},"type":"statement","id":"Q3100161$E86081A1-405A-4A09-89F4-1F074DB164B3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"469b3b34f28ef99810feb34be530583ece3d1c96","datavalue":{"value":"W3021055172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3100161$62C41606-8126-4F8E-AF2C-E54DBE083550","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69302cbec3401ed3b99677951a4fa0109f398027","datavalue":{"value":{"entity-type":"item","numeric-id":3638280,"id":"Q3638280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ed0d4a8002d98ae475e924c65685a1d36c2409a","datavalue":{"value":{"amount":"+1.0000001","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3100161$5567C135-172D-4FB5-B949-9F960AC957DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"545d1c23e039802d3560269622daef18098c5313","datavalue":{"value":{"entity-type":"item","numeric-id":1849866,"id":"Q1849866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdd58ef9f1048a56302a1a094fd0fd8e86b511a3","datavalue":{"value":{"amount":"+0.8676839","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3100161$CB3866AA-8E55-4F75-B40D-EE088E8FE4F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ecfe897fd42087dbb77e7e02edb6a256aae0e03","datavalue":{"value":{"entity-type":"item","numeric-id":2996150,"id":"Q2996150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed06361c7edfe9bad8f84dcb1c43929b9fe83715","datavalue":{"value":{"amount":"+0.85086083","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3100161$5F280EFD-8898-4B67-91C2-A4A9C7EEC3CA","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":"ef36f1d41bdfc28abf6224b88e809035fafcaf3c","datavalue":{"value":{"amount":"+0.8471033","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3100161$353FCBF5-A938-473D-B7E1-D87A723D68E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffe81eba2710ba2427f3b8ec80ca0c43826e1300","datavalue":{"value":{"entity-type":"item","numeric-id":4536335,"id":"Q4536335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce6d14888eecd202c3a88fe7262694372df96949","datavalue":{"value":{"amount":"+0.84302086","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3100161$0D019AA2-699B-4F88-8BB3-0786239D446C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcd9c045c0fa7f5518012e0eeaec00c1e63b5567","datavalue":{"value":{"entity-type":"item","numeric-id":5167843,"id":"Q5167843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa158baca8c27fcac474db4ad0a59f29c149460b","datavalue":{"value":{"amount":"+0.8321392","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3100161$5D466295-08CA-413F-9381-DC8940F65EF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c5c3db24506ffc6318870206026a901a8de8338","datavalue":{"value":{"entity-type":"item","numeric-id":2758067,"id":"Q2758067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73da369d9496973350ff95048c56ec694b3e297f","datavalue":{"value":{"amount":"+0.83195955","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3100161$FD104888-0D77-472D-B54F-A5512670DB8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b51364195bde17eccc5a5a81a56c3a8b8514939c","datavalue":{"value":{"entity-type":"item","numeric-id":3395097,"id":"Q3395097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fde8a377707a616edb82c7917e057fbb0395cb35","datavalue":{"value":{"amount":"+0.83072436","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3100161$ABAEECCD-CACF-469B-8BB4-9CF7B6E3D0E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51d03571aa9a2a45d545579db9ac057522d9a85e","datavalue":{"value":{"entity-type":"item","numeric-id":2001365,"id":"Q2001365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0c779617ba775da6e96ad1414cecf959376f09a","datavalue":{"value":{"amount":"+0.82980126","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3100161$941D0799-D5C6-446D-8072-93AB58CDF497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7af520ddcbe5bd2b4281e536185066eee4b79e3c","datavalue":{"value":{"entity-type":"item","numeric-id":3133194,"id":"Q3133194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed47f2375119b582fbff09b5787a023b756efca5","datavalue":{"value":{"amount":"+0.8284575","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3100161$BB2F096A-FDD4-4347-899A-07D598905C91","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3100161","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3100161"}}}}}