{"entities":{"Q3638280":{"pageid":5668186,"ns":120,"title":"Item:Q3638280","lastrevid":50700029,"modified":"2026-01-14T20:43:53Z","type":"item","id":"Q3638280","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 5574371"}},"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":"Q3638280$C7054A9D-EB68-4B5F-8F6D-043E5CFE5E20","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5666e995771c1255517350f40c588415cffa64f8","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":"Q3638280$967CB94F-B9D0-4783-97D0-F849FB60D071","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e53e747d7ba14d28a50004d247078c86d0794836","datavalue":{"value":"1246.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638280$D836F60F-18E0-46B0-94E5-99BC9FA1C00B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"24290543d77872463b0acdbaf18e25c41dec2b72","datavalue":{"value":"10.1007/978-3-642-02261-6_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638280$304948FB-E94C-4AC2-9144-8F9015406E85","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":"Q3638280$243AEABC-99AD-4C81-B755-79C5891D6D33","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":"Q3638280$FAF127E0-A7BB-4319-BCC9-A97AA0B5880B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ed383584163989cdc199f2dc33d683a90414662b","datavalue":{"value":{"entity-type":"item","numeric-id":2915012,"id":"Q2915012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638280$8B5E2E67-0900-49B3-A55D-CCDD479130C3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"53f2e3fc7575081ebb3b175707a32845a6955dc2","datavalue":{"value":{"time":"+2009-07-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3638280$1DEB6716-0408-4350-9BC1-C0D776E3AB85","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638280$0CACBBBA-159E-4FF8-85C5-71DFC27608F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638280$44D71889-91D7-4EEC-9BBE-94567F286AB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638280$8E984357-04E5-4C29-868F-6E5A5FFE60AB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ffe45c6773dfc35b8911163264df7b1fcf36ac47","datavalue":{"value":"5574371","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638280$47DD0ABF-9B2A-4D58-B527-81EAAFF4196C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b792ce763f8f58c8ec463fa21b4c599eb550b3c5","datavalue":{"value":{"entity-type":"item","numeric-id":21448,"id":"Q21448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638280$BFAEB013-6EF9-4AE8-B5C5-D47918826B2D","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":"Q3638280$70265D34-60FA-43EA-A2C5-BC1AEC8C8349","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a8bde3eb5eba601943f43d4976e00a307603f6be","datavalue":{"value":"https://doi.org/10.1007/978-3-642-02261-6_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q3638280$FCC176DC-8941-4192-A4E8-F9382250DB19","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"33706c757a3a3675fe6f48148bdbf815000d713b","datavalue":{"value":"W1773864193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638280$E4E7B021-7B9F-453B-BCDF-FA5A9E76821A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a77e9f0267be0e7570d25318eedfd23c415b409c","datavalue":{"value":{"entity-type":"item","numeric-id":835839,"id":"Q835839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638280$45829D86-16C7-42DE-9A6E-6531AE342CED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f70427d1bec1892856b306a28600257c0fb1f9","datavalue":{"value":{"entity-type":"item","numeric-id":3408862,"id":"Q3408862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638280$A29B4A8E-9EC6-4646-980F-13769CC01A3B","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":"Q3638280$D8E5E4F1-1450-4C66-9FA1-0DA691273D29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"047205c489fbc234ded30a0b774835426a93b0e0","datavalue":{"value":{"entity-type":"item","numeric-id":1422049,"id":"Q1422049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638280$CD535D3F-56A1-4466-AF1C-43C237CD4994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b5d4373326ddacd5ad0928810272cc7a23b3585","datavalue":{"value":{"entity-type":"item","numeric-id":5312933,"id":"Q5312933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638280$06319638-AD1E-4AFA-A0B8-32BD6FB61DA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daab4582302a3aa21137ab948e63f2ee9395096d","datavalue":{"value":{"entity-type":"item","numeric-id":4651488,"id":"Q4651488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638280$D3F96468-929E-4281-BC37-A7F6B16F15FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07b4a5481d2ba20db96403c8a94b2eeed3801b42","datavalue":{"value":{"entity-type":"item","numeric-id":3477999,"id":"Q3477999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638280$07CD5694-B5FF-4514-AB0A-00DA8CF7413D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e8692698e912424588919ccbdb87259269ae9d2","datavalue":{"value":{"entity-type":"item","numeric-id":1193476,"id":"Q1193476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638280$A2DFE087-EA75-4425-88F3-331D0B5604F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9454776c8e95be8590581925e4520a2ce0d4e418","datavalue":{"value":{"entity-type":"item","numeric-id":1119565,"id":"Q1119565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638280$A3A274E7-B7CF-4666-85A7-624075368CA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b28346939d64d7b059d337185059efec5b3f823","datavalue":{"value":{"entity-type":"item","numeric-id":1863828,"id":"Q1863828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638280$5B848386-56B2-4791-9B33-B8EE2D6A5822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e16d50b75555719f4a9187007a4c2808080a5d71","datavalue":{"value":{"entity-type":"item","numeric-id":2576942,"id":"Q2576942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638280$64766C84-304F-41AF-B64E-4698F9C377E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a25c01e8d4be176dddf944065ec7d363ffdadbd","datavalue":{"value":{"entity-type":"item","numeric-id":1591203,"id":"Q1591203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638280$A65B6B75-309C-497C-A130-E0F9BB8B4075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"487785cd2b52a2569ec274aec17785e586f2bc75","datavalue":{"value":{"entity-type":"item","numeric-id":4535111,"id":"Q4535111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638280$2735E04C-B4BD-428D-9F9D-DCBC3A34ED16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed9702c45f558cf37c1cf27f32342d8410b993ac","datavalue":{"value":{"entity-type":"item","numeric-id":4157944,"id":"Q4157944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638280$67488A14-3681-414C-AC14-22DECAFED846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"174e3f2701a2bacd196e2d244539c0776079d382","datavalue":{"value":{"entity-type":"item","numeric-id":4858037,"id":"Q4858037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638280$9AC70A4C-E32D-4BFC-A0BF-8E939BCD6AAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19ec1ba56991efe8104d108b59c02ed6e35948b1","datavalue":{"value":{"entity-type":"item","numeric-id":2372185,"id":"Q2372185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638280$AED26459-5325-4A91-BC8F-D38DE97BE09C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eb1d29f17f0fc309f325c3539d6d1791acef1b6","datavalue":{"value":{"entity-type":"item","numeric-id":2563451,"id":"Q2563451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638280$759088C5-E307-44D9-934F-DD06D03CCAAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be7476373403f03a22c407b952b9cc3a1553e2a5","datavalue":{"value":{"entity-type":"item","numeric-id":4536335,"id":"Q4536335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638280$DDFB708F-D614-4054-A4CE-6DFCA50B8569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0786254f440de4171d1ca5a91bd3b5bf4ea6a090","datavalue":{"value":{"entity-type":"item","numeric-id":1349272,"id":"Q1349272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638280$0DADA1D2-F839-4358-8CE4-E121D668D19C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"651d669f2b6e600c429f900f8a2c3a0056756db9","datavalue":{"value":{"entity-type":"item","numeric-id":2758067,"id":"Q2758067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638280$1BFAA9DC-081D-46A1-A32A-936493565865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c233490fb1db4447987cc5207b37e3232a6e346","datavalue":{"value":{"entity-type":"item","numeric-id":1849866,"id":"Q1849866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638280$E348BB34-E4DE-414E-83FD-9DC59AAC35CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8e3650eff92c05e70ce7aa4a7693c84b40b74d2","datavalue":{"value":{"entity-type":"item","numeric-id":1582313,"id":"Q1582313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638280$0228D9AF-6617-418E-8C82-F320FD22EFDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ba024d1a6b0ca9a583a48fb26b370e679ebdb55","datavalue":{"value":{"entity-type":"item","numeric-id":2756785,"id":"Q2756785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638280$77053153-D56F-4E09-8A1F-AFB199B2003E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5edead5a873e31ed8fe02d6e9fbe5ef0ea1d3548","datavalue":{"value":{"entity-type":"item","numeric-id":3100161,"id":"Q3100161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9183de27bdc6ea375416c56510060080a8c03b07","datavalue":{"value":{"amount":"+1.0000003576278689","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":"Q3638280$EAA0E8E8-9418-46BA-9133-A31A92A48D67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a7b65cb151ae725caf8244648af3f9fd01a0414","datavalue":{"value":{"entity-type":"item","numeric-id":1349272,"id":"Q1349272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b1d7c8ffe9ff7e06481fc8ab12e0031c5c27bb9","datavalue":{"value":{"amount":"+0.9625232219696044","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":"Q3638280$12B81C25-9B21-46C5-96F0-0494BA52AF9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"777354bd61300c5dffda3393cfea4876ba75c52c","datavalue":{"value":{"entity-type":"item","numeric-id":3143566,"id":"Q3143566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ebca15371bbc9dac9d7e7da7c69f2ee2d5ec035","datavalue":{"value":{"amount":"+0.8220859169960022","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":"Q3638280$44E60774-0F0E-405E-B6AA-105BADABBDA5","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":"3bab0e4ed258e73efd0ec119fd8bc49ccc70ffdc","datavalue":{"value":{"amount":"+0.8130044937133789","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":"Q3638280$FE677480-E0AA-400F-A928-75A9DADEB317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3e5926810297cba20bb3b9adb85d6ef71d8aa2b","datavalue":{"value":{"entity-type":"item","numeric-id":3602954,"id":"Q3602954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dcecc1f161b6ba822fd73e783c682b1e24b36c8","datavalue":{"value":{"amount":"+0.8129118084907532","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":"Q3638280$FFF75A05-BE78-4DD0-BE66-CADB51263048","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3638280","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3638280"}}}}}