{"entities":{"Q7312205":{"pageid":31286926,"ns":120,"title":"Item:Q7312205","lastrevid":105094489,"modified":"2026-09-16T16:49:52Z","type":"item","id":"Q7312205","labels":{"en":{"language":"en","value":"Continuation semantics for fixpoint modal logic and computation tree logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8238135"}},"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":"Q7312205$A2B1DDBB-075E-46F6-B0EA-ADA2E37CE294","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"670833329854e88cce141ca9f02b94767bfb0d73","datavalue":{"value":{"text":"Continuation semantics for fixpoint modal logic and computation tree logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7312205$0B5F6F88-121C-4386-82AF-B28C796C6DE8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3a5a528cb0e3d5b2451ccc9f5ef7d00d8d6c81e4","datavalue":{"value":"10.46298/ENTICS.16653","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7312205$F92383DF-F5E4-49AC-B338-726F063C4AB1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b86f1ba7ca3b8146b4e01b7967360d9309194c3","datavalue":{"value":{"entity-type":"item","numeric-id":2087941,"id":"Q2087941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7312205$3ADA167F-AAFE-4DDC-A3E5-CA5A639E2696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbc402d38834f47950a92c3a03e8f6ae3a4e6a78","datavalue":{"value":{"entity-type":"item","numeric-id":639644,"id":"Q639644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7312205$43CD81F1-5FCD-46B2-9DE1-F99F4C018CBE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"22037c07cb8bf6cc8841b474c62eca5de1da09ee","datavalue":{"value":{"time":"+2026-08-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7312205$9BE6F0BC-BA01-485A-846C-3494F2914C20","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7312205$829261F3-5582-41AD-806F-7D5033430F13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7312205$5D917005-989A-4BE7-8EEB-C10809623420","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"744a0db4e2b4affb1eba2c878d1b0488f127575c","datavalue":{"value":"8238135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7312205$B269FD5E-4BD7-411D-9013-5F5FB6F2599B","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7312205$2D0399F7-1E6B-4201-B0F5-DDFC3EA49B51","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":"Q7312205$E4039654-583E-45E1-9210-B66EFC56FABB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"88f3322c5429041e9841c2c142ed34225680add8","datavalue":{"value":{"entity-type":"item","numeric-id":2133463,"id":"Q2133463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7312205$D88B73B6-A4D3-467B-80B9-C6BFC3C685B2","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":"Q7312205$A24A14FC-FB09-4883-A869-D9BC4DCF7864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e83189ad59e5f0b22471d0159e5158d4223f715","datavalue":{"value":{"entity-type":"item","numeric-id":6190392,"id":"Q6190392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7312205$190AB5C2-E2E9-4C85-BF4B-45409B4158EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fa80e47f8c0afcf3ba05ea2d9b3adfbbc7bab31","datavalue":{"value":{"entity-type":"item","numeric-id":1817694,"id":"Q1817694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7312205$B2EEB5AD-2522-4373-9297-66B6158E7DC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0780f2c8029eaa8daf335a5eea7dad81a5d15bc2","datavalue":{"value":{"entity-type":"item","numeric-id":639645,"id":"Q639645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7312205$B04F8BD9-BB88-4143-AFEF-51743F9703B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8440d80f9f1e8ae5498f6228abef335d0392e15a","datavalue":{"value":{"entity-type":"item","numeric-id":5410688,"id":"Q5410688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7312205$E7874C18-AC1F-4426-9DED-F7DAFDD3112B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e98446849dd4856ab0acf2a54bc186647d34a15","datavalue":{"value":{"entity-type":"item","numeric-id":6610615,"id":"Q6610615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7312205$D9B8A49B-5C6E-4A6C-BE2D-5BE13E586CDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"868791ecbb8b2fef99c94f8ac3bfdcc20ea5c8f1","datavalue":{"value":{"entity-type":"item","numeric-id":3644748,"id":"Q3644748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7312205$1347F04E-28C4-4E89-8660-671167FFEE47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f2ea812d12ce2adb0254bf62517c7cdc2d1bbe8","datavalue":{"value":{"entity-type":"item","numeric-id":1260047,"id":"Q1260047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7312205$A62984A4-1081-4291-B358-3D279D3425CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba4f5628b9493b3dc4e9b69bc068cb07ae68c2f","datavalue":{"value":{"entity-type":"item","numeric-id":4530231,"id":"Q4530231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7312205$78D3B2E2-82F7-44F5-B5B4-10C5D44A8AAF","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":"Q7312205$A6408CB5-E254-450D-BD70-7DED370E5AD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cd835cd92b4ffb8a8dc9181c7068cd47877b025","datavalue":{"value":{"entity-type":"item","numeric-id":2265816,"id":"Q2265816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7312205$D4514546-BE18-4A13-989A-F0E09C4F6BB2","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":"Q7312205$0073EB0F-9E2D-4491-9C6A-64116B40ED55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a346b0d1d8d58eca29ba3d568dd9754ed71fd2e5","datavalue":{"value":{"entity-type":"item","numeric-id":1866725,"id":"Q1866725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7312205$148FB4D9-FB5F-45C1-B955-C6634B9E6545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7312205$EECF5A07-68B8-44C6-A37D-1547726D338D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c071ee35de0351346f3af50bff8534506639c513","datavalue":{"value":{"entity-type":"item","numeric-id":1887170,"id":"Q1887170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7312205$8CFEF5E4-D665-4301-8174-3CBFE6CEE2E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75eafa87c266a7c18e3ace9e65b49c59b5f5be5c","datavalue":{"value":{"entity-type":"item","numeric-id":3162101,"id":"Q3162101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7312205$34A00E25-E1EA-418F-B917-B1B126909EEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c3ecd05b920043cd848328093971a170ec0a499","datavalue":{"value":{"entity-type":"item","numeric-id":2847811,"id":"Q2847811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7312205$67005D2D-FBAD-42DE-85F5-729E4300E956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56677da12fbd09bdd6b89f4e6dede838892e1253","datavalue":{"value":{"entity-type":"item","numeric-id":5014445,"id":"Q5014445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7312205$EFA9285C-8C5E-49D2-BACF-58E48BCD18FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eae0411db16b244a4678fb51392a3b913451b90","datavalue":{"value":{"entity-type":"item","numeric-id":3190168,"id":"Q3190168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7312205$A2D0C6EA-4931-44EF-B295-08A03AE8E41A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c6b4cd1ce0bbbce39b5941f4c43d5307110af63","datavalue":{"value":{"entity-type":"item","numeric-id":2828316,"id":"Q2828316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7312205$7CB5A1AE-679D-4758-A554-D0FE7FE47D63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e54a24148a61daca7521d113a3065543db08d853","datavalue":{"value":{"entity-type":"item","numeric-id":879352,"id":"Q879352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7312205$B49D94B7-B7A0-4742-BE32-C4445B15EC85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6847b6230dd7a27075d197b8daec7a7f5de2e850","datavalue":{"value":{"entity-type":"item","numeric-id":1337357,"id":"Q1337357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7312205$9FADC015-0E55-4A13-913C-B89324F029B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fee4b392a083ae5ce978518afd88a9b7efc82696","datavalue":{"value":{"entity-type":"item","numeric-id":2847813,"id":"Q2847813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7312205$68E1ED27-DEEB-4A47-BD85-D4420C27004B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"947151fe19aacb6d7f2122e9700934928aa6510d","datavalue":{"value":{"entity-type":"item","numeric-id":2828459,"id":"Q2828459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7312205$08CA3C6A-0A7E-4129-A26E-21BFBD09D0EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d55fb4de40d4dcd7b4837504d813cf8f31c5fee8","datavalue":{"value":{"entity-type":"item","numeric-id":320204,"id":"Q320204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7312205$9736924F-1F1E-4392-BFE3-AB6A408C3DE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"269cc2852c5da5ecd0386a272cb51f136062bfa0","datavalue":{"value":{"entity-type":"item","numeric-id":6666771,"id":"Q6666771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7312205$0BA7B704-3EC2-450F-ADB7-89878162E655","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":"Q7312205$1B497880-DD26-46ED-AA2D-34924238C743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7312205$CC8BE7E9-0462-4176-8DE6-38749CA3EE7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82d546d51ed814c8c848aaa5a2d78ec7d9734c3a","datavalue":{"value":{"entity-type":"item","numeric-id":5654006,"id":"Q5654006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7312205$5CF9DDA7-37DA-4595-8B7E-DAC38DEA8D10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6154624416d56c5ff407c98b19ed95429167895","datavalue":{"value":{"entity-type":"item","numeric-id":1295427,"id":"Q1295427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7312205$FEF638E0-2962-4816-A387-35D22F41E0F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3f4b2eac24d9f89be1c7513caeb7568abecc973","datavalue":{"value":{"entity-type":"item","numeric-id":3346126,"id":"Q3346126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7312205$CC68E371-A981-496F-9F44-42A7F70B1449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3a83a0d0759bd552791c47669aaf3c7e2c42801","datavalue":{"value":{"entity-type":"item","numeric-id":1884901,"id":"Q1884901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7312205$A9CF501A-4EB3-4A56-89D6-C16DD23BEE64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dae7d3815e2593c4a2faeba28667b1cd76fbe77","datavalue":{"value":{"entity-type":"item","numeric-id":7312211,"id":"Q7312211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7312205$10ED0A74-54CF-47EE-8DB2-BC2A146529A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b16a1aee5ba30134d85bbea3ae8ff9f978a1b201","datavalue":{"value":{"entity-type":"item","numeric-id":4047529,"id":"Q4047529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7312205$0BABBEF4-E108-4438-8FCD-EBC8CA009F3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f601d2105ca20c725d696e46f262f0e40e567791","datavalue":{"value":{"entity-type":"item","numeric-id":2476162,"id":"Q2476162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7312205$C4B2E314-4414-423D-A82F-15826B294EAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7312205$48901DB3-6EEA-4A66-84F7-D156A6F8CD84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d18eb4248c51629263f7e2626446c117adb6785a","datavalue":{"value":{"entity-type":"item","numeric-id":4585069,"id":"Q4585069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7312205$A471EE95-B2B8-40B1-BCF0-07B41EF1A70B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c7fcbf5caaa06d9b2136bcb161b6786ad2aedc9","datavalue":{"value":{"entity-type":"item","numeric-id":2495648,"id":"Q2495648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7312205$8B0F060C-E6C8-4D43-87C7-3022D81B3F9C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Continuation semantics for fixpoint modal logic and computation tree logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Continuation_semantics_for_fixpoint_modal_logic_and_computation_tree_logics"}}}}}