{"entities":{"Q3535677":{"pageid":5565581,"ns":120,"title":"Item:Q3535677","lastrevid":50493068,"modified":"2026-01-14T05:03:21Z","type":"item","id":"Q3535677","labels":{"en":{"language":"en","value":"Type-based flow analysis and context-free language reachability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5365915"}},"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":"Q3535677$0CE4BA9A-1E71-41C2-8E84-5C59D333A9CE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9b2cb2ea306814a726ac7c297df169261cbc0741","datavalue":{"value":{"text":"Type-based flow analysis and context-free language reachability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3535677$22A5C523-F1FB-45A7-AEB4-A69941A4EE28","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ee5bb19d52facc4c60cd4276312736310d9e5e39","datavalue":{"value":"1156.68015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535677$99F6EAF8-62EE-43E3-AFDA-B86E23C1DE7F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"df8700342af8933b951f6c7334e693c5ac9f96e5","datavalue":{"value":"10.1017/S0960129508006968","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535677$36E5A21B-1D10-4062-B393-A5F1AC1C2DEB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b20f1a734f4b224637c57f8ba6a80e22c98d5ecd","datavalue":{"value":{"entity-type":"item","numeric-id":988564,"id":"Q988564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535677$0A1D2AAF-38B1-4871-B50C-5F2322F912E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6cc3e39d72e1956b65012dbfcf84931423e35849","datavalue":{"value":{"entity-type":"item","numeric-id":1351997,"id":"Q1351997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535677$E66F7DC9-C24E-4868-B0C6-94EDBA780F31","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535677$6EE66043-8664-4C9F-BEB6-81834A5DCB82","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"27f25e9d3b3894d698b7ec67f164a27a3aba1f7c","datavalue":{"value":{"time":"+2008-11-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3535677$679F1555-EAD0-406F-9C33-5002CBA34EC0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535677$42309C97-D384-4826-BD8C-6261EC184412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535677$CD396AC2-C3B9-431C-8C2B-6ADEB3660164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535677$D9D143A7-5DF6-4D8A-B6DC-DEE7439A18E5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"527bb89363e5a2ef8c0aa4952f1bf11abdbc59a3","datavalue":{"value":"5365915","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535677$E54E1E18-7266-4933-9357-A3E0A62558C7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dc51a8c0fe8cac11b1273088b53cd1374f8d2a6","datavalue":{"value":"polymorphic subtyping","type":"string"},"datatype":"string"},"type":"statement","id":"Q3535677$B0EFD0C4-0E18-494C-BE61-5C8575D3B74E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ba16acde7d546eea637c7c661efbf8c7660236a","datavalue":{"value":"interprocedural dataflow analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3535677$5DCA62DF-7407-442F-BD7C-B41385AEE6CB","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":"Q3535677$B493AA75-ACB0-4A27-BB1F-2597C1516E5D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f2f788602d8f9161fd1785948379c693a43c1ac","datavalue":{"value":{"entity-type":"item","numeric-id":1346684,"id":"Q1346684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535677$3AA94B3A-9753-4F15-BF92-7AF1D57EC8F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f89ec8fc478a72190e1804d99d764bc6f7c43e8f","datavalue":{"value":{"entity-type":"item","numeric-id":1583350,"id":"Q1583350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535677$F9D2C4DA-FA89-4A4C-A13E-1FAE6BD0547C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a231436283a6d1e21619739834066745432022e3","datavalue":{"value":"https://doi.org/10.1017/s0960129508006968","type":"string"},"datatype":"url"},"type":"statement","id":"Q3535677$B283C03E-07EE-4EFC-871C-EAA82E28E509","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"57088252d8c6e766566f0db1a593450a8bb40b12","datavalue":{"value":"W2081272942","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535677$A4E4DBC0-2458-4A6A-848C-128507DAF5A6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d9e3f99eff794d6a6fc9a1bd3e55ea0fdd62871","datavalue":{"value":{"entity-type":"item","numeric-id":5178873,"id":"Q5178873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df7195cf4c75a34e8e40fd80ea194646533c80d9","datavalue":{"value":{"amount":"+0.8848546147346497","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":"Q3535677$CE775440-159E-4A00-B53B-35BEA3ABB948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"493ef039100f22c16fab53a9fccff30a5215571d","datavalue":{"value":{"entity-type":"item","numeric-id":4380998,"id":"Q4380998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e11e9ddafb9357e32bae1a158a4414c16915b589","datavalue":{"value":{"amount":"+0.7849635481834412","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":"Q3535677$88E1943E-7CA2-4A1E-994E-32FCAD737211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9e0a6c3fa90d191a7cdd3a240736ab72b31527c","datavalue":{"value":{"entity-type":"item","numeric-id":4930737,"id":"Q4930737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e11e9ddafb9357e32bae1a158a4414c16915b589","datavalue":{"value":{"amount":"+0.7849635481834412","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":"Q3535677$C40A9671-FF31-41E3-B77E-0BEFC58D8E7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"192ee58b0bd8d13c63f3b1b9f6dd0bfb1f61fae9","datavalue":{"value":{"entity-type":"item","numeric-id":5370873,"id":"Q5370873"},"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":"Q3535677$4438B60E-EF48-4464-B955-07645D18FFCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0b9bb0620be25ddffb4c38a1aa0c61f2e4f593d","datavalue":{"value":{"entity-type":"item","numeric-id":4223775,"id":"Q4223775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37a42dd5683b4746f4e9b2a48b5ca9a7f7328884","datavalue":{"value":{"amount":"+0.7489521503448486","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":"Q3535677$6B047A76-9F66-40F2-925E-36C9F9ECAC26","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3535677","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3535677"}}}}}