{"entities":{"Q1671145":{"pageid":1681886,"ns":120,"title":"Item:Q1671145","lastrevid":68227353,"modified":"2026-04-12T22:16:41Z","type":"item","id":"Q1671145","labels":{"en":{"language":"en","value":"Context generation from formal specifications for C analysis tools"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6932825"}},"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":"Q1671145$A90D77DF-5875-401A-ACA7-3FDC34E46370","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1ee06bac4877e1b74abf5fed0cf4f7d1daf5c8e7","datavalue":{"value":{"text":"Context generation from formal specifications for C analysis tools","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1671145$426F422A-0D73-4DE8-A557-7EDD3834600E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a41f5855fdbbc97c1fd3502088e8f77d26c759c2","datavalue":{"value":"10.1007/978-3-319-94460-9_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1671145$32F91C51-C65F-419E-9C16-28AD460B2063","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"60047bee8e3ab5324d9dd2d0b47d97efb6da78b4","datavalue":{"value":{"entity-type":"item","numeric-id":1671143,"id":"Q1671143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1671145$CA4E8947-C8AE-45D9-80F5-F534047F49F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7061feb2308a1a8a51508a306f1c99e469f1860a","datavalue":{"value":{"entity-type":"item","numeric-id":1671144,"id":"Q1671144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1671145$AEBAD714-E58E-45D9-ADBE-0D2803B36CF3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"95251e74dfd058313c94d01023632403bcdd7ae4","datavalue":{"value":{"time":"+2018-09-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1671145$1D7097E5-14F0-43F7-8FAF-308A1268DB83","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"676f05ba66efc35ea48bf6d2a7692a8a0e9f4164","datavalue":{"value":"https://arxiv.org/abs/1709.04497","type":"string"},"datatype":"url"},"type":"statement","id":"Q1671145$26D17F9B-BC7C-4B1C-A133-7E31E126E39D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1671145$8D938940-42D2-4782-B484-8359F4C5210B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1671145$EFEF5D36-7F01-414A-AEE6-291BD98A7133","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7ffdab8f1e1e7ea269c52a401f4db62a8a5ba930","datavalue":{"value":"6932825","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1671145$EC88F054-C67E-41AE-8375-9F1718359268","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87994eb840961e5165378eb7f918102952689b42","datavalue":{"value":"formal specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1671145$C3D7ADC5-A82C-4395-BFA7-14016B816AC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6bc6768f771e8ae47ba1683cf1d33a808061abb","datavalue":{"value":"code generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1671145$1163E2AE-1F19-4BB4-BB13-0FB964C1280C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97a3580fefb9f9a05b9104da92afdd215835bc22","datavalue":{"value":"transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1671145$542414C5-35CF-4DED-BC0F-0A598C92E2A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0e668da520ea202cc3ff779b916fbbe6a8b107b","datavalue":{"value":"code analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1671145$2EA4B851-8DF9-40E2-AED9-35CB48728699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e59b6fbd93e932ad270b3f0bab8c6d74c6d46279","datavalue":{"value":"Frama-C","type":"string"},"datatype":"string"},"type":"statement","id":"Q1671145$0B3E4649-C324-49CB-8481-64636FCDE01B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2006fb7cfacd33e09a07d3739029dc200fd6eea6","datavalue":{"value":"ACSL","type":"string"},"datatype":"string"},"type":"statement","id":"Q1671145$56E77139-3553-4B0F-96FC-E731C02B503A","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":"Q1671145$3122FBE1-55A5-43DF-B6F5-41FF91112D35","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cb5d0ffa26241ae38dd42920a324a499490a4c53","datavalue":{"value":"W2756316761","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1671145$1252C718-52D5-4EED-9A0D-58040B88B945","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32f36e5c4a952b01e8cbef0c4fef09ebac93a053","datavalue":{"value":{"entity-type":"item","numeric-id":4220643,"id":"Q4220643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d467f8d6c1d53824b80b0d9b92eb2f30d4332ce","datavalue":{"value":{"amount":"+0.84208316","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1671145$DA60A0FA-19FB-4711-B5FD-7D2FB7825178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f6de987bf49bd2126ee3c35b1ace31203c12642","datavalue":{"value":{"entity-type":"item","numeric-id":4873714,"id":"Q4873714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"852f5161c949971ef2ae722bd55f847e24dc2370","datavalue":{"value":{"amount":"+0.8387372","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1671145$58501478-5CF6-4E09-B5BE-B93F27156E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9281499684fa640d08bf592f60ce70e66cf58948","datavalue":{"value":{"entity-type":"item","numeric-id":3741040,"id":"Q3741040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83486959ff37a3895b4593da0a82bf9e31d85085","datavalue":{"value":{"amount":"+0.8355459","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1671145$EF4D678E-6CD9-436C-BBD2-143BA050F799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e5a681f55736ce75d6e5f3220c4c250585b6f73","datavalue":{"value":{"entity-type":"item","numeric-id":5712549,"id":"Q5712549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9192f294665ccecdbeb32eca5b78ffc3d59e8c60","datavalue":{"value":{"amount":"+0.83529747","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1671145$AA53CEA9-4A6D-41C4-8B79-430EDC855839","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Context generation from formal specifications for C analysis tools","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Context_generation_from_formal_specifications_for_C_analysis_tools"}}}}}