{"entities":{"Q3559794":{"pageid":5589698,"ns":120,"title":"Item:Q3559794","lastrevid":50976572,"modified":"2026-01-16T01:22:03Z","type":"item","id":"Q3559794","labels":{"en":{"language":"en","value":"TCTL inevitability analysis of dense-time systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5705614"}},"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":"Q3559794$5DF46408-9DED-44E5-B45F-7BC596B15114","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"25cbdf69103267f3145ad94d6b8bb48906bb969d","datavalue":{"value":{"text":"TCTL Inevitability Analysis of Dense-Time Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3559794$DECE0C5D-C978-4ACD-92E1-CF66AB317064","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"61649b476b1077c6427700dd997f400c7806927a","datavalue":{"value":"1279.68223","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3559794$50141B09-3F27-4F6D-AAE0-3C11B70FC97F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2654c9ae5bdfb9b19f9d04ceeaf6eb545d251a3c","datavalue":{"value":"10.1007/3-540-45089-0_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3559794$0914012A-85FE-40A7-9935-3AC4B94E9C68","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"678323d8c357eaf7e7bc2f1d5d96711bb3955f10","datavalue":{"value":{"entity-type":"item","numeric-id":656079,"id":"Q656079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3559794$398E78BC-23E4-446E-8A50-B4C0D1F76BA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"994585213a2be6420f6f3be4f745fd127b0a6427","datavalue":{"value":{"entity-type":"item","numeric-id":3559793,"id":"Q3559793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3559794$3CD431B0-7E0D-4F18-AC92-9BBF547DCAE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"248be6192f931f4e9398d983f4f2a5eec0838b40","datavalue":{"value":{"entity-type":"item","numeric-id":255818,"id":"Q255818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3559794$44B1A063-E351-4C0E-B974-7031B4E74BF6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bf83f812d2bbb21784a7f63045abdaccf0cc333b","datavalue":{"value":{"entity-type":"item","numeric-id":2830201,"id":"Q2830201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3559794$47AB0A60-4D96-4D66-BDC3-7048F17C3762","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17e143d5b33c80948b67548d47c63ee6df7c9f0a","datavalue":{"value":{"time":"+2010-05-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":"Q3559794$8DB55AAB-F4EA-4188-9039-79465783947F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3559794$2646C915-5ABB-42D6-A9CB-47707F310F4E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"21d2f0cfd2559dadd178aed90ba105ce420c3bb3","datavalue":{"value":"5705614","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3559794$270EA2F1-CC98-4D01-930D-802E915C2FF8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8325b19a9709030932dad486052e4e0093ba153","datavalue":{"value":"branching temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3559794$0E1E6ACA-6E0C-4A0C-A359-1DDAA4F4B831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1df8ebf7968845b057d89fe8041d8d18adda9a1","datavalue":{"value":"TCTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q3559794$247CD003-920F-432D-BFAC-5B21CD29DECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d42570b3f07ce49731c7e0056d1267e6d7e49d53","datavalue":{"value":"real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3559794$08EC6019-9F96-4D85-ABD5-C6E9814D9333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e02e229af8f7553c1adf1c9b854b52d48f822fe8","datavalue":{"value":"inevitability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3559794$6BCB0CAF-C5B9-4F7E-AE96-E47197219D81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3559794$57B093D3-25C2-4EB6-9B17-B6F756543BBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ceb68759d6dd5b828fd7c16e7b7f2a134205c50f","datavalue":{"value":"greatest fixpoint","type":"string"},"datatype":"string"},"type":"statement","id":"Q3559794$E8A64928-40CC-4B69-BDAF-9FB7E08E2D3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e404e0d47002bfb1532cb42cfe324606a2151619","datavalue":{"value":"abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3559794$48A720E0-DC29-4A2E-BE1E-576BE2E81957","rank":"normal"}],"P1463":[{"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":"Q3559794$987C6137-B326-4D35-BD93-E7839F348FBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b8a49be4a9cb7b2131c7b348c426c00703c6ecdd","datavalue":{"value":{"entity-type":"item","numeric-id":14301,"id":"Q14301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3559794$7FE5417B-3A2C-4E24-A968-9308736F65D7","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":"Q3559794$884C5F9B-2EB2-4A56-9CFC-BE66603FDDC1","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":"Q3559794$C2EEBCF6-0C8D-41A3-8588-2E87650B1398","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2a5325e788332f0098146a918bde9c29cc5fa655","datavalue":{"value":"https://doi.org/10.1007/3-540-45089-0_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q3559794$DF4DA1FB-67EA-4A36-82B7-3827CA01D580","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1104bb70ac238cbb41009560327dae4f1669d705","datavalue":{"value":"W1597420072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3559794$3F40BF2B-10EC-40AD-851F-9CAD3DD17AF4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"967d2af298ac21f2cd6af9ce8a91a27a9c75621c","datavalue":{"value":{"entity-type":"item","numeric-id":689092,"id":"Q689092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"caca1d10291d4d2893b44843efda5cae32927c93","datavalue":{"value":{"amount":"+0.7839494347572327","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":"Q3559794$8343A342-B193-48CE-B207-7B6BC402EB81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9495214c1f1c6a46ce1664363f2d1fb3d2861847","datavalue":{"value":{"entity-type":"item","numeric-id":1327398,"id":"Q1327398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a96bf9be7c9efe46738ee85caf2717e72147605","datavalue":{"value":{"amount":"+0.7792238593101501","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":"Q3559794$CB21A378-E4E7-4698-9AD4-0E4836EBFE9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"544b2371a942216d584b69d143afbb39693c93d2","datavalue":{"value":{"entity-type":"item","numeric-id":4472440,"id":"Q4472440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba1a7ed30378e9f7c77e043b831dbaa8c1065c43","datavalue":{"value":{"amount":"+0.7648813128471375","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":"Q3559794$73EF759C-A0F3-4CCF-B10B-1FCF3F1D1D7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a7225ed373627b953248542332e60e825bd5ec7","datavalue":{"value":{"entity-type":"item","numeric-id":1935781,"id":"Q1935781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19b89cdfa77079a21134209b38d24c85a0d69432","datavalue":{"value":{"amount":"+0.7422210574150085","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":"Q3559794$34A674D4-6BE5-4986-B990-87AF90AF5862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17ca93c4941120f84bb33a624a4136a2221a633e","datavalue":{"value":{"entity-type":"item","numeric-id":3522919,"id":"Q3522919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df7c839eab5f4d4101655946ebfaf82f27498ee4","datavalue":{"value":{"amount":"+0.7205941081047058","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":"Q3559794$15E8F8B2-9F27-489B-9542-49A9CD3E8E68","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3559794","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3559794"}}}}}