{"entities":{"Q3090847":{"pageid":3101562,"ns":120,"title":"Item:Q3090847","lastrevid":51324722,"modified":"2026-01-17T18:41:25Z","type":"item","id":"Q3090847","labels":{"en":{"language":"en","value":"Efficient CTL model-checking for pushdown systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5945207"}},"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":"Q3090847$57556EB7-D041-4F92-AE01-226C0C7ED0ED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"87c109761a96e589eaf41c2ac1a22d8864aaef5b","datavalue":{"value":{"text":"Efficient CTL Model-Checking for Pushdown Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3090847$64551F33-8DA3-4AF1-8F18-F0B6AE2A17B3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0abd137169a5dc3e399b76595f75c8501373fa95","datavalue":{"value":"1343.68156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090847$66303768-F924-4924-8FEB-9A75FC54719D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"20889c86cc1928b3e38ec65017102bc6a7182a67","datavalue":{"value":"10.1007/978-3-642-23217-6_29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090847$99CB63E3-BFB9-463B-8CC0-0716CCD252BA","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":"Q3090847$EAD72EED-8D98-466D-8FDB-A6F036A5082D","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":"Q3090847$03C9C5CA-8077-48C3-92B7-5DFACC199755","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3d4b52f40151daea00ff3da0acb2c051d987d247","datavalue":{"value":{"entity-type":"item","numeric-id":3090816,"id":"Q3090816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090847$B9560525-0A54-4964-811F-C90175FC121E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1d7295b9347873304d294896a31c0caaf61226a3","datavalue":{"value":{"time":"+2011-09-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3090847$07346B57-B612-4056-884B-1DCD9F1E1229","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090847$8C80E75F-F091-49CC-8B2D-FA6CCA70DA95","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2adcb36abc78ebf41167b6e10ce0dd448fe3bf6d","datavalue":{"value":"5945207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090847$65066FCC-C819-42B2-8E1D-6E6B1F6F2399","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":"Q3090847$0AF666FD-32A9-48FF-82DE-6018C1DFA7DC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"44df47e15a2e10d6b01c1d2f8c64f95d83a65c06","datavalue":{"value":"https://doi.org/10.1007/978-3-642-23217-6_29","type":"string"},"datatype":"url"},"type":"statement","id":"Q3090847$9960EC80-A5DA-488C-8A12-60AEABD0A463","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"90d342c3e4e425c8edf9e23f5a868f7c88507293","datavalue":{"value":"W8705220","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090847$A5F2857F-9923-4288-93DD-A343E0720A8A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"34c9f9c418382824d2175732eb97c5ec8a5259b3","datavalue":{"value":{"entity-type":"item","numeric-id":2373715,"id":"Q2373715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090847$E2E9E2E6-22D4-4F33-A7DA-D3E63E459C8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fe76e7c7c69ea3113cfd37113ad36ccb294761c","datavalue":{"value":{"entity-type":"item","numeric-id":5387861,"id":"Q5387861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090847$E6205D8E-8484-49B6-88A0-BE6A16C086A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff6eb349a791ef34219aa97210664902e99ca1cb","datavalue":{"value":{"entity-type":"item","numeric-id":968362,"id":"Q968362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090847$D59F9FD0-1717-417D-BE2A-5B3CD394AC87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b14d9eabf063c4fdd0e32a8e0bccf5a26d189e4","datavalue":{"value":{"entity-type":"item","numeric-id":4847017,"id":"Q4847017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090847$4B0CBCEB-860A-4B04-A38A-F1F62D84E67F","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":"Q3090847$9FCFEC88-6487-4AA1-BE35-05376B282AEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99d9546809dd8770c3877fc48d5c3ed987470c2d","datavalue":{"value":{"entity-type":"item","numeric-id":2842876,"id":"Q2842876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090847$DEEE84CE-EFF9-431B-9362-E550D368D587","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":"Q3090847$D9985A37-E6C1-4931-8B8B-88B31C195113","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":"Q3090847$C2D67850-CEA8-4AD4-AC3E-1E49C3AA0AD3","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":"Q3090847$2C48A262-DD72-430C-9FF5-651EA8ECAA64","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":"Q3090847$588BCA79-2496-4D74-92E2-92FEA31B513D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2670feac67e5c7837b7deafe39ce20a73145aea3","datavalue":{"value":{"entity-type":"item","numeric-id":4223067,"id":"Q4223067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090847$D6BD7139-E031-40B4-9ED6-52D39D7652A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07cd204d3e61e3a929ece0ad83fde7b9ae4724b5","datavalue":{"value":{"entity-type":"item","numeric-id":1333263,"id":"Q1333263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090847$6F13ADFF-1D99-4732-972E-BD0BF828452A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ab8130d3aff9409c6a296190aadf3113874d3d6","datavalue":{"value":{"entity-type":"item","numeric-id":4428305,"id":"Q4428305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090847$C978BE4C-BEF5-48D2-9D2F-2D308C0988F2","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":"Q3090847$0D3BCE42-E977-461D-BF00-D202287A1B88","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":"Q3090847$3A9B8BA5-2DE8-4342-9196-B66CCB6694C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ec39e0aae078ea86b2a7192e600175bfda00e3f","datavalue":{"value":{"entity-type":"item","numeric-id":5312916,"id":"Q5312916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090847$00DBAA3A-F9C9-4A2D-AC58-86EB6ADB321B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7351a5b1debd8b8e0510ccc8864beebebdf77168","datavalue":{"value":{"entity-type":"item","numeric-id":1007544,"id":"Q1007544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090847$E9CA2A57-336A-439C-9B28-116D8DCD754D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"363e3db19b9c332e46164580496bfb20391b489e","datavalue":{"value":{"entity-type":"item","numeric-id":3522906,"id":"Q3522906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090847$FDA2DA13-797A-42D0-BEF0-0B94B0D9558B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65ba6ee4184d1e83b23af04ea3e34386770ce9f4","datavalue":{"value":{"entity-type":"item","numeric-id":4472439,"id":"Q4472439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090847$4AA954B3-281C-4BC2-B2E2-6D557164D03E","rank":"normal"}],"P1643":[{"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":"cf67c4f5924b24a90d4dab58ebb78a0cdeb8bc26","datavalue":{"value":{"amount":"+0.9991642832756042","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":"Q3090847$9CFA0AEA-3152-4906-BEB8-14BCB7147F8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a07577d90b863174edcdb7cdfdb8e6c4ab41bb1","datavalue":{"value":{"entity-type":"item","numeric-id":2754086,"id":"Q2754086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c370197e38acc8d2535266d9977f6725ecc760e6","datavalue":{"value":{"amount":"+0.8610491752624512","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":"Q3090847$F911C0E1-E2A2-46E8-9021-1BD21474F6D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de640cf007b1edbb6dfd7f1087a191940cf356dc","datavalue":{"value":{"entity-type":"item","numeric-id":5387861,"id":"Q5387861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"424b2e06b6519dc40b7c3d6e59504417806b155a","datavalue":{"value":{"amount":"+0.8604143857955933","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":"Q3090847$A38052F4-0B0D-4A59-965A-969EF2BEF394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a1facffae4f4bb32244da6e239c72c70fd4508a","datavalue":{"value":{"entity-type":"item","numeric-id":5714447,"id":"Q5714447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4294bef87620c0cf91a0d15152b520d1f71b9578","datavalue":{"value":{"amount":"+0.8597246408462524","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":"Q3090847$20977D1B-1184-4011-9465-76B50005A361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32313f08c2280cf58f605f5a1afe17de787fd344","datavalue":{"value":{"entity-type":"item","numeric-id":1887158,"id":"Q1887158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69f98eb066927d6fb103c045ac2aefb875ad39a7","datavalue":{"value":{"amount":"+0.8572649955749512","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":"Q3090847$800428AC-8810-4ECB-AC97-5E0BC3DF0E77","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3090847","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3090847"}}}}}