{"entities":{"Q1749128":{"pageid":1759870,"ns":120,"title":"Item:Q1749128","lastrevid":69128553,"modified":"2026-04-13T04:57:59Z","type":"item","id":"Q1749128","labels":{"en":{"language":"en","value":"Symbolic execution based on language transformation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6868752"}},"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":"Q1749128$084D938E-A0A2-446B-BCC1-293C79A7B8AC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2634a12104aca940e9bac06c92046b7200eaef70","datavalue":{"value":{"text":"Symbolic execution based on language transformation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1749128$1DD26D67-6D89-4767-AF1E-57E961178931","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4e9fa33e0617a309f4e5475af2374e5aec072757","datavalue":{"value":"1387.68047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749128$360E45A1-6535-4512-92BE-EBE8FD23C6EF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5933ce3e049f97ccca1c72bcb583cae3495db8e","datavalue":{"value":{"entity-type":"item","numeric-id":507360,"id":"Q507360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749128$C91A8289-9D63-46EF-AEDD-0CBD0E9E9ED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b0a54b19aa26970eaaa1ec809a9eee1a0531ed1a","datavalue":{"value":{"entity-type":"item","numeric-id":493519,"id":"Q493519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749128$2A4D69DF-DFF0-4736-B91C-93FEC1588FE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e6276f2b5f5afd85d3b3b6bb8e4fd8cf82500e8","datavalue":{"value":{"entity-type":"item","numeric-id":493520,"id":"Q493520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749128$C9C7AFE4-1445-4EF6-A0A3-46C170E2EFE3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4d2f38e43c691e4079017f3fcd6faa7b21dad657","datavalue":{"value":{"entity-type":"item","numeric-id":456462,"id":"Q456462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749128$FDB74C3B-627B-4D24-92D7-816C982BBEA6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0ea136133176b0e732e96c018d3bbea7a42c842e","datavalue":{"value":{"time":"+2018-05-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1749128$F2316616-866A-4FFF-A980-1102CBAA326E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"31f2595f06d485b02c9010814820b3f4a585df93","datavalue":{"value":"https://hal.inria.fr/hal-01186008/file/clss2015.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1749128$63BC470D-EAEA-48D4-8EFF-A4229239E2C7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749128$0E2508B5-D375-44A3-8FD0-CDA9910C97C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749128$EE26331E-AFBB-4421-BAA6-C21F51B4F65C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8c21da57d487b8a298109acc172874db5053f7f7","datavalue":{"value":"6868752","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749128$2AEFB900-1C89-47C5-847A-6468DAC3665C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69dd490da9b67dc4fe4c624a05791d0c4fa27f2e","datavalue":{"value":"symbolic execution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749128$FFF9D58C-EF14-4021-8CA3-FFC806A9810B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b4804225ce369eb1d5773935b377190245c3fb8","datavalue":{"value":"formal semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749128$72C3F00C-8888-4D34-BD4B-204B298A9289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"489560b9b00c44572ad1e0eebe89cce928d6d1f3","datavalue":{"value":"programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749128$2921FB88-F3BC-4E10-9FA5-2AF57479DBF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f668560f85d7afd1fece97b175bc3414226fbb","datavalue":{"value":"program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749128$C4D0E8F2-8183-40C0-BB95-06A2F9576245","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa4449ab7bf67e29a698d10746ae548bc1980e05","datavalue":{"value":{"entity-type":"item","numeric-id":19309,"id":"Q19309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749128$2747F4E6-FE86-457E-9601-22778972296E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6c300b22d799c4c92a4fc5f18d8224722be78dbf","datavalue":{"value":{"entity-type":"item","numeric-id":43974,"id":"Q43974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749128$0E0EA281-9714-4711-AC0E-E4853E6CC814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d8c9ff4a9eac2a34ae6381abc2842acda7fc49e9","datavalue":{"value":{"entity-type":"item","numeric-id":43968,"id":"Q43968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749128$4DD596EB-E2DA-43A4-802C-B4B385C39E4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f73b220ba5587942b20819a10a7828507204c03c","datavalue":{"value":{"entity-type":"item","numeric-id":46504,"id":"Q46504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749128$477CE23D-8170-4112-BC11-9ED25F844948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749128$ED2BA15A-F72A-408D-BD26-E81E6BF9AF42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"24704cf2d59453ced71ad27e7959334508d37331","datavalue":{"value":{"entity-type":"item","numeric-id":12944,"id":"Q12944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749128$9FD77B9C-B741-4CC8-B887-2C23FEF6EFF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749128$F41FE19B-BF9C-454D-A16E-680A14ED3D2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e5f5b1fca09e81c020a0772858aceb3a175c9768","datavalue":{"value":{"entity-type":"item","numeric-id":19312,"id":"Q19312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749128$84909D1E-0BDC-40BB-A1FF-9CB6461CBDFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a7e8c0ef4b2b655550f401b23c169644988922e0","datavalue":{"value":{"entity-type":"item","numeric-id":21725,"id":"Q21725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749128$13F44D9C-2D9B-4B15-99BE-FC0219055BCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6b3dc99177236f98a28268bc9de8552588fda1ec","datavalue":{"value":{"entity-type":"item","numeric-id":30822,"id":"Q30822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749128$CE29AD8B-E206-4765-ADBF-CB9111320F07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8ae08dc7178ce2c4ebc5db4ebd8c670ac61becec","datavalue":{"value":{"entity-type":"item","numeric-id":36081,"id":"Q36081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749128$C2190016-807A-4609-8BF8-728FF193DC72","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":"Q1749128$9FF4E589-2D8D-49A5-BCAD-A583C95C77B4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a55b162f26db9f0e6ba5a243d8d8471462fbbf13","datavalue":{"value":"W2291243181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749128$E9F3F75B-DCFF-4161-B76B-BEDB3181B0D0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1da1cf5a701a96be6e2b4fe8962f9ab5cf74c40c","datavalue":{"value":{"entity-type":"item","numeric-id":5493374,"id":"Q5493374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749128$A3C2A713-2A9F-4D2E-A0CB-1089F4D4E4A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69bd394a77de6a66e7c3ead14354e268bd49cc00","datavalue":{"value":{"entity-type":"item","numeric-id":997833,"id":"Q997833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749128$BEFF613E-430D-40D7-8F0B-B4AB5B27E11D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c6788a4325e5a7583cda476d7916b51682b7ade","datavalue":{"value":{"entity-type":"item","numeric-id":5179131,"id":"Q5179131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749128$658998C4-6B79-4563-A4FF-FE9331CE59CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37f11d087fb352d8b17c817d210efa2f25331977","datavalue":{"value":{"entity-type":"item","numeric-id":4417955,"id":"Q4417955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749128$DC71E99A-DB78-4E6A-907B-A54C374987F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83fa1aea41b23b77e49c2e6c48c1b67f2ce6b255","datavalue":{"value":{"entity-type":"item","numeric-id":4095837,"id":"Q4095837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749128$D41EF854-AF58-460B-9B48-E14B6F3E1B26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14a1a742e214d8245c75cee91c994ccfb70891f3","datavalue":{"value":{"entity-type":"item","numeric-id":880981,"id":"Q880981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749128$D16B0636-B874-467D-B0BE-EBCA139B9BDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fcf2296969dd5e01651c8f2a620352248abf9ef","datavalue":{"value":{"entity-type":"item","numeric-id":5308375,"id":"Q5308375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749128$5F9A555B-08B7-49E0-8C4C-030BFC143E8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23623728af77877c2c658b5f16ea2ac66fec79f9","datavalue":{"value":{"entity-type":"item","numeric-id":987974,"id":"Q987974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749128$F3C23616-2AE9-4C0B-866C-F1305F33D0EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1bad7f5057e7864ee572ca3c11ad9a00080b514","datavalue":{"value":{"entity-type":"item","numeric-id":4647855,"id":"Q4647855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749128$98C83001-A605-4BA0-9EBF-CD0DDE8BBE35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a1fec13708686f567ce8f652a4b4b1f5722daf5","datavalue":{"value":{"entity-type":"item","numeric-id":610397,"id":"Q610397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749128$58BDEED9-FCC4-4828-8BC7-F80B584D58D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c3fbcaeb90e2237225f0fbcbddb29c893ca5fed","datavalue":{"value":{"entity-type":"item","numeric-id":1012130,"id":"Q1012130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749128$EE2F6B72-1CED-430E-85E4-F9ECF89B5A71","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bb9f1f017cea10bf5b297e187917b49035e5cdd8","datavalue":{"value":"10.1016/J.CL.2015.08.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749128$6427D0C2-FC43-4D8E-A6F7-ED774B8F14D3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebbd36a7f35f141389198a9ec466617009c589f6","datavalue":{"value":{"entity-type":"item","numeric-id":507361,"id":"Q507361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c13e9789f2ab1c4f947e2e1ac1f1694b95b994b1","datavalue":{"value":{"amount":"+0.8518292903900146","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":"Q1749128$3C485045-36A7-41F2-8048-FF0F47E77413","rank":"normal"},{"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":"8b4626a1396e8c924300719e3081a745c67b1638","datavalue":{"value":{"amount":"+0.7954903244972229","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":"Q1749128$B5E20D5F-2D40-4BFF-97AF-1AF16FC9387D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24858133df88a9502fb1cbc488209969083fa073","datavalue":{"value":{"entity-type":"item","numeric-id":2945132,"id":"Q2945132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb6a709af5d58411c468e162e05f94cfa90aad23","datavalue":{"value":{"amount":"+0.7913801670074463","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":"Q1749128$9F2DB2D1-AFB6-449C-B676-3015E394562D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"540a26efb19992f6a4fcb31df0336738a537fbf1","datavalue":{"value":{"entity-type":"item","numeric-id":1183549,"id":"Q1183549"},"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":"Q1749128$3E7CC649-FFD0-4D12-ACAC-F4B0E2185BF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a015096e0f39b676cbd7ffb85502b41262412e76","datavalue":{"value":{"entity-type":"item","numeric-id":730476,"id":"Q730476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c74ee2c3a9ba9adf367b5e21c9912a8295eff60b","datavalue":{"value":{"amount":"+0.7422931790351868","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":"Q1749128$E49120B8-420F-41B8-BF67-D8626B81C5C3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Symbolic execution based on language transformation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Symbolic_execution_based_on_language_transformation"}}}}}