{"entities":{"Q2355386":{"pageid":2366129,"ns":120,"title":"Item:Q2355386","lastrevid":52310432,"modified":"2026-01-21T10:14:25Z","type":"item","id":"Q2355386","labels":{"en":{"language":"en","value":"Model checking dynamic pushdown networks"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6463411"}},"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":"Q2355386$43A60E54-7BB0-4DF8-AC0C-1DAB25641B25","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e8ac9e6594559a52683ff3fdadb07f557238613d","datavalue":{"value":{"text":"Model checking dynamic pushdown networks","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2355386$560BA90E-5B71-4682-8431-FA8BAD41406E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"141beee9025fd6363d4e36468c030efbc7ba6243","datavalue":{"value":"1332.68142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2355386$502FE73E-7A3D-44FC-95D9-EF5FCE7B4348","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":"Q2355386$EEED2CE5-F201-4E5A-A116-9B51FA4DC06B","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":"Q2355386$798BD254-0AF9-4DF0-858B-651D0BEFD858","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355386$792573CB-A6B0-4E9A-BA6E-EB44071A45A6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0a52122e330a715e7d863b59e64df5997f01e79a","datavalue":{"value":{"time":"+2015-07-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2355386$CF6F8567-7656-454E-A695-438CB5C32A73","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2355386$F7A98A65-618E-4874-9B05-59AD8F93A7A7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8dc453621024690ad6b7b1d3d7ad2e3fc8170d8b","datavalue":{"value":"6463411","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2355386$0E412DDE-2C29-4980-8249-216BE857006F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2355386$1BBC9A8A-88BF-4585-929A-785BBC25C699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6247df198fae23a5e3dd6f18640f39bea277e3c9","datavalue":{"value":"dynamic pushdown networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q2355386$2BFB36D8-A8D1-42B9-8EC0-86E93CABE203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85a839a7ba93b7be8ef2a01122562abb5ca55aa9","datavalue":{"value":"LTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q2355386$0A3061D2-AE4A-459E-99DB-C721DF5709BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af948ab56df44408fff2ba197f928e63c9954960","datavalue":{"value":"CTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q2355386$9B334B27-0575-4382-8D92-F573575C1C5A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b20bdd44ba5dda1408033b52815544ca46ca60dd","datavalue":{"value":{"entity-type":"item","numeric-id":26067,"id":"Q26067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355386$43BB93A7-0179-431E-AD0C-302A63EEDB78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ddc55cbfd7a8b82d3a81165f835b44e52097f80d","datavalue":{"value":{"entity-type":"item","numeric-id":43930,"id":"Q43930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355386$381FE691-8EF0-465D-A085-218ECBB32673","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":"Q2355386$FD41C6E4-39EC-42C5-ADC8-08CED61A6D20","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"53d0af447392b571905ba7c67ad35d6a4e80745f","datavalue":{"value":"https://doi.org/10.1007/s00165-014-0330-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q2355386$A918AC6A-CA3C-4FF1-88E9-EA07430E4245","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1fea04166e5fda17486ab8aa8125cb6a35767dfc","datavalue":{"value":"W2048853598","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2355386$C02923F9-0D77-4702-995A-EF77B6E875DA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eddd7010994775c5bb3ef1327498c7d5c1757be2","datavalue":{"value":{"entity-type":"item","numeric-id":3541030,"id":"Q3541030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355386$31A25741-3152-44B0-97F6-BCD2703B621C","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":"Q2355386$32D45D88-6648-4730-8A14-C8487E1AE3B9","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":"Q2355386$D9471789-8249-475E-9760-1CBC33C28F1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0518b0af850d50f429ebc097f36a2178d339f68c","datavalue":{"value":{"entity-type":"item","numeric-id":1006890,"id":"Q1006890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355386$1489D19B-ADB5-4146-BA20-7D7DD23D29F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34c82e9f6dc46a17a1531710a1314df285e95f1c","datavalue":{"value":{"entity-type":"item","numeric-id":5897502,"id":"Q5897502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355386$6C829CB6-BDE2-485E-98D0-64054F6E653B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bbe7a299d570facbdd631c622bdeafdcc911790","datavalue":{"value":{"entity-type":"item","numeric-id":5899068,"id":"Q5899068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355386$03403CF4-B1D3-400C-A103-D21F6A83A068","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":"Q2355386$3F4D194F-1EBB-4C0F-AA22-F8C802B6FC80","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":"Q2355386$20C7C63C-AEA9-4EF4-B619-CE93A052031D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4697f44823f8beda22de7e4e1d26f72ba958363a","datavalue":{"value":{"entity-type":"item","numeric-id":3075482,"id":"Q3075482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355386$F68427F3-4BD2-470E-9185-36C7438ABFFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f024e5fa4de8f716298ab02999628d2f814871fb","datavalue":{"value":{"entity-type":"item","numeric-id":3189810,"id":"Q3189810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355386$EDDDBA05-D2F0-4EDB-809E-A1E0B57E8C67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0ca349cee3adc073f64ce48fa16675e4e333ea4","datavalue":{"value":{"entity-type":"item","numeric-id":5716592,"id":"Q5716592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355386$FE92DA39-8B28-4E72-B496-5E17B35BCA4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f85e494dbd114e7fc613fe2fb4b3a0f92bf6245","datavalue":{"value":{"entity-type":"item","numeric-id":3525644,"id":"Q3525644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355386$194BE381-39F4-401D-994E-AC5403ECD4F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eeb42f305b0d36a77893e880c53e16c34d44d4ae","datavalue":{"value":{"entity-type":"item","numeric-id":3522072,"id":"Q3522072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355386$440DE3F0-4410-4287-B700-659663B51027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0217be03b76b871fb6fb4de6b49fb9c0bd33eb66","datavalue":{"value":{"entity-type":"item","numeric-id":3636879,"id":"Q3636879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355386$11A777C9-CAEF-4DDA-8299-AE902C8251B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e790872805be8b02947aa339146b8ddc988b1d61","datavalue":{"value":{"entity-type":"item","numeric-id":3016220,"id":"Q3016220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355386$07D43709-182F-4325-9591-1F5E4EB03203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2e98f322680a32cb9958826de3f407d1215106b","datavalue":{"value":{"entity-type":"item","numeric-id":1854328,"id":"Q1854328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355386$63F8BB6C-13E7-44B9-A944-178C4F3146FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"998ae4b3e5b42805170f074238cd3001ef253f69","datavalue":{"value":{"entity-type":"item","numeric-id":1959654,"id":"Q1959654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355386$C9780EB6-2FF8-484F-939E-EF520BF8A0A0","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":"Q2355386$18592EDD-D608-49BB-B958-4FFA7F9AEFC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a344ffe08e0042170b2b0905e74c06ecd985af1e","datavalue":{"value":{"entity-type":"item","numeric-id":2937781,"id":"Q2937781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355386$408B9834-BD6D-4362-A205-30D6114EE739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fe471308125d65582632b7b24e6589f89c33d6","datavalue":{"value":{"entity-type":"item","numeric-id":1090675,"id":"Q1090675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355386$53EFFD1F-F8E3-4AE0-BE67-C35BC87C10ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbd36a34ff94de1878e8f7d64f1a5161e9c9a57b","datavalue":{"value":{"entity-type":"item","numeric-id":3558251,"id":"Q3558251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355386$A248761B-0780-49D7-9223-FDF871DA4B6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06078eea43f158838fa3a7c376b297dae0a314d2","datavalue":{"value":{"entity-type":"item","numeric-id":5178871,"id":"Q5178871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355386$8E6DF0AE-FB5F-42C3-BBCB-4A050A2DA553","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d4a5d7108dbae254d6c086ecdf326ee524bb9c03","datavalue":{"value":"10.1007/S00165-014-0330-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2355386$5F0D0F6E-93FF-4506-A786-13CAEE044C84","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72da9b448b5c182c9d925d10ac66be601ca41d59","datavalue":{"value":{"entity-type":"item","numeric-id":2937781,"id":"Q2937781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5844ee878994e9c4425d0c431872880fc3cfdf11","datavalue":{"value":{"amount":"+0.9990789890289308","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":"Q2355386$07819759-2513-434A-B6EF-120B53E72824","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":"030115ede9e5a4b2bcd42570e0a598507188c235","datavalue":{"value":{"amount":"+0.8215814232826233","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":"Q2355386$A8657F95-E907-439A-AF82-51297310CD96","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":"028fe754a0f31bec5cf6344378b7b616f264f267","datavalue":{"value":{"amount":"+0.808626115322113","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":"Q2355386$C7177A2C-E608-4391-B0F5-7F8660839A24","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":"0a21419387d964a9311ec9e1aca911d3dc447665","datavalue":{"value":{"amount":"+0.8077614307403564","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":"Q2355386$39B6D8E0-CBFE-4EFE-8914-FF3FB9E06E4B","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":"bd9d759d25853686b928c4faaf94fd332dacde22","datavalue":{"value":{"amount":"+0.807055652141571","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":"Q2355386$C3EAD28A-574D-47E9-A721-F06053306322","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2355386","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2355386"}}}}}