{"entities":{"Q2226973":{"pageid":2237716,"ns":120,"title":"Item:Q2226973","lastrevid":82671290,"modified":"2026-05-06T21:27:45Z","type":"item","id":"Q2226973","labels":{"en":{"language":"en","value":"A formal model for detecting bugs by symbolic execution of programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7308259"}},"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":"Q2226973$AD4AEE41-2D76-4599-87D2-4389219D6BB9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e2cd0664b338c83dbb7ad9660d52a773455f853b","datavalue":{"value":{"text":"A formal model for detecting bugs by symbolic execution of programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2226973$CBB56D05-9700-4D68-8FFF-1138AE197CA1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a062c789393a00dcabf124eb0e419d0e27f12899","datavalue":{"value":"1467.68037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226973$6FECBE23-3F8D-42D8-A0B8-44ABB878BBD6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a22645673429c7241b6594d0b5a072d57452d6fb","datavalue":{"value":"10.1134/S0361768820080046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226973$5F36590F-90B0-4A06-947A-C2AB45A9884E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226973$28708C56-33F2-40F9-AF07-3568068F5F99","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"be953c7743ad681cffb55322e552c5990c03cfb7","datavalue":{"value":{"entity-type":"item","numeric-id":174054,"id":"Q174054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226973$A50401BC-105B-4887-8B79-DB5BDF959D4D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"44995ee145c1f02a174e4b3916219598c7e9c4ff","datavalue":{"value":{"time":"+2021-02-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2226973$3EB37651-1BB4-4B9D-8F15-E971398AFC87","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226973$0C450C72-47A6-44CD-9047-AA2256799707","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fd286d0a5acd42d811f3cf3752d05d598ab550f5","datavalue":{"value":"7308259","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226973$89756694-7F0B-44A7-877D-A01024A9DDE2","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e5598d47d21ab8c104aeca7830861508ecdbf00f","datavalue":{"value":"Q114075148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226973$2AD9264A-995E-4D1E-90F8-6A496A6F36F9","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":"Q2226973$F38167CE-883F-40B1-AA66-422D0612D0B5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76297c238e13c840da22a0b9181a5c12e41d2c5c","datavalue":{"value":{"entity-type":"item","numeric-id":1982639,"id":"Q1982639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a79513e37c15fd49dbcbefd6e852e3efcd21e4c","datavalue":{"value":{"amount":"+0.7452196478843689","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":"Q2226973$F844D748-C9D9-4A19-8E3D-441A7B7477EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a29fa3752cecb431a08dab92c8260d5530fbb0e7","datavalue":{"value":{"entity-type":"item","numeric-id":1570285,"id":"Q1570285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b426d816d4ef620bf8be66e613e2674b0a01c227","datavalue":{"value":{"amount":"+0.7211620807647705","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":"Q2226973$902CEB21-B0D7-434D-AE78-EDF26D06FEFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"baadf4c874ed9cd49cd34559a28a2f80acf74d20","datavalue":{"value":{"entity-type":"item","numeric-id":3700816,"id":"Q3700816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffe22d4bd814ae64bb724c9fcc0857588dedaa13","datavalue":{"value":{"amount":"+0.7097246050834656","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":"Q2226973$4D44A155-10CA-42E3-9225-E2C40904D42A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ee4b0d092d0aea1749d436114d472fcfb54ef40","datavalue":{"value":{"entity-type":"item","numeric-id":4417955,"id":"Q4417955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9df2a96486b5bde07f94136bc5b8f725fedb137c","datavalue":{"value":{"amount":"+0.7089146971702576","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":"Q2226973$66D8F2CC-6D62-4058-A0B6-40DD0A26C089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27baff268d3ffa5a4277b22fe56280dfc7379d68","datavalue":{"value":{"entity-type":"item","numeric-id":2753756,"id":"Q2753756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d900bbad4efc24e2fe7042b6d312ed15bd76a5a","datavalue":{"value":{"amount":"+0.6987629532814026","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":"Q2226973$B028C100-FEE3-4EDA-91FF-1A5892DA7BEB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A formal model for detecting bugs by symbolic execution of programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_formal_model_for_detecting_bugs_by_symbolic_execution_of_programs"}}}}}