{"entities":{"Q1183549":{"pageid":1194298,"ns":120,"title":"Item:Q1183549","lastrevid":70204626,"modified":"2026-04-13T13:09:06Z","type":"item","id":"Q1183549","labels":{"en":{"language":"en","value":"Symbolic execution: A semantic approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 33374"}},"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":"Q1183549$87405103-7693-448E-8FF4-657A48462DCF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3963c28f0f78477028750bf35af80689d5acd808","datavalue":{"value":{"text":"Symbolic execution: A semantic approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1183549$0254DD7A-ED49-471B-99DD-546E2E2248A6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0565bde4f2c19a4602fb4c26a3fd20671ad101a3","datavalue":{"value":"0745.68064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183549$A125E1EB-D2B7-4F88-8997-F71FC4BB12F9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5aa9192907cd27536be80534871904d8e2b8085c","datavalue":{"value":"10.1016/0167-6423(91)90008-L","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183549$89A728E1-465D-47DB-A220-7EE65932E946","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fefc77734fe563c11a22ed9addad8c2169492ee","datavalue":{"value":{"entity-type":"item","numeric-id":1183548,"id":"Q1183548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183549$71741BEA-934C-42A6-B5AD-B4D671F32687","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183549$52C9F874-FBCB-4DAE-9C8E-30086C2B3AE1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"120787504bea9565def539fb4bfb19084956028b","datavalue":{"value":{"time":"+1992-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1183549$ABB1EF6C-4530-4CCB-BC3F-A56350EAF7E8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183549$23A7D3A4-A43F-4AEE-932A-7E145891E54A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183549$21BDC004-0F3B-4655-8B98-46F55E491703","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"47b11701b12922b8066222e60b9d15ee17c36feb","datavalue":{"value":"33374","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183549$87DA6BAB-F85B-4ACF-953D-36FD7B416285","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af68c4de8ec5fb071786dc2f28b453de7150363b","datavalue":{"value":"denotational semantics of symbolic execution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1183549$0D112DA0-3532-4D12-980A-914E56DD6537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88dbda5617db91727cc9f39097cbcf8c91d932dc","datavalue":{"value":"correctness of symbolic execution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1183549$E8EFAE4B-B3DB-4565-B5F8-FE5101027D10","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":"Q1183549$CAF3EB3A-3F64-493E-AF2E-DA1BE01516A3","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":"d9168d728e58bf598372db846bdbe38ec58076b3","datavalue":{"value":{"amount":"+0.8360139727592468","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":"Q1183549$BE0CBD48-9C6D-44F3-A22F-ED46E54BA0A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1895483cbbb5bcd7a601d9ac89be5c2fdc0f8563","datavalue":{"value":{"entity-type":"item","numeric-id":1749128,"id":"Q1749128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83fd97355382acd7c71357e2140878c79d4381db","datavalue":{"value":{"amount":"+0.7859093546867371","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":"Q1183549$CCBDF4A9-3EE1-447E-8454-1EA2C6C07A1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"517cd3cb617920845b81b918e3240f509e716868","datavalue":{"value":{"entity-type":"item","numeric-id":5240106,"id":"Q5240106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f79a772fd1010c8a0c0f047d0a82a969ec5506fa","datavalue":{"value":{"amount":"+0.7829583287239075","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":"Q1183549$868A1E73-77D3-4632-BC4A-33E4A45F2113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d04e3b525d1eb5ea2518211540db69410c24ec5f","datavalue":{"value":{"entity-type":"item","numeric-id":3677145,"id":"Q3677145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff3981b9edae40816bc769a4c3df9fe3dc1d7cd7","datavalue":{"value":{"amount":"+0.7472842931747437","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":"Q1183549$9A62B02F-2306-43AB-B2C6-415BFCAD4055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7ea57f7e0127e687d9a7284a93f39aa9309b85e","datavalue":{"value":{"entity-type":"item","numeric-id":3172934,"id":"Q3172934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce461c036b668a7a4d98628f639ca734e3cf305c","datavalue":{"value":{"amount":"+0.7357022166252136","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":"Q1183549$D6960CE2-DCA6-4B60-BD35-8958EEFB1EB5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Symbolic execution: A semantic approach","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Symbolic_execution:_A_semantic_approach"}}}}}