{"entities":{"Q1013256":{"pageid":1015104,"ns":120,"title":"Item:Q1013256","lastrevid":42819879,"modified":"2025-07-14T10:30:56Z","type":"item","id":"Q1013256","labels":{"en":{"language":"en","value":"Fault masking by multiple timing faults in timed EFSM models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5544664"}},"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":"Q1013256$7415A5F0-F6E1-456C-B0D9-F57FAEB15C4A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e6f879c10d4c1cbf6bb8a6741ff8d8b215e92157","datavalue":{"value":{"text":"Fault masking by multiple timing faults in timed EFSM models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1013256$896DB973-8C38-4A46-A3B9-178F5D14A223","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1299360fb38c4314698ed351ffae64c18a823faf","datavalue":{"value":"1178.68091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1013256$016D1A5B-E6EE-43DE-8BD5-8D11CAAAB61D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cea378e9bd5508fc409167a460397c934a5a575e","datavalue":{"value":{"entity-type":"item","numeric-id":276391,"id":"Q276391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1013256$AC88DA50-534F-4BE1-9E3F-D98CE2A899A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac629b4c4de045145e3e950315b0726dd6cc0e6f","datavalue":{"value":{"entity-type":"item","numeric-id":1013255,"id":"Q1013255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1013256$E8CCC2EF-23E2-4EF4-901E-5056344F5E1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c7155697d8015c92616b0a1e7632b399e8a9b31e","datavalue":{"value":{"entity-type":"item","numeric-id":871094,"id":"Q871094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1013256$A6951C4F-51B4-4C4A-BAB9-B6215EF80CBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"acb97025c54f24f24a63b0a9ba28b38fd4cf0c5e","datavalue":{"value":{"entity-type":"item","numeric-id":444792,"id":"Q444792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1013256$69004023-95B0-4089-B47C-E04F4F337361","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5b6d2e589e4e15465d745ed9cba11a5a86e282","datavalue":{"value":{"entity-type":"item","numeric-id":551683,"id":"Q551683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1013256$D52DB695-03EA-4DE0-8A57-76CB5279C9EF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"13ad83595b5744bfbf6f3ca3bfc496de1e4e994f","datavalue":{"value":{"time":"+2009-04-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1013256$6701F78B-A9BD-4AC2-BE1B-FAC26160F6C8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d8a22ace48964288ca1ed080fca5299ff532395","datavalue":{"value":"68M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1013256$D4679FD4-1A16-4E86-A956-ABA69742858F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"64c435974c0d11c6cfcee659a21f8485915f77e4","datavalue":{"value":"5544664","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1013256$B595597D-5588-4B57-B447-318900D6A49D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6cd096fbe51368a7529e7609cb813ad3c29a70e","datavalue":{"value":"conformance testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1013256$5D76332B-318B-4BA6-ADDF-85B702DDFD5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5a2658f15aef742e1a11a86ab1cba8cbc0d3d85","datavalue":{"value":"multiple timers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1013256$344FDFC6-4559-4DC7-9495-E96F61640967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28e6ba74d16627b4ab1458b4df91bcfb3663daeb","datavalue":{"value":"fault modeling","type":"string"},"datatype":"string"},"type":"statement","id":"Q1013256$A8D2744E-D960-4215-B472-7EE50545C3F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"224a3b4a79f9b2cb72f8344924b091a5a4a02f56","datavalue":{"value":"fault masking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1013256$C3F4C76A-3D04-46C2-A614-AEB8BF6BDF13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"654d82cffaf48aee34c8d66a865b227f1d39e13d","datavalue":{"value":"finite state machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q1013256$1C09DC17-0051-4807-A08A-339BCF355295","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0ec39151577d79e8fb8ea443460c00720197c62","datavalue":{"value":"extended finite state machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q1013256$CEFEA263-CBC6-424D-9FDF-7836873DC98A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8dd1dab43b596d83f23161fc33689f2a434ac1b5","datavalue":{"value":"timed EFSM","type":"string"},"datatype":"string"},"type":"statement","id":"Q1013256$A4080A5C-FE2D-4078-8114-9C562BC7B304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4a3a1f6a8862f7a6b48b3d4ce261cc4879ac3e5","datavalue":{"value":"Implementation Under Test","type":"string"},"datatype":"string"},"type":"statement","id":"Q1013256$81D403B0-9CD9-4DBC-93A6-3641896417C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"edf0c03bbafe91d3c57b2ede4d1bd7f2bff7a6e8","datavalue":{"value":"Extended Finite State Machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q1013256$5ED58BAB-0E1A-4D96-9282-7999786B974D","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":"Q1013256$3DE30270-F01F-4EF6-98F7-EC4589866A7D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6cf1f1dadbcaaf10f1ded04bc052d4fcfe1709d8","datavalue":{"value":"https://doi.org/10.1016/j.comnet.2008.10.025","type":"string"},"datatype":"url"},"type":"statement","id":"Q1013256$8ED6175C-21BA-405E-9FA6-B27398433A9E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dc460fd2a00e2717e0f5a80457364f1b74ce02fc","datavalue":{"value":"W2036746438","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1013256$3C6C6B60-4B9D-4283-A058-7A7DEBDD4CA7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f6f936acf8cb9f7903f5d9e8bc93ff3a2e6abe8e","datavalue":{"value":"10.1016/J.COMNET.2008.10.025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1013256$9508EF1E-7DAA-4A84-A14C-205C1713DD82","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b0bb5bf407c3cc05ec459068650dfa7bd72ce8c","datavalue":{"value":{"entity-type":"item","numeric-id":3614837,"id":"Q3614837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6eaf8eb59e08bd4940e2f8f8b126517c248987c6","datavalue":{"value":{"amount":"+0.8545326","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1013256$242D8A0C-3A41-467D-AA2A-38AA85E433E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6466c93ff7cd9a22fe0f8d47fa5ebe355b3ea498","datavalue":{"value":{"entity-type":"item","numeric-id":1827146,"id":"Q1827146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"527455c57eddece9e4ee4dd083cccaeac47d00e4","datavalue":{"value":{"amount":"+0.8279837","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1013256$B7CC707C-9234-4F19-9F63-5D4EA7F21549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eeee6fb49b7559f719d4f89b588aacd34128ddc7","datavalue":{"value":{"entity-type":"item","numeric-id":5929915,"id":"Q5929915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e10f0ce3530b6d93e21eab64401d1b8c36c96e4","datavalue":{"value":{"amount":"+0.8200064","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1013256$EDA074C3-4781-4C99-A8B8-82FCD941A7FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ec11b5a11c959364ad07acca1bc28e13dda9e19","datavalue":{"value":{"entity-type":"item","numeric-id":5274106,"id":"Q5274106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2710f6882808e7810a3415e439e7540b45cdac51","datavalue":{"value":{"amount":"+0.8198501","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1013256$AC9A5250-C897-4412-AAF8-39AD453C4FC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"049d1b492b3fe1335c4a6e282dc38189d78119f4","datavalue":{"value":{"entity-type":"item","numeric-id":4571373,"id":"Q4571373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1616702a9a71f9ba70c7eb945236e436e45f16c6","datavalue":{"value":{"amount":"+0.8185935","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1013256$326427B3-B2B5-4449-A698-5626375AE8F7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1013256","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1013256"}}}}}