{"entities":{"Q5357718":{"pageid":7387292,"ns":120,"title":"Item:Q5357718","lastrevid":41615477,"modified":"2025-05-06T09:43:56Z","type":"item","id":"Q5357718","labels":{"en":{"language":"en","value":"On Reachability Analysis of Pushdown Systems with Transductions: Application to Boolean Programs with Call-by-Reference"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6774225"}},"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":"Q5357718$0713110D-248C-4A71-B9C4-7E5039F91687","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f794e89a35fd0860274025da556c2c0b69ebd483","datavalue":{"value":"1374.68300","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357718$08AC0F0E-6820-4F3B-8628-DB146074509B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7827c426fd62b1155223da4c43f3f5ddccba9caa","datavalue":{"value":{"entity-type":"item","numeric-id":342710,"id":"Q342710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5357718$3C56F3AA-3B7D-42DC-A0AF-7B5815F847C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4252cfeebbaa37dce051aa46ab8e24cf1b143b00","datavalue":{"value":{"entity-type":"item","numeric-id":5357717,"id":"Q5357717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5357718$937317FB-3332-4620-9A6A-E7ECAE2EB831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f8b1a64d507a032cda525aa6a0e7593e342c9a4","datavalue":{"value":{"entity-type":"item","numeric-id":1707340,"id":"Q1707340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5357718$3E09C561-B575-4F72-9927-D041C82BE788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ae4d9e47b529655a51a843de5f675cf2b0ef53a","datavalue":{"value":{"entity-type":"item","numeric-id":352096,"id":"Q352096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5357718$607B4C66-4AB7-4441-A676-8EC7C417EE76","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ad555d9b3498665ac23079c56e62858eae3f6918","datavalue":{"value":{"time":"+2017-09-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":"Q5357718$D9088096-E53F-4905-8A10-299A69C76813","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357718$5466065F-4F60-4A70-B64F-9EA6E65749B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357718$3C3093F1-520D-4D4C-A369-AC36C1DB4F8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357718$71787A5F-1DC3-476F-AF5E-461C90D6CEEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357718$824FB2AE-0AFC-4645-B8F4-DCC63ABC599B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d2f0a4ccde110227e3d96dc7d63299063616a29f","datavalue":{"value":"6774225","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357718$AEA8D6B0-61E3-4CB1-AA0A-9389DD50A687","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5357718$0291B0D5-C4FA-47BD-A6A0-29F8C0828C74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ecc2e39a874768547c2175f9054d183dcbd30568","datavalue":{"value":"reachability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5357718$082A51F6-E698-4991-9F80-B1307D4DCEB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0cbb3aa5b177aa5d4f8fae233e8f97ca4a14fb7e","datavalue":{"value":"pushdown system with transductions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5357718$F4E5B68E-621D-40E2-9560-224A42977560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed1492bcd08780123872a445444f024262810053","datavalue":{"value":"Boolean programs with call-by-reference","type":"string"},"datatype":"string"},"type":"statement","id":"Q5357718$6164F5C3-7BDD-4D3A-898B-1649258129F3","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":"Q5357718$27EC0912-46FF-45E1-91E3-6D6898657485","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0e16e325bf77dd49b09f2bd1c2641cc28df6be14","datavalue":{"value":"https://doi.org/10.4230/LIPIcs.CONCUR.2015.383","type":"string"},"datatype":"url"},"type":"statement","id":"Q5357718$83DD5630-1E9E-4D7F-9CFF-4946671FB7A4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f33c57a53aa1928446bcf67d6375ae3adb9fb747","datavalue":{"value":"W2289042540","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357718$71FBDCDE-DA06-4775-8A3D-C65154D43BBC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1e483920b2b49c287bbfa617ab8e7178c9b791d0","datavalue":{"value":{"text":"On Reachability Analysis of Pushdown Systems with Transductions: Application to Boolean Programs with Call-by-Reference","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5357718$7F061276-591F-4A7D-AC0A-614C08D18695","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7c08c803f470d3c3c30a2825e7514e0ed01aca78","datavalue":{"value":"10.4230/LIPICS.CONCUR.2015.383","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357718$76B2EB45-11A2-4387-A33C-6ED584A994CE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc1651847679b611738d42bdae165454cf1e7af8","datavalue":{"value":{"entity-type":"item","numeric-id":5351961,"id":"Q5351961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f7c0ce31affe9fef41ae0a522b74c2ce46853ae","datavalue":{"value":{"amount":"+0.8737912","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5357718$66B3E481-F110-4BAE-958A-05DD1E346D40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf60d44eab34cdc6aa38dc0eb4ec661bf033ceb7","datavalue":{"value":{"entity-type":"item","numeric-id":5739017,"id":"Q5739017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c53b1bf87d405298d5848d506253b98fb6829d2e","datavalue":{"value":{"amount":"+0.87100095","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5357718$D6140300-33D3-4DF5-A2A3-EFE62D520B10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7491f18a93b87811c5cb180226e25f4331a7dbbd","datavalue":{"value":{"entity-type":"item","numeric-id":6044114,"id":"Q6044114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8f95c321e92dc24ade24da540e6e1af09a1b08a","datavalue":{"value":{"amount":"+0.8680862","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5357718$50A3BBF2-4593-4BEF-B072-A6F859A55F4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51e6d70ca5e036973744ece48c1e1806e1017e59","datavalue":{"value":{"entity-type":"item","numeric-id":3090831,"id":"Q3090831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fb696d29a143eeb5d5246e54b7ab77688ff7fcf","datavalue":{"value":{"amount":"+0.86650306","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5357718$423F4CF2-D672-4E53-9307-E7E050C2B932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86e475e31811613194a6e7ee69837494a5f0677b","datavalue":{"value":{"entity-type":"item","numeric-id":2216111,"id":"Q2216111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5aedf7bd4fdb8faf3c9ed4cc1aa58d7caed369a","datavalue":{"value":{"amount":"+0.86350846","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5357718$03D47729-C79E-4781-BBD1-AE5DDAEA67F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbb492f3a744c276b7ffd4c481bb1baf3a481b0f","datavalue":{"value":{"entity-type":"item","numeric-id":5894957,"id":"Q5894957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c7f75dfd42e8fc8d18aaddbac811652230230ba","datavalue":{"value":{"amount":"+0.8609305","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5357718$31CD8C5F-282F-4D29-A6E4-0A32FEC933EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ea5e9dc265d8af16e3e6270e4de21e2a42b0f6a","datavalue":{"value":{"entity-type":"item","numeric-id":5900852,"id":"Q5900852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c7f75dfd42e8fc8d18aaddbac811652230230ba","datavalue":{"value":{"amount":"+0.8609305","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5357718$D8F1E60D-8667-4113-904E-749D6DA20116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f73c3e9247b83043694a5cdb3f6a3a58d4196c81","datavalue":{"value":{"entity-type":"item","numeric-id":556686,"id":"Q556686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f3f9da15c66e2a76ee918d3be7e5062b49f6561","datavalue":{"value":{"amount":"+0.8578033","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5357718$06EF5115-4D50-4EB3-A359-8222D10131D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9feb15707eaf661f225b7df770a18c0f1437f98","datavalue":{"value":{"entity-type":"item","numeric-id":3541030,"id":"Q3541030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"481876836c8a1a9629e189323ddc100ad0b8bc88","datavalue":{"value":{"amount":"+0.8548134","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5357718$D13E6B0D-A9E2-417D-BA24-036D5CD74C13","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5357718","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5357718"}}}}}