{"entities":{"Q6985819":{"pageid":21417933,"ns":120,"title":"Item:Q6985819","lastrevid":84017831,"modified":"2026-05-08T01:04:18Z","type":"item","id":"Q6985819","labels":{"en":{"language":"en","value":"Compositional symbolic execution semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8038199"}},"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":"Q6985819$7943F394-FE64-45B0-A460-50B57B0809C0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"65d4b56cf826779b275ebeec9c86526177df11a5","datavalue":{"value":{"text":"Compositional symbolic execution semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6985819$004090BF-557E-4EB2-8516-FED7522B6E25","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9ec707f93105c9a7bc8bb218fd0e503988bb0dcf","datavalue":{"value":"1573.68088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6985819$4B82B15B-F2DC-4B6A-B699-409B04025A5E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9fb1dd2fd3c22f2eef362e775f5fa172f6f7c832","datavalue":{"value":"10.1016/J.TCS.2025.115263","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6985819$D70F74A6-F837-463E-A707-5A289F10B082","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f4444bfcac1bc86c9bc6bbf363677b99616704e","datavalue":{"value":{"entity-type":"item","numeric-id":6546467,"id":"Q6546467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6985819$1E359D00-0C3F-4E0C-86FE-CCA66E09CF2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5682fb0ce84268bc67179c27c881bb5e514cddc5","datavalue":{"value":{"entity-type":"item","numeric-id":6605368,"id":"Q6605368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6985819$430931F3-E517-43B8-8769-F39E84B30374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"766a7b4a0daa5b8547ebae773097f31bce780235","datavalue":{"value":{"entity-type":"item","numeric-id":444464,"id":"Q444464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6985819$1C9BD734-F106-4AFD-B7ED-CCD5A5F107FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d53e9570d442a569b789880085f203ff32389ae","datavalue":{"value":{"entity-type":"item","numeric-id":338616,"id":"Q338616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6985819$13509A5E-1FA8-422C-95AF-CBE062F96EDA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6985819$B57AAF4B-1F02-4976-9C9C-BE5AD019142E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b64da13dc72ce934cdd1251103882f41d171d88","datavalue":{"value":{"time":"+2025-05-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":"Q6985819$3F4BD250-146F-4DDA-B5A0-8217FBDD55B2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6985819$AE9DD902-3D85-4F7C-B271-F7D90A5CC23B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6985819$90D59BBF-391E-4C28-871B-6A792E16424C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c3a41e1036448977e626230c17f5cba2e61498e6","datavalue":{"value":"8038199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6985819$641BD647-64F2-4134-A168-3BE5D3E06FE7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69dd490da9b67dc4fe4c624a05791d0c4fa27f2e","datavalue":{"value":"symbolic execution","type":"string"},"datatype":"string"},"type":"statement","id":"Q6985819$04A732D7-05FD-4337-9344-EF368C5307D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f668560f85d7afd1fece97b175bc3414226fbb","datavalue":{"value":"program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6985819$3B2CB362-C441-43CA-8F81-7C1D58AAAD27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6985819$200AAC15-F1D6-4144-A393-0EF83831E705","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":"Q6985819$7F5F4713-AA42-4206-A08D-2A2544F0FFA4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"01088c8e9db5b2ed7a87a5700aeb42dc392c6163","datavalue":{"value":{"entity-type":"item","numeric-id":1982639,"id":"Q1982639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6985819$FE3751B7-F55E-4FA8-8D83-2431EC544012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3109868eabc348164df54dfbc4d510999bf50764","datavalue":{"value":{"entity-type":"item","numeric-id":5285987,"id":"Q5285987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6985819$AB85FE38-8BB5-42BD-9A42-90D5EBC2E67C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed0f96bd7644b87078b54e3f53823b650999a057","datavalue":{"value":{"entity-type":"item","numeric-id":3163399,"id":"Q3163399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6985819$E8D3B74B-2F70-4812-BEE2-F15B2C807D7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2790188d3a2572a99d3b8280868598d27c040965","datavalue":{"value":{"entity-type":"item","numeric-id":4525781,"id":"Q4525781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6985819$77E639E8-649D-4D5A-8444-0D236172693F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a54169d4adf4e969dd621e0fa791c16de38028b","datavalue":{"value":{"entity-type":"item","numeric-id":2971173,"id":"Q2971173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6985819$75AD3028-9BD2-4EA1-AACE-8F2819298E39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6985819$F28F98D6-58B5-4514-89B3-4B3C8C469A6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17794c4bc319199b07780fe8daa9724755f28e9","datavalue":{"value":{"entity-type":"item","numeric-id":4355684,"id":"Q4355684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6985819$55E6D1EE-69B0-4C0E-86C5-747A6EBDA052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7571ae10f06ec9bee2a47351ce533e86183ce919","datavalue":{"value":{"entity-type":"item","numeric-id":7007670,"id":"Q7007670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6985819$C1086D41-D10B-4194-857A-8E6F59AC9024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ca4c5e04b9170d988824a30b91f9b37e53ce087","datavalue":{"value":{"entity-type":"item","numeric-id":6967340,"id":"Q6967340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6985819$7443F20F-2ADA-4B39-B2A2-1F8FE0AA5CD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4da766b53289e3080d5dcf52e6d12f24cfcf1525","datavalue":{"value":{"entity-type":"item","numeric-id":1183549,"id":"Q1183549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6985819$6205EA30-E2B7-449B-A308-02B957F70648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d80f8dd118b5b17b20a55804069560896538ee46","datavalue":{"value":{"entity-type":"item","numeric-id":507361,"id":"Q507361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6985819$ADB42D8E-5AAB-47FC-BEE2-6927723C8633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66621d537c4887fc4187ecafaef9b32c48f74cb2","datavalue":{"value":{"entity-type":"item","numeric-id":6535845,"id":"Q6535845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6985819$4652B484-6714-49BC-ABB0-C2AF8CFDB2A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f131e44a68e9dade152b5374a19246dfeaefd7a6","datavalue":{"value":{"entity-type":"item","numeric-id":3183540,"id":"Q3183540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6985819$1F94D454-BA80-4CCF-A31B-9E69F8FE16EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d038ef42dda5d2e6f5333c278bf498c030a6211","datavalue":{"value":{"entity-type":"item","numeric-id":6829771,"id":"Q6829771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6985819$EC814A39-B826-4D83-B80C-822DF5944CE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"901d263f701274bcb969de5d7e0b8ee5515e2885","datavalue":{"value":{"entity-type":"item","numeric-id":6829772,"id":"Q6829772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6985819$A8C15DA6-985B-41E6-AC83-AAE2A7564545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ed1d00a36af45ae256b197896634912ceb91d05","datavalue":{"value":{"entity-type":"item","numeric-id":6546469,"id":"Q6546469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6985819$590358FB-5B78-420E-89A0-349D980011AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9957e846a8be4e8bc196045887c72990a1e203b","datavalue":{"value":{"entity-type":"item","numeric-id":6605369,"id":"Q6605369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6985819$58296CE6-5AA4-4D27-BCC2-DFCB78B62E07","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Compositional symbolic execution semantics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Compositional_symbolic_execution_semantics"}}}}}