{"entities":{"Q2490815":{"pageid":2501558,"ns":120,"title":"Item:Q2490815","lastrevid":49833604,"modified":"2026-01-11T03:52:20Z","type":"item","id":"Q2490815","labels":{"en":{"language":"en","value":"Characterizing CTL-like logics on finite trees."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5024252"}},"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":"Q2490815$885AFDBB-E27A-4374-96B2-0F2C48A51E23","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b57e2e4a80f174a982b4290bc10e21c012df6ff7","datavalue":{"value":{"text":"Characterizing CTL-like logics on finite trees.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2490815$DC3C5424-6B83-4634-8C06-1FEB1892F8AB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b9475cca9f0ec25def3fab92cc6ec8f9131e845c","datavalue":{"value":"1160.68408","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2490815$1247F07C-8DB9-494E-B70F-31129D0F3D17","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":"Q2490815$3E0D5841-BB6D-4BD3-837D-84CF256B1ECD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5968708d4ed73ce47408e9a3ef16d1588956e095","datavalue":{"value":{"time":"+2006-05-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2490815$A52220D3-C5C3-4E11-BBD8-B9B97D901921","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2490815$31483730-9599-4598-B091-800BA62F809C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ae3a17180122f3f015f870619544c3947197e654","datavalue":{"value":"5024252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2490815$2D044C70-F719-4A74-BAE1-42DB696BFEA8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2490815$FAA9550E-14D2-488B-8FEA-0A871601E793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7fe2f2415709197ca17d2732570ef76c1e4f0b0","datavalue":{"value":"tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2490815$C21791D4-FAE5-42CF-B4E5-94F961216DA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62b39f85e52c8085a786071206ed9136a46b6cc6","datavalue":{"value":"cascade product","type":"string"},"datatype":"string"},"type":"statement","id":"Q2490815$2A3EEF8F-1A59-49F5-85E1-26BF9E887B1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ae52c8f67f146f93874234c0534949dab63cc34","datavalue":{"value":"pseudovariety","type":"string"},"datatype":"string"},"type":"statement","id":"Q2490815$4C4A4C47-F9D5-4207-AFFE-695376DC2851","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2839fa7df2030a45c4fad5ee858120056b896af4","datavalue":{"value":{"entity-type":"item","numeric-id":265801,"id":"Q265801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490815$276B5914-113E-41DE-BD1F-A8CC47FAB951","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":"Q2490815$4766C9B7-5B93-4672-A235-498C105F0FCD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fffe08f9b98c6e7fe512c432527b9c28de0fc354","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2006.01.034","type":"string"},"datatype":"url"},"type":"statement","id":"Q2490815$1A66DD77-286C-4A5C-92E2-47F8157F7160","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"630b35d6be27bf51d8c9f373caede84106368ef6","datavalue":{"value":"W2093913332","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2490815$AA4D8971-34DA-4AB0-A2EA-0B23ADBD07AB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2502b510aa60a91ac3df2b418e4777159bf8b73f","datavalue":{"value":{"entity-type":"item","numeric-id":751686,"id":"Q751686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490815$5C397CAD-99D8-48C6-A375-D24B088DEE9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c5b75e5917c889134d8a78729f028c28b56c294","datavalue":{"value":{"entity-type":"item","numeric-id":4848740,"id":"Q4848740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490815$9A31EA1F-68D1-407A-8258-5341C3473FFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ef4165cdc01f313b12040c9657a14ef341fa2d9","datavalue":{"value":{"entity-type":"item","numeric-id":789895,"id":"Q789895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490815$334A0A2B-822F-4C60-8779-D4D9C2F2D305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c91015b409943cdd2bc3d8c2a41cd2f421cec34","datavalue":{"value":{"entity-type":"item","numeric-id":5311502,"id":"Q5311502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490815$03505DE0-43D4-43E2-B1EE-661D5011395A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"541bdb3584bf37c4e8fce40fdddd3928343a6b73","datavalue":{"value":{"entity-type":"item","numeric-id":2366686,"id":"Q2366686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490815$C30AC10A-9F37-4A08-9971-57092883659F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36d84aa78f0d96f7d40459af01bc21793f5962fa","datavalue":{"value":{"entity-type":"item","numeric-id":4079524,"id":"Q4079524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490815$B6C18A8F-16A5-4F7E-AD7F-E132C7EF6C15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f3bf7a8cbe68ec13a9fe4d45b791703705ee85e","datavalue":{"value":{"entity-type":"item","numeric-id":4884887,"id":"Q4884887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490815$95FF4118-E2D2-4517-BA55-EEB4524CA78C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f59efc6b09788c19ba98a8644ee7655fc7010af2","datavalue":{"value":{"entity-type":"item","numeric-id":2770673,"id":"Q2770673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490815$84468ECA-82D9-4972-A4CB-9E3BE98F5E16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b82a7dae010e287c6c83d0b3acd6792d021555c","datavalue":{"value":{"entity-type":"item","numeric-id":4412098,"id":"Q4412098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490815$7B2E45D9-5DC8-4A7B-A665-E82570917349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07a6ccc668f2ccc3706e9e1acf5f2c974040147a","datavalue":{"value":{"entity-type":"item","numeric-id":5191517,"id":"Q5191517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490815$8159728E-D4C8-4BBF-81ED-E535CF47550A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5709c2ffa01c029b486c6e705fa60fd703dea1c8","datavalue":{"value":{"entity-type":"item","numeric-id":4179852,"id":"Q4179852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490815$B887A7B9-BA67-4A5F-9212-19AE8CA15D0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f512d3044d87913829cd345dbca09d60481c7fa","datavalue":{"value":{"entity-type":"item","numeric-id":5572358,"id":"Q5572358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490815$7886DD60-9159-4121-9002-DB303C0FD258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"292b560c7fdac9bb92a12c00839750df4296dac0","datavalue":{"value":{"entity-type":"item","numeric-id":3832056,"id":"Q3832056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490815$5C7B7F55-6148-41ED-930B-016FC7703F22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2dd225cb7a1f1b5d01838e5961bac1df864370d","datavalue":{"value":{"entity-type":"item","numeric-id":5641083,"id":"Q5641083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490815$5BF12031-51DD-411D-A4CD-1152A1D2D9AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e0722f387e4fb18508067c672044d38d6b973af","datavalue":{"value":{"entity-type":"item","numeric-id":4404146,"id":"Q4404146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490815$000EFB27-8FB2-4968-A7FE-757F20F93725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a15cdb95dd7ddcfa67e5dc2559ce2629e10a355","datavalue":{"value":{"entity-type":"item","numeric-id":1395897,"id":"Q1395897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490815$0F67E945-D905-4490-98A8-08FB54D1F9E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92fec600de70ce569ad0cf91b1069c03e617f65b","datavalue":{"value":{"entity-type":"item","numeric-id":4273660,"id":"Q4273660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490815$26433A34-662F-4B4E-B724-295EB3B4731B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20484ddb6260b6177951a1731b3fa6574e17981d","datavalue":{"value":{"entity-type":"item","numeric-id":1275067,"id":"Q1275067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490815$043499C7-BFD6-4C53-BE0D-D4AB22065FDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5d8ebd3ef53d7996f7c569cf6663fe1170b13ac","datavalue":{"value":{"entity-type":"item","numeric-id":4302435,"id":"Q4302435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490815$5C9C1F70-D51A-4C73-A828-FA2A73E19076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9197bb6f0e12accf079e71a6d1aab815fc96359b","datavalue":{"value":{"entity-type":"item","numeric-id":1892890,"id":"Q1892890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490815$74615206-BB1C-4303-8C95-66C23CB5F2D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b48fcb02d6e81a5897367606519605757835a93","datavalue":{"value":{"entity-type":"item","numeric-id":5538923,"id":"Q5538923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490815$C48C815F-BFD0-481D-AD16-ECEFA75A735F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"828007e1baebd07364914a848dd3d961b699d01a","datavalue":{"value":{"entity-type":"item","numeric-id":2784480,"id":"Q2784480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490815$75C59A06-62C1-483E-B105-6AAF9E225D0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0e34f8b817e0af74a9cb60eb00651d2d11a3f26","datavalue":{"value":{"entity-type":"item","numeric-id":1905977,"id":"Q1905977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490815$C442F9F3-538B-4968-A615-0B75BD587D06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6a31e0cf3ff6a73ad4ee5a92d1ed62572bdd89","datavalue":{"value":{"entity-type":"item","numeric-id":3317085,"id":"Q3317085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2490815$F1CEE442-2C9A-4FA5-9495-840AF207FAE9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0f5c490c6660983434be11029d0f2333bfafe660","datavalue":{"value":"10.1016/J.TCS.2006.01.034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2490815$4AEB8459-2509-4A81-90B9-19FF7F048D98","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fd3532b5c0b141f58d8831d722f9eeedc66708d","datavalue":{"value":{"entity-type":"item","numeric-id":5311502,"id":"Q5311502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4e6aa02b5dbf817b869aef5ceb52dae09a3a3a3","datavalue":{"value":{"amount":"+0.8208431601524353","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":"Q2490815$46508CF0-FAD2-4763-B0AD-530BE127BEC1","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":"dfbe10b9caf2e05130028e6f27bbeeade816501d","datavalue":{"value":{"amount":"+0.819725513458252","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":"Q2490815$101A7F26-0A59-482A-97CE-89424BCDBDFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40bd86b4be4d7e281b1b097a120637f0bef7e73a","datavalue":{"value":{"entity-type":"item","numeric-id":3602814,"id":"Q3602814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1aef0aa4d7d8a108cc6efb00054ec97181e7958c","datavalue":{"value":{"amount":"+0.817638099193573","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":"Q2490815$B0DCA502-FD07-43D7-8DAD-51ABD7D550BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"334b8fa5e0a53f9c9077a73d7f579ac7f057c7aa","datavalue":{"value":{"entity-type":"item","numeric-id":5450112,"id":"Q5450112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98c495afdac40f352af95f71343136a6f4a35d1d","datavalue":{"value":{"amount":"+0.8170177340507507","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":"Q2490815$E31A237B-575C-4AA5-9A81-E89747B9671C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e2100f85e217621ea185b6451460a620636a9af","datavalue":{"value":{"entity-type":"item","numeric-id":5191517,"id":"Q5191517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55efd3afd7401e70e70f74d1f38722fc1cd124fb","datavalue":{"value":{"amount":"+0.8151238560676575","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":"Q2490815$C020262D-0273-4239-A4B1-24A90B4B8EBD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2490815","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2490815"}}}}}