{"entities":{"Q1706143":{"pageid":1716884,"ns":120,"title":"Item:Q1706143","lastrevid":73361007,"modified":"2026-04-14T15:35:32Z","type":"item","id":"Q1706143","labels":{"en":{"language":"en","value":"Analyzing pushdown systems with stack manipulation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6851679"}},"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":"Q1706143$518E65C1-D679-4BC2-AB85-54DF32A657F7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"174049f3d520711064a5d286b8fed69ede22900c","datavalue":{"value":{"text":"Analyzing pushdown systems with stack manipulation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1706143$FF443BB3-9216-4410-8CE6-261F688FB283","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"189062b783fd4c96853b622dc16fe92e165ede10","datavalue":{"value":"1388.68187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1706143$8CBED27C-E01B-4AF3-8F54-9260A965F520","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":"Q1706143$D33D3BF0-DED2-4CEA-8016-4277C1116762","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706143$D25F2842-7401-4B53-A9B3-A24EB922AE2C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7b370aaa83f4efe6143e52606b64b18fd663e7c7","datavalue":{"value":{"time":"+2018-03-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1706143$FD00F2BC-387C-4AAF-91A3-1C19A5CB4843","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1706143$C311239E-06D7-4928-BDA5-C419BD0CA9CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1706143$A4CCB465-5FCD-492A-9BB5-C3C15D8C7A56","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d7f1bb2896b5f864db0b3a8a4cd1abc85e999a81","datavalue":{"value":"6851679","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1706143$0918F135-AD56-4C7B-BB0B-1D21C49467C0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a837d2354493d1d25403c94907268388aa4bb873","datavalue":{"value":"reachability analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1706143$50BFCCDF-D741-4240-B347-614EA202FD12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b37f67d7f6c0dd8120babf03358939745eeef16c","datavalue":{"value":"pushdown systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1706143$A4E1E765-9B85-4A5F-880C-9A94DCAFB58B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20b6d45533a6c71ebc497165730e2fe8930c8d3d","datavalue":{"value":"saturation procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1706143$F2DC2BDA-1E0B-445B-B084-E56C8106673C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2093bd6a75c15309b6de5fb72b6cd002c8bcd10","datavalue":{"value":"Boolean program","type":"string"},"datatype":"string"},"type":"statement","id":"Q1706143$353A28B4-D198-4AB9-8C17-4E390F9C5934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ff93fcab863d9a2d7b61f398ca8507531735efa","datavalue":{"value":"software verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1706143$969F2180-FCC1-4BDA-888D-B471F60C774D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d4f55591526bfa06dbd19dfd10ca3b2c9d44db2a","datavalue":{"value":{"entity-type":"item","numeric-id":20924,"id":"Q20924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706143$403FF71F-A021-4226-B44B-648BBBCFA793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706143$A0E789CF-6F56-4C3B-ACFF-8E9A590B266A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"22220ec2b8401d9dd83d45be7c63cb89261ff117","datavalue":{"value":{"entity-type":"item","numeric-id":5975094,"id":"Q5975094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706143$A8A00F13-2899-42F0-8ED8-5C4CF5FC986C","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":"Q1706143$848A86B4-FEEC-4EFA-9F2F-09C3259334BD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8d915b6227aa770755b302d04234c550c234d1f6","datavalue":{"value":"https://doi.org/10.1016/j.ic.2017.12.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q1706143$F0EE38E5-9CDA-4FB9-AD62-F4E841DBEF8B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"44da37d96b030a5bc3f54fec1693ef8a9388c489","datavalue":{"value":"W2779664120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1706143$0223CBC6-FA57-49EF-9B5D-3EA31EE56FD2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a133b2b9476ffc4401b56d83bdfd1f487592e7be","datavalue":{"value":{"entity-type":"item","numeric-id":2754086,"id":"Q2754086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706143$966A54B2-CC12-4F66-8146-01018923D23B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ed81dbbd1f03b6b81214d2ca7a802d60826d3f3","datavalue":{"value":{"entity-type":"item","numeric-id":3090847,"id":"Q3090847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706143$853C0AF5-CFA8-4570-9125-4999E17B43F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77d8ab61be55dd99efe5372c1dd2bd0d00229325","datavalue":{"value":{"entity-type":"item","numeric-id":402129,"id":"Q402129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706143$4DF45822-45E7-4948-A090-46B70F76BB8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54e7a108370169c16838733bc613c6abdf38f709","datavalue":{"value":{"entity-type":"item","numeric-id":6044114,"id":"Q6044114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706143$2C525D44-01B6-48E6-9A82-90502DF8E0E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2de91ecb193514088bc3752dcf7515e5158d8d0a","datavalue":{"value":{"entity-type":"item","numeric-id":2754072,"id":"Q2754072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706143$79B7C8CB-9FD8-4253-8FC7-06E2DB758242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f383fb92aa2cccd41635d3cc5fa0ca5c0c6182c3","datavalue":{"value":{"entity-type":"item","numeric-id":3587257,"id":"Q3587257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706143$148F9A1D-7FAC-4CA6-BB95-90D8C9365080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59ebc8c6731a9ba8b7c88fd686053c929a1ba298","datavalue":{"value":{"entity-type":"item","numeric-id":4551162,"id":"Q4551162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706143$9911AC52-5FE0-4C0B-A8E6-7FE62795F920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74374a8fe3637c3aa0bd4d13c222f64d3f91ffd4","datavalue":{"value":{"entity-type":"item","numeric-id":5687660,"id":"Q5687660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706143$1685D42E-41F5-48C8-A596-0F599FBBC6FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34c82e9f6dc46a17a1531710a1314df285e95f1c","datavalue":{"value":{"entity-type":"item","numeric-id":5897502,"id":"Q5897502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706143$2AB2602C-FFD0-40C4-A725-5093BD41D006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0ca349cee3adc073f64ce48fa16675e4e333ea4","datavalue":{"value":{"entity-type":"item","numeric-id":5716592,"id":"Q5716592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706143$D575F683-DE03-4882-93A9-C2D4A2438F90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a344ffe08e0042170b2b0905e74c06ecd985af1e","datavalue":{"value":{"entity-type":"item","numeric-id":2937781,"id":"Q2937781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706143$CE77AC35-E797-4C3C-944A-AD8213329B50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ad0843cabbd8a3f6c11fe800585c989b11937ec","datavalue":{"value":{"entity-type":"item","numeric-id":2355386,"id":"Q2355386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706143$14EB02E3-416F-4A5C-9DAD-E08400E3DFCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bc047395e021e72baa887f057f01a31386deaab","datavalue":{"value":{"entity-type":"item","numeric-id":2842101,"id":"Q2842101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706143$3AE959A2-9761-41FA-B718-96181B628BEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c1b21124277bda9d7b03777705e1af69eb38d28","datavalue":{"value":{"entity-type":"item","numeric-id":2986779,"id":"Q2986779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706143$72618B9A-CC77-401E-8C06-C08284DBDB4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c72069f2ce4853417dbb8670318fdf0de2494609","datavalue":{"value":{"entity-type":"item","numeric-id":2890180,"id":"Q2890180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706143$09AC2746-1F5B-4EE3-9682-E65AC591AF49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81d79146825e76339dd7c4ff4d93003f07a3eec8","datavalue":{"value":{"entity-type":"item","numeric-id":2842669,"id":"Q2842669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706143$711EED14-6D52-4CB0-98F7-58BC4122870E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d65cc8f2e5ea23c3bd01560d132b8a831f35fc62","datavalue":{"value":{"entity-type":"item","numeric-id":5710670,"id":"Q5710670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706143$CDE8D6EC-2751-4780-921E-4E431472D052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"813d27419e0af181643f4094c693d01137ff0390","datavalue":{"value":{"entity-type":"item","numeric-id":4813399,"id":"Q4813399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706143$E9442F98-775C-4CCB-A87E-8F03EC1E675E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6972538526c9435ab100dae8117e5422c96eb22","datavalue":{"value":{"entity-type":"item","numeric-id":5716587,"id":"Q5716587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706143$260CA3C4-3DA1-46F5-8E11-441757DCEC28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f9a56b3dc049c207d803d49051f5eec008cc637","datavalue":{"value":{"entity-type":"item","numeric-id":5326328,"id":"Q5326328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706143$B04EF24B-AC0D-412D-9BDC-516EF3991294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85db71a32648e55138733c05985bbfe8ecd51d5a","datavalue":{"value":{"entity-type":"item","numeric-id":5714447,"id":"Q5714447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706143$007572E9-FF36-405A-9BE4-CFD41B863DDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd65d836c7fb68d2a43c1088598e21d9f55e79e6","datavalue":{"value":{"entity-type":"item","numeric-id":5166703,"id":"Q5166703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706143$6D2855E3-1BF6-443D-B577-9C1726EEB3F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef8d0ce6b90de05b46c5eaab0bfddb5f3f874f21","datavalue":{"value":{"entity-type":"item","numeric-id":5739894,"id":"Q5739894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706143$F1AE217B-C730-4D46-A2A3-E01C2B9C25DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56d3f485a32a8bcfe84649e1d19b25d8ab1be58b","datavalue":{"value":{"entity-type":"item","numeric-id":4818835,"id":"Q4818835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706143$2E2E4806-389A-4E8B-861F-AA50F96D66EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2ce96fa12ea7ce06927d0f3414282902010caef","datavalue":{"value":{"entity-type":"item","numeric-id":4804910,"id":"Q4804910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706143$D02C44EB-83D7-4483-BCED-34329EC21FBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ee36fea820e4ec41c645157a399b976a6698393","datavalue":{"value":{"entity-type":"item","numeric-id":2753756,"id":"Q2753756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706143$4E486C06-D703-425D-82E2-34047F8507C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"265238326dd3ecdbb898da1797f450d75dec4237","datavalue":{"value":{"entity-type":"item","numeric-id":2894269,"id":"Q2894269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706143$7C9E99B2-0454-4358-953C-B16A948AF72A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bae8499f2964ed1b394aadda2ca1efa78ccb26d2","datavalue":{"value":{"entity-type":"item","numeric-id":4647858,"id":"Q4647858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706143$C8FB9410-DE56-4780-978A-34291F40D584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9677a2bebf84e6744647fc2af3ed3903e3f20f0","datavalue":{"value":{"entity-type":"item","numeric-id":5357718,"id":"Q5357718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706143$BD423004-0E0A-434A-B0C8-54555BD20D58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cba68076867f3a83f96f7e3094d4ecc0c6be8ed7","datavalue":{"value":{"entity-type":"item","numeric-id":4647852,"id":"Q4647852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706143$187B5083-6E88-4D56-B654-139E19FC5BD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e83135f3b98928ce9bc881d8d3eeccc197a6a36d","datavalue":{"value":{"entity-type":"item","numeric-id":3189818,"id":"Q3189818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706143$35F5804B-E9A4-478B-B71C-C35FC0E97E98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a18cb554525a8347fe3ce72792902bf75df10dc3","datavalue":{"value":{"entity-type":"item","numeric-id":5168912,"id":"Q5168912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706143$763B1EA5-4637-422E-852B-4670E943A5F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"feccd5c9eb5147a2d15ced859efe215665c5b096","datavalue":{"value":{"entity-type":"item","numeric-id":2942873,"id":"Q2942873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706143$1BEFB3D4-4FA4-442A-8D8F-5F360E67EA36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6e8598dd145899622e0c9231c1d2cac0836c00c","datavalue":{"value":{"entity-type":"item","numeric-id":5756745,"id":"Q5756745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706143$2F1BFD2B-D03C-440C-A6C4-C670BA09C1A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7762b7dd6e4c1453d6db8ccbfa3668c4e767ef7","datavalue":{"value":{"entity-type":"item","numeric-id":5170722,"id":"Q5170722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706143$9FC1A4BE-592E-4F10-B617-3A500FE314DC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b2466a6e6452a13739bbcfe38518799a530b0dfb","datavalue":{"value":"10.1016/J.IC.2017.12.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1706143$26AB4244-18CB-4734-A602-1C9A16FBF5DA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c644661de1cd29fb04dd3ed77938ceca8b9265fe","datavalue":{"value":{"entity-type":"item","numeric-id":5357718,"id":"Q5357718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a872b18341c4a9d9805eb5a6401d8764d7d18bb5","datavalue":{"value":{"amount":"+0.9037402868270874","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":"Q1706143$A5BA2C64-2865-4FCC-8D0A-A9967D44DB91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9367bd9ea597ae1da052f0d5df4936fd80afcce7","datavalue":{"value":{"entity-type":"item","numeric-id":5166703,"id":"Q5166703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9cafc569c68d7d847e239b1b16ed5dc6bea19a4","datavalue":{"value":{"amount":"+0.8690218925476074","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":"Q1706143$B630BF2B-DB23-4D07-8219-E163535F2282","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":"25c5ab41a0f494cc058fe41138adf82367fedd21","datavalue":{"value":{"amount":"+0.795748770236969","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":"Q1706143$BCBFF44A-A967-477B-BCCF-9F7D83D4B566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcf452b51942da2eceb5cfd9792021b681a2196c","datavalue":{"value":{"entity-type":"item","numeric-id":5458821,"id":"Q5458821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16acf67d741a8d2de2587bcd9b7da586a8744c99","datavalue":{"value":{"amount":"+0.7693132758140564","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":"Q1706143$AFC1BD70-3631-4AF4-818F-967134344B6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"faf1c700d1097e3474aa71b6be1ada07eee1063c","datavalue":{"value":{"entity-type":"item","numeric-id":3189810,"id":"Q3189810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f2ce36dfcebf58e16b3ed28d834d1a7935d3af4","datavalue":{"value":{"amount":"+0.7404464483261108","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":"Q1706143$B65FCE94-FEDF-4E0E-B9DF-2DBE42C39C1E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Analyzing pushdown systems with stack manipulation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Analyzing_pushdown_systems_with_stack_manipulation"}}}}}