{"entities":{"Q5370873":{"pageid":7400447,"ns":120,"title":"Item:Q5370873","lastrevid":96078374,"modified":"2026-06-05T10:21:28Z","type":"item","id":"Q5370873","labels":{"en":{"language":"en","value":"Context-sensitive data-dependence analysis via linear conjunctive language reachability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6794663"}},"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":"Q5370873$FEE1EA86-696C-4CEF-B6B7-C852616CCC57","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4bbb95c9d1e61e352e42b59925f7e0326e3a6f87","datavalue":{"value":{"text":"Context-sensitive data-dependence analysis via linear conjunctive language reachability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5370873$5D9777D8-9630-4EE2-B4EA-95A1CD6B9F93","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"12675ff91a91c9b27eeea0307440d7dc210d4a36","datavalue":{"value":"1380.68262","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370873$38FBB58B-461D-489C-BB4B-6F1C9C11110C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f222efbb8b4842c8191b8a8fa08166eadbe001d0","datavalue":{"value":"10.1145/3009837.3009848","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370873$0FAF5A4A-F48E-49F0-9381-5A9CC2D9524D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"34bb1be04fe932691e1b9d1839e9d24528dfc530","datavalue":{"value":{"entity-type":"item","numeric-id":5370872,"id":"Q5370872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370873$530A0F22-8DA3-454D-802E-1CDFEB2DAFEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a9af173e51909c5e47c780d5fd70c24f29d2272","datavalue":{"value":{"entity-type":"item","numeric-id":1856155,"id":"Q1856155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370873$789D86A2-0B6A-4281-9392-8B626E32D9A6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e2300a4bb532724f6695014ad32dc9335c9fdde3","datavalue":{"value":{"entity-type":"item","numeric-id":5370840,"id":"Q5370840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370873$4D970860-BB37-49CF-A918-55FA38755640","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6c23b22abb6cd47509eac4c3e5d58b13717e9ea4","datavalue":{"value":{"time":"+2017-10-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5370873$7B4A9225-E69E-40C7-8BFF-C678818F5E82","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370873$605708DF-0ECE-419A-B7A3-EAAFF295D2C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370873$736C98AF-AFA0-4FC7-B43B-0FCFA73C7F0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370873$0983931C-EB50-4D00-B384-4B3B11433A62","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6d8df8c81a49a69224abc5a6fb8bd9db73046508","datavalue":{"value":"6794663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370873$FDD88ED5-A4DF-4F01-B5C0-DDA4C7AF16E4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e4e553f0d9729fa8dc868b3a804f1660582f72b","datavalue":{"value":"context-free language reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370873$212D6D36-AA5B-4044-BD05-252455DA585A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55b2389c9529dfae5afdbf3ede9afa08a136084f","datavalue":{"value":"linear conjunctive grammar","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370873$203A638D-F508-4BEB-9D46-C450ED2B535A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f668560f85d7afd1fece97b175bc3414226fbb","datavalue":{"value":"program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370873$58C1A653-CFA6-4216-AC8C-699ABB354A7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69835bf7d0b6b259a20713f273a40876b6c6838d","datavalue":{"value":"trellis automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370873$99D118B8-6CE5-4BB4-A247-BA260DAD723D","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":"Q5370873$0D43BB8C-3432-426E-B748-437382ECC373","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9ef5d930acf86dac16183e06800625ec3421cfc0","datavalue":{"value":"https://doi.org/10.1145/3009837.3009848","type":"string"},"datatype":"url"},"type":"statement","id":"Q5370873$4034799D-4318-42C3-A594-EAAC56537A75","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ae8168884ee9677f411b627773ebb2b88921a302","datavalue":{"value":"W2561266941","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370873$29BA61D5-9CD6-4CFF-8E4D-6255C5148A6F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75cd45152579f82449f3ef54e5c762c34bc28e47","datavalue":{"value":{"entity-type":"item","numeric-id":4940927,"id":"Q4940927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9062bf007c840b4c553623068b6e38e8fcb1c32e","datavalue":{"value":{"amount":"+0.7660824060440063","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":"Q5370873$66A299E2-5DE7-405A-AB0B-BDB2C3CB7929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f69ff5043948c4bfca7d85a130af3189acc73d82","datavalue":{"value":{"entity-type":"item","numeric-id":3535677,"id":"Q3535677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1109f03cd0cf2a16328266f8d29bd4aa24ee6dfc","datavalue":{"value":{"amount":"+0.7543882727622986","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":"Q5370873$AFCF162C-3983-4941-83A7-E073E8B74026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d560134d1740a49b7fdaffb93e689f97de02fef5","datavalue":{"value":{"entity-type":"item","numeric-id":2145335,"id":"Q2145335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09d453696113e6aa53814490da32cc3c7ad6582d","datavalue":{"value":{"amount":"+0.7341883778572083","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":"Q5370873$79C1B059-8D7E-47C2-A542-3819B6918D40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17e35a338b661239ac26f49c707ef86e8f1ce0b2","datavalue":{"value":{"entity-type":"item","numeric-id":1583350,"id":"Q1583350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b7af37058f0202ae8ae928836ed136be744b292","datavalue":{"value":{"amount":"+0.7073451280593872","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":"Q5370873$C1C9DC29-3E5A-431E-B397-F4A0B2B15D02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf9de4335afbf8257493e9cd02a92dbe77b42b33","datavalue":{"value":{"entity-type":"item","numeric-id":3617699,"id":"Q3617699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24b61cbbd035b490fd7efaa1eeeff83e0a330173","datavalue":{"value":{"amount":"+0.6999428272247314","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":"Q5370873$ACE5931E-9B70-42E5-9DF9-4CB732287F26","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Context-sensitive data-dependence analysis via linear conjunctive language reachability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Context-sensitive_data-dependence_analysis_via_linear_conjunctive_language_reachability"}}}}}