{"entities":{"Q2502271":{"pageid":2513014,"ns":120,"title":"Item:Q2502271","lastrevid":44219649,"modified":"2025-11-20T23:15:48Z","type":"item","id":"Q2502271","labels":{"en":{"language":"en","value":"Compositional analysis of C/C++ programs with veriSoft"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5053096"}},"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":"Q2502271$0A73DDBC-A595-4360-9187-5012FDF875E9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ff2322cb6f0e9b6abac553fccd74908460d583cb","datavalue":{"value":{"text":"Compositional analysis of C/C++ programs with veriSoft","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2502271$60F2E667-4F90-4971-821F-F842563DD9D2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"69888bdadb2cb5e9cabcb291b8bc3146c9e5325b","datavalue":{"value":"1102.68428","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2502271$016708C5-8D02-48E2-8F9C-5BAED8FB18C7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0380b83b3974d983edbfe0594792ba8b37542c8a","datavalue":{"value":{"entity-type":"item","numeric-id":394963,"id":"Q394963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2502271$8FBC6736-6E10-494D-A9BC-FDA200471901","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2502271$8205A2FB-18A9-417D-8739-B0AE09DAD0B1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7fd47b58f27435239dc8447da9ea0a760e50b459","datavalue":{"value":{"time":"+2006-09-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2502271$EC327477-EE57-4F08-815C-02C9BB08F379","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2502271$585CB154-5C7A-4DC3-B232-3081AECCC076","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"81f18c486ea67df558925736f5067734422a5f83","datavalue":{"value":"5053096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2502271$62B4A9DE-86A2-4CE4-BDEE-6F6C393A6EB5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dc25f7f2583b53dec298dfe8fc1a34983c9e01d","datavalue":{"value":"visualization techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q2502271$9E0B633D-D96E-4580-AE2A-2B11101BFD40","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2502271$88D2DEA8-891E-4759-980A-5F676324A626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"47f960de4d53e18e0757a9f17e2bf4db153dde36","datavalue":{"value":{"entity-type":"item","numeric-id":19685,"id":"Q19685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2502271$E2E722BF-8A0E-4765-9A1E-2AD897FEE715","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":"Q2502271$370CDDB1-8157-436B-BFD5-F281746BA1C3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3b0007d512154406e2c806b6ec9ed587db584090","datavalue":{"value":"https://doi.org/10.1007/s00236-006-0016-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q2502271$565FB100-BCA4-4900-98B0-FBA5E4F3AA90","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d40365b83871f88cdf649ccb57a0de02af9ba812","datavalue":{"value":"W2013586617","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2502271$ED94FF64-69B6-40F2-BF8F-03EF1D47E587","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dd11fb78461370c19c8beaf6b0de4dd26489cef","datavalue":{"value":{"entity-type":"item","numeric-id":1923100,"id":"Q1923100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2502271$EC71A84E-FC31-4F66-86DB-87809AF43F11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"600d8a1514e6fed4e4c66ebeb9b62bee4bc86b61","datavalue":{"value":{"entity-type":"item","numeric-id":4417936,"id":"Q4417936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2502271$076D79D1-42F3-41FD-8F7B-AB4CE6AC45CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39e001b607e2db4c55a2a039de4e0e7d543078e5","datavalue":{"value":{"entity-type":"item","numeric-id":1402468,"id":"Q1402468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2502271$C9D36C46-BF95-42DB-B873-6F55F160C9D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d4cb6e9c0b46157901d6782f85c0164bfbf3d86","datavalue":{"value":{"entity-type":"item","numeric-id":1910794,"id":"Q1910794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2502271$4AE9140F-195C-4861-B235-1AC8002E3CDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"817843a7139d1f70c38676e32e4b5862f0d3f2a9","datavalue":{"value":{"entity-type":"item","numeric-id":3666252,"id":"Q3666252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2502271$8D9A3283-553F-46DE-B8F4-58144BEC459B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff15a003decaf3fb97cc8f3b2a4669e9d9544304","datavalue":{"value":{"entity-type":"item","numeric-id":4873991,"id":"Q4873991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2502271$9F013637-8F8A-4F06-8DC2-A7CAA0B361B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec785066f721fdcdca6ad8622011c52b3fb6052d","datavalue":{"value":{"entity-type":"item","numeric-id":1158954,"id":"Q1158954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2502271$4D66A564-4FBF-4AB8-A1AD-1D5DB2C8BA1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aff9a0e3f0f2bb5379481e2506c1ed09265b0350","datavalue":{"value":{"entity-type":"item","numeric-id":3700812,"id":"Q3700812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2502271$63FA9AB8-BA64-4A2F-B7C2-E855C53D49D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0ccb1bb6972c34ba87ead8253e3bd450b22dfe2","datavalue":{"value":{"entity-type":"item","numeric-id":1107518,"id":"Q1107518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2502271$9AC0439B-0751-4CAC-8C7A-B97DF861CD3F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bcc76cba34455b443e82b68a2b73d284cf921d35","datavalue":{"value":"10.1007/S00236-006-0016-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2502271$CDF4E8C0-7BE6-41FA-A5E0-30CB45FA1692","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f479fbb7fcee580f1c74a8a2d9e1b87037f61847","datavalue":{"value":{"entity-type":"item","numeric-id":2368952,"id":"Q2368952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"976fd7432f1c384b81eb2245300eca4ff819109d","datavalue":{"value":{"amount":"+0.85987157","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2502271$4110BA86-8807-4CCC-9ED6-14A9EE634278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bf050f6dc020970dc21f6588e2df8bc4f5c5159","datavalue":{"value":{"entity-type":"item","numeric-id":4417935,"id":"Q4417935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"976fd7432f1c384b81eb2245300eca4ff819109d","datavalue":{"value":{"amount":"+0.85987157","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2502271$C4CBE2BB-E97D-4B21-BF46-C98E268EC95E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21ff330da66855980d1d48fbe00981574ec91c56","datavalue":{"value":{"entity-type":"item","numeric-id":4036556,"id":"Q4036556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9f8f97020b047c008faf1975ca0521f4cfa36f7","datavalue":{"value":{"amount":"+0.8576327","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2502271$8F83297D-5834-44AB-8976-A5CA409B2E8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2ea2c340811aea1ec33084f0dde5896fd0c5cf1","datavalue":{"value":{"entity-type":"item","numeric-id":5312991,"id":"Q5312991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02cd2a46165a313ca119d3227a39777ba6550a45","datavalue":{"value":{"amount":"+0.85313195","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2502271$16315923-72D3-4E98-A31C-158F9B36B200","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2502271","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2502271"}}}}}