{"entities":{"Q5739017":{"pageid":7768569,"ns":120,"title":"Item:Q5739017","lastrevid":93002984,"modified":"2026-06-05T03:22:23Z","type":"item","id":"Q5739017","labels":{"en":{"language":"en","value":"Reachability analysis of pushdown systems with an upper stack"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6725156"}},"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":"Q5739017$BA4AB0DA-4CCE-47E7-8BB0-3099715A1DBE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fbc9f80cf81122b7d24de21167bd0ae7188cff40","datavalue":{"value":{"text":"Reachability Analysis of Pushdown Systems with an Upper Stack","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5739017$DC63460A-4766-4FC5-8C5D-BE76193601A2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"36cabd8c41301ab7409f936589cfd16882b29dcb","datavalue":{"value":"1485.68073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739017$2AB08CD2-A03A-465B-83C1-A695F3C9793F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"491d0c8482b5648f6d37ce51338bf74b882e95ac","datavalue":{"value":"10.1007/978-3-319-53733-7_33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739017$8DC28D72-DCC5-44AA-9CBD-11D4D8E558DF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c54d62ef0ac476071efaf1d32c10923287eab0cb","datavalue":{"value":{"entity-type":"item","numeric-id":2165217,"id":"Q2165217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739017$9751A53C-8D56-4283-999A-726BC26CFB70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fe33b2051203b21d91bbc0992cfa9c8cb488a541","datavalue":{"value":{"entity-type":"item","numeric-id":5096083,"id":"Q5096083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739017$89ACA99C-4193-4A70-B0EF-9682157B834D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4210cde0488918f9e758e0070524bd78d3176514","datavalue":{"value":{"entity-type":"item","numeric-id":402128,"id":"Q402128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739017$E536F5F5-A988-4499-8A1F-AE47EB73B428","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0685e722024dfab8b1c6ee631b614ae84196cb3a","datavalue":{"value":{"entity-type":"item","numeric-id":2798705,"id":"Q2798705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739017$5CA0C7B6-A074-40AF-B38A-4A8CF759698A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f05e55fe774ba785804e371d0af378710b362012","datavalue":{"value":{"time":"+2017-06-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5739017$494E6501-D0A1-411F-9814-2F5AFAB8B250","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"837a761527a6aa4d56bc2d701161e90999e1f5db","datavalue":{"value":"https://arxiv.org/abs/1811.02982","type":"string"},"datatype":"url"},"type":"statement","id":"Q5739017$72F90CF1-8643-4998-9979-4A4D9F6146FF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739017$FA7CA8C1-63C7-4350-AE3E-D867284B7E2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739017$D3A76DE8-702A-42C6-848D-222F870B35E9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4a6f6d32e75c1fc0aba71194cadabaae974faf75","datavalue":{"value":"6725156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739017$878E71CA-7BFE-4DFE-8EA7-2747103B4881","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b37f67d7f6c0dd8120babf03358939745eeef16c","datavalue":{"value":"pushdown systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739017$FD964F49-C4C5-4F44-BFF0-75BDB1713673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a837d2354493d1d25403c94907268388aa4bb873","datavalue":{"value":"reachability analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739017$1E9A3EB5-50ED-4FDB-8CFD-3CCBFD046F6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05a9aff567e63adaad0d35ae882b42d799633034","datavalue":{"value":"stack pointer","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739017$536AF686-44CC-4FFC-9890-3407598C3280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8fe1ec072eddb82e8c6723b370c91fea5db0efe","datavalue":{"value":"finite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739017$6F4A054F-8C55-4703-BE11-A1F31E9C4463","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":"Q5739017$F09DEC0F-C6F4-42A2-8790-E3C440834434","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"53becafbf9f3d3e2e93ca96c1c131f8a749298f0","datavalue":{"value":"W2588178040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739017$73477289-6435-49F2-B536-0167DE4D1327","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f160065607812db397d640059a8389178fffb53","datavalue":{"value":{"entity-type":"item","numeric-id":912646,"id":"Q912646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739017$547C5989-77BC-4FFC-890E-4C51E2545EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05714b3da002b8b1bc619de4e60891497dad85dd","datavalue":{"value":{"entity-type":"item","numeric-id":2942913,"id":"Q2942913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739017$CA559B8F-85CE-46FA-AD71-4AD87EE79363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1099ef194cd8ef7e5d8a261e6db672209e97d59","datavalue":{"value":{"entity-type":"item","numeric-id":5428226,"id":"Q5428226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739017$873FA763-549F-4DB1-A1A6-65839A66DD80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de77900b6ca5ecc880ae38be55173559bdc08936","datavalue":{"value":{"entity-type":"item","numeric-id":685354,"id":"Q685354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739017$B875DD37-6ED2-4275-9319-A49F71990CCE","rank":"normal"},{"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":"Q5739017$EC997F4D-C86A-49E7-BE47-1CADFADF257B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e71e2e495ae6ee461e6201f0433137ff0de2d3e","datavalue":{"value":{"entity-type":"item","numeric-id":5532541,"id":"Q5532541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739017$8673F5B1-2FE1-4BE7-A7D8-984443F2A201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fbf4b144268bd1b94d8044ce227c6a87cfbcfeb","datavalue":{"value":{"entity-type":"item","numeric-id":5585423,"id":"Q5585423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739017$BE7A8B2D-7F55-4148-B8EB-89684EEEED43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06a1669ea55c70484627fcb886923a0a7a7abbca","datavalue":{"value":{"entity-type":"item","numeric-id":5703798,"id":"Q5703798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739017$979928ED-1484-4C30-A526-DDF4454BAB78","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":"Q5739017$EE1736F0-F717-4CA5-85FF-3B035D01F8AC","rank":"normal"}],"P1643":[{"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":"b5624f224cff93475771ead74dd9de75d213f15f","datavalue":{"value":{"amount":"+0.8114778399467468","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":"Q5739017$F96B5263-BCEF-46F5-9F5E-9D61E2B52C83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdd9dd7657c5ca1839c5c1d38e1a1fd551e31ea0","datavalue":{"value":{"entity-type":"item","numeric-id":1706143,"id":"Q1706143"},"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":"Q5739017$F0D49DE6-8773-4680-8932-8AD829F7F782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"109dfac64b21362e70762aac951c33d36409eac0","datavalue":{"value":{"entity-type":"item","numeric-id":5758055,"id":"Q5758055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b756448675507485154691787eecc2d425ffc332","datavalue":{"value":{"amount":"+0.7907889485359192","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":"Q5739017$F063C3FD-5EF1-451C-9F84-EEC2D94D8AE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67f5d04225cd8119c501c0fe63a8e4d4839ea4ee","datavalue":{"value":{"entity-type":"item","numeric-id":3623010,"id":"Q3623010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb8000f0566389575df6bd9091a2e26c692d612a","datavalue":{"value":{"amount":"+0.7892661690711975","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":"Q5739017$ADD48AC2-1745-456A-BF63-6D79E75E6AEE","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":"69b9daadc45913053ec88b899eab8cd5ddde9fd1","datavalue":{"value":{"amount":"+0.7746644020080566","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":"Q5739017$3E20ADFB-4FBE-457F-9FD3-B5BD02C40408","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reachability analysis of pushdown systems with an upper stack","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Reachability_analysis_of_pushdown_systems_with_an_upper_stack"}}}}}