{"entities":{"Q4644522":{"pageid":6674103,"ns":120,"title":"Item:Q4644522","lastrevid":53313470,"modified":"2026-01-24T17:18:33Z","type":"item","id":"Q4644522","labels":{"en":{"language":"en","value":"Logics modulo theories: a logical framework for multi-agent systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6997928"}},"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":"Q4644522$44F13B29-DB95-4A20-8ED5-7E8D2BCCA0FC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"324575fb5188ca988a8358292e628874cbf092b5","datavalue":{"value":{"text":"Logics Modulo Theories: a logical framework for multi-agent systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4644522$D41D1C2C-13A5-4FBD-BD9E-A2D68ED968EE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ba98aaf0062f41ff7741a9443b217819b5bf1171","datavalue":{"value":"1405.03075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644522$E8704583-D79C-4CC8-AC3F-42A5B4494FBE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"56d5f4f49dfbe42d494c2851a40002fd87138d9d","datavalue":{"value":{"entity-type":"item","numeric-id":4644521,"id":"Q4644521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644522$CF1F3CF4-21FA-49F1-A392-E589D0A5BB7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"33423fd214e41478017ece7904a590cfc211acb0","datavalue":{"value":{"entity-type":"item","numeric-id":752666,"id":"Q752666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644522$FA187ED8-55EC-464D-9E5A-651E7C5873CA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"34ad1c5244615701b343bddfc2f0d0c1bd63f8ab","datavalue":{"value":{"time":"+2019-01-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4644522$C502F4F2-9419-44FF-B5BB-B30B6065B05F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644522$562FAAAA-D2F0-4ED8-ACC9-B1E3F0769B58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1281dd6b9c4f62144bc68cb09edbb6fe30760a8f","datavalue":{"value":"03B62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644522$77BF133E-F452-4654-920E-D8D755D6DEDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644522$0A603D60-479B-4FEB-9303-6D815F527D10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644522$A3BC2C0E-697C-4217-9907-AB77D76D581E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fd14bcae033c668f123f5b88f364bb7a1899e9c6","datavalue":{"value":"6997928","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644522$6C9F9E3E-977E-4C46-AFA3-F47AC86CA752","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06a308e5ca6ccda77894554d8a70cf5de5dc803a","datavalue":{"value":"logic of context","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644522$32C73661-FFB0-4909-BB2F-BB41CC63DC0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc37cf6bf1a4fd159f089028e999146e64828fa8","datavalue":{"value":"SMT","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644522$54612879-FED3-45FC-AE31-515D95332909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fd90594f61aefa17b0cf8a0b9fca48494708f75","datavalue":{"value":"ontology frameworks","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644522$4DC04712-590E-43E7-9092-45A5AD0E84E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7507262233ef76f5ad3874620946f1db8874a8b","datavalue":{"value":"logic engineering","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644522$03695557-0B1F-48E7-840F-F3D21A6FD885","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":"Q4644522$8C9EEB4D-644A-4E2D-9B2E-A6C5A5650E7F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d1f426d9314f8db8ced394a038cad5a96fba307e","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzv002","type":"string"},"datatype":"url"},"type":"statement","id":"Q4644522$98BE2A7B-08FE-40D4-A3D5-79BF9B6555CC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2e6ebaaa40b348d5b85bf33e521625eb1d7034e9","datavalue":{"value":"W2047256040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644522$CD3123A6-6B89-43A2-A358-B970E46EA526","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7e28ee97ed3fc9757493b88338e902efd5779faa","datavalue":{"value":"10.1093/JIGPAL/JZV002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644522$34415DE1-7F45-4881-9053-6E2F930AFD4E","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":"Q4644522$A9111C18-0C2F-41E2-BAB4-82A4B48DB514","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd686956f5268897a50c0a5c270e827a6cf8e771","datavalue":{"value":{"entity-type":"item","numeric-id":657584,"id":"Q657584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"669513c6572c52be1e3fe028bfbda172ea7e500e","datavalue":{"value":{"amount":"+0.7350243330001831","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":"Q4644522$602A4F32-19FF-4E54-BFC5-A363C8435F48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1abe47fca2f03c3ecc9893f9e8ad2188aa1897bd","datavalue":{"value":{"entity-type":"item","numeric-id":5955624,"id":"Q5955624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c740fd558587d64c1ce61ea051a41d4851b7c515","datavalue":{"value":{"amount":"+0.7347712516784668","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":"Q4644522$E87545BB-2F15-4BD3-98E2-02AD108B822C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"779882b6d17b3bfcebe42ff6183093adc7619c1a","datavalue":{"value":{"entity-type":"item","numeric-id":5277718,"id":"Q5277718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c740fd558587d64c1ce61ea051a41d4851b7c515","datavalue":{"value":{"amount":"+0.7347712516784668","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":"Q4644522$6FEA3A85-C8A2-4C8E-B27C-3F029A0856F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df2e6344150437f2a332be39fad71f27ae462371","datavalue":{"value":{"entity-type":"item","numeric-id":2721198,"id":"Q2721198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bc1fd682795982d36d0c44d039c82e91c06e19d","datavalue":{"value":{"amount":"+0.734335720539093","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":"Q4644522$1A3287AB-0653-4CAB-9D5A-2EB5B25831FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f5d6d75b21077d23e6e3f90456332e048466621","datavalue":{"value":{"entity-type":"item","numeric-id":4540938,"id":"Q4540938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bc1fd682795982d36d0c44d039c82e91c06e19d","datavalue":{"value":{"amount":"+0.734335720539093","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":"Q4644522$BB390BC5-2B6A-4A03-818B-35E0DCB479FC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4644522","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4644522"}}}}}