{"entities":{"Q4925177":{"pageid":6954759,"ns":120,"title":"Item:Q4925177","lastrevid":51739370,"modified":"2026-01-19T18:51:55Z","type":"item","id":"Q4925177","labels":{"en":{"language":"en","value":"Complexity of logics for multi-agent systems with restricted modal context"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6174099"}},"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":"Q4925177$387D83A5-F0EC-432A-9502-9D53CF407C3F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6bdad165e1f5fcae146a92ee5518322f43ea7bcc","datavalue":{"value":{"text":"Complexity of logics for multi-agent systems with restricted modal context","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4925177$BD51F1B8-54B7-498F-A3AE-C879DBF11C94","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c223b3a574d53cdc7eeff6912861c8bd16b0aa37","datavalue":{"value":"1277.68255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4925177$15CD56CD-8206-494B-A3CD-F44A89E99B27","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8130cf610f3498533ec91d187f362bb800d6615b","datavalue":{"value":{"entity-type":"item","numeric-id":378346,"id":"Q378346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4925177$10E21E0F-705F-4ACE-8212-1550DCFEC9E7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8f1333f5ea32121d60563094ddcc091f8ab3e533","datavalue":{"value":{"time":"+2013-06-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4925177$64DAE40C-5902-484D-8138-0A13D15F90C4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4925177$A94A3D38-01F1-4E3D-9973-78603AD7A83A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4925177$F7D71841-4DFF-45B7-89F4-DFC4E769FE42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1281dd6b9c4f62144bc68cb09edbb6fe30760a8f","datavalue":{"value":"03B62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4925177$9E266873-ED77-4AEB-86FF-73DDAFEE41EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4925177$551EE4C9-5040-44A0-9241-534DF4A60033","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ef957611c3ce74795fef1ff7502dc1ae94d09ac3","datavalue":{"value":"6174099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4925177$84C6200F-E181-45B2-8254-1C16F7369655","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65c3b98487eb404131cfd6dc457f97f412fed996","datavalue":{"value":"multi-agent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4925177$50469F58-ACB1-4B6B-8B0C-4218700BC5CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4925177$6B2067C1-D072-4E28-83D4-48EE8EE35DA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4925177$0037C84D-66D6-4EDB-9D14-4CDD55B40EF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10ca21982ded06b5a07356fb7a0423369b0c9102","datavalue":{"value":"modal context restriction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4925177$3D4DF139-3657-4BF6-B6FD-B182598789B8","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":"Q4925177$62B8634F-CBC3-4620-95A9-B03D720A6945","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ad13f9222bad52a9768e5a309bc6d2e435202d70","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzr040","type":"string"},"datatype":"url"},"type":"statement","id":"Q4925177$9709374B-1BCB-40C9-BF2F-E5B310AE9ABA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b10d9007f358138b42c448c6a3ec1f123c2b9d7e","datavalue":{"value":"W2048592740","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4925177$4EA1BBB9-6E3B-4220-8A8E-987F1BB74010","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"208a3de85da1264d043ff1c4d43e799b9aa5f6d3","datavalue":{"value":"10.1093/JIGPAL/JZR040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4925177$27835D6C-4AD5-410C-B103-CE3ACDDC089F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4925177$B23B8FFB-6F79-43FE-B118-FE10290CE18F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32da014e27af5b8721b1d32334147627c3a21ba3","datavalue":{"value":{"entity-type":"item","numeric-id":5483012,"id":"Q5483012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad83eb797eba0ca280dd2736ebee2421bfa199b4","datavalue":{"value":{"amount":"+0.7906482219696045","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":"Q4925177$5AED69C8-17FD-4D34-81B4-6F6199C52C1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33a0807f3da8d99a10fce0a8de150db3c73518ed","datavalue":{"value":{"entity-type":"item","numeric-id":4354885,"id":"Q4354885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1701143741c22e8a39a51965fdd539e5a8ec680c","datavalue":{"value":{"amount":"+0.7799412608146667","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":"Q4925177$F31D1332-19FC-4F3A-9168-0347BA1EBE15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7f36987becf6fc31e7821e8b3074e558f499b82","datavalue":{"value":{"entity-type":"item","numeric-id":1855229,"id":"Q1855229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84fc55a1903a4fbabb718e34696542dd64c3e735","datavalue":{"value":{"amount":"+0.7659514546394348","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":"Q4925177$8D8C12F9-7C55-4CC0-ACF3-B70768FE6BEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c46deb69beebee1eb6ac1f30977d18298642f220","datavalue":{"value":{"entity-type":"item","numeric-id":1861897,"id":"Q1861897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"881218901fa5a26b7a898be0b69231a136658487","datavalue":{"value":{"amount":"+0.7624687552452087","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":"Q4925177$F9112E9E-D21E-4CFA-A7A5-36A6B0BB5338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c595f8293d5bed0227e1747b9ffea55e6cefba1c","datavalue":{"value":{"entity-type":"item","numeric-id":3397155,"id":"Q3397155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"881218901fa5a26b7a898be0b69231a136658487","datavalue":{"value":{"amount":"+0.7624687552452087","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":"Q4925177$EB5445D7-3C0F-44EB-A481-ECB527D79A20","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4925177","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4925177"}}}}}