{"entities":{"Q5206955":{"pageid":7236526,"ns":120,"title":"Item:Q5206955","lastrevid":58472118,"modified":"2026-04-05T09:05:40Z","type":"item","id":"Q5206955","labels":{"en":{"language":"en","value":"Proving safety with trace automata and bounded model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7145912"}},"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":"Q5206955$73BD884D-CA14-4EB0-AF91-B2D703E04BF6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"70d647da25706ea1fc9e17ae3963b754cf6653dd","datavalue":{"value":{"text":"Proving Safety with Trace Automata and Bounded Model Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5206955$1A766C6D-D5AA-424A-A55B-4EF664F50067","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d721bdefcc2fbe00830fa6ada2356e571ed6286d","datavalue":{"value":"1427.68047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5206955$46187245-5501-476B-BEB8-75C56A2C2E65","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"529c34b7d247ee03a5169a784253187b4174b5ec","datavalue":{"value":"10.1007/978-3-319-19249-9_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5206955$45497801-C637-4DC1-B5A5-21E3771E2AAD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea507ca7ecb53fb64a642a5e1bbd9b47380c0a44","datavalue":{"value":{"entity-type":"item","numeric-id":5206946,"id":"Q5206946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206955$5FD65261-B3D8-444A-B070-147A754815E3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ad2986100f8e8d7278a8296353b8e4d3688509f","datavalue":{"value":{"time":"+2019-12-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5206955$DF2EFDD2-7032-4032-AA81-D083A03491E6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"86b9df1ac51ac87841fee7bd4e38b062cda39186","datavalue":{"value":"https://arxiv.org/abs/1410.5764","type":"string"},"datatype":"url"},"type":"statement","id":"Q5206955$C36FF070-0768-4C87-914F-460D5DC237EF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5206955$B351D0A6-3F2E-40DC-968A-1A9B1B03F20A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5206955$96E5A535-8351-46DE-AAFA-B8D965CDDFB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5206955$2A5A5901-ACF4-4217-9B10-F1EEA2670C43","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d8b368b8a826877572be9b526d7a57abd176bf59","datavalue":{"value":"7145912","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5206955$06ED58A5-FCC2-4C59-97E8-7D44DF8E5F87","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"98b9f390b3597ec5ad9739a09f812e90287543c5","datavalue":{"value":"Q62040429","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5206955$6523672C-4E86-461A-9D8D-EF2BC8CD95E3","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":"Q5206955$15FE24FC-5B34-474F-A95D-39DDC7FE01AA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"33d648eb2c3468469f4f3860371febbd290a6b21","datavalue":{"value":"W2963707299","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5206955$E457DDB9-25DB-4F6D-8CCE-3854936F8D24","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"62182dcb51c15de8e9697db383dc1581d8b46dcc","datavalue":{"value":{"entity-type":"item","numeric-id":3583851,"id":"Q3583851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206955$6E810C2D-7E17-464E-8C46-68AFC1CD002B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60159374e2e3f1fa60e69dc94c949ae9174a77c0","datavalue":{"value":{"entity-type":"item","numeric-id":5308405,"id":"Q5308405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206955$85532645-8590-498C-89D2-393CD9BAA017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86def9a37b53aa4153914d39e9b95aa609286d2b","datavalue":{"value":{"entity-type":"item","numeric-id":3558225,"id":"Q3558225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206955$604F3127-FF37-4A57-9A1C-A68C955C7684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ded7338003111b779d67dbf9487475aef44bb91","datavalue":{"value":{"entity-type":"item","numeric-id":4415251,"id":"Q4415251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206955$6A002CE7-67ED-4F67-81A9-F5151F80FC87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acde43aadb68c83ae4d51574dcef8cc0958b2d7d","datavalue":{"value":{"entity-type":"item","numeric-id":3392921,"id":"Q3392921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206955$0161E304-54AF-47F3-864B-B74777A87F9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91c21e537ab0c07b0d3849b9a7e5a291ced75540","datavalue":{"value":{"entity-type":"item","numeric-id":5178898,"id":"Q5178898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206955$14B33351-DEEE-4F5D-BC35-A60EB47B5A3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63d6099524e3f7bed0ce635b8cc10b44d3701853","datavalue":{"value":{"entity-type":"item","numeric-id":4649296,"id":"Q4649296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206955$B64B4EF0-0D3D-4A80-8E0E-62C29D5456CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"834e24b30afdff9c5ef907ecc0041e7bc636df4b","datavalue":{"value":{"entity-type":"item","numeric-id":5206955,"id":"Q5206955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206955$A2B3A6E4-211E-44DF-86D3-BE4317E3C86A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3be8f67bc300df73505926b0d8f2a4a3dfc98c2a","datavalue":{"value":{"entity-type":"item","numeric-id":746774,"id":"Q746774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206955$F693B378-269B-4295-9BA2-E909A71BC0A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87957d20676b341fc2d415efa4c896e75ab57ba3","datavalue":{"value":{"entity-type":"item","numeric-id":4414397,"id":"Q4414397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206955$E8DC4DAD-3159-4E6D-997A-5CAF52AC3667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5cdba5ccd777f7926c36768a490e23ba51eea40","datavalue":{"value":{"entity-type":"item","numeric-id":968302,"id":"Q968302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206955$703995E6-E3B5-4185-8444-8CA3F28E1105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2d9d5673d377c95422809e446c2052b58cca8ec","datavalue":{"value":{"entity-type":"item","numeric-id":5756749,"id":"Q5756749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206955$C8D47250-3014-4109-8705-A777249D1691","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91548a6949b01cd3d49cb353e09f4529009c2317","datavalue":{"value":{"entity-type":"item","numeric-id":746774,"id":"Q746774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11e3169f2e65ecda38ad1b8ada76006da1ab638c","datavalue":{"value":{"amount":"+0.7157232165336609","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":"Q5206955$6163F451-6B18-47A4-B5DD-18A2C050E30B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"729cef116b6290fc31462f3f9f3e3f41f50f616f","datavalue":{"value":{"entity-type":"item","numeric-id":6487321,"id":"Q6487321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1f8ad65e03bf317238887c0051c94f98458ec0e","datavalue":{"value":{"amount":"+0.7095444798469543","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":"Q5206955$F46FC3B1-81B3-40B4-8B3D-B1B100DF5421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e41ff123b1afe76ebf548f83f7ca9951b81ef78e","datavalue":{"value":{"entity-type":"item","numeric-id":2848683,"id":"Q2848683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c386d76a141efc21850d9c1d19442af30eca931d","datavalue":{"value":{"amount":"+0.7048159241676331","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":"Q5206955$235DC976-A196-46FF-B68F-5157F0472C94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b94c01cd18d6403d2f48321e57b93a16d34b8618","datavalue":{"value":{"entity-type":"item","numeric-id":5493379,"id":"Q5493379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2eb58a62a46ac0db5677ed8fe003311438dd4e1e","datavalue":{"value":{"amount":"+0.6759552359580994","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":"Q5206955$988888CC-0EA8-43BC-A422-811BC829DDA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11d1f830652fa58533549c60b797285779e441c6","datavalue":{"value":{"entity-type":"item","numeric-id":2409744,"id":"Q2409744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81f59500b66b9d6ac1e4f6e194415e8b13ba69f6","datavalue":{"value":{"amount":"+0.6725759506225586","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":"Q5206955$4892BA20-9EBC-4B7B-9673-ED33F1C55D9F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5206955","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5206955"}}}}}