{"entities":{"Q944387":{"pageid":946235,"ns":120,"title":"Item:Q944387","lastrevid":65529156,"modified":"2026-04-12T03:13:42Z","type":"item","id":"Q944387","labels":{"en":{"language":"en","value":"Arity hierarchy for temporal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5344355"}},"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":"Q944387$D6917938-207E-4AB6-A803-D52E1577EE1A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dd2b71dd24034d95dcdc8b04e95a8521d21ecb9d","datavalue":{"value":{"text":"Arity hierarchy for temporal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q944387$A004348E-7DF6-42A1-A8C9-926357DE82AF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4fc28f78efc743dbf92013db228cf14eab79ecda","datavalue":{"value":"1151.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q944387$CABD571C-937B-4097-8931-56DC17622ACC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"91a6d5b55b11b7c5072badc33d9b23eaf1c7a459","datavalue":{"value":{"entity-type":"item","numeric-id":259067,"id":"Q259067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944387$4754FBF0-3BE9-4DD9-BD27-F85E8350D3E5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944387$97595BC5-335B-47DE-AB3A-F07773C807AC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ae960b13deac5afb5a738e4b316ea7d581125be5","datavalue":{"value":{"time":"+2008-09-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q944387$746F4908-DF06-4CAE-8EA5-FC4BA544FA7A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1b8cbf3f0a1ea420265784b477720b1c42061515","datavalue":{"value":"The paper studies the expressive power of temporal logics over trees. The main result states that in contrast to Kamp's theorem (stating, inter alia, that the temporal logic with ``Until'' and ``Since'' is expressively complete for the monadic first-order logic over the linear order of natural numbers), for every \\(n\\) there is a modality of arity \\(n\\) definable by a monadic logic formula, which is not equivalent over trees to any temporal logic formula which uses modalities of arity less than \\(n\\). The proof uses an instance of Shelah's composition theorem. Interesting corollaries of this result are, e.g., new proofs that CTL* and ECTL+ have no finite bases.","type":"string"},"datatype":"string"},"type":"statement","id":"Q944387$3DCFA2E0-B22A-466F-A8F9-8C288FADD934","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"57ad727308120c2d3a49a9849dfa008e9ce3bebc","datavalue":{"value":{"entity-type":"item","numeric-id":703859,"id":"Q703859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944387$31CE3921-A3BE-42CB-98A8-063A2A866CFE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q944387$0322F681-F65D-4B07-BD52-6B56D1B05683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q944387$9BA2A441-D002-4F45-9E29-48084EAA91A0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6ce4713d185027cbabafc4705ebd3a2229136e41","datavalue":{"value":"5344355","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q944387$A2699984-9079-4406-9B10-BF3B92268887","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8b7ccb9ab1a423222d553419fe5000d0df98f4e","datavalue":{"value":"temporal logics over trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q944387$9B605635-8445-4D46-A448-CE71DD8F85F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78e469cb56ef748b3f9619abee5f10dfa052a7b9","datavalue":{"value":"expressiveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q944387$DB674C11-8FE2-4529-BB07-E1D2128609EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51d989bf6fd5166371992b5d986767a45617d700","datavalue":{"value":"Kamp's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q944387$4F4E75B0-3FD8-4DF8-8254-213F91580DEF","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":"Q944387$61DF4226-82AD-480D-9486-2A675035D686","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e6056b18916e6fdf27596736716f52834691ce31","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2008.06.006","type":"string"},"datatype":"url"},"type":"statement","id":"Q944387$1320296F-02C9-4460-B164-BD4C6EFDB4E0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"55ed15a0c5e6d07210b4cad154b0a7874f3165cb","datavalue":{"value":"W2113574473","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q944387$759584D7-7519-4275-82F8-647803C3FB61","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b5e4e67f98b9733e4373b9969a63d98a9ee27a0","datavalue":{"value":{"entity-type":"item","numeric-id":4542237,"id":"Q4542237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944387$0BC85BA2-1014-4A8E-9667-8CEB9A9A6BDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944387$CD236000-2BB1-40F4-A40C-26520AE054EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944387$72DD572B-B327-4627-AB69-65ABCE2E5164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a059efc4a1f49c1ef5ee155acd97eb4522ead2f3","datavalue":{"value":{"entity-type":"item","numeric-id":3906386,"id":"Q3906386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944387$DFA946B3-72B8-4AB6-BA14-4D94FEE5A7C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944387$9EA38C10-D81B-43FF-BA0C-352E164F692F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd56f820547becaf1640ba57e415b67b2dccf11","datavalue":{"value":{"entity-type":"item","numeric-id":3766825,"id":"Q3766825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944387$D964D000-19DF-49DF-B3AE-B86703748150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9a0035cf4540a200f752e67616ee09960bd2d41","datavalue":{"value":{"entity-type":"item","numeric-id":3261418,"id":"Q3261418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944387$B7EA272C-22AB-427E-B27D-5C5B030BF0FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9f21257d8b20ccfecd3db595afbc8b2e1a0a737","datavalue":{"value":{"entity-type":"item","numeric-id":3835817,"id":"Q3835817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944387$33EC8197-C64D-48C0-B71C-38D72871FC60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ba0c6aa51a85c5f769503476cc1b4a740b0a16b","datavalue":{"value":{"entity-type":"item","numeric-id":3757893,"id":"Q3757893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944387$F69FACD6-3908-45CD-AC10-7FD97DF4B947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"892cd8c8a85cb9d6724b48bbea3e1483e3c424ee","datavalue":{"value":{"entity-type":"item","numeric-id":3708772,"id":"Q3708772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944387$95749895-3EF2-446E-ADE1-BBB9859DAA14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3164a4f9a4c3eb26ff3314454f61ef1bf2700a88","datavalue":{"value":{"entity-type":"item","numeric-id":5572332,"id":"Q5572332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944387$42B4F1DC-B476-470E-8109-B3C97389126A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60b8e0eb31101b01cfa3df47541685eaaac54de9","datavalue":{"value":{"entity-type":"item","numeric-id":3128469,"id":"Q3128469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944387$0A6DAA23-5B11-4FB4-B2E8-98273AA702D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66e0a5ea99878fcbdbb6bb9b18eb9fce9101e415","datavalue":{"value":{"entity-type":"item","numeric-id":1166926,"id":"Q1166926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944387$395DF34F-45C8-4BAB-B6FA-E795B0042BDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79594872f7549233d75f4a2d126bb3c8c6e156c7","datavalue":{"value":{"entity-type":"item","numeric-id":4484477,"id":"Q4484477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944387$1A41C79C-5F02-4C3D-8DA5-C7429C832C97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b13a3907dd9b24f0e81f79fac80c280ffc60cbd","datavalue":{"value":{"entity-type":"item","numeric-id":1854487,"id":"Q1854487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944387$DA0B75E3-E698-4957-97B0-6465BAEA7DC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3470b088c00e9df80dece3c4e421fea9b2975e77","datavalue":{"value":{"entity-type":"item","numeric-id":2500472,"id":"Q2500472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944387$0ED71CD4-282B-42F2-BC64-32E7C6A756EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"feca38d845d64204316e8ec42d19347ecdb9d1a2","datavalue":{"value":{"entity-type":"item","numeric-id":2757841,"id":"Q2757841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944387$C3964896-7BD3-4539-B44B-D79C894677BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42a5fbfa2cb235e78a8429ab63afca2e1a813107","datavalue":{"value":{"entity-type":"item","numeric-id":4275690,"id":"Q4275690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944387$EBCBB8A2-37CD-4AC8-8EFF-F2B196D4A323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68c74e20c9157021aaf7d8167c88d779be5f8df1","datavalue":{"value":{"entity-type":"item","numeric-id":1233019,"id":"Q1233019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944387$E97C46FE-D73C-4C99-873A-2B0C8B4F34B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5444d62b61ec4f0092db6e9182c1367d48f1504d","datavalue":{"value":{"entity-type":"item","numeric-id":4362730,"id":"Q4362730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944387$1AA9647E-2FBB-45BD-A75A-AE42540F91BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3796d9f03b4ae0103a65fce1ee3fb718e92184f","datavalue":{"value":{"entity-type":"item","numeric-id":3341881,"id":"Q3341881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944387$20542DF8-79FE-4E03-B8D8-97BB2866FD3E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7efa6575c007c827a77d3811cf59b641ecf33092","datavalue":{"value":"10.1016/J.TCS.2008.06.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q944387$9CBA6698-DD2C-4B19-9430-634F23EF7E0F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1cea447b8d1c038bc75fc3e341ad825254526d4","datavalue":{"value":{"entity-type":"item","numeric-id":1854487,"id":"Q1854487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b570c77af1ffa98c7cba8be2a308e397c9b0bf76","datavalue":{"value":{"amount":"+0.8316091895103455","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":"Q944387$A9F6E5A4-3CF9-4F8C-875F-5778F889B9B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1e6c5a39405767efa244cf5a33607781a1483e7","datavalue":{"value":{"entity-type":"item","numeric-id":4275690,"id":"Q4275690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0f0151792f1684154bb97fbc8df97358bb3600a","datavalue":{"value":{"amount":"+0.8270999193191528","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":"Q944387$6A1ABCDF-E96D-4311-B7DA-517B8EAC157E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2b73b0e82034f422e7053dd8393ab6f8e8c38cc","datavalue":{"value":{"entity-type":"item","numeric-id":4913486,"id":"Q4913486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df4169d39431426f3f2c531244249b6bfe8759d5","datavalue":{"value":{"amount":"+0.8233627080917358","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":"Q944387$7EFC772A-A075-4076-8161-FA1494BBD253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8036637663247d5f6f95751e5c4c09820075aaf","datavalue":{"value":{"entity-type":"item","numeric-id":2757841,"id":"Q2757841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d17528b4929418bc72cb75f2d595832792036db1","datavalue":{"value":{"amount":"+0.8150415420532227","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":"Q944387$61BFD8F5-87BE-42EF-AECA-EE107E0A5A46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f52c44e8a04282dc67511f397f76b3fe393a66f","datavalue":{"value":{"entity-type":"item","numeric-id":4536399,"id":"Q4536399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f20c0498ac54ba18cf8204121974a7ebaaa9189","datavalue":{"value":{"amount":"+0.8099352717399597","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":"Q944387$EB08B2AE-D0CC-4801-A98B-41428EDDFAD3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Arity hierarchy for temporal logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Arity_hierarchy_for_temporal_logics"}}}}}