{"entities":{"Q5257124":{"pageid":7286692,"ns":120,"title":"Item:Q5257124","lastrevid":52294997,"modified":"2026-01-21T09:21:56Z","type":"item","id":"Q5257124","labels":{"en":{"language":"en","value":"Bounded model checking of C programs using event automaton specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6452609"}},"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":"Q5257124$57DBC0C8-0252-466E-B1AB-5914A152588A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"df94834948e7a61be62c08a73c7856d3586ffccd","datavalue":{"value":"1324.68058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5257124$7C3F0D09-BB49-4807-B0BB-82E12B92F714","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"493d1b601e4cc8bdf6313a019b00483d29e270b4","datavalue":{"value":{"entity-type":"item","numeric-id":3133157,"id":"Q3133157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5257124$848A5B5C-D997-4D0D-9AFE-D82484CFAF7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b6db3d4f774e71f7690c8093923bc6dab09c014","datavalue":{"value":{"entity-type":"item","numeric-id":899457,"id":"Q899457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5257124$40539D99-7730-425E-88ED-78308CB28C4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea1f29ab06d0d5e05c6e14f6b3efb5c1798f9441","datavalue":{"value":{"entity-type":"item","numeric-id":288116,"id":"Q288116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5257124$B4A7D94B-E2A2-4BA8-AE44-AD29E8D2E442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c001145b21295fb5d6a856b040e705c07c6a831f","datavalue":{"value":{"entity-type":"item","numeric-id":5257123,"id":"Q5257123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5257124$397A1FA3-9C3A-49D2-AB7D-C8C6FE735B83","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8267f1856df5311ac8f067da2122b7880d3f7c0c","datavalue":{"value":{"time":"+2015-06-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":"Q5257124$D3EAB291-2871-4FA1-A5EE-D6745F595BA1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5257124$0E0D3C13-ACB1-48EB-A918-6930BE86B9D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5257124$4C722489-FBC6-4A52-B726-3B0D939BF1B0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"11f1d367369ae0bdc613cfe3b97bb01adb9752c4","datavalue":{"value":"6452609","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5257124$D13FFADB-8AB7-4415-B87C-29D293E911D6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88ec68dc54badb41fdbc553e377c8a6b35874bf3","datavalue":{"value":"event automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5257124$D5F83F7B-07A1-4C28-952D-46B38106F59E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6ab41959fd9494b5548d09c762ca90a9336e1c7","datavalue":{"value":"bounded model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5257124$0B6399C5-799F-4802-A493-B6B0856D0AB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0b493673568f237693b93b7165fe82572f27338","datavalue":{"value":"automaton reachability tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q5257124$DDBFC31B-D0DE-4335-B067-DCA734515190","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":"Q5257124$1E86C284-6A5D-40DF-8817-22F314B37049","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6ce79200f43fc6587f9b0f88d4b6c4d7fb44f94c","datavalue":{"value":"10.13328/J.CNKI.JOS.004609","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5257124$1B568D1A-79B8-432E-9877-EB468B32965D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8e7b8d33e7ec5767ce8ecc4f52ba21e81256ab9","datavalue":{"value":{"entity-type":"item","numeric-id":5424313,"id":"Q5424313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80dd69f0e9e4ea25bb3216a836e54bb98a1ebff6","datavalue":{"value":{"amount":"+0.7435314059257507","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":"Q5257124$CC556450-F557-4E61-B670-4D6B41417EAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba0104aaf58ef966da5117103badb3415018c66a","datavalue":{"value":{"entity-type":"item","numeric-id":5901610,"id":"Q5901610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fbd2ec2e929c1518b5ad88b3f4c3d2102327cd9","datavalue":{"value":{"amount":"+0.7266875505447388","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":"Q5257124$C55F12E6-53A1-427D-98F2-277722F41A10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"309d47001d388616676746d4877f00d336c2fb12","datavalue":{"value":{"entity-type":"item","numeric-id":947794,"id":"Q947794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a293f45b7813707ad1e06e6079d605058a531413","datavalue":{"value":{"amount":"+0.722526490688324","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":"Q5257124$A16590AE-FEE8-4F11-90C8-3EC7B1071635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d28aa0b660eb9729e912b497df1902b521e1577","datavalue":{"value":{"entity-type":"item","numeric-id":5716600,"id":"Q5716600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0051809e1f96288cb877eb16417284d69c18b469","datavalue":{"value":{"amount":"+0.7207533121109009","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":"Q5257124$DDFBA41F-1D8C-40EF-B7E2-5B83C5C9A096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04bdf0742bdd522dee8d4e004977de201c067fa6","datavalue":{"value":{"entity-type":"item","numeric-id":2369883,"id":"Q2369883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e6f7c24b524ab603740f832326c3f2f2b55f7cc","datavalue":{"value":{"amount":"+0.7163153886795044","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":"Q5257124$35B281A1-BA45-4457-8DAD-472B732B5172","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5257124","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5257124"}}}}}