{"entities":{"Q2963923":{"pageid":2974648,"ns":120,"title":"Item:Q2963923","lastrevid":58076361,"modified":"2026-04-03T17:17:22Z","type":"item","id":"Q2963923","labels":{"en":{"language":"en","value":"Saturation of Concurrent Collapsible Pushdown Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6687775"}},"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":"Q2963923$3E1668C0-2781-4D12-8645-C6E0D1E838FB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6bccd5a3037a84c47ac4fec2891c2702d1d066ad","datavalue":{"value":"1359.68222","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963923$480211AB-5646-4BEC-9D35-2DB36849F945","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"72f214c7e4c9d7d2da34077ac7597802081f608d","datavalue":{"value":{"entity-type":"item","numeric-id":1623277,"id":"Q1623277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963923$1BDAB9B0-BCF9-4775-80DA-A2F1B6AD2406","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2fd8f9c1001071b6cee894af884cbd2ca840dd53","datavalue":{"value":{"time":"+2017-02-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":"Q2963923$5E9C13A3-B72F-478F-80F3-E36B8BD98B0E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"029fa120edb0cecf1619cd1312657be737ed4f64","datavalue":{"value":"https://arxiv.org/abs/1310.2631","type":"string"},"datatype":"url"},"type":"statement","id":"Q2963923$8F6A03AA-5344-42EB-BD19-120DD8B054C7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963923$80418248-1DCA-4A29-9730-02420D090E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963923$E528D87F-8249-4C9B-B2C3-62A941E4D3F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963923$9751132A-5D4D-4995-8342-7272A141ED69","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b43294e695e67c27192a5e03f71ff84da34fba2e","datavalue":{"value":"6687775","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963923$5125F713-79D7-492D-9F48-D1AEE0C5898B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2963923$CAE0E20D-B1AB-4ED9-8821-39D2AF0D8827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2963923$1C422156-E524-47C2-B168-C293BC5970CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"671ca3ac73098d5002b5f31462723056841c5e63","datavalue":{"value":"higher-order procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2963923$E50F5461-A124-4E31-B2B8-1CB8F80C2085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2963923$E744E5C8-EE24-4585-99D1-7EE297F514D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2963923$8540BD4D-AA43-4C0A-885F-B39C7C47E9F4","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":"Q2963923$97DD287C-87DA-48D5-B66D-0C4BC85DF605","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f8e7321fa2c08c95a1d20e387af9fa0dad14567d","datavalue":{"value":"W1560263126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963923$F6707E7D-959D-4AD0-A312-44FB3A982D18","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"666da42f3f6142a2540698a9403af04d4eb712ee","datavalue":{"value":{"text":"Saturation of Concurrent Collapsible Pushdown Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2963923$FA70BD6A-D90F-4609-AE09-0F340C018606","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"48969599a22d44c838f0158ae15a97075c6e2b8e","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2013.313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963923$75FB7DF2-F06E-491C-A3DA-3A8E9CBB971C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"121a525aefc794a363673ea28ab81bd3d66b2408","datavalue":{"value":{"entity-type":"item","numeric-id":4994932,"id":"Q4994932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2e115c2646634bcc40bd19e70c88d6dc1f69c4a","datavalue":{"value":{"amount":"+0.8941025","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":"Q2963923$84ABF58D-34AD-4B7E-BD45-0FD76C65C20F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6af902f2a3b41bdee1ce68be7e1b81a1c767e193","datavalue":{"value":{"entity-type":"item","numeric-id":3167009,"id":"Q3167009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98744d462323ffd7adecfd3344a2d728d50ad8fc","datavalue":{"value":{"amount":"+0.8781232","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":"Q2963923$84F0DD46-D7F0-4B4F-8986-19839412624B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a2bb7941ee115289165450a0c7fc941891f309d","datavalue":{"value":{"entity-type":"item","numeric-id":5005159,"id":"Q5005159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68ed41d6712d76b881378fd7bdf4b43f46833f61","datavalue":{"value":{"amount":"+0.8549157","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":"Q2963923$A6DF8D54-BB9F-4564-A642-DA60FE46D69C","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":"2b75a8935c647f79da3903c1a4b4698951bbe408","datavalue":{"value":{"amount":"+0.8508822","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":"Q2963923$BCA57FBA-F107-4E18-8F8C-5B8E1EEA9309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ee07f1a3aa5322f161968d7ce810beee86096f4","datavalue":{"value":{"entity-type":"item","numeric-id":5262978,"id":"Q5262978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"299d6cec2327b057b7e97e703dc9bdc7d659dafa","datavalue":{"value":{"amount":"+0.8508429","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":"Q2963923$36E9480C-CCB1-40D3-86A1-F4F3B243BE13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ebddc40f5fc4192c8d2883213044321645f4d34","datavalue":{"value":{"entity-type":"item","numeric-id":4649568,"id":"Q4649568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"def2470fe31524b1405eb75e74e13ecaa5f1f504","datavalue":{"value":{"amount":"+0.84941244","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":"Q2963923$457345A1-51C5-4BCA-AD10-7A44AA751FC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1870afe19a80bd9ef4bd1b4256e1c9668049d514","datavalue":{"value":{"entity-type":"item","numeric-id":3741029,"id":"Q3741029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"539a7dbcad41bfa89014514faea445de7b0dcc1b","datavalue":{"value":{"amount":"+0.84924865","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":"Q2963923$27466943-40A9-4EB5-87B2-D609747D7E19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1f09a3907a84212a77018b6f8a853384657c0af","datavalue":{"value":{"entity-type":"item","numeric-id":2908852,"id":"Q2908852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04c74e876aac98cb8e52fffb4b1c5ba1c2bf6c9e","datavalue":{"value":{"amount":"+0.8491379","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":"Q2963923$E542E839-280E-4D87-A80F-59303C653D57","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":"3981bc3a2cd686818b60140ba99fb215cde65f15","datavalue":{"value":{"amount":"+0.8468514","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":"Q2963923$A08524B4-4786-4248-9F8C-7CE7CAF10AE6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2963923","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2963923"}}}}}