{"entities":{"Q3526547":{"pageid":5556451,"ns":120,"title":"Item:Q3526547","lastrevid":50462573,"modified":"2026-01-14T02:59:15Z","type":"item","id":"Q3526547","labels":{"en":{"language":"en","value":"AN ALTERNATIVE CONSTRUCTION IN SYMBOLIC REACHABILITY ANALYSIS OF SECOND ORDER PUSHDOWN SYSTEMS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5346934"}},"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":"Q3526547$39F9BB73-611D-4C0C-971B-A51EC9AFED21","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8eaee29d0cb01ce4e443d3b8430b952fda556a56","datavalue":{"value":{"text":"AN ALTERNATIVE CONSTRUCTION IN SYMBOLIC REACHABILITY ANALYSIS OF SECOND ORDER PUSHDOWN SYSTEMS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3526547$7E175C87-0956-4F57-8D02-9551C3CD3341","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0516f33137a56da96ac4378f54a0db8d2f8a1038","datavalue":{"value":"1155.68046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3526547$F3ABA4A3-218D-4B24-AF36-93D9F92547ED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1a19e53e15bcd3919b40cfe9f5df770955762bf9","datavalue":{"value":"10.1142/S012905410800608X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3526547$E185244D-E032-4034-B8CF-2D77834C4ECE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0876f376f4fda7cdbc40718f0915225e1f5b690","datavalue":{"value":{"entity-type":"item","numeric-id":1690602,"id":"Q1690602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3526547$B9A89E07-8E7B-4323-A793-100897050F1F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3526547$6E9F119C-2CC5-45A2-9423-51A5920782B1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4bad7db4275b7ee1b7635bea2be947374a54e8d8","datavalue":{"value":{"time":"+2008-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3526547$A16775F1-CC30-4873-8024-314B133CCD72","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3526547$F7C2BB71-95DF-4B4A-B9FD-90A6A638B178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3526547$A73EF263-3E95-4A12-828B-3B020EE93874","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5481132012175b844d7b9f47654318c32ff1d6a0","datavalue":{"value":"5346934","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3526547$6F339A28-C64E-4C1A-A01F-C784FC9A0AE0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bac4f8ebf8e39aa945acaf591115ebddf2ab37a","datavalue":{"value":"higher-order pushdown automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3526547$0FBF526E-30EB-409C-AE29-462CE32EDA5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b821c62a5b1211c5584b9b4fdeb081533e7cc29","datavalue":{"value":"symbolic model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3526547$07A138D7-4A9E-4DA6-B137-B0FAD9B8072C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3526547$F58553E1-83C1-4069-85BF-A29F69B06DD0","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":"Q3526547$90D2DD07-12D4-411E-878D-204A9F4E9F4B","rank":"normal"}],"P1643":[{"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":"eb00b554113eaea2ed635001ff848e2c266ec40a","datavalue":{"value":{"amount":"+0.8207592368125916","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":"Q3526547$025A3A2A-7BD4-464B-A256-5701ED95EF49","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":"fef544b65b39e942981f3071cfd284a7509db8c5","datavalue":{"value":{"amount":"+0.8165159225463867","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":"Q3526547$5931402D-E431-463D-B2A6-796D45A0E920","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":"7c1dcfdfe5584663ba0ead45502c7b22161bbfad","datavalue":{"value":{"amount":"+0.7934015989303589","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":"Q3526547$FD38BAA7-085D-4DB1-9262-6124FE527EB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9bec1a1bc2ad081752636b0530c9de2f2d7b7b6","datavalue":{"value":{"entity-type":"item","numeric-id":5492856,"id":"Q5492856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1faab4fee36e7102310e30a5c5903aba64d99fc1","datavalue":{"value":{"amount":"+0.7887411117553711","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":"Q3526547$EFDBBDC3-C13E-43D1-9B6C-EFB01A1D336A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f35b9d73349e5d2910362fe07d6664a612035cb","datavalue":{"value":{"entity-type":"item","numeric-id":2396722,"id":"Q2396722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"007a397ac12cdfcf9d7a6a7ad8b7371556e05a97","datavalue":{"value":{"amount":"+0.7618992924690247","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":"Q3526547$4E0EF46D-FC92-4FBB-AC0E-ACC56ECD570D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3526547","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3526547"}}}}}