{"entities":{"Q1858436":{"pageid":1869178,"ns":120,"title":"Item:Q1858436","lastrevid":69129939,"modified":"2026-04-13T04:58:25Z","type":"item","id":"Q1858436","labels":{"en":{"language":"en","value":"Is your model checker on time? On the complexity of model checking for timed modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1868271"}},"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":"Q1858436$9D1C18FF-E7A1-4618-901C-36406BEFDD65","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e25ee5a379c9fc6bec00e162cc8ba09e89c79c33","datavalue":{"value":{"text":"Is your model checker on time? On the complexity of model checking for timed modal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1858436$0AEDB447-25DC-452D-8633-B28A4380CA9B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"074f793d7f5f3a526e412e853ac6f4dc9f5e6c36","datavalue":{"value":"1008.68030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1858436$F3ED8842-FEF2-45F9-B9C0-1AC3DAF408F2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b3082695c26a904b1d1bbd97a1f5ed63e3875e8e","datavalue":{"value":"10.1016/S1567-8326(02)00022-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1858436$DA32C595-19C0-4127-892A-96BC17D222B9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b4bd39b66e05c6b5ee50169e2d4c712b3b54f91","datavalue":{"value":{"entity-type":"item","numeric-id":266855,"id":"Q266855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858436$756E7868-A7AC-43CB-B7B4-9C37EFAFE2B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c628048560a95e93b98909122a7164e3572ba0ca","datavalue":{"value":{"entity-type":"item","numeric-id":548703,"id":"Q548703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858436$7861C885-F21A-45B8-9A69-60788850C691","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858436$A92D58E1-A31E-4F4A-ABA3-AA65D3E51F31","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aeee03ff93cd4d2bc8e8bd2001afc62b5646464f","datavalue":{"value":{"time":"+2003-02-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1858436$CEA65330-4C9B-4D47-9589-A8550D09721D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1858436$75C79AE0-C933-4C0C-8D96-B099963B0382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1858436$00BF14AA-8F1F-4FB0-8C4C-716C61AB3045","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"08a7eadcc15ecf37eb681ec65bd55e1c2d36722d","datavalue":{"value":"1868271","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1858436$7665E1A3-0001-4F4B-A5BA-474B2F7DCB2C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1858436$2DB258C0-E4FF-41DD-90C5-5AA30F507361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1858436$6B6A39B7-C0E8-47C3-80A5-B193956DA303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"997d3b102da12b69be9e3da05dda4774391f5b8e","datavalue":{"value":"timed modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1858436$CB83DA58-45FD-4645-BEF3-2A9410FC0682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"043e51c25d4eb0e0064c08b58938b70e30ff8378","datavalue":{"value":"complexity of verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1858436$DD7CDF65-13A8-41C4-ABD7-1085E8508391","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c19906f7a381f985883f63cec5e8a507a13287f","datavalue":{"value":{"entity-type":"item","numeric-id":16310,"id":"Q16310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858436$E0574BB4-2526-46EF-84A4-17FCF1F39506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8aade874f98df86276cbc41969e554df92eb03f8","datavalue":{"value":{"entity-type":"item","numeric-id":24351,"id":"Q24351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858436$BF2BA219-80FF-4FC3-B1D8-2D41949ACB8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6cf9fc054c8d6a68d9124c2db7ee89e021092b9","datavalue":{"value":{"entity-type":"item","numeric-id":14010,"id":"Q14010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858436$8C6FAF25-DDAC-4C49-BDEA-5C4A4120ED2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858436$C2ECB6E6-EAC8-48C9-AB62-F62D311F71A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f078e243cc5b2a268355ae913e6ed1ca3bb0dc8","datavalue":{"value":{"entity-type":"item","numeric-id":20519,"id":"Q20519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858436$61ECDC8A-1CF2-4932-B206-7F58091C1EB3","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":"Q1858436$EDA54FEC-051D-42CE-8813-2FAA1834986F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff017f5b33353d99911dd1c037f16889eae25ef7","datavalue":{"value":{"entity-type":"item","numeric-id":2729632,"id":"Q2729632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858436$0B31BBB1-B1A4-4469-AE16-9256A428DB62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03afeab143f32bf98a5cd8b29e8944068bde69b7","datavalue":{"value":{"entity-type":"item","numeric-id":4941895,"id":"Q4941895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858436$FF48CEB1-BCAF-414C-B25F-15D529F0473B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df3bae9c756efbb8cf10516a99531fddb50833e","datavalue":{"value":{"entity-type":"item","numeric-id":689092,"id":"Q689092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858436$EC7581C3-AFD3-4D61-8F79-C9B49FEAD13F","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":"Q1858436$19276ABF-CD28-4AE0-AD5F-9306184F037D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8e019e14c862ddaf7bcd66cd64d6515bc5dc195","datavalue":{"value":{"entity-type":"item","numeric-id":4371517,"id":"Q4371517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858436$0469CE15-0763-403A-80C7-F8BB2404C6C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3c7f8b3f1ff6940d5ec48ef42f10efe12dcb747","datavalue":{"value":{"entity-type":"item","numeric-id":689093,"id":"Q689093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858436$D9014509-1A62-492F-B27D-FE737B9ECFE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be00c63685f57348b9e88ace758aea96980b1481","datavalue":{"value":{"entity-type":"item","numeric-id":4299300,"id":"Q4299300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858436$85471A5A-DFEC-426F-B14E-D33609390800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89136b2861aee80a28bb632c30d89c0ce71953da","datavalue":{"value":{"entity-type":"item","numeric-id":1325844,"id":"Q1325844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858436$D0EC568E-E1BF-452E-934D-1D175BBF4EBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6720ea54e8d7bda1f526d6d3b9396cc0b55a891","datavalue":{"value":{"entity-type":"item","numeric-id":1115196,"id":"Q1115196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858436$BDC0A7E0-E17C-4C59-AF5D-DF9860134A18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9773c6b9fbc8bea11d27f620d5c9b7c0cc1d78b8","datavalue":{"value":{"entity-type":"item","numeric-id":4818802,"id":"Q4818802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858436$3D07B51E-8B7C-46B5-9AC0-FE962670D297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a860092cae4ad4c5ee631c0a98f0a7ee7f9c9d0","datavalue":{"value":{"entity-type":"item","numeric-id":3241581,"id":"Q3241581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858436$36D7A3AA-4ABC-4F1D-9DF6-AFDCEEED6AA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f8b771bf7fe4c276424aeca14edaf1d57a7664e","datavalue":{"value":{"entity-type":"item","numeric-id":1858445,"id":"Q1858445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858436$2CC04DCE-1535-4C1A-90C4-D6C36F5E9D78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e6c65b0378ba4e575d0f710131146d59e647cc4","datavalue":{"value":{"entity-type":"item","numeric-id":2733893,"id":"Q2733893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858436$970AEAD3-D6DB-4E1B-BCF6-C046530C87C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858436$04059F45-23AB-44F3-A27E-834474241C4E","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":"Q1858436$0123E6A0-99DB-4D84-AE3C-F2AC0BC2AC43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b99dbc44853de1ea6d2956eafb640499b501c52d","datavalue":{"value":{"entity-type":"item","numeric-id":1183485,"id":"Q1183485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858436$2560FA51-D7BA-4139-A86C-16BBC977AC90","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":"Q1858436$F536E523-DF73-4D78-8733-178B50BBFF75","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":"Q1858436$07F9195E-8F96-475F-BD8F-1ECE6DC18756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f66c7d72619968555f7b4841da4946c8d914c16","datavalue":{"value":{"entity-type":"item","numeric-id":1801498,"id":"Q1801498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858436$355BCD13-39FC-4C1C-B0D2-FDEF8D41944B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28bc60ee833177d563e5e082ad3a90443a25cb70","datavalue":{"value":{"entity-type":"item","numeric-id":1309679,"id":"Q1309679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858436$00BEFBAC-6871-4C43-A1AA-A6A33A2FB963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c70c0dabdb0103585d533726a79f7830f625e5e","datavalue":{"value":{"entity-type":"item","numeric-id":685111,"id":"Q685111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858436$7DBDA8C8-0814-4560-B91C-96745D1CFF6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f13446fbfe4ded8be73d4abaccd4ce19541b36ed","datavalue":{"value":{"entity-type":"item","numeric-id":4381382,"id":"Q4381382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858436$5EC3FD0D-9947-43C4-919A-ACFCAF788A40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbffcf9e3549f1216ea0d3b0c84c2c261dfc34e6","datavalue":{"value":{"entity-type":"item","numeric-id":1327708,"id":"Q1327708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858436$DEBB1ED9-420C-4261-A847-85EA933E216A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"619ecdd282e2de3999f752a048cad01ed93859af","datavalue":{"value":{"entity-type":"item","numeric-id":4305671,"id":"Q4305671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858436$667297C6-1BCF-4D3E-A333-B302E5D022FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfd2e4db8ae14bb54e69255b03ddfbd8c1e28a91","datavalue":{"value":{"entity-type":"item","numeric-id":5941205,"id":"Q5941205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858436$1E200BFF-CB61-4185-B6CF-5FC13EC1C405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91c030ba0d3999de358e6c1651b7c8505095c9c3","datavalue":{"value":{"entity-type":"item","numeric-id":6044122,"id":"Q6044122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858436$6A40AFF7-1E4F-420D-B0F9-F33E918D270B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858436$EBE6BD01-424B-45AA-B8EA-40F996AE01CD","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":"Q1858436$45B4994F-6870-400C-B78A-42EEC7B03B25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f20e74feaba62bd46513e7af48c16a7db530206d","datavalue":{"value":{"entity-type":"item","numeric-id":4938638,"id":"Q4938638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858436$4B850A20-4F75-487F-9CA2-82231678278F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da4bb6f9cf8d59bb08e30fa860898c4d527ef942","datavalue":{"value":{"entity-type":"item","numeric-id":4945224,"id":"Q4945224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858436$B5E209B6-9335-43C1-B166-B5876EDBBE0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3261cda71ff5ed600ad77742f3d5e6a3f654a27f","datavalue":{"value":{"entity-type":"item","numeric-id":4732449,"id":"Q4732449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858436$580BEFDB-83E1-4A6E-909B-840734F11189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10911b7c11acce5de411682ea3cd88f86fd199b0","datavalue":{"value":{"entity-type":"item","numeric-id":293426,"id":"Q293426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858436$CB464DB2-1D62-41B9-A6F3-B68CFCC08627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"755b705d434743289f1c33d94607b3327759f7e3","datavalue":{"value":{"entity-type":"item","numeric-id":4142699,"id":"Q4142699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858436$CE97CD66-1F60-4571-9F57-F1CD1182FD18","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":"Q1858436$2B73BD24-4A07-41CB-B2EF-3D0F31DA1C11","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":"Q1858436$07A31CFB-F4DF-432B-880B-B6B4B565CE26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf54f956180a58a7b1b09efa5870d33c05d087f7","datavalue":{"value":{"entity-type":"item","numeric-id":3569043,"id":"Q3569043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858436$E720195B-9AED-4FA7-9A09-97B245759587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d20c77cca311b366cff19997c4533db649f8e26d","datavalue":{"value":{"entity-type":"item","numeric-id":2771058,"id":"Q2771058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858436$F46C3A92-D795-4FB4-8AE9-9020EB66696A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63b0c20225553192aafbc4437494eef2dc3c5319","datavalue":{"value":{"entity-type":"item","numeric-id":4508303,"id":"Q4508303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858436$E13802BC-E3A2-461B-961B-89FFB4FE1405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"490269d9394e69cd0d2b1307d19f5fb57560b3ce","datavalue":{"value":{"entity-type":"item","numeric-id":5055879,"id":"Q5055879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858436$BBEBEE60-5C19-43CC-805F-8D14459D6828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fd141145e8ea8fb37817516875d456dca78935e","datavalue":{"value":{"entity-type":"item","numeric-id":1856195,"id":"Q1856195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858436$DA517CCE-9C46-4AB6-B5E7-6111042E85A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"458ab467d1c5397109a383d0e5c939369d06a212","datavalue":{"value":{"entity-type":"item","numeric-id":3221403,"id":"Q3221403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858436$D237FA00-A77C-4D0C-B397-E0882835083B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bde52dc3971c9bf865b543a75be1a784b143973","datavalue":{"value":{"entity-type":"item","numeric-id":3512442,"id":"Q3512442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858436$A10A4648-71C5-476B-8F63-3D2898F4581E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7357cdfb87c5446d835ccaebc7252250132fd0bd","datavalue":{"value":{"entity-type":"item","numeric-id":1383143,"id":"Q1383143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858436$C8832B75-D1AF-4D10-8D46-FAC06B6F6B82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7e10d388cc331199a0c5b27e793084f7ab8b085","datavalue":{"value":{"entity-type":"item","numeric-id":1575656,"id":"Q1575656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858436$DFF332D7-D682-4D3E-A974-96EED06F4FF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70ea2cb5982585436fe867d129af259f4c54eacf","datavalue":{"value":{"entity-type":"item","numeric-id":672040,"id":"Q672040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858436$056FF7FB-EA9C-40D3-82D7-0405F744AF12","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":"Q1858436$15A738E6-FFDF-4632-839D-A15B3EDCF870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6ee8482439db0c1b60415d5abcf524a3b838fa","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858436$AC64C821-B9FB-4D50-8CAC-0AE93F4EAF46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f33f843778dfabfeef453cdfa627d4b42c24908","datavalue":{"value":{"entity-type":"item","numeric-id":4131648,"id":"Q4131648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858436$3DF61DA3-B5C6-454A-BC42-3DF2193351E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a388ffd503a2561c64bae2f63ad0b8c1881469e","datavalue":{"value":{"entity-type":"item","numeric-id":1856193,"id":"Q1856193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858436$6A875BC1-3DB5-4228-BEF6-00ECECBBC263","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":"Q1858436$CC996689-88D3-41DD-BF92-2139E666D64A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd17b0dd92a1f9a870b16332456a96405ff902be","datavalue":{"value":{"entity-type":"item","numeric-id":4936139,"id":"Q4936139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858436$E89EA2D2-B414-4C8F-A927-EECDD7B2A8CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be1d7bb0141c600a3415908525c502c9ffc451c","datavalue":{"value":{"entity-type":"item","numeric-id":1341752,"id":"Q1341752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858436$4667B791-B915-4AB2-97C5-79F105B0D5F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e574050348307bcbcfc2e2f0734db761d485e300","datavalue":{"value":{"entity-type":"item","numeric-id":1856194,"id":"Q1856194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858436$39522674-62BE-413D-B29F-AB4B97C66977","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bb582d47e814bc0cafbca52ed35304d16f760b3b","datavalue":{"value":"https://doi.org/10.1016/s1567-8326(02)00022-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q1858436$879E2074-24F6-4D60-B8C1-1EB7D049C74B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e28ac125d68ee4c784c207d86cdefc46eafb6e92","datavalue":{"value":"W2057980886","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1858436$85AD9DB2-CCB8-46DC-B8E0-6BC2C97F815A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"866eb93d7a312d904dc3afb0662a9ebf8435c428","datavalue":{"value":{"entity-type":"item","numeric-id":4941895,"id":"Q4941895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bde316c4c816faeca635fdd48c75286d764bc2d2","datavalue":{"value":{"amount":"+0.9554222226142884","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":"Q1858436$DDD175B5-13E3-415A-9163-07A9002DCA52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47a692f977b2b5a6577b9e26d31d979c09bb8c82","datavalue":{"value":{"entity-type":"item","numeric-id":5311048,"id":"Q5311048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ac29774cbf8bca6c7a966eb44f995638e78edd1","datavalue":{"value":{"amount":"+0.8384327292442322","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":"Q1858436$CC08591C-F9EF-4FDC-BB8B-5893ED7899F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c69f2d5d8cbb27f22a82668c351b8f7a1cecc234","datavalue":{"value":{"entity-type":"item","numeric-id":4982129,"id":"Q4982129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a4cfb26431787f6a13df277e6172137bb6a936f","datavalue":{"value":{"amount":"+0.8308874368667603","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":"Q1858436$CBE6FEE9-7AA8-4BF4-BC4F-75D015C96C94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc0de38b1f293c1814b472bfcb4171741eaa65ef","datavalue":{"value":{"entity-type":"item","numeric-id":4947313,"id":"Q4947313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"180f8fb29f45e8d9e97e05e5ba40b27a8b2027c3","datavalue":{"value":{"amount":"+0.813778281211853","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":"Q1858436$4FDC64C4-411C-4BA9-A02F-F29A40730048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6c8b90eb301d8de7ca8866c5a116646ef9cc423","datavalue":{"value":{"entity-type":"item","numeric-id":548704,"id":"Q548704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0524f06f626cea9b94a134172973d58f4886a79","datavalue":{"value":{"amount":"+0.8071081638336182","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":"Q1858436$57D65160-45E8-4509-B5FF-EDF00DC545B0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Is your model checker on time? On the complexity of model checking for timed modal logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Is_your_model_checker_on_time%3F_On_the_complexity_of_model_checking_for_timed_modal_logics"}}}}}