{"entities":{"Q2825420":{"pageid":2836158,"ns":120,"title":"Item:Q2825420","lastrevid":42223786,"modified":"2025-06-02T15:22:04Z","type":"item","id":"Q2825420","labels":{"en":{"language":"en","value":"An epistemic predicate \\(\\mathrm{CTL}^{*}\\) for finite control \\(\\pi\\)-processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6635972"}},"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":"Q2825420$851A1B23-AA4B-4531-8E8D-5D1EEE5ACF29","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"afb60765043b4a10d6651e1a44e8adf367f43677","datavalue":{"value":"1347.68225","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2825420$E907E9D3-10CE-4C7E-83F8-ACDF70C08BFD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca70b50666cd4b37b70c35978cbe57cd070a9ee9","datavalue":{"value":{"entity-type":"item","numeric-id":528194,"id":"Q528194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825420$19D3E035-50E2-4DB2-A329-0D0DF582B5F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6786702c945efafa0740aa01768ef3c300be6d14","datavalue":{"value":{"entity-type":"item","numeric-id":931114,"id":"Q931114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825420$BBC2EBF1-8DDB-4A61-8788-35A128C504DF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825420$C53C033C-530F-4D5C-9587-0457A65D9869","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"75c97569af4c6b39def7afa4b7124bea406ac5e7","datavalue":{"value":{"time":"+2016-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2825420$FA698B11-BE42-400D-9F27-B38B878CE015","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2825420$E82952D8-60FE-41D6-906D-B68811FF5295","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2825420$4F75ED7F-AE7E-46DE-A1A8-7CCCAACE8032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2825420$22FBFB7A-1729-43DC-BF09-1D840CEE9063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2825420$6101C276-0915-4996-8FDB-C812C4C654DF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7e1b882bb168cd7c02634ff09a31e22e8f2806be","datavalue":{"value":"6635972","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2825420$E72E239F-BEEB-4BEC-B675-33341E21D705","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62ab0f04088fb6fde1de0acb7a30e8c9dd6eefb2","datavalue":{"value":"epistemic temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2825420$BF5C6F43-7095-492E-B310-A8FC906F3E30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5cedc1a875d8083748dd695c5b423bf932b1222","datavalue":{"value":"pi-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2825420$0E7F37BB-5655-40B3-A5A5-CDECECCA2165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2825420$6D813A68-0DD0-4993-8FCE-3CC95D208427","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b792ce763f8f58c8ec463fa21b4c599eb550b3c5","datavalue":{"value":{"entity-type":"item","numeric-id":21448,"id":"Q21448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825420$AEC38FC9-6789-43B8-82E9-A21EB1784B97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"df1b7dfff5c5fa0cf73b20ac5ee450ed033fb4b6","datavalue":{"value":{"entity-type":"item","numeric-id":25790,"id":"Q25790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825420$30B28AB8-E985-4560-A016-87DD1B2C12F5","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":"Q2825420$B4249A7B-C87D-4FCC-B0B5-3CB3CABCD409","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"08d79f0a7b32bee020ada5646759fd6d4f43b405","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2011.10.018","type":"string"},"datatype":"url"},"type":"statement","id":"Q2825420$981F08E8-0120-4455-B7E2-2F1D63A26109","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c305b577bd4d167ce83e680c110822f059867576","datavalue":{"value":"W2095498627","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2825420$E575FE61-6BB0-4431-9108-F81845AD7C33","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e7bc01ccefa432c71ff540c6588bc194162bee20","datavalue":{"value":"Q113318186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2825420$A4780383-9ADD-42F8-96C7-5CBE1B90BB95","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4659e4b65a5166be2e30470c613179619fe95b23","datavalue":{"value":{"entity-type":"item","numeric-id":5178877,"id":"Q5178877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825420$A742B06C-3825-47EC-B889-8A105B0F9F57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d969bd9e9070eb4e4b53be99bf5557f5f64d3d3","datavalue":{"value":{"entity-type":"item","numeric-id":3455546,"id":"Q3455546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825420$126B13F7-E723-4390-9D63-AFDB7C8B9839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fc7354c078ca1bcf23d6037391e2a7ec7a2200a","datavalue":{"value":{"entity-type":"item","numeric-id":1817220,"id":"Q1817220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825420$A24DED27-8FE4-4155-AAF6-4BAD81AE3250","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":"Q2825420$617D29F5-B996-42DD-9CAB-517C7182A3FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70f74bf884ad4d0098c5e2cb66f40af366016ec5","datavalue":{"value":{"entity-type":"item","numeric-id":4475142,"id":"Q4475142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825420$D3EFBBF3-79E8-43BC-A06D-2BA2E9DA2A05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a80d509ece8a9f441b09d5d8e0d6351b224bfe4d","datavalue":{"value":{"entity-type":"item","numeric-id":3647242,"id":"Q3647242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825420$F7745D34-6B8D-4CCB-9C29-E7FF92874C05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b5d4373326ddacd5ad0928810272cc7a23b3585","datavalue":{"value":{"entity-type":"item","numeric-id":5312933,"id":"Q5312933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825420$4A92975C-3822-4F0F-84ED-B50FEB43C315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e926a9ec8c912a75926030aed9a339b3989f0fa","datavalue":{"value":{"entity-type":"item","numeric-id":3612502,"id":"Q3612502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825420$FCCC4A5D-2ACD-4F23-978B-F4F7D4849297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668d4f42d16e3c68cea406be368e7edeb30ca51e","datavalue":{"value":{"entity-type":"item","numeric-id":1198548,"id":"Q1198548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825420$79ED540A-D380-4AD5-80EB-C748827DE94C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dc2f7f952092927dacd0d7a73c8568f10e239b8","datavalue":{"value":{"entity-type":"item","numeric-id":2760245,"id":"Q2760245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825420$7F64657F-F86C-4061-9C47-1FBB5ED71328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19ec1ba56991efe8104d108b59c02ed6e35948b1","datavalue":{"value":{"entity-type":"item","numeric-id":2372185,"id":"Q2372185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825420$C0E3611C-59A0-4688-A8F4-37E88195A30B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac98ee454784eee5e5e07ac795aec39dd374f502","datavalue":{"value":{"entity-type":"item","numeric-id":2734510,"id":"Q2734510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825420$CFF7338E-580C-4E80-93BF-ECF1C0728BCC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"72d4a44dc1d1a9b47008911c358927b8f916c9c2","datavalue":{"value":"10.1016/J.ENTCS.2011.10.018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2825420$171C4895-8262-4BFE-A3A1-B17335557B14","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9f59aefea00fe975e1ef6e53d2770a6b2ead43c","datavalue":{"value":{"entity-type":"item","numeric-id":2904070,"id":"Q2904070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77eb00ea0452ec52d6541fb6d8d69f83288a0f45","datavalue":{"value":{"amount":"+0.85842144","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2825420$79A1B683-9F66-42BD-A207-92FE80F13510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1f06a554b506c9e5f41a5bfffab7a987a3aa511","datavalue":{"value":{"entity-type":"item","numeric-id":4219039,"id":"Q4219039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ca96e9d24e4347006d62f3a903b4c17443ffd1f","datavalue":{"value":{"amount":"+0.85434186","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2825420$E1FEF53E-0F9D-4357-8C2E-9606416FE655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e56e943c8fb91f6be22ba33c79fdfa2d29587b0","datavalue":{"value":{"entity-type":"item","numeric-id":3016218,"id":"Q3016218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ab98bfbed5c4ffbf047435673dbb5625b8a3f7e","datavalue":{"value":{"amount":"+0.8361428","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2825420$4CC9B9DC-034D-434C-99ED-821971DCBCA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd5ed5c7e47efc49ec1e9d6493b3f960eac041f7","datavalue":{"value":{"entity-type":"item","numeric-id":3582736,"id":"Q3582736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4945f26f4e2116f3712486f57f12e28cd9b20830","datavalue":{"value":{"amount":"+0.8344133","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2825420$25DD294B-F925-4E87-9EFC-1917CCCECA58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef5a95f3e14779435eb10a0090cf19c8f48e92b3","datavalue":{"value":{"entity-type":"item","numeric-id":1080653,"id":"Q1080653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54842ce16d9ce89513ace652e0224aec1e778184","datavalue":{"value":{"amount":"+0.8305314","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2825420$502840DE-3728-4E7D-986F-016BE0CB4937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f69c8aa0fcd7abc4b277e886d9efa6be32b5fa60","datavalue":{"value":{"entity-type":"item","numeric-id":4021550,"id":"Q4021550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d9bde27734baadda2d526a7548441300e35c11e","datavalue":{"value":{"amount":"+0.8286743","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2825420$89A0A86F-B0F5-420F-8061-92796AF3B56E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d2ac00035bff00d8ae119912bcd2e320b8a4ccf","datavalue":{"value":{"entity-type":"item","numeric-id":3150203,"id":"Q3150203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44c97f1e3ce19cab8c75b0b43e951653590046e0","datavalue":{"value":{"amount":"+0.8223377","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2825420$C2FE1370-9857-4096-9D2C-CFB1AB987E2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a58029ef4dd02551e8140855ca9217ab8ea68de","datavalue":{"value":{"entity-type":"item","numeric-id":2847412,"id":"Q2847412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ec494ed2840f15e53058d3de0cdd811b555a8d8","datavalue":{"value":{"amount":"+0.82167614","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2825420$686671E8-591F-412B-BD3F-7C0EAE05EB45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11c7b1c75f31ae9359bdc1cf361cb0b45ed64538","datavalue":{"value":{"entity-type":"item","numeric-id":4858176,"id":"Q4858176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4dac57082e42a1928ddafc7edc9aec0f7edcee9d","datavalue":{"value":{"amount":"+0.8206176","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2825420$F7AEA502-B4FB-4C18-8AC3-84BDFE9154F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43e56df3ceb6e83a690f814d11fdab6d36457c86","datavalue":{"value":{"entity-type":"item","numeric-id":3646256,"id":"Q3646256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1758f5092e0d2d9864967af95827bf484f0ac57","datavalue":{"value":{"amount":"+0.81891805","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2825420$0FA9599C-5D47-4858-9F55-6B8B2F4D577E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7934f52691439527e0b1661e02509848f6ae1fc3","datavalue":{"value":{"text":"An epistemic predicate \\(\\mathrm{CTL}^{*}\\) for finite control \\(\\pi\\)-processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2825420$5047337C-9FDC-4B6B-B714-CDE89D185294","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2825420","badges":[]}}}}}