{"entities":{"Q453480":{"pageid":455247,"ns":120,"title":"Item:Q453480","lastrevid":42541192,"modified":"2025-07-02T15:07:46Z","type":"item","id":"Q453480","labels":{"en":{"language":"en","value":"Feasibility analysis for robustness quantification by symbolic model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6087614"}},"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":"Q453480$6177C4DB-2D0B-4B9F-BF02-010FC2189221","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ba2dba72f8eab2b1cba3c105c54b3b6bd9a4c3ab","datavalue":{"value":{"text":"Feasibility analysis for robustness quantification by symbolic model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q453480$74B10C2A-6C6A-4D93-A25E-3A84B2ED5A0F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b8c6937c8f9939e9562315ce2c44039805e93260","datavalue":{"value":"1247.68156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453480$286CA64F-79BF-4E60-8BCC-6030C1CC04CB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"51674ac206fa0f7b5561d793a954036954945738","datavalue":{"value":{"entity-type":"item","numeric-id":453473,"id":"Q453473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453480$A856EB6E-70DF-400C-92C9-5F81EA5FBDB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c03cef11e6e9b88f289b77691c40bf53ba725c4","datavalue":{"value":{"entity-type":"item","numeric-id":453474,"id":"Q453474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453480$FC5DBBB7-0056-4C0D-B4AC-E04FD4CB71EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"81f759669d539657dcada680a49f2df44f03d8a7","datavalue":{"value":{"entity-type":"item","numeric-id":453475,"id":"Q453475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453480$F4E862BF-B98C-4CD5-BC7D-9DFCD4CF0AD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6cbb4817d47b3532731d0b0d3160450bd0effcbc","datavalue":{"value":{"entity-type":"item","numeric-id":453476,"id":"Q453476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453480$16B5A5E3-1E93-4D27-931E-43CBD94472BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1077d783a1983e1d13c3a26b57bc58209fb7acb0","datavalue":{"value":{"entity-type":"item","numeric-id":453477,"id":"Q453477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453480$59D245BB-F928-4CE9-89F9-1FACD40E32D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db0dd6cda2b15938682161bb11f6f288629bda66","datavalue":{"value":{"entity-type":"item","numeric-id":453478,"id":"Q453478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453480$6823C800-D975-4D88-89CD-492BB2162DBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa162c50386994dd526b5fc7402dfbd11d873996","datavalue":{"value":{"entity-type":"item","numeric-id":453479,"id":"Q453479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453480$01D9EC45-9FB1-4113-A91D-274E899F7CD2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453480$64B20863-0792-48E9-9013-535540064AAC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3fc6cf2e793ffe0cfa0f8a10182fc08299b3419d","datavalue":{"value":{"time":"+2012-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q453480$FA84A6C8-D29D-40BD-B51E-12A43D4413E3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453480$D98150E4-41AC-4BC2-884A-CEEEA12F31D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"effafbcb0d14f283a888b55b376e46f500ec447a","datavalue":{"value":"94C12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453480$7F5551A4-5C4D-44F2-A461-63E6546C789A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c6d02e53b33272c02e78b3040874cc7d6b620412","datavalue":{"value":"6087614","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453480$107F0979-FC36-4743-9A30-7E4F2A974B9F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0364c4cda97a4faa3629d3393d871edc212bb393","datavalue":{"value":"circuit robustness evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q453480$7B789858-25CA-454D-9541-B34485F991AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a18cc60027fd9d3ebe7f29a4cdbbf0dea505d97","datavalue":{"value":"dependability analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q453480$55567D84-4969-49A7-877D-8A17AD484672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52fcafc76910746294e9a5553776839f3db53933","datavalue":{"value":"soft errors","type":"string"},"datatype":"string"},"type":"statement","id":"Q453480$80DF179F-1F02-4AFB-967D-279B7F67B220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"261888da12e497343a706346470f9845c915722e","datavalue":{"value":"symbolic model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q453480$10D2683A-1388-4AD0-B909-EEEB928A5457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6ab41959fd9494b5548d09c762ca90a9336e1c7","datavalue":{"value":"bounded model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q453480$790A4DCC-AE20-4649-AA0D-655397B52EC6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ce9cbcc0fc2b6a78318bde796c3568f4cac70749","datavalue":{"value":{"entity-type":"item","numeric-id":28582,"id":"Q28582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453480$99109CA0-FE99-46D9-BD32-08F2115BE51E","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":"Q453480$152F422C-9A45-4C31-A757-54EF462BF551","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"02b8166b7d8b72beccf461e3f3870ea47ed30cbc","datavalue":{"value":"https://doi.org/10.1007/s10703-011-0121-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q453480$60226A43-EFE4-4195-AF94-B2C011DA6A57","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bf7ee43536d4b7e39128a7aaf5ffd01ef83a2eac","datavalue":{"value":"W2087761502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453480$784AC429-E63C-468F-8789-80BD7A34A15E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd6515ec1f799ac720199fe647c6907436dd10a7","datavalue":{"value":{"entity-type":"item","numeric-id":4256519,"id":"Q4256519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453480$EA0EDEFB-1927-4E11-813A-4BEAA46F5EE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453480$68C396D8-18CB-493B-8AC0-71827B0B454D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21a8eb34c519834b5b923e52b9f7343a721bfe4a","datavalue":{"value":{"entity-type":"item","numeric-id":4061976,"id":"Q4061976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453480$246073F6-624C-4A7A-BD3C-B6D81E02ADE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e230b3728d10ba582373bbcad97e70c9be621d32","datavalue":{"value":{"entity-type":"item","numeric-id":2782251,"id":"Q2782251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453480$1B015BBE-6834-43B7-AD02-5994E018BCE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0b3ec2ebad61e0cf6b1df8ac8c200c146db0252","datavalue":{"value":{"entity-type":"item","numeric-id":2754108,"id":"Q2754108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453480$01424A7E-E888-4101-BD74-DAD3C49CE6FB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e5da18f2665e0502c2e9b2554ea8de87a1c8f49d","datavalue":{"value":"10.1007/S10703-011-0121-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453480$8F3B7CE9-7E92-4F12-BF5A-2FBE7485428C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27b21ab827896b659800c43068e1a5b5265e7643","datavalue":{"value":{"entity-type":"item","numeric-id":5423879,"id":"Q5423879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b4833b7a920876b17fd7065a8abbe03c5f90568","datavalue":{"value":{"amount":"+0.89557076","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":"Q453480$3009BF44-293D-41B1-978A-22D04FD3E84A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de9fd65356539c1131f2189c1773b2a19ff562f2","datavalue":{"value":{"entity-type":"item","numeric-id":2988970,"id":"Q2988970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47649b7fa5438eaced5fb825a66d024c1f189cc0","datavalue":{"value":{"amount":"+0.88833356","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":"Q453480$0CA3AB01-018B-4CD7-BF0E-2DDA10F44E4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3215feaa03b3ad25c59c50e216bb2b1b01eaac4","datavalue":{"value":{"entity-type":"item","numeric-id":2272910,"id":"Q2272910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"303ee98dfefa957e14b2b3a0530604b871e649a2","datavalue":{"value":{"amount":"+0.8776753","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":"Q453480$5F14BC34-D836-4D4E-983D-D3799FBB9370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18426171ee096c57ba711811f44202b69bc28e1a","datavalue":{"value":{"entity-type":"item","numeric-id":4503923,"id":"Q4503923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08f6a8a2fdc23baeb71f7035a4caa8ce907c3d88","datavalue":{"value":{"amount":"+0.8775511","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":"Q453480$9FFE1BF6-FD52-4C4B-A864-A245E68346E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"533e03b077719a689a43bbc99530ad874ff549f5","datavalue":{"value":{"entity-type":"item","numeric-id":5899038,"id":"Q5899038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e2d59301f911bae99508d06a84af6266d60bd11","datavalue":{"value":{"amount":"+0.8773837","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":"Q453480$3EB97F46-5293-49BF-BA75-839BB02A2559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81f51cb1e0d45fbf77f55c38b78a16e680cbd51c","datavalue":{"value":{"entity-type":"item","numeric-id":2845503,"id":"Q2845503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9fe188b52709e0a7250aef38a12c3f506c5e5b7","datavalue":{"value":{"amount":"+0.87512696","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":"Q453480$E249957B-4399-4088-B5C7-12CF866E3E78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80e67424fecc2cf18056b2a7fa15f3cbd752f464","datavalue":{"value":{"entity-type":"item","numeric-id":2753750,"id":"Q2753750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c2597c1a5da1e6166e8b1606eaa338596cbbf81","datavalue":{"value":{"amount":"+0.87463","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":"Q453480$0BADD280-1318-432A-9232-75A196FFAAEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71fdecdb14b1ae1b943eb44c46edba501030baf3","datavalue":{"value":{"entity-type":"item","numeric-id":2729957,"id":"Q2729957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a2cef03c734857e818f76a592436e79155d61a1","datavalue":{"value":{"amount":"+0.87355036","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":"Q453480$0FD38FE7-5FE0-4B1F-A105-FC284867213C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"877150049cf44e2eaeaafe10c490adfb982c23da","datavalue":{"value":{"entity-type":"item","numeric-id":5754518,"id":"Q5754518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfebe0c8cee8dd93d5e321f2261bff4045007c07","datavalue":{"value":{"amount":"+0.87310004","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":"Q453480$1697D758-6F10-4F4F-9818-EEA29CCB9E27","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:453480","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:453480"}}}}}