{"entities":{"Q5200059":{"pageid":7229630,"ns":120,"title":"Item:Q5200059","lastrevid":94428068,"modified":"2026-06-05T06:47:23Z","type":"item","id":"Q5200059","labels":{"en":{"language":"en","value":"Compositional failure detection in structured transition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5934386"}},"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":"Q5200059$AC24CC87-9B4F-4A6F-A813-78FB9A83E20B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cfcf4617f421fd9e9ea395a27e4e30d07d4f1d38","datavalue":{"value":{"text":"Compositional Failure Detection in Structured Transition Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5200059$470EA3E9-4B7F-45D4-B384-DE87F127F863","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9e6fa8760e03277fdd0e286c813783ba57b4a698","datavalue":{"value":"1297.68169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200059$B8883EA3-75E1-4A22-A18E-F16CB64FD7BC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"283e731db80db7d599d4f685f3761ef318131114","datavalue":{"value":"10.1007/978-3-642-22256-6_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200059$248A12E2-4D93-4FF1-9485-0AAAC0801B10","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"59a5cca4d8cbd754cfd9996a83a925a1a1597b7f","datavalue":{"value":{"entity-type":"item","numeric-id":3646169,"id":"Q3646169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200059$AEB64426-C523-42AC-A014-E4EE23D43AB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c258bf9206a7a338581aad4b4a7a2544fa708cd","datavalue":{"value":{"entity-type":"item","numeric-id":391109,"id":"Q391109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200059$FA7E4DCA-5ACF-44E9-BBE0-6ED0C600C23D","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":"Q5200059$F74ACE17-A9A9-41A1-948F-2256AF9DB670","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d00523700407e21ae71debe0fbbbb012ba59e567","datavalue":{"value":{"time":"+2011-07-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5200059$9D728355-2537-4672-9997-B05A136FB19B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"27c7850e4e66386b285974f766aec430dfa9cca2","datavalue":{"value":"http://publications.rwth-aachen.de/search?p=id:%22RWTH-CONV-008292%22","type":"string"},"datatype":"url"},"type":"statement","id":"Q5200059$B946F99F-D202-4CBA-ACC6-DB2ACDAEB4F4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200059$A6875B12-E958-4967-8B3B-41E4AA3D21A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200059$0AAF19F6-ABC7-4E15-BA3C-3D3DD23D0DFA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9ff260f3b1bb5fcd3d8337b07c1c180071895f43","datavalue":{"value":"5934386","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200059$6BDDAAD7-8769-4424-8EFF-18A41284DD0D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379a567f0f983e236f95705804d342510fc41004","datavalue":{"value":"model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5200059$345FE5E3-F56A-4C93-ADD4-7F27D52CD6A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81c2092b6160a1d68947e66b617af1e45a576aa3","datavalue":{"value":"finitely synchronized products","type":"string"},"datatype":"string"},"type":"statement","id":"Q5200059$0D1AC3A8-54C1-4631-8C4E-B2B1F34FA73D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bdc6aec37d7a2ca7171d6bb76d72407b5e9a83a","datavalue":{"value":"compositional failure detection","type":"string"},"datatype":"string"},"type":"statement","id":"Q5200059$1DC899BD-CBBF-447E-B075-1D4B8A06AFE0","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":"Q5200059$722E89EA-CA86-4DCB-8C90-82502CDE3E95","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6bdce0f21ffd37b9142c4c7b6c2bf38d4955cfef","datavalue":{"value":"W1821818097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200059$AE98EE83-6471-4E29-BBA9-CAAB597EDEE5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"340ea97c0f2f383d364057042ebc9f9438fcc85a","datavalue":{"value":{"entity-type":"item","numeric-id":4091421,"id":"Q4091421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200059$C37E8372-480D-4FB9-91D2-A0E36E3BA299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200059$EB4C52AE-4713-4E20-8FE8-52AE459F7E3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"465c44674a94414cb55e7dc8cbdf974e7462af9b","datavalue":{"value":{"entity-type":"item","numeric-id":3287248,"id":"Q3287248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200059$EB1870C6-E038-45CD-8300-59E1D239894A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4753b4659469e60d103626aaca4d897985fe79a","datavalue":{"value":{"entity-type":"item","numeric-id":5428869,"id":"Q5428869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200059$A8E977D7-C7B7-4D60-95FE-C0389BAAC267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef6d200e493964b07f6f93eda4c1ae61358d7d05","datavalue":{"value":{"entity-type":"item","numeric-id":3848195,"id":"Q3848195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200059$C1856BD8-DFB3-4457-84D0-89BFB54ED537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9a0035cf4540a200f752e67616ee09960bd2d41","datavalue":{"value":{"entity-type":"item","numeric-id":3261418,"id":"Q3261418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200059$AD75AE7D-7C0A-495C-86A6-117D4C8E9DE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c06909694c9bf2a86cbf5238b411b8a49eb30b26","datavalue":{"value":{"entity-type":"item","numeric-id":4982089,"id":"Q4982089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200059$BCC1E919-A127-4F18-A5E1-243CCBA89FA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf591a2921ffc669871954419e1e5793900e0a4a","datavalue":{"value":{"entity-type":"item","numeric-id":5200059,"id":"Q5200059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200059$DD05C5D2-B5E5-4571-BEE0-AECC943D77C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b45af815584b281446704023f9f4c0865a4d4836","datavalue":{"value":{"entity-type":"item","numeric-id":4380448,"id":"Q4380448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200059$736C7CAB-7494-4F45-855E-D0F4AE9996AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90e87e8e6abdd0b51c8c74bea38abf0c63a2a1ed","datavalue":{"value":{"entity-type":"item","numeric-id":598280,"id":"Q598280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200059$0B8C757C-716F-4CA5-B6EF-9687FF73DB27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26a3cfb3d7b3a2926cb83b99ae0b425e1b5d6abd","datavalue":{"value":{"entity-type":"item","numeric-id":5812176,"id":"Q5812176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200059$1C9754DF-BACA-4DCD-B924-CAA4214496B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1548cb3c88cb78e09d1e21df11b259c1b6b89fa7","datavalue":{"value":{"entity-type":"item","numeric-id":5277769,"id":"Q5277769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200059$BD92DC0C-12A0-4B34-97F2-DF21F928234A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68c74e20c9157021aaf7d8167c88d779be5f8df1","datavalue":{"value":{"entity-type":"item","numeric-id":1233019,"id":"Q1233019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200059$A427FAE8-D7D3-48A2-A787-438F6D1FF7B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5444d62b61ec4f0092db6e9182c1367d48f1504d","datavalue":{"value":{"entity-type":"item","numeric-id":4362730,"id":"Q4362730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200059$9E1BEEB4-2F6A-4074-B519-78DC24B33A4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94ecab4d06bc93bf80fbe8beff32660056f47d94","datavalue":{"value":{"entity-type":"item","numeric-id":4547769,"id":"Q4547769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200059$7873847B-8F9B-4B3C-BB41-EB6A82556C29","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7094a3c988c734ca21ea53bc6ec6f202282d2855","datavalue":{"value":{"entity-type":"item","numeric-id":3204034,"id":"Q3204034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e466d7e687b25eaf9e019595ea011a5da10d4751","datavalue":{"value":{"amount":"+0.7525306344032288","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":"Q5200059$6872EF6E-FD43-48C2-B5DB-E702AA6FFDEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f78cfeea4324d63cc6188dc5fcea341d4e7802e","datavalue":{"value":{"entity-type":"item","numeric-id":3569044,"id":"Q3569044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65e47069bf207bb25e622dc694539f98daa038ab","datavalue":{"value":{"amount":"+0.734218418598175","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":"Q5200059$1BC24A58-4D93-4C06-B894-B59B2C9D66EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfb0e469db8af7a009a867a359818028b3fb0366","datavalue":{"value":{"entity-type":"item","numeric-id":3402273,"id":"Q3402273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc2e753dc0e5c588921a6458edeb7f26bbfcabb9","datavalue":{"value":{"amount":"+0.7245526909828186","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":"Q5200059$7C7A4873-81EF-4EC8-A382-B4AFBFA2527C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c40bd1aaf24849c8e838234af8d485396edd583b","datavalue":{"value":{"entity-type":"item","numeric-id":3646170,"id":"Q3646170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a99ddf388798e21f5dc38923c812f73b6860bfd","datavalue":{"value":{"amount":"+0.7211103439331055","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":"Q5200059$8D6A723D-5061-44CF-84D7-FCF8B5E34F92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"586d71cc00cf6dba913f45eb3997e2d3e64ae1d1","datavalue":{"value":{"entity-type":"item","numeric-id":5453498,"id":"Q5453498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c7a4ed998a57724f0c9e100c15304902d9d1864","datavalue":{"value":{"amount":"+0.7176082134246826","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":"Q5200059$D3E027AB-4DFC-4B1E-A2F0-A5885E181C4F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Compositional failure detection in structured transition systems","badges":[]}}}}}