{"entities":{"Q6162219":{"pageid":13297100,"ns":120,"title":"Item:Q6162219","lastrevid":102628838,"modified":"2026-06-06T04:57:47Z","type":"item","id":"Q6162219","labels":{"en":{"language":"en","value":"Branching Temporal Logic of Calls and\u00a0Returns for Pushdown Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7703773"}},"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":"Q6162219$D4AC9536-DA2C-4C7F-AF74-EC0511394B95","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dd80bb9ff3a656b345ce8cb55bfc81f709abf3b0","datavalue":{"value":{"text":"Branching Temporal Logic of Calls and\u00a0Returns for Pushdown Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6162219$402B5B4A-9650-4BD7-BF68-F6C01BC6FBF2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"336cefa9e6d1de0d06d538710972f78e8fb622f1","datavalue":{"value":"1514.68035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6162219$77A4E85C-1B07-4A0C-AED5-BFB3CB091B48","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f86143bb8c4b68703ec83538a2aa23807c1d5075","datavalue":{"value":"10.1007/978-3-319-98938-9_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6162219$63E9EED9-4CC9-41C7-906E-65E83A922132","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"776f13af697b2db243412a919814d0e495ea5e7b","datavalue":{"value":{"entity-type":"item","numeric-id":6162218,"id":"Q6162218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162219$C37D3269-CD64-48F7-9D39-CF639928AA56","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":"Q6162219$C8F52ABA-B0CD-4765-8CE8-AA4A7947D5DB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162219$9F263FB0-E173-46E5-853A-598C13EDE2E1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9b878ec3713c817dca00288e268c11822e517167","datavalue":{"value":{"time":"+2023-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6162219$0DC2B9DF-F569-47A6-9F38-0ADDB71247BD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b5215b84a1a568fbc9f2712b69a1c186aafa2daa","datavalue":{"value":"https://arxiv.org/abs/1805.04580","type":"string"},"datatype":"url"},"type":"statement","id":"Q6162219$D3787807-950A-405C-860E-3EA7C0B4EB83","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6162219$2C0A3691-AADB-42F1-AE14-52F43ACB2C37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6162219$7F86A6E2-F12F-404B-BDBA-F4F9444AF563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6162219$1B716BB6-B9B0-4CAF-AFBE-A24461267257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6162219$2DEA9B59-52D1-4E5E-9E70-54AD69E2F491","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"59f4361e01fe88151a803f15ef792db5ca616f51","datavalue":{"value":"7703773","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6162219$6762A1C5-3137-471B-886E-751353F2671C","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":"Q6162219$34CAFC36-3BAA-45E5-9267-B5BF7AC311F1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a8f84750dd676e160c1690b88b2e5f9fb819b959","datavalue":{"value":"W2800629568","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6162219$436A7EF6-BC4B-4047-A158-17A239FDD391","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"648cb108bd37c29de0543b7af3d48092bfa49749","datavalue":{"value":{"entity-type":"item","numeric-id":5756734,"id":"Q5756734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162219$BD498EF7-A8BA-4014-BA80-F32C958E4B37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b6196bb057adc2087bd5262ca2bda33f9a480e1","datavalue":{"value":{"entity-type":"item","numeric-id":5308427,"id":"Q5308427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162219$78F578DC-D36D-4658-BD9F-DA4C6118FBE9","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":"Q6162219$7B80411A-0B6F-4979-A666-71AA26726380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8caa6b8e77f58aab9d4924b21a84681c6d9847d6","datavalue":{"value":{"entity-type":"item","numeric-id":5898610,"id":"Q5898610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162219$0D5381F2-AEB9-4890-BB1C-5C8F2D90AF76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dc6aedd9ac3c25d0a03730d5d12f05035842f62","datavalue":{"value":{"entity-type":"item","numeric-id":4571973,"id":"Q4571973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162219$6E66A6C8-A9F7-4C97-99EA-A4CFD125F210","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":"Q6162219$8B278FE1-5342-4A2A-A461-31C71296A099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e902457964a312a605389238232d33897eb4c84c","datavalue":{"value":{"entity-type":"item","numeric-id":1887158,"id":"Q1887158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162219$43FBD292-2F1A-4FF9-863D-A110510A63AA","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":"Q6162219$C8709E06-38BD-4CC6-8CA9-3D572885F227","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":"Q6162219$D25D6238-F0F1-4ADD-9E4E-8DC6DF94639A","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":"Q6162219$0796B067-41C5-4411-B84C-D43E4285736A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e2dcca34b147c280edbed8fdc8e5ead33595261","datavalue":{"value":{"entity-type":"item","numeric-id":5326341,"id":"Q5326341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162219$C13B70F6-C1ED-4A4B-8209-A72FE113642F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4fcb12c24bd87b3c6cd8fdd7a0678957569997c","datavalue":{"value":{"entity-type":"item","numeric-id":5308427,"id":"Q5308427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0c1b5e52cfd3eebffaff70cc0379f7afd67ebf3","datavalue":{"value":{"amount":"+0.8164988160133362","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":"Q6162219$E5948B4B-FB63-4584-A80C-76636E4D04E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"feede4d278957d3a0ace72132a34873eabcb408d","datavalue":{"value":{"entity-type":"item","numeric-id":2894269,"id":"Q2894269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5e0d25f1a5718e5d886d516f7d9deb3a386508c","datavalue":{"value":{"amount":"+0.8106290698051453","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":"Q6162219$E8ABDEC1-6D09-4B89-B69A-FD7FB3AC5351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adc15011e46b0aa6a567acf70387a5f4bd45ed74","datavalue":{"value":{"entity-type":"item","numeric-id":5883579,"id":"Q5883579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5012784284a85628633691c6be7e537a357e2c0f","datavalue":{"value":{"amount":"+0.8065872192382812","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":"Q6162219$B31DF146-792A-4753-B231-2CFE2CDA7C8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a81d05c5057fb055fd0b7b1806601a483097f486","datavalue":{"value":{"entity-type":"item","numeric-id":3090847,"id":"Q3090847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e64fb76d89cdf98cf558314169946efcdd2cb74","datavalue":{"value":{"amount":"+0.7974932789802551","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":"Q6162219$AA6187E3-FF2E-4F43-AF06-55348F04504A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75e2e1203d7e5b8db467a268311da63c0244b664","datavalue":{"value":{"entity-type":"item","numeric-id":402129,"id":"Q402129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69a802736f3fb635dc212f412b4d1cb299467fd9","datavalue":{"value":{"amount":"+0.7948276400566101","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":"Q6162219$94D4E21C-23DC-497E-9E3C-0C0B7ADC0E90","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Branching Temporal Logic of Calls and Returns for Pushdown Systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Branching_Temporal_Logic_of_Calls_and_Returns_for_Pushdown_Systems"}}}}}