{"entities":{"Q5484905":{"pageid":7514465,"ns":120,"title":"Item:Q5484905","lastrevid":49899730,"modified":"2026-01-11T20:29:55Z","type":"item","id":"Q5484905","labels":{"en":{"language":"en","value":"A TIMED FAILURE EQUIVALENCE PRESERVING ABSTRACTION FOR PARAMETRIC TIME-INTERVAL AUTOMATA"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5048165"}},"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":"Q5484905$E6D4390E-31DA-4B4E-98BC-99322625591A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c279188499f110519842ff7ddd5de6b2ae95f1be","datavalue":{"value":{"text":"A TIMED FAILURE EQUIVALENCE PRESERVING ABSTRACTION FOR PARAMETRIC TIME-INTERVAL AUTOMATA","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5484905$C02FE8C5-13CF-4D05-B32A-A0F9B90CFEF2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9f0280df1af887322b499a717c1146af294ae8af","datavalue":{"value":"1098.68074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5484905$7A0F2B8B-2386-4527-871B-3F12EC46644F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"28dad05f4bae80d5ef25a3df29f6d89f421c1e00","datavalue":{"value":"10.1142/S0129054106004133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5484905$2B7A0E11-03E1-4A39-AD98-13D8BEDCD578","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d8bab039fdb971945790b63e629b73dd012fa9a1","datavalue":{"value":{"entity-type":"item","numeric-id":3044803,"id":"Q3044803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5484905$1A03B59C-BC94-4739-AD47-F203C082E59D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"333f509b8dcfa2f563bdcb7ea92db7fc92a8cae3","datavalue":{"value":{"entity-type":"item","numeric-id":5394186,"id":"Q5394186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5484905$ED96CD01-0186-4DF0-A6B9-CE8E1E856307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a65296d21ec32170d35dcdd7a0345c648251a92","datavalue":{"value":{"entity-type":"item","numeric-id":5394187,"id":"Q5394187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5484905$42A2E06F-1FD3-4C45-BD77-2FF7A22F0EAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f733c16c88a9ca1d4b344188fc00bf443e223677","datavalue":{"value":{"entity-type":"item","numeric-id":856740,"id":"Q856740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5484905$38AD3EC1-4D74-46A2-B06D-1B29DD43C1C9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5484905$E4EE7C25-5DB2-493B-B063-D674C8A52AB4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0a75cc68bad3bb181567a6c54a319178a2e20902","datavalue":{"value":{"time":"+2006-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5484905$6084A9CD-822F-4DC5-B3D0-3193482ED3CC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5484905$20635181-4592-4A8A-9EDF-8431B2DCA0AA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c7740b51835acb63f56bc949e167a495ddbfb4b2","datavalue":{"value":"5048165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5484905$B680A3F6-B95A-4919-AF8B-44EE905528C2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3993c9dd7d15a47b56c916e79d7861e8fa4251de","datavalue":{"value":"real-time communicating systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5484905$170B384E-0F25-49D0-80AF-5827F9E30E51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7cb7aaf2a5bb8a7be5ce8256b40edd3ca624af3","datavalue":{"value":"parametric timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5484905$7F3F3703-427C-42A8-822A-CBAA80409525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94a460cf012fa9356569b14e64b0464838067e30","datavalue":{"value":"equivalence checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5484905$AAFABC4F-1303-4272-951B-308A27EA473D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3b5fc130d93c194090b7082e2fc0769ad225392","datavalue":{"value":"timed failure equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5484905$477F1737-778B-4AC4-8BA3-3C411F6DDA72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e404e0d47002bfb1532cb42cfe324606a2151619","datavalue":{"value":"abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5484905$2EA5CDC5-BAA3-47F9-AEE6-2BA509E829D8","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":"Q5484905$0824501B-D76E-41AC-8653-1C8F158DB7F2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c1ee4edd7511750bce8287bc936441214772ede","datavalue":{"value":{"entity-type":"item","numeric-id":674191,"id":"Q674191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5484905$91B3E57C-ADFA-45EB-BA42-DE0CF9F3FA35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a88e06b186a83bc1abbde69c4cd83326d414709","datavalue":{"value":{"entity-type":"item","numeric-id":1348526,"id":"Q1348526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5484905$FC7BA299-6D10-461B-9F9A-52E0463D275D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86ccba58fd321cc33f9e40a7cc290be4560671d3","datavalue":{"value":{"entity-type":"item","numeric-id":674194,"id":"Q674194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5484905$F26044AF-654A-412C-9838-7FFB69B6CB4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05dea0129140e41c658532fe8120daa17e8e4adb","datavalue":{"value":{"entity-type":"item","numeric-id":1892877,"id":"Q1892877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5484905$B2B71475-EA54-4D75-92F6-32569EB64BFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5484905$9B6CF985-024C-450A-B9AB-3AFF4604932E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4301d50504125869b7b36ae7487bac0559bd1710","datavalue":{"value":{"entity-type":"item","numeric-id":1274446,"id":"Q1274446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5484905$3540A88B-2A6F-4E4E-8B02-9DB473F511B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3588e2885b6aa24897be30d497cc066aeffc96e7","datavalue":{"value":{"entity-type":"item","numeric-id":1891147,"id":"Q1891147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5484905$7CE6B1B3-803E-411E-929F-2EC208B4FB77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75eb33fcfa4dcf8f3cb224015a88a380e338a35f","datavalue":{"value":{"entity-type":"item","numeric-id":675050,"id":"Q675050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5484905$CA4B4814-00B0-45C4-8339-C95E4B872C94","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"022887f368ff6e486dae5fc1c7370d7193af40e4","datavalue":{"value":{"entity-type":"item","numeric-id":5394188,"id":"Q5394188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1eec542e11e826ba6cc54dba700e08e97528ab3d","datavalue":{"value":{"amount":"+0.9126875400543212","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":"Q5484905$AEF9C6BC-36D9-41AE-905E-207428A57407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f28c6ada71aaa9a8347bd0702cc760c0cea100c0","datavalue":{"value":{"entity-type":"item","numeric-id":3646167,"id":"Q3646167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1642f341a967ebf5c6722a3ce70115c02e500c4","datavalue":{"value":{"amount":"+0.7323658466339111","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":"Q5484905$B9B88B2F-4924-46ED-80B9-E4AADE0B2B01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b033a083ae7da9b9dd6e7c69613a4208b6d1596d","datavalue":{"value":{"entity-type":"item","numeric-id":4982084,"id":"Q4982084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37fce20dc5dba0bcefc28df887f5f15183fb21d3","datavalue":{"value":{"amount":"+0.7305164337158203","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":"Q5484905$0A39035A-3515-4B1B-80E7-CF175CB045A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1870cbd709b027ebcc12a44563b943a1a2e59ab7","datavalue":{"value":{"entity-type":"item","numeric-id":675050,"id":"Q675050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"822c71bd69797143c0589a4b94ac196e6f28f685","datavalue":{"value":{"amount":"+0.7281283736228943","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":"Q5484905$BB340C1A-1596-484B-B817-C90EF789FC55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b295017a0cb2ad9ef89b8b0f46e565a86e1389a1","datavalue":{"value":{"entity-type":"item","numeric-id":2880595,"id":"Q2880595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eccd0c997243fd55bd4fda318e3b6079d05854a4","datavalue":{"value":{"amount":"+0.7256932258605957","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":"Q5484905$89AF712F-46D0-4E28-8EE8-58AC2C5D57AD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5484905","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5484905"}}}}}