{"entities":{"Q283762":{"pageid":285529,"ns":120,"title":"Item:Q283762","lastrevid":60691257,"modified":"2026-04-10T18:33:05Z","type":"item","id":"Q283762","labels":{"en":{"language":"en","value":"Adequacy and complete axiomatization for timed modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6580858"}},"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":"Q283762$88E1EF52-BB47-42B8-9C43-54C7E5C4EA2D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2526fb889761a0f4c3c9ea81943e26b561cf06a2","datavalue":{"value":{"text":"Adequacy and complete axiomatization for timed modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q283762$88A56C88-EFE5-439B-94E5-F219A34ACC44","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8fa58c03e2b0148bbf78cbc5846c2de581feff3a","datavalue":{"value":"1337.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283762$74C8BC7C-49D3-49CF-9296-E36B0F62435B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a083a2834c8936d34694e6850cfacd9b23dc1711","datavalue":{"value":{"entity-type":"item","numeric-id":283759,"id":"Q283759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283762$0C594A98-2D09-4F92-9FB3-96C48EFDA5A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"281053ff0a7b1b4d8d0616e6259c142db607470f","datavalue":{"value":{"entity-type":"item","numeric-id":283760,"id":"Q283760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283762$85F261BA-DA8A-4EA7-83C4-E8CA8DDD3F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"25a0391b72370f84fb71f15481df4d53f18f8d7c","datavalue":{"value":{"entity-type":"item","numeric-id":283761,"id":"Q283761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283762$4BCB2479-AF47-4DD2-8F8E-E93563F5AC34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ac8acc0ee38d6ade72f0d112f1c054cc98c3505","datavalue":{"value":{"entity-type":"item","numeric-id":808272,"id":"Q808272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283762$A9EA2325-DBD6-496E-9872-F9689DA7BE2C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"659004eb67caabef990f3b9c257f2b5657544074","datavalue":{"value":{"time":"+2016-05-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q283762$461CCC9A-7BC9-47B8-9317-226E77AD8AF9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283762$A58FD0B1-A635-4B2F-92D4-8F69FB54F1C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283762$DEFCD798-B894-4A66-BDCB-F960209D493A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283762$A061F34F-18F8-4E11-B8C7-0D77968221D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283762$E812EED4-D7D4-4193-844D-47D95E643DE3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"59357c036dbd3d349951c9dd48d56b906f48ec76","datavalue":{"value":"6580858","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283762$26B51D1D-AFEB-49B6-8045-505A3BB4BE6A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9db5d140887f63c77939d9bdbb18d48bd56b48f3","datavalue":{"value":"non-compact modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q283762$273D6F8E-7339-4002-B5B0-0FA526D75486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c1c9d92cedc24507fb6046faae06d49c3e05743","datavalue":{"value":"complete axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q283762$D35698C5-3843-4669-856B-C5DCE0617E06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"803a20b9dc05d8497d79e7d277586ffc7719e5d6","datavalue":{"value":"timed modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q283762$8D7FF980-69D2-4E7D-8C5C-02D6C1C1F3B4","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":"Q283762$EEA8FC52-1097-4D0C-AE3F-2A838C494F95","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e16f3fba5a7555be9ac335a3764b817ef1fded3a","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2014.10.011","type":"string"},"datatype":"url"},"type":"statement","id":"Q283762$EF52B308-C6FD-4C26-ABA7-7C314BEFC944","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f59addf3517cc82dfa17dadb465ad25cd4653702","datavalue":{"value":"W2025347290","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283762$D7616441-77F9-49AD-A08F-A3C5A10CAF01","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"6d589e96b5df92576639b6b4b2b1d826e6a84667","datavalue":{"value":"Q113317844","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283762$AD6949E7-E499-4E5A-BF38-E4346DC914D9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f19151d005fd311e34f00ed4e8e1c914d916818","datavalue":{"value":{"entity-type":"item","numeric-id":5309950,"id":"Q5309950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283762$194AA3A4-6534-4FA0-903C-5E264DAFD5F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df3bae9c756efbb8cf10516a99531fddb50833e","datavalue":{"value":{"entity-type":"item","numeric-id":689092,"id":"Q689092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283762$FD628BDC-A708-47F7-B231-940F1589012C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283762$826ED639-BED8-40E5-BDED-4BE3A2EA9B54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8e019e14c862ddaf7bcd66cd64d6515bc5dc195","datavalue":{"value":{"entity-type":"item","numeric-id":4371517,"id":"Q4371517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283762$84719751-D74A-4F2A-8E2B-C608ED89BCEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8af3609590dd785f66ab4cc5586dc3cacadf8334","datavalue":{"value":{"entity-type":"item","numeric-id":6044109,"id":"Q6044109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283762$0869A730-611F-4E72-A4E4-35396D9882B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3c7f8b3f1ff6940d5ec48ef42f10efe12dcb747","datavalue":{"value":{"entity-type":"item","numeric-id":689093,"id":"Q689093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283762$AA72C4A9-9CBC-4CB3-95BA-31F2C179AF09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be00c63685f57348b9e88ace758aea96980b1481","datavalue":{"value":{"entity-type":"item","numeric-id":4299300,"id":"Q4299300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283762$F06E7D10-C54C-4454-9FEA-F92295882C26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0fcedb27f76af57f2932afc76a3a085b3d11592","datavalue":{"value":{"entity-type":"item","numeric-id":3725528,"id":"Q3725528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283762$32E301A9-F8DE-47B2-8814-C9E4BBE643FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcc960d5578d50a62f3f4284fc62698db86743a2","datavalue":{"value":{"entity-type":"item","numeric-id":3533040,"id":"Q3533040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283762$F77CA9B8-4678-4125-A0C1-91E2DBF30584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2155f21d18df075e1ffa7a73b2a177f53005d25","datavalue":{"value":{"entity-type":"item","numeric-id":3682479,"id":"Q3682479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283762$12394E5F-541C-428C-B627-AA787FC1344B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad0949de2a3f618dca6bd9ebe8bd574e08dfaa30","datavalue":{"value":{"entity-type":"item","numeric-id":1327398,"id":"Q1327398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283762$1FE4EF92-CC66-4F45-922C-14FF7AEAF929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"224f4eabfe1887bf5e30bfb056eafa326fc832af","datavalue":{"value":{"entity-type":"item","numeric-id":5271069,"id":"Q5271069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283762$9282D5E0-9482-4B4F-B408-F39C4E48BE6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c5bbd3b8e470dd31dc1212c99b172ffe923fdc","datavalue":{"value":{"entity-type":"item","numeric-id":4472440,"id":"Q4472440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283762$107DF387-5E97-4C34-9208-D56E19BE006F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf54f956180a58a7b1b09efa5870d33c05d087f7","datavalue":{"value":{"entity-type":"item","numeric-id":3569043,"id":"Q3569043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283762$A6F456E5-2873-413F-884C-5C9B2AD84AC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3df05e194c3e3ff5678c1caab0669b039135eeb8","datavalue":{"value":{"entity-type":"item","numeric-id":5899090,"id":"Q5899090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283762$E349BCF8-FAAE-4804-B203-B0E1411A9A44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cf8663ee6d45c3185a10176c895ed8d23da520a","datavalue":{"value":{"entity-type":"item","numeric-id":5310684,"id":"Q5310684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283762$39C53974-5C52-48DE-A45D-7CFAB6018347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6657fd6c71ba7f022fe682dabd085f8cf2b8e051","datavalue":{"value":{"entity-type":"item","numeric-id":5800356,"id":"Q5800356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283762$BD127ED4-2CB8-408B-A90F-675F326E5957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c9e8fcb998c0f2f3c6de3f7f1e391d2c251d079","datavalue":{"value":{"entity-type":"item","numeric-id":5958467,"id":"Q5958467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283762$78CB01AC-1976-4731-8D39-6EB5D812ED77","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"00b2802d4fd4da92e8915920c3463a3514442ed6","datavalue":{"value":"10.1016/J.ENTCS.2014.10.011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283762$2CC6A70B-4831-4286-BC8C-8ECE71B64577","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ccfd046a92a4ddabb1864ef0107d9abff346ff3","datavalue":{"value":{"entity-type":"item","numeric-id":4472451,"id":"Q4472451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c66a98bb5898ef733731430cc5879f800d6077e5","datavalue":{"value":{"amount":"+0.7946520447731018","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":"Q283762$5CC58D93-EA12-4B22-98CD-3CD87F5715A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1790717f630dc6629e20790491820964669abb14","datavalue":{"value":{"entity-type":"item","numeric-id":5958467,"id":"Q5958467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5013f23af3ea5185b02e8d05ea3a16ab7e66cfda","datavalue":{"value":{"amount":"+0.7660315036773682","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":"Q283762$F5D96A45-E944-474F-9538-F8C466E36483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdaa4cc02c0f0248e256200fa60fb3d5734aa4a7","datavalue":{"value":{"entity-type":"item","numeric-id":4438121,"id":"Q4438121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbb3192e1796c7e651411498c076bbd78057c08d","datavalue":{"value":{"amount":"+0.7572141885757446","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":"Q283762$331C61E7-EF2F-4F53-A2E9-65C92253E187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50345fa88c8af3bc18858d089ec67d475c3bd7c4","datavalue":{"value":{"entity-type":"item","numeric-id":4547958,"id":"Q4547958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebf16e29cf5f5aed5a56229245e40141001ad72a","datavalue":{"value":{"amount":"+0.7491245269775391","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":"Q283762$82EAC35C-3E1F-42AB-A27F-FDBAAD8D07B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fb7adb125ffa28fc8b510329f49d03380666ae6","datavalue":{"value":{"entity-type":"item","numeric-id":4251916,"id":"Q4251916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80c7b864d84c34b071095bc7f5e0065f3ba2d2ff","datavalue":{"value":{"amount":"+0.7485947012901306","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":"Q283762$6072170B-B819-4734-8137-E8BEFCD62C89","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Adequacy and complete axiomatization for timed modal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Adequacy_and_complete_axiomatization_for_timed_modal_logic"}}}}}