{"entities":{"Q6077845":{"pageid":13212152,"ns":120,"title":"Item:Q6077845","lastrevid":39686343,"modified":"2024-12-30T17:13:28Z","type":"item","id":"Q6077845","labels":{"en":{"language":"en","value":"The tail-recursive fragment of timed recursive CTL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7742415"}},"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":"Q6077845$C019733C-6202-4239-92FB-B1A06DB403B7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fef646018e5fdcf39866772f229d755c2fbae04e","datavalue":{"value":{"text":"The tail-recursive fragment of timed recursive CTL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6077845$EB4F70DE-8E39-4D12-85E3-74F0C6EB09F1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"10dffe16bbe34c7938fa56f95e8b4147c5880800","datavalue":{"value":{"entity-type":"item","numeric-id":1685774,"id":"Q1685774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6077845$29F09DBA-9C06-411F-8F63-406FDA5A4067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e9395c4897e056d54eaef255c0b18eeb46bea27","datavalue":{"value":{"entity-type":"item","numeric-id":386036,"id":"Q386036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6077845$EF2A8081-84D7-44C6-8EC7-46D73535D199","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6077845$8F61EE45-D487-4DFF-AF59-E042F28F6233","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9418e61d518d54d5ce54693edbb949cbf20535ee","datavalue":{"value":{"time":"+2023-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6077845$AECC940D-EAE8-4A3D-BB65-B0216CC1F342","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6077845$4AD1D657-CD1C-4E71-BF5E-0BCA83202322","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6276c3cb541d441891e3fe1aa8ddd20f9747ebb4","datavalue":{"value":"7742415","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6077845$0070BF92-A86D-4372-A444-802364B07496","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6077845$C8E48265-943B-42E9-A48D-067944849D57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6077845$83A228E5-7C07-4A16-9F5C-4FA84B3DF77A","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":"Q6077845$1A3CA666-D980-4E0A-ACF5-3A57D54EE543","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1dc43fd27ca4723016dfb00aa294217a66f3402","datavalue":{"value":{"entity-type":"item","numeric-id":1858436,"id":"Q1858436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6077845$CD2B9D23-46A5-4306-B6C8-2D0B4EA64782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5501613cddf33b1396dc7f1668c6f3991128201","datavalue":{"value":{"entity-type":"item","numeric-id":3999206,"id":"Q3999206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6077845$9D687180-0446-42BF-91FF-21977831E20F","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":"Q6077845$0CA1B470-03A1-49DE-841D-6B447D66460A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dc3f2dcd7c92c408561e9891adfbd1a30938a8f","datavalue":{"value":{"entity-type":"item","numeric-id":5494303,"id":"Q5494303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6077845$AE2724E9-2B49-4B25-A11B-DA0605B0B80D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6077845$E1D52B3E-453A-4237-A6BD-D38FC5C6117A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f3bb52a31f54391adaff3d7e1f75dbc5b7f1743","datavalue":{"value":{"entity-type":"item","numeric-id":2244829,"id":"Q2244829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6077845$EA32D9B7-62B4-4B8B-94B5-AB5BF30DBDA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbcc413c7175799ed354ba76b9f7f571011f9be2","datavalue":{"value":{"entity-type":"item","numeric-id":5217304,"id":"Q5217304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6077845$6018FDCF-BC9B-4DE2-9DDD-EA8126EE4364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3001a58a1f57e89cb0028517e8333f941ba0f48","datavalue":{"value":{"entity-type":"item","numeric-id":5021005,"id":"Q5021005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6077845$82C70CC2-CE58-45EF-BB87-E10928BC71C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82664cd86e82669dfeb3060f9fe8f2d2b60780b8","datavalue":{"value":{"entity-type":"item","numeric-id":1685775,"id":"Q1685775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6077845$659531DB-D6CE-4E0D-BEB1-739DFBA2C898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f667935027a91d887eedfcc3c126d63ce54c15e","datavalue":{"value":{"entity-type":"item","numeric-id":2805273,"id":"Q2805273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6077845$6D8B247C-9ED8-4782-8D32-1CEA730FEEE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a49c18731429c6e6e01fb66b974721ad0aeac5f","datavalue":{"value":{"entity-type":"item","numeric-id":1051419,"id":"Q1051419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6077845$B2026270-4EEF-4630-8B7F-B8878E5BBCFD","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":"Q6077845$8BF12A7D-DC80-40B3-B86B-82C2B396DF4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2b618ac2dae69acbeefb2d40b984d20e7cd75f","datavalue":{"value":{"entity-type":"item","numeric-id":5235469,"id":"Q5235469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6077845$A8EBA932-55E5-46BB-AE67-DC07C2991003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6077845$13B839B9-F23E-4704-8102-E01C6EBBD054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2266e06d87936deb2e80c2040cbf91b7bb1a676","datavalue":{"value":{"entity-type":"item","numeric-id":2284176,"id":"Q2284176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6077845$FA811AEB-0C2B-4EA0-947A-B6B78CF1BDDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfe069a969b68615a36bd0135f1f8dc15e15a764","datavalue":{"value":{"entity-type":"item","numeric-id":3511240,"id":"Q3511240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6077845$01CCAF5D-A3DA-4661-B23B-EDBFF5EA51E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c01c60dc1f5a5692f2b27f6a909c5b8350bb9fe","datavalue":{"value":{"entity-type":"item","numeric-id":5311487,"id":"Q5311487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6077845$14525B3F-8EC6-40DF-B9D9-F96B20079D4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"736a1d463d18d2f300e2b9600c3f86eae2986ef8","datavalue":{"value":{"entity-type":"item","numeric-id":2537313,"id":"Q2537313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6077845$A3E9C2D8-8A0E-4705-9442-9FC76C4B3615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b196feb3cb5fcdc437162fee9fd2894884ff0d98","datavalue":{"value":{"entity-type":"item","numeric-id":3719805,"id":"Q3719805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6077845$B132CC7B-3F7E-4629-ACEE-E25000AC6A08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96cc75d0170c0f77a05c577bd0244d258a28e193","datavalue":{"value":{"entity-type":"item","numeric-id":4348133,"id":"Q4348133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6077845$1707BB4F-19DE-422B-BD73-98AB0D8EC65C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89579818d6e4d80a75d235c5b81c8830de4580cd","datavalue":{"value":{"entity-type":"item","numeric-id":931876,"id":"Q931876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6077845$89F2DFA5-0FC4-4796-B8A0-4CDB89435F6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d44484491b105b4eba9052e7ca901f22afe79de5","datavalue":{"value":{"entity-type":"item","numeric-id":5311496,"id":"Q5311496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6077845$E51AE297-DC7B-4067-9F7D-EB4DD51838D4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"23a441e268139bc0bf20bfbac23718273dc23296","datavalue":{"value":"10.1016/J.IC.2023.105084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6077845$D667C793-09F9-4790-92C6-EEE8CB1980AA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6077845","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6077845"}}}}}