{"entities":{"Q2494725":{"pageid":2505468,"ns":120,"title":"Item:Q2494725","lastrevid":49869937,"modified":"2026-01-11T11:30:20Z","type":"item","id":"Q2494725","labels":{"en":{"language":"en","value":"Model checking propositional dynamic logic with all extras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5038066"}},"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":"Q2494725$F4C61144-9880-4F32-BA01-EB208BB4C5DA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5550aeb9877b5a37f7c59b44ea2f9cb6491929c5","datavalue":{"value":{"text":"Model checking propositional dynamic logic with all extras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2494725$3969DA24-17D7-4FA8-9514-953BAC7F206A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"01ad88a96798f35637c59a81813dc28297af69bb","datavalue":{"value":"1095.68053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2494725$839117A3-2BC0-4712-AECE-AE058B3C1700","rank":"normal"}],"P16":[{"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":"Q2494725$2722E9E0-99B9-4CA2-8717-DC8F83D31A7B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fd9c858b64e538228c66f00c768fd1506ee71010","datavalue":{"value":{"entity-type":"item","numeric-id":124852,"id":"Q124852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2494725$C520E089-98F1-45D9-81AD-65A1745E1353","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9e66041b42d053f5f2145cbbf08b1b29afba170b","datavalue":{"value":{"time":"+2006-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2494725$2E70D85C-EC14-4562-8BCE-8C1F8467A671","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2494725$AE011705-952A-41D8-994F-B7F176BEDCB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2494725$D38CDDF2-4CEC-49BC-ABD3-E21D08A62F36","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3bf3db5b7a516f140772d0251834137a90637482","datavalue":{"value":"5038066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2494725$C80C845D-0465-41C5-8117-49EAC17130A1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a5eef9a7839e51aae1829128fd74061b3797fc5","datavalue":{"value":"propositional dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2494725$D633F1B4-BCB8-4A0B-AF6C-69FB73376380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2494725$0338D79B-CE75-459A-96D0-B60DCA522F40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2494725$1918C716-B76F-4CC2-8F7C-A5B96543C982","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":"Q2494725$69A56989-ECCA-41F4-B2C5-63E3D8339A42","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7d486a1b33245900ed2c18a7e18e1d6c945958be","datavalue":{"value":"https://doi.org/10.1016/j.jal.2005.08.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q2494725$0755BDB7-6377-436A-89B9-A94449C45703","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bcd59322ac1d0df5ac1efc9a187878b3d9e81b6e","datavalue":{"value":"W2117221156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2494725$7DFD80EA-936A-42EF-9CAE-A4C5C93238E8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2235fb3183968eaa336d2af78465b477fb3d4674","datavalue":{"value":{"entity-type":"item","numeric-id":4385540,"id":"Q4385540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2494725$272E0CCC-33F9-43B6-ABC6-996A63943681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2790188d3a2572a99d3b8280868598d27c040965","datavalue":{"value":{"entity-type":"item","numeric-id":4525781,"id":"Q4525781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2494725$428003BD-77A7-403E-877E-22FF47CB06F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0e3a179147832b2b1c96869b8d44ccac54dac91","datavalue":{"value":{"entity-type":"item","numeric-id":4343990,"id":"Q4343990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2494725$5C56C0EF-9E92-495C-A716-7897BD5B4634","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":"Q2494725$776AFB43-0392-4747-89D6-F4C54EA62C81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fe471308125d65582632b7b24e6589f89c33d6","datavalue":{"value":{"entity-type":"item","numeric-id":1090675,"id":"Q1090675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2494725$63E03B32-74B3-42C4-B72F-33F06F414BD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f401c4b112767797dfee2820fea5daa32f860f9","datavalue":{"value":{"entity-type":"item","numeric-id":4528038,"id":"Q4528038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2494725$2DDD64E0-183C-4BF4-95EF-EB5E78D5CD21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b873a02ddf1768ea5beaf2d30994f1fa09fdff6","datavalue":{"value":{"entity-type":"item","numeric-id":4661972,"id":"Q4661972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2494725$5D92F4AE-C5F7-4453-ACBC-E0E1E5F72A8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8348c96e4d335402fbd550ffe9a5e2388b698e2","datavalue":{"value":{"entity-type":"item","numeric-id":3313255,"id":"Q3313255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2494725$78A44EF4-F38B-415E-A485-0A55745C258D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e51636baa00b00ee9af6bbcde64f417bff981286","datavalue":{"value":{"entity-type":"item","numeric-id":792083,"id":"Q792083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2494725$453B0338-84CE-4566-9F3C-7D0421EA834F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d998f10dbe733ce0c4fe3996b622c39d39adbcb","datavalue":{"value":{"entity-type":"item","numeric-id":3662639,"id":"Q3662639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2494725$FDA806CB-3A8F-41EE-B54B-14B2768AA8F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51fce396657662d76f5dac0f33566dbff096a660","datavalue":{"value":{"entity-type":"item","numeric-id":3740223,"id":"Q3740223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2494725$9071CC69-BB6A-4E60-99FD-F4559B086279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b58e3c5a8bd0e8e00a61441b3d285e2b49d20a3","datavalue":{"value":{"entity-type":"item","numeric-id":3748269,"id":"Q3748269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2494725$CA927E66-CED9-4A34-9B35-F7B35912569E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bb1f4d6ad884b10554b7ab918efeb5d08ce1ca6","datavalue":{"value":{"entity-type":"item","numeric-id":5483005,"id":"Q5483005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2494725$1F5214B7-7886-4916-9C16-F6158F34C5CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17202040f1bd9e289c29fe7f13c3f54f07551be","datavalue":{"value":{"entity-type":"item","numeric-id":4738471,"id":"Q4738471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2494725$FD873D0E-D8D8-4187-BCB1-5A464E060B11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b64518fcc65551beddd4b9bec8720e5ef2c67af6","datavalue":{"value":{"entity-type":"item","numeric-id":4461756,"id":"Q4461756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2494725$3FF9911C-61F6-4991-B664-2BDF5F23B6C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe929f01fa86af5ec1780a3fd0d8f9ac3346a63b","datavalue":{"value":{"entity-type":"item","numeric-id":4714446,"id":"Q4714446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2494725$31A49CD8-396B-43ED-BEC9-32D8BF44523C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f1746c0002a982167f6b872896509d0ce78aa9e","datavalue":{"value":{"entity-type":"item","numeric-id":2536323,"id":"Q2536323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2494725$ABB64047-F965-43F3-B633-11A51BF41017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6315d9cda93162c2aba33a1d3e5ec00f12fd74a","datavalue":{"value":{"entity-type":"item","numeric-id":5729523,"id":"Q5729523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2494725$2A7E7F2F-C517-4D64-9CA6-741CC0F007E3","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":"Q2494725$B5C6FCDE-B5BD-4A7F-84A5-F8BBEA9A36A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"648af4444efef3dfface63422920536bd2b0c180","datavalue":{"value":{"entity-type":"item","numeric-id":3928246,"id":"Q3928246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2494725$F4B0EED8-C373-4F3D-961A-000AE8C2331A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77ac40a1ef810fb8cad7aa719d2e42ce35862935","datavalue":{"value":{"entity-type":"item","numeric-id":5507987,"id":"Q5507987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2494725$8C657408-CB07-4609-8A71-2D02CD734799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1c56a9500216bebcb774fc37b1a721dfe2c0874","datavalue":{"value":{"entity-type":"item","numeric-id":1193905,"id":"Q1193905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2494725$BED900FD-0540-41B7-81FB-6CF3F5F12E73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2f4bb2f9cda641a8703f1fa0b2c773f3ecfe6b7","datavalue":{"value":{"entity-type":"item","numeric-id":4531380,"id":"Q4531380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2494725$AA56C771-4C17-41A9-9F4E-57974EC5C201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c31a99c51d80b38cc137e146f5a044e1bcc0c548","datavalue":{"value":{"entity-type":"item","numeric-id":1351943,"id":"Q1351943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2494725$4F9CBF5E-A0D2-4793-B36B-16F658274E3D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3aaa21b5997a6f7a05e5976baae6be78c91357ca","datavalue":{"value":"10.1016/J.JAL.2005.08.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2494725$5D8F28E0-0CE2-47A3-B887-AA930F402991","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"beb974bc2d605da6e61f3a345b56bfa334ee03d2","datavalue":{"value":{"entity-type":"item","numeric-id":3613348,"id":"Q3613348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31f85daf7b8041e4139e3fb3e158ba7e46b02eb9","datavalue":{"value":{"amount":"+0.8482546210289001","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":"Q2494725$1C2B54E4-61B7-43B1-89E5-A4922336D92B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2eb6ce98ae8317df1eb9b436c09a370a65180c27","datavalue":{"value":{"entity-type":"item","numeric-id":3616354,"id":"Q3616354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbf499cf6b1a56bacb9f4f55a7d053f137b351e1","datavalue":{"value":{"amount":"+0.8344677090644836","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":"Q2494725$F9412D82-D83B-41E3-883B-F8CCCB221342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c728f909c4e661abf45de4d6d8c9c8a3995d64c6","datavalue":{"value":{"entity-type":"item","numeric-id":2757842,"id":"Q2757842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41675c968297bd2ced39e6e3de2ed684cb68c850","datavalue":{"value":{"amount":"+0.8124013543128967","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":"Q2494725$0E666262-96E6-4810-846A-1A16D54BC1C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44c8fc67a7fcf4094f85c00218a1c310b257cf0e","datavalue":{"value":{"entity-type":"item","numeric-id":3393869,"id":"Q3393869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96e589e66812176a49783a90ca45e26b1d47d575","datavalue":{"value":{"amount":"+0.8094709515571594","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":"Q2494725$97540287-8BB5-4C29-A4B8-049B90AC7925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4b8bae39ea3582b3d9dbc0059d40b3aef36eeaa","datavalue":{"value":{"entity-type":"item","numeric-id":801682,"id":"Q801682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa5af0d6807417a76284249abbb328ac39e08607","datavalue":{"value":{"amount":"+0.7961858510971069","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":"Q2494725$80BA1E2E-859E-47B4-91ED-FEDE4E1DE76D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2494725","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2494725"}}}}}