{"entities":{"Q2937781":{"pageid":2948501,"ns":120,"title":"Item:Q2937781","lastrevid":79857932,"modified":"2026-05-06T14:52:18Z","type":"item","id":"Q2937781","labels":{"en":{"language":"en","value":"Model checking dynamic pushdown networks"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6385640"}},"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":"Q2937781$FF3C9AB2-E9AB-4ADB-AECC-7C468A2F8F20","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e14cf4a7d4b34b86920b2eade811418b61dad4e6","datavalue":{"value":{"text":"Model Checking Dynamic Pushdown Networks","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2937781$1D4532A3-2951-4FA2-ACA9-1277D31B6564","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8fb5455c690640b7ee07ae2c2f8b28fb0269cae0","datavalue":{"value":"1426.68176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2937781$DE079806-A7E2-4278-AE34-34A88DC943DB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ce511c554b8f95ae9993fb9a13b263e702a15107","datavalue":{"value":"10.1007/978-3-319-03542-0_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2937781$C0FCA29E-78FE-4277-AA63-50D3FEE0E499","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":"Q2937781$357D6836-1DBC-418E-8EC5-95A55CF4355E","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":"Q2937781$CD337105-F9D2-4F70-9FFA-727115B2797D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2937781$524CADF5-E834-49D1-A222-856FF32D7960","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8ff37fe420ee693c1034ffbc6383869a38933633","datavalue":{"value":{"time":"+2015-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2937781$E454551A-1871-4132-A0BB-E0C399678901","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2937781$D03F003F-4C13-4E4D-8A25-6F90DC96AC44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2937781$2C65CD8B-C556-4A1B-9F9A-2D41AB913347","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3d0a8eb514b532939603ce9c00494f4ac16c02f7","datavalue":{"value":"6385640","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2937781$215624FC-08B5-44AB-9371-275EAE4E386D","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":"Q2937781$C9E5AABA-CCD4-4BF0-8B2B-FDCC5294B258","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8fd85f1c07d7900621c211499f8675d667db2099","datavalue":{"value":"https://doi.org/10.1007/978-3-319-03542-0_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q2937781$6E017B36-CC55-4F3E-9236-AF3207B817C7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3ad9d3ca59eacdcd6ffa4672ed5a1df9f26e25de","datavalue":{"value":"W98152317","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2937781$911EBCA3-3F34-4640-8F35-73ECDADE1FE9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9546f247433ed0a3d3165b5a7a4faeae78c00671","datavalue":{"value":{"entity-type":"item","numeric-id":2355386,"id":"Q2355386"},"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":"Q2937781$5BB60A23-B180-4862-A231-D04E61843662","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":"d8d6d2c11bd97dc295bef3cb1aff9ce87afaf81f","datavalue":{"value":{"amount":"+0.8230870962142944","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":"Q2937781$6FEC245D-42EE-463B-896C-59003C10D094","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":"155d43cc8d0fcfd624e5802a58b884642136d967","datavalue":{"value":{"amount":"+0.8099527359008789","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":"Q2937781$78A82181-1150-4CA7-BC12-D465EE2D98D8","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":"5c331761128e441b5be86d936464ec5b8dde4f1f","datavalue":{"value":{"amount":"+0.8098000884056091","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":"Q2937781$E902DAA0-98A8-4E6A-8E4D-E7ECB23CECD3","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":"c5b2d1d1184a4f997297a8d045a36bbb1dba0322","datavalue":{"value":{"amount":"+0.8093902468681335","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":"Q2937781$67A65FC0-FDB0-4BDA-8CCA-691445CD937F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model checking dynamic pushdown networks","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Model_checking_dynamic_pushdown_networks"}}}}}