{"entities":{"Q2903126":{"pageid":2913851,"ns":120,"title":"Item:Q2903126","lastrevid":51533081,"modified":"2026-01-18T16:33:05Z","type":"item","id":"Q2903126","labels":{"en":{"language":"en","value":"TRACER: a symbolic execution tool for verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6070789"}},"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":"Q2903126$CDC99435-896A-439C-8E5A-DFD36CF5EDF1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"faa3127ee243f2c186b15c662a3356afcf281242","datavalue":{"value":{"text":"TRACER: A Symbolic Execution Tool for Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2903126$D427076F-135C-4A48-A7DF-E852C5F67C10","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cb8989f1a3118b3a954f48112db1c6d551dc51fc","datavalue":{"value":"1478.68164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2903126$171996AC-C4EA-4DB2-BD62-8645D4BAAE48","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d2962b74f863434f6b05afb1b1dd648d17b57fab","datavalue":{"value":"10.1007/978-3-642-31424-7_61","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2903126$0DCBA183-94AB-4449-B567-E30873799F6A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9c22202056a7e54fe7d747a972d5d32461d68b3","datavalue":{"value":{"entity-type":"item","numeric-id":688822,"id":"Q688822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2903126$94EFEA13-D6B8-4E14-B036-35FE12ADEBA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ee372595039f7d388e2e5e278db539cd0f932ca","datavalue":{"value":{"entity-type":"item","numeric-id":2903124,"id":"Q2903124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2903126$A98FD2E6-504D-4DCC-ABB2-F687BF70AAE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc9aa5bf3e043aca79ceea7f9b6e24e591eea899","datavalue":{"value":{"entity-type":"item","numeric-id":264988,"id":"Q264988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2903126$E0E7A933-DBB7-4C2C-9F70-8AE4327181FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d46b2f59a448ac155d692577e3e17c3794156bac","datavalue":{"value":{"entity-type":"item","numeric-id":2903125,"id":"Q2903125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2903126$2F963C02-B3C7-42CE-80A2-2C11A1DECCE5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2903126$3B15C9E7-62EA-46E0-BE58-22482F9DD42D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"65565ef421231dd2fa47bb94f379079908ab66d7","datavalue":{"value":{"time":"+2012-08-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2903126$674EEFFE-B765-4406-8BC8-D7167251ADF9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2903126$E7838F9D-CE57-41C2-BD05-76BDCAAB35DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2903126$C9A653BF-BDF4-48A7-9DB5-8D0DF2ABD79D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2903126$6B05F494-FFFA-4E18-8802-16BA43541BBD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d2cbbb887ab110f5ccca2eead3f0f9cc4512dae7","datavalue":{"value":"6070789","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2903126$36015006-698A-47D9-8E39-86B8CA9774C4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e8618a83d96f55e451e9b5903227d98b1eaf2781","datavalue":{"value":{"entity-type":"item","numeric-id":21088,"id":"Q21088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2903126$5A82A5AC-DD6C-4CAD-8CE3-0462493888D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3fa0ba30f2225a69a75d233361703cec68c39010","datavalue":{"value":{"entity-type":"item","numeric-id":15473,"id":"Q15473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2903126$8C0C3FD4-5FDC-41D1-B16A-0D0FC5F36330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4f98c4b564db6ae968690eb76e4f4bd2b5bc5739","datavalue":{"value":{"entity-type":"item","numeric-id":19825,"id":"Q19825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2903126$CF100058-D148-4995-B410-D4505AD562B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9ef6b52613e0d0ceb1e645440c84c3cd13bf2efd","datavalue":{"value":{"entity-type":"item","numeric-id":21466,"id":"Q21466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2903126$8483D8A5-1627-4736-B411-0F9E037494CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c316a4e11e44cbd015a63ff86b861806410c456a","datavalue":{"value":{"entity-type":"item","numeric-id":25012,"id":"Q25012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2903126$A713FD38-9A9D-42B0-A6E2-2FC9D149036F","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":"Q2903126$38CAB763-D69D-494E-A68B-ABAE16155F88","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4f379a8606c5d6f2986b5661397ef5441b2dcd58","datavalue":{"value":"https://doi.org/10.1007/978-3-642-31424-7_61","type":"string"},"datatype":"url"},"type":"statement","id":"Q2903126$F979597B-41DA-44D5-AB8F-49D9DA10A3FA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1bff2aef8b98151d6ec01581a46c41db88518e46","datavalue":{"value":"W52244296","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2903126$5674CAA3-0240-48FE-9715-3FE4005D52CC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de418fe1497a378eb4dce24bec6be388676ec910","datavalue":{"value":{"entity-type":"item","numeric-id":2829242,"id":"Q2829242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8ab088fad0fb8db8bfd112ad090dbb0793d80d6","datavalue":{"value":{"amount":"+0.871411144733429","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":"Q2903126$7998ACE5-1D4C-4E1D-BEAE-E8BE353A1280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"247cb8a6990a2242ef1a2522ddb119e587c248b7","datavalue":{"value":{"entity-type":"item","numeric-id":4426387,"id":"Q4426387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3b309e6b07f4e7f0f2964bd7650d8c1f9deb579","datavalue":{"value":{"amount":"+0.7462651133537292","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":"Q2903126$F3AE5862-8369-4AE1-AE71-CEC25EC337B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf00a775bd635b9535e48b7dcfc8aea2cc944962","datavalue":{"value":{"entity-type":"item","numeric-id":3196351,"id":"Q3196351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3b309e6b07f4e7f0f2964bd7650d8c1f9deb579","datavalue":{"value":{"amount":"+0.7462651133537292","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":"Q2903126$02A22728-5F66-4156-BE45-04A39DA81AFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65783770f753a60e730e2f256403c2da900bb4d3","datavalue":{"value":{"entity-type":"item","numeric-id":3766816,"id":"Q3766816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1e5de3b32a4fe52784c024ef51c0bb0b4b3ad97","datavalue":{"value":{"amount":"+0.7257207632064819","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":"Q2903126$08ABAB4F-60CA-4A92-817D-B0C0760D52A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d801ac31e27a461cda9fc3fc2dc85a8d9abe2a0a","datavalue":{"value":{"entity-type":"item","numeric-id":777889,"id":"Q777889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97e632eb04d86ae652a0137705a9dc4b67f7b7a7","datavalue":{"value":{"amount":"+0.7240417003631592","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":"Q2903126$B8B09CD9-8FA2-472D-8A66-A9E9FA879400","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2903126","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2903126"}}}}}