{"entities":{"Q3013073":{"pageid":3023797,"ns":120,"title":"Item:Q3013073","lastrevid":51286739,"modified":"2026-01-17T14:51:52Z","type":"item","id":"Q3013073","labels":{"en":{"language":"en","value":"Inference rules in multi-agents' temporal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5918384"}},"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":"Q3013073$A9AE3D4A-2039-4D5A-B822-D2D7420BDB64","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"93ee5810bf9248a325c925d673ac63743d3037e3","datavalue":{"value":{"text":"Inference Rules in Multi-agents\u2019 Temporal Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3013073$1CF7BBA5-6DE1-416E-BF90-CFBFFBFBFF23","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c8a76b26aa157e759edc52b66b9874d03d4107ba","datavalue":{"value":"1216.68273","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3013073$D90E9E27-166E-42E1-B5FC-38E575297E79","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1cc7b915c811133e1e9c5d8df51cfa81ac8bb2fe","datavalue":{"value":"10.1007/978-3-642-21884-2_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3013073$8928F3DB-40FA-43D6-8FA6-52B0F9952673","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"db7885385769d5536ca5e089a1f5bb985eb2cf5d","datavalue":{"value":{"entity-type":"item","numeric-id":3013072,"id":"Q3013072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3013073$84CC418A-6CDB-48F3-9531-544AAE255BAC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9100d2d5a7227329353887f5d42429d935897bcc","datavalue":{"value":{"time":"+2011-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3013073$FFF5E9A1-BD5D-46C4-A87C-3E5A061D9DA5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3013073$C4D4FFB7-7449-4130-9338-3B8C98F7F8AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3013073$443CC0FC-A7EC-4AEE-8BA8-8B61B0A44C65","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9a8e1f6b304146697e445b42f8f8919c18643be9","datavalue":{"value":"5918384","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3013073$837CE4A2-ED23-4DB5-80B6-37D4F8874B15","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82c73acd1bbb8e17b65f7ebba6bc4e1998d69280","datavalue":{"value":"multi-agents logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3013073$2FE714F6-9E7A-4677-BD29-90230F115594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3013073$78099ED0-0C57-410C-B13D-F5234F5394A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3013073$608F5E41-25F4-418F-9EB3-A7D494FADF7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6135ceafed3292f6b66e098192375f7d5b754046","datavalue":{"value":"inference rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3013073$C3440DF8-0C32-4E65-B2F4-E45C5952967C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da86694090adde4b642de621131389a6f9c0f3ee","datavalue":{"value":"valid inference rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3013073$7DAAE5F1-9E53-4BE1-9454-39931730EEDA","rank":"normal"}],"P16":[{"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":"Q3013073$054A55BF-92D5-41CD-A582-31DF020EB604","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":"Q3013073$39A8DC88-37BB-438D-AB8A-4CDE550FF3B0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a077804967a714188e90fad04d7d10be5a78b938","datavalue":{"value":"https://doi.org/10.1007/978-3-642-21884-2_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q3013073$FBDCF9A5-43D4-4700-BC69-B372F8AFC74B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fb19a4648cec9dcf58303192d547ce2e7c3bef98","datavalue":{"value":"W41115969","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3013073$255836A4-CF11-4D5E-B1CC-5AB1FDBA0863","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7f09b53b7c446f5ba60a17b5b11a35f4dcc7ac0","datavalue":{"value":{"entity-type":"item","numeric-id":1188997,"id":"Q1188997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3013073$17D20ED3-686E-491E-A556-EA9E3FEAD18B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fed3f5af94e9446026f5e3d9e6e5868640a2a430","datavalue":{"value":{"entity-type":"item","numeric-id":1295444,"id":"Q1295444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3013073$ED30AD55-A664-460D-A584-C6E1D5232EAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd6baf876706e7607aa8a49cea72b56b450a8dab","datavalue":{"value":{"entity-type":"item","numeric-id":2268351,"id":"Q2268351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3013073$7DBF3525-C7C2-45FE-851D-69F1CB2FED57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4c271d8804fc08c83fad70bea0852741c8b4653","datavalue":{"value":{"entity-type":"item","numeric-id":3540187,"id":"Q3540187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3013073$EDD1C408-976F-4BB3-81A3-64998A353899","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":"Q3013073$DF77AA53-AD8B-4E10-8693-BE07FCEA80D3","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":"Q3013073$7071D633-5880-46BF-8294-4F08DF91E5EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f18921320e1144e474af45da1a47190c9b9bad05","datavalue":{"value":{"entity-type":"item","numeric-id":598197,"id":"Q598197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3013073$48073B68-2232-4605-B86F-EAB5686BF55E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72e37aff6d09f77806eaef869ea5522da2b95e51","datavalue":{"value":{"entity-type":"item","numeric-id":702100,"id":"Q702100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3013073$EE755E44-7C46-47DF-99B5-D86D2544A2F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"007b3bdccae716a59e9fcd68043221be3f0adcfc","datavalue":{"value":{"entity-type":"item","numeric-id":3587259,"id":"Q3587259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3013073$43C0BC47-8A01-403A-8FFF-0AF3E0AC8104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4968b8cabc6e7e2146fbbb19353be5139e1037e5","datavalue":{"value":{"entity-type":"item","numeric-id":4002642,"id":"Q4002642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3013073$532A4C48-8D32-46C3-89C7-448EA0256D46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e27eb369af74c81caf93446c2eac86f4939dec84","datavalue":{"value":{"entity-type":"item","numeric-id":4817549,"id":"Q4817549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3013073$D8EDB2F5-4C81-4C8C-9C47-55A5F1F43EB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b352a8395ec3b951a308d470abbe13790e847200","datavalue":{"value":{"entity-type":"item","numeric-id":1895974,"id":"Q1895974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3013073$C138163E-F8F6-438F-A765-7F04070CC54E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8aa930a4e97da80c6689f7e7640c76695c3738cd","datavalue":{"value":{"entity-type":"item","numeric-id":3773852,"id":"Q3773852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3013073$5F0C1C03-211C-4A25-AD14-C97E2AAF8F1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b13946f1d5a57299c2b772eb839c22d24efd0a83","datavalue":{"value":{"entity-type":"item","numeric-id":4713419,"id":"Q4713419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3013073$6F165D83-3DC4-45B5-B25F-EF84F3006CDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fd83c2edaf0d75e016ed7b02b9fc228c8c72b04","datavalue":{"value":{"entity-type":"item","numeric-id":5486245,"id":"Q5486245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3013073$305DA824-517B-462B-8E95-669BAE98445E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cba236a8376cd4ee56b3c550e2f3343b551e3003","datavalue":{"value":{"entity-type":"item","numeric-id":3374097,"id":"Q3374097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3013073$32D9F80A-6052-4121-894A-F657E237C4E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77c9a6609027275db93274ceca1ae27c7724afad","datavalue":{"value":{"entity-type":"item","numeric-id":5434528,"id":"Q5434528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3013073$3045C10C-BB62-440C-A0E3-CEFF4BA224D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b47fcdd1f47781b56e4cd665cdb21aceaf4c6dca","datavalue":{"value":{"entity-type":"item","numeric-id":4408522,"id":"Q4408522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3013073$8E066F0F-E794-4BB0-BB88-D35B5C6F5667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9191d09caf8c477a750573a251c7f5a10f5a8713","datavalue":{"value":{"entity-type":"item","numeric-id":4461957,"id":"Q4461957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3013073$7A9758B7-387E-469D-8301-CA50346EA58A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c8b48a5d11a9fdc3d6c93a2379823dbedafb770","datavalue":{"value":{"entity-type":"item","numeric-id":5960182,"id":"Q5960182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3013073$43CBB3F2-85D8-4552-AEB8-6E6AFA35637F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf9dbfbb7413c1e675271d32954ffa122ba5c0ee","datavalue":{"value":{"entity-type":"item","numeric-id":1806329,"id":"Q1806329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3013073$C85C5FD0-94CE-41F0-A07E-0F1501991FAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25bf3b6fcad9bcae62ab5045ba42a1bbfafba368","datavalue":{"value":{"entity-type":"item","numeric-id":3507416,"id":"Q3507416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3013073$2A6E4642-2DB2-432B-B805-7780BB6B4EDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3eed633cf9308c5eb7b77bff69d5658b9a4f78d","datavalue":{"value":{"entity-type":"item","numeric-id":3656763,"id":"Q3656763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3013073$68BF8FA4-D00D-4A23-9DD7-0DD2F5A30316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21e04418175c987dad1abf52407873a3edc2c40a","datavalue":{"value":{"entity-type":"item","numeric-id":4032871,"id":"Q4032871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3013073$1F47D89C-2EDC-422C-BE2A-3E6F7FE50468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f42c62c4402b806ab53881fc2a7a5ded7808d96c","datavalue":{"value":{"entity-type":"item","numeric-id":1309039,"id":"Q1309039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3013073$BB096401-20F9-4969-BDEC-12E3B123A2C4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0391921a0366d3a2fb7bcc99ae2abdd2da4be13c","datavalue":{"value":{"entity-type":"item","numeric-id":2213922,"id":"Q2213922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cda7756e5f5a4735e8085e769287daf4fcea8cc6","datavalue":{"value":{"amount":"+0.8031326532363892","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":"Q3013073$C7C44619-C512-4163-8CAF-73E8107AD637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3608314a0661e54f0bb1b2bef0f16012a5444c1a","datavalue":{"value":{"entity-type":"item","numeric-id":3643317,"id":"Q3643317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00a7270b5066ed8052a76ac2bf3698dd4658fdf0","datavalue":{"value":{"amount":"+0.7990583181381226","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":"Q3013073$596787F9-CDAB-4D34-893C-3434660996BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50d8c41ca789c27a004f5da0c7e01e4f6b9917dc","datavalue":{"value":{"entity-type":"item","numeric-id":5394117,"id":"Q5394117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17b50ef76c8669f7b8c874183e9f004dbf1f94ef","datavalue":{"value":{"amount":"+0.7715509533882141","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":"Q3013073$A84A6ED5-D28B-4C66-BC25-08D750DE4135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e615e9aa7ef35f6221793e8fec769fcdef60835f","datavalue":{"value":{"entity-type":"item","numeric-id":5479022,"id":"Q5479022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ce089c94ee3543e05d5f81325661b341bf97407","datavalue":{"value":{"amount":"+0.7593703269958496","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":"Q3013073$75C32E9B-7A67-40A8-B918-334A8C7FF169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adc5ab5d5e396f5209aed992550f5b5a7ce2c768","datavalue":{"value":{"entity-type":"item","numeric-id":2331127,"id":"Q2331127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a0d5af0664d23128d8b013c38a9e9d869b14ba4","datavalue":{"value":{"amount":"+0.7578935623168945","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":"Q3013073$80A6E215-6CD5-4D74-B8F2-0868FAFC7D74","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3013073","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3013073"}}}}}