{"entities":{"Q4783364":{"pageid":6812944,"ns":120,"title":"Item:Q4783364","lastrevid":74771964,"modified":"2026-04-15T00:15:05Z","type":"item","id":"Q4783364","labels":{"en":{"language":"en","value":"Towards dependable development tools for embedded systems: a case study in software verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1841876"}},"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":"Q4783364$C9D275E2-5D89-421D-94FD-12BE3CF4B390","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ae44bac0679312e0de5050ed565390a6782e53a3","datavalue":{"value":{"text":"Towards dependable development tools for embedded systems: a case study in software verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4783364$721B38BE-F9B3-4B1C-9E05-4BE235A16191","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a2059bd3b53a35a82b08267697239fd074ba56cf","datavalue":{"value":"1057.68632","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4783364$3EC8BA62-1C44-4B8E-9C73-47CA0D35F98C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b93a97481eb5bd4661cda7cbfcab5d99802d6c29","datavalue":{"value":"10.1080/095281300454856","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4783364$22E31606-2B5C-4D57-8555-05BF5EF9EA79","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d01709825b255e4a12f6da8699dedb7b1b75d28","datavalue":{"value":{"entity-type":"item","numeric-id":167077,"id":"Q167077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4783364$D6092907-E516-4D6C-8733-0C478D3962F9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f369be2a98f7de29483ebe04fe99df00611c8593","datavalue":{"value":{"entity-type":"item","numeric-id":3065448,"id":"Q3065448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4783364$4AD1F463-DA49-4AE2-ACA4-737788903CCC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ca129fe5ce2174cb413d8d907d02f356809893a","datavalue":{"value":{"time":"+2003-04-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4783364$A9609EF4-DB61-460E-8BED-8A6E386EF82C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4783364$852075C4-FB09-45F7-B1C7-04F0F4718B89","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"53c1f8eca2bb7d8940e500622fc771a60f1526e3","datavalue":{"value":"1841876","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4783364$82433D6D-BC14-4AF0-8692-DD857D9F83E8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38ea0da1535ab3b1acdc9f4026fa50f79f4c7a92","datavalue":{"value":"interactive proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4783364$D68D4B74-C387-4D50-AF1A-75FCAF9275BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d93e297992e34cffc7a998ce2b0930c25be9202d","datavalue":{"value":"programmable control","type":"string"},"datatype":"string"},"type":"statement","id":"Q4783364$4B415185-4486-4B99-B393-F3AEF5D840A0","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":"Q4783364$AB932F38-61EF-47A4-9035-FD2BFE9E87A1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8546818cf99c18ca20505d6ed5e72d4e7a60e88e","datavalue":{"value":"https://doi.org/10.1080/095281300454856","type":"string"},"datatype":"url"},"type":"statement","id":"Q4783364$0A70434B-51C8-4D21-98A0-9CF5EEFBB37F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b296c61de93c7e840200ea24a7bb3bd1b8c915f9","datavalue":{"value":"W2064172314","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4783364$C94B3907-CBDA-4F86-A134-086377614AE8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7cb200af1790f3527259dfe5ec47c40966d092a","datavalue":{"value":{"entity-type":"item","numeric-id":2783117,"id":"Q2783117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c4edb0521b9d3b04faf267579bbb38fb868354d","datavalue":{"value":{"amount":"+0.7387422323226929","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":"Q4783364$3D3A429B-F795-4D2C-8B5D-C310292B3CED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9debdf2f2f7901d99d6ae44179987833ff6cde58","datavalue":{"value":{"entity-type":"item","numeric-id":4439552,"id":"Q4439552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c4931609aee00bbd77658c7f0f6e78568801110","datavalue":{"value":{"amount":"+0.7239602208137512","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":"Q4783364$B79D0266-DCF9-4E4A-9BE9-C218B2851177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74977d35319f8392f07c8a447ddb555d735b8262","datavalue":{"value":{"entity-type":"item","numeric-id":4473706,"id":"Q4473706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c4931609aee00bbd77658c7f0f6e78568801110","datavalue":{"value":{"amount":"+0.7239602208137512","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":"Q4783364$57771539-E418-44B9-B444-E6C605E6F715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc892da32762cf308c1b2f78485704bdd7b58565","datavalue":{"value":{"entity-type":"item","numeric-id":3998467,"id":"Q3998467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54593bd7863f0ff10afea79a69f9c24d698871d7","datavalue":{"value":{"amount":"+0.7109501957893372","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":"Q4783364$0C955955-4D74-41A6-890D-48E84DFBA60F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a51455d403e873eceee0b12bd906bf6b494716f7","datavalue":{"value":{"entity-type":"item","numeric-id":5503618,"id":"Q5503618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"268c564159171aa152da86536bcf450e52f00f46","datavalue":{"value":{"amount":"+0.7091070413589478","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":"Q4783364$6474D039-FEE7-4F41-99A7-C4B5C4A0AB9B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Towards dependable development tools for embedded systems: a case study in software verification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Towards_dependable_development_tools_for_embedded_systems:_a_case_study_in_software_verification"}}}}}