{"entities":{"Q6912384":{"pageid":20976400,"ns":120,"title":"Item:Q6912384","lastrevid":84157256,"modified":"2026-05-12T14:41:02Z","type":"item","id":"Q6912384","labels":{"en":{"language":"en","value":"An approximation-based incremental SMT approach for diagnosability analysis of real-time systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8109514"}},"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":"Q6912384$D2DB2362-357A-49D0-894B-8F72BFD6C6A2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"99d03defc91c76583d6c99e52b913af254caf6d3","datavalue":{"value":{"text":"An approximation-based incremental SMT approach for diagnosability analysis of real-time systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6912384$90E9EBE2-82E9-4A81-8A21-3D9F2AACD314","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"84ddeac40c1259d8ba7b6bc2f7228afc157ad991","datavalue":{"value":"10.1007/S10626-025-00420-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6912384$E0D3CB4C-44DD-4521-A6F1-ECCE5997FE9A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6fad0d5dc969a14fb3e73b7232b7514f02921db","datavalue":{"value":{"entity-type":"item","numeric-id":2696967,"id":"Q2696967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912384$81A9E599-B623-47AA-99EA-01A44D2B95CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"25e9bde5f701cb8ca742c7e37ac2f46ce354934c","datavalue":{"value":{"entity-type":"item","numeric-id":892577,"id":"Q892577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912384$102FC798-D273-4174-B2EE-ED1492E6CE8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ea66c99404727bd3781ae03a59b6d43ee77ab6a","datavalue":{"value":{"entity-type":"item","numeric-id":409003,"id":"Q409003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912384$77D17F53-0324-4FBE-8939-17D4B5826DCA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0f7c04b6b94cf13c193d472c226068c28e7c8f04","datavalue":{"value":{"entity-type":"item","numeric-id":169421,"id":"Q169421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912384$3F8F9582-0FD6-4357-A87A-F202F2BDFD1A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"866e154d603ae9f5523d731e92adc94b973314e9","datavalue":{"value":{"time":"+2025-10-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6912384$CA6963C1-C5BC-466E-A7A6-36F8A15334D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6912384$F7BCA00A-F473-4C8C-B81D-3E3D8C4E76A4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c9a9725dacb20d9bdab2d23866e8e6d599289cc8","datavalue":{"value":"8109514","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6912384$4FAD2762-8524-4E14-ACFA-4A77BE9F0A02","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912384$FF32249D-1B88-4929-959B-8A6BF117AB7D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77eeeb920fbe05254a6d43d30e4e88439b0ec974","datavalue":{"value":"diagnosability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6912384$47AC7D0D-1368-42A7-86E0-E6E2DA93F8EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6912384$19748C21-F7CC-48B9-A35D-E9A539F935B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc88a85eafc98bb9677b264fb73e786eec79ad85","datavalue":{"value":"approximations","type":"string"},"datatype":"string"},"type":"statement","id":"Q6912384$E553EBDD-075A-4FE6-BB02-228174D120C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad81396486cc0c8915f6b80fc7b9ff7de99303f1","datavalue":{"value":"counterexample-guided abstraction refinement (CEGAR)","type":"string"},"datatype":"string"},"type":"statement","id":"Q6912384$B722F165-3538-44CA-B4E0-854A61E45A5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75999b4145baf8e36d1aae9da7d6c1e17358728e","datavalue":{"value":"satisfiability modulo theories (SMT)","type":"string"},"datatype":"string"},"type":"statement","id":"Q6912384$FFE89344-95B7-4563-9C68-4568241073BD","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":"Q6912384$618C0BF4-842A-42DA-B1DC-7D9E647380B3","rank":"normal"}],"P223":[{"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":"Q6912384$10257612-A446-4A13-B766-F5A52C28F114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"702478c7b7841ede052868960038afe53620e148","datavalue":{"value":{"entity-type":"item","numeric-id":3172851,"id":"Q3172851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912384$D0154E71-386C-45C4-BF48-D7396F7D6209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00e19bb52a9c8c241f845cb6f7eb26111667ec9e","datavalue":{"value":{"entity-type":"item","numeric-id":5705876,"id":"Q5705876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912384$3B6DF4DB-8165-48E9-B0CE-8D1E0DBCB402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cd2a25d693a4acd921e56f15d1b3d06cb750f8","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912384$8C2D7DB8-0BF8-463B-AD0D-04D6F7AA5625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b88053da80a11a27ba25efe3cc5797f5fa3925f8","datavalue":{"value":{"entity-type":"item","numeric-id":3510839,"id":"Q3510839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912384$E232AA10-174A-471F-8043-B9D29D41459C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e1cabe91680f97c42516886ceb64827a1ccea34","datavalue":{"value":{"entity-type":"item","numeric-id":1012718,"id":"Q1012718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912384$8035064D-DA73-49A2-A0D6-47B3D817243C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c96016133f001299a67548984b80285ad92359b","datavalue":{"value":{"entity-type":"item","numeric-id":4540472,"id":"Q4540472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912384$86405DBF-0BDE-4D63-BA07-B51A0B18748B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b103e7c650cb833c27d77c19b0dea3997ea72e28","datavalue":{"value":{"entity-type":"item","numeric-id":6154573,"id":"Q6154573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912384$F9D02750-B73E-40E8-86B8-D72A88BBC81B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73fc9e90c5ee3972a410dc4276a1a88eef0dada4","datavalue":{"value":{"entity-type":"item","numeric-id":4852346,"id":"Q4852346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912384$29665BA2-9B20-4966-B40E-D0AE09F0111A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f4a838ef9b92606a84283a7a12a493f5b69561e","datavalue":{"value":{"entity-type":"item","numeric-id":4506495,"id":"Q4506495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912384$D655C178-6917-4028-805E-D157BDF4193D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88adccb9813f683fc56442632142ee1f0d22035a","datavalue":{"value":{"entity-type":"item","numeric-id":5392291,"id":"Q5392291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912384$5519BFEF-2A11-414A-854D-2DE3358754F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"721eaa9b2064055d2f3a8b1b6c5efbb73ad5947e","datavalue":{"value":{"entity-type":"item","numeric-id":5117254,"id":"Q5117254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912384$AA89E66C-D0C1-452B-A62B-C7B61F454D2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e52bc16f435b72a3e6adab32f4e798bd023739b9","datavalue":{"value":{"entity-type":"item","numeric-id":5422299,"id":"Q5422299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912384$095E9380-24EB-4DA9-B381-723D0BFED2D1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An approximation-based incremental SMT approach for diagnosability analysis of real-time systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_approximation-based_incremental_SMT_approach_for_diagnosability_analysis_of_real-time_systems"}}}}}