{"entities":{"Q2285155":{"pageid":2295898,"ns":120,"title":"Item:Q2285155","lastrevid":71763504,"modified":"2026-04-14T00:23:11Z","type":"item","id":"Q2285155","labels":{"en":{"language":"en","value":"Model-checking graded computation-tree logic with finite path semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7152280"}},"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":"Q2285155$9B5BC639-50AA-42AC-BD14-8CC746BA331C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"19f8ef0010464c25bb27617c5b18f6d46275ef49","datavalue":{"value":{"text":"Model-checking graded computation-tree logic with finite path semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2285155$B13DBB76-87A6-409D-8C8B-9FE4118628C7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"85b18d5cdddbd32bf38cb1c630dc55f68badbf1b","datavalue":{"value":"1436.68197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2285155$7ADCB631-744D-4A1A-A279-4043EF53119B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"df9b0d5346ec014243da840aa4842429b4a2c359","datavalue":{"value":{"entity-type":"item","numeric-id":329412,"id":"Q329412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2285155$80037864-3D29-48FF-B397-223545C84D87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"efc296f41d11fea7b93d22457da52ba5c74d18ae","datavalue":{"value":{"entity-type":"item","numeric-id":389946,"id":"Q389946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2285155$405D2C82-0DC7-49D6-BC3D-EE39B7BEB56E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"92d2e4712309048acf2ce4cf388d2296c8734377","datavalue":{"value":{"entity-type":"item","numeric-id":1706168,"id":"Q1706168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2285155$6518B1D9-9649-4522-81FB-6523F291FE10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b91b7e9b71b17972586982d48b569d6d7014de4b","datavalue":{"value":{"entity-type":"item","numeric-id":671528,"id":"Q671528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2285155$D1F4AEBF-84C3-477B-A41C-1F13E794D381","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":"Q2285155$7A289E7A-55DD-4EBA-9F20-4E6BC3F80645","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e7dda9f513b34510b8ef72a410fb933e4f2cfc48","datavalue":{"value":{"time":"+2020-01-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":"Q2285155$3BF62BFB-C98D-48AF-9211-BEFE1E722F7B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2285155$AF5A7200-C36B-4049-A624-681B4702050D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2285155$02840311-363A-4DCB-BB94-42D4F468ABA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2285155$5B91725C-8E7D-4BEF-ADB1-6B03B29CD725","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4e33c2c71e8fd23b98238cffbae8073001b2cd76","datavalue":{"value":"7152280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2285155$B98540B9-8F22-479D-82A9-9C10DA0D196F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75e78cd0204d4d31855e84e0e74f34cbe7774a40","datavalue":{"value":"computation tree logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2285155$E8462C99-8BD5-4427-96A2-6987A8CEF1D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2285155$1989FDA8-7F11-49B0-B2FD-AE9FDC16EC55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17732acb7a9b169ad291a9a00c0a1e1bc2bd9127","datavalue":{"value":"finite paths","type":"string"},"datatype":"string"},"type":"statement","id":"Q2285155$FAA83556-14DD-4F15-8D27-F54EC10687C8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"415de056e325c6c502ee21ee3b2120702c39a969","datavalue":{"value":{"entity-type":"item","numeric-id":36529,"id":"Q36529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2285155$8651134C-3C72-4F79-BB57-6042ECDC3309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"af5bf62d73c7ce629c0669b5ccd1badd6d3f9691","datavalue":{"value":{"entity-type":"item","numeric-id":21446,"id":"Q21446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2285155$FBFC50B4-ACF7-4C43-AA4C-DC2D5D88139F","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":"Q2285155$D1577FBF-031A-43E4-B6DD-3749DD22EC1E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0149cd180fc4e9b0b7fa1067729941296b30bc51","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2019.09.021","type":"string"},"datatype":"url"},"type":"statement","id":"Q2285155$A03FDE68-7817-4287-AF3B-90497657563A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bccd648974fab8909122af4a5e4ad9bb01267d3a","datavalue":{"value":"W2974614356","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2285155$720DD09D-25E9-49F5-9553-2953416B3138","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"037be6885962a7ef30e0d2cb07158ddbd09c5691","datavalue":{"value":{"entity-type":"item","numeric-id":1641034,"id":"Q1641034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2285155$BB017A77-81A6-4B60-88AF-ADD90E507F80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c9747c7b799747e6c6f8ef26e324cbf6cab25ae","datavalue":{"value":{"entity-type":"item","numeric-id":1784942,"id":"Q1784942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2285155$293A8072-DB10-4ED3-A696-EC548C302A35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba6e2a7c636084565f7671cd1624574254be99f2","datavalue":{"value":{"entity-type":"item","numeric-id":2946674,"id":"Q2946674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2285155$B9A078D8-CFA1-47E0-A6B0-E82650498DC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bed1d5d70e3773d446e8bb2fa68e0db6b1a2ebc6","datavalue":{"value":{"entity-type":"item","numeric-id":3535618,"id":"Q3535618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2285155$2518EC85-AB98-4F9C-AA7A-BC02BBDF9455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9556ececf837658b87081a4543dca9da1e9b6fb7","datavalue":{"value":{"entity-type":"item","numeric-id":2346407,"id":"Q2346407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2285155$D7B27700-4B2B-49BE-A832-75B2653ABCB3","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":"Q2285155$92410F42-4183-4CDB-B1F0-D2F7AD7897ED","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":"Q2285155$DB371093-501F-4B17-B939-2C3ACAB4CF90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a918e147958948f7d019c63c019b83cfa397ca4","datavalue":{"value":{"entity-type":"item","numeric-id":3393383,"id":"Q3393383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2285155$30196674-653D-44D7-B6CE-BDCE11B556D9","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":"Q2285155$3A132597-6D53-431A-9595-CDDE11A5A923","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":"Q2285155$A2ED9E29-A98D-4549-88BA-DDCDBC917EA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a68c9c5e6dc8c820f13872cc0a21e816d437222","datavalue":{"value":{"entity-type":"item","numeric-id":3535606,"id":"Q3535606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2285155$1B76EC1B-B851-4633-BF6A-39A840400ADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e75ff86bf271b0398c4f5c8fca7c222326217cab","datavalue":{"value":{"entity-type":"item","numeric-id":3540061,"id":"Q3540061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2285155$578C4D41-FCC0-4F32-B2D4-EC28A94FA7C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2129ffbfb8c14a46cdedc6337ae16a2c343fe70","datavalue":{"value":{"entity-type":"item","numeric-id":3400570,"id":"Q3400570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2285155$0DFE9404-2C27-4994-BDD5-EFEF6F1809B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13c87c3884ba965365844cd087b24df0f997e216","datavalue":{"value":{"entity-type":"item","numeric-id":5892513,"id":"Q5892513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2285155$EB5B9B7E-8E7A-4E46-A99B-77267EFBC5D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4af5f40b1688002d626ced95ea52a62f7741103c","datavalue":{"value":{"entity-type":"item","numeric-id":4809076,"id":"Q4809076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2285155$3D511693-1F96-46C7-8D4C-3DAFC058542F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d0b3d39649082ff6de9169c6e51eb8e1d8d7a0b","datavalue":{"value":{"entity-type":"item","numeric-id":5385339,"id":"Q5385339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2285155$B441BC53-F930-448E-94CC-7D3EED2341D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c0e5d9622afbfb851d20916533db591959b2356","datavalue":{"value":{"entity-type":"item","numeric-id":1706169,"id":"Q1706169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2285155$7E872873-E9AC-4147-806F-A5C07F6051D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9387f435a7e5ae169822e9f6fe0921cbbb50866","datavalue":{"value":{"entity-type":"item","numeric-id":2720401,"id":"Q2720401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2285155$B2FB1881-541D-47D9-AE6E-73E55FF3FDAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba9423e8a70f66f1c42f30543c752d4bb06e3d0d","datavalue":{"value":{"entity-type":"item","numeric-id":4501688,"id":"Q4501688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2285155$94D53DAE-272D-4973-B73C-EDC6A803CB44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67aa0df6c0fc27786ebfa5ec52093be9eac8c44c","datavalue":{"value":{"entity-type":"item","numeric-id":4501666,"id":"Q4501666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2285155$7A036856-25CA-424E-B14E-DD2C1A9858C1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"89a14eafecb5969a597c133afc71c9e4ffe5dbdc","datavalue":{"value":"10.1016/J.TCS.2019.09.021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2285155$E5C1ABF8-EB37-4888-B0DB-235BDB916F23","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03bebc6a0f6b7db0bdbb945bf39664b8ffddd92c","datavalue":{"value":{"entity-type":"item","numeric-id":3460061,"id":"Q3460061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"688b88833a356a682c48d3563fd7da299d1516bc","datavalue":{"value":{"amount":"+0.8773864507675171","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":"Q2285155$96F0DD93-013C-46FC-AC5E-EB8FD109791E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84076fcfc02c872a27bfb0acde86b8dbb8756690","datavalue":{"value":{"entity-type":"item","numeric-id":1784942,"id":"Q1784942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21bdd9abc369578d9a301d568084e88a4450f0d2","datavalue":{"value":{"amount":"+0.8719790577888489","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":"Q2285155$57A25E07-84B6-4804-84E2-E9F3897DBBD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab2b0e0dfe140e013d76013b6a5951689556d4fe","datavalue":{"value":{"entity-type":"item","numeric-id":4933296,"id":"Q4933296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ece5d75ba1b3aa5302255ad013c4addb3098207","datavalue":{"value":{"amount":"+0.8655202388763428","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":"Q2285155$4B9F5D7C-CF0C-4362-9111-BF5BC97D870E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4e6e5957ed52092b23c1a3ffd2f83aca25555dc","datavalue":{"value":{"entity-type":"item","numeric-id":2946674,"id":"Q2946674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0018bdf9501af65c7cd195057d28dbd05e437168","datavalue":{"value":{"amount":"+0.84592205286026","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":"Q2285155$52CD1E9E-2E3C-4A22-A24E-A75E098919BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"313fd23124c15a556e60e6650ae6ebed95b07b87","datavalue":{"value":{"entity-type":"item","numeric-id":3400570,"id":"Q3400570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e029dff54c93b0df6db25afff9bc46189a32a606","datavalue":{"value":{"amount":"+0.8422200083732605","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":"Q2285155$3E7CBAB0-8363-413F-82A9-9FE3983B9BE6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model-checking graded computation-tree logic with finite path semantics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Model-checking_graded_computation-tree_logic_with_finite_path_semantics"}}}}}