{"entities":{"Q436316":{"pageid":438083,"ns":120,"title":"Item:Q436316","lastrevid":61853037,"modified":"2026-04-11T02:06:21Z","type":"item","id":"Q436316","labels":{"en":{"language":"en","value":"Model checking probabilistic systems against pushdown specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6059105"}},"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":"Q436316$085AC540-A95A-4D29-8FA1-3BD1789C53F2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e5a9f53838db98594fedd4d54871e8b22c2ef5e1","datavalue":{"value":{"text":"Model checking probabilistic systems against pushdown specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q436316$B0454D75-8289-426A-82B7-CDCBC462E16A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e41448f44428f8360d93d68fed0c1723ad18aca9","datavalue":{"value":"1243.68214","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436316$48647BDC-2CE6-49AD-A6C8-3A8D0B539D21","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a5a685543483d63933f096aecae849e7924d619a","datavalue":{"value":{"entity-type":"item","numeric-id":436313,"id":"Q436313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436316$89F8627D-4F80-4C48-AE01-1876D6A4C7EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"46e921d835845969ea465c2330db5171d968f1ff","datavalue":{"value":{"entity-type":"item","numeric-id":436314,"id":"Q436314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436316$1B63B855-5B07-4E87-846E-8FA64E9CC418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac3392cf238fe451c68f681f28f224911d16cefa","datavalue":{"value":{"entity-type":"item","numeric-id":436315,"id":"Q436315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436316$3F703FF0-47BC-4C24-8754-289EA9C671B6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436316$8D3A05CA-8F5A-40C1-8BEE-FA89240F8467","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f68cb3c87baf768a64bd6e3aa1148be541c492c4","datavalue":{"value":{"time":"+2012-07-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q436316$3F99C056-CEEA-4071-8AF5-960084BAF7F4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436316$503A9887-5620-4B4D-9F67-961F6E1713C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436316$2D926F34-9A21-4AB3-A5A1-3FA9FA6229A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436316$0027090D-4E3F-4E01-BF26-29F1D7787E95","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7c6f0fc460f3d280ed013fd1c0e4596f492f7757","datavalue":{"value":"6059105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436316$E3F8D616-D39A-4F3C-9729-18D937ED6050","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q436316$DE872198-7A3A-433B-A64D-8AD26C91A7EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14fdb321d63e54de1f24ee42307b3934b281d990","datavalue":{"value":"probabilistic model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q436316$FEC2F731-404F-4D77-91EC-E9F13C1C49E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b37f67d7f6c0dd8120babf03358939745eeef16c","datavalue":{"value":"pushdown systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q436316$E3635137-437C-4D80-BA60-E96ED40808AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f3e3828c25b54f94b79a840fb3587de68568401","datavalue":{"value":"context-free specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q436316$601CA4E3-6ED0-4BB9-BC3C-9435387170D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54386443767439a4565bd3fedc3d37d2c4a4f85d","datavalue":{"value":"Markov chains","type":"string"},"datatype":"string"},"type":"statement","id":"Q436316$B5B2644A-3CA0-43A9-9350-2825556052CF","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":"Q436316$68C672F4-4308-4BF6-8A24-798E52874FED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1e9c1590cf25173aac3241eb5a8febc1b3388d7d","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2012.01.006","type":"string"},"datatype":"url"},"type":"statement","id":"Q436316$65AD17BF-A218-4BAF-985E-D0CE713A374F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"565abdc5e491921c307d2a00cc23fb12ce209401","datavalue":{"value":"W2067613458","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436316$14EA2084-F350-411D-A1AE-99F6400B269A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a35bc4e118771844ef76c16e6fe36c1a85cf17a","datavalue":{"value":{"entity-type":"item","numeric-id":2573634,"id":"Q2573634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436316$58459D77-4D4B-4BCA-A06B-4A8E1EC0C035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96773cee58501b66eed34fd50f76388c251f1c3c","datavalue":{"value":{"entity-type":"item","numeric-id":5453500,"id":"Q5453500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436316$C02196BD-84C5-4CBA-9CDE-86EC9D85DE8C","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":"Q436316$8612637E-0FE3-4EE7-A34B-AFD1F47FB3CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e7aeeecf2d28d1d75570eca357b2bf733654064","datavalue":{"value":{"entity-type":"item","numeric-id":3580970,"id":"Q3580970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436316$4189C303-7433-46E7-8D22-08E64EDC8A78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436316$CF97B497-E4A9-4E87-BACD-1064364D2537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d65cc8f2e5ea23c3bd01560d132b8a831f35fc62","datavalue":{"value":{"entity-type":"item","numeric-id":5710670,"id":"Q5710670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436316$603C49E7-DD96-46E6-9EDE-2F0881ABFB27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4026710286be0e296501d6694a98ee92e525c96","datavalue":{"value":{"entity-type":"item","numeric-id":1247962,"id":"Q1247962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436316$8A649875-0CB7-4077-B4AC-80BDE61CB546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c71ee253892b177799592f03938a61eb6c7732cc","datavalue":{"value":{"entity-type":"item","numeric-id":4369884,"id":"Q4369884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436316$2E88236B-9F2A-48A6-9E9C-42A439A7416F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a9d1825e985bd9d3ac22966e44befbddbae3977","datavalue":{"value":{"entity-type":"item","numeric-id":5310649,"id":"Q5310649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436316$4CE76C34-1526-4523-88D1-205ECFB4EBED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b1af63d4fb1b182e57889faf02ebb0ec9fbb312","datavalue":{"value":{"entity-type":"item","numeric-id":5710687,"id":"Q5710687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436316$84D9E530-C866-47CC-BD9B-F649CE2BCD3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b117510b4422c184b3dc46595f4fe45ff7a79ad","datavalue":{"value":{"entity-type":"item","numeric-id":3262596,"id":"Q3262596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436316$82A306F7-DBB1-4058-B961-18D316103BDC","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":"Q436316$2475BA79-7C39-4089-B32E-694412A84B24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73a0a2b15e99842c46a5657e247bbb4d0ca5dfbc","datavalue":{"value":{"entity-type":"item","numeric-id":4095899,"id":"Q4095899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436316$DEEFA5CE-FEA8-4585-B6FB-F64C446F3E93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"405126dd61c0280c8a6e72613d3b0ca29345ddb2","datavalue":{"value":{"entity-type":"item","numeric-id":3126969,"id":"Q3126969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436316$6C5925FF-FAF4-4FFA-974C-A2E7D1A20F30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b1d274c6ee4b9c24930fb83b43c12797e99121","datavalue":{"value":{"entity-type":"item","numeric-id":5590814,"id":"Q5590814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436316$5FFB2D12-DEC2-4B3A-9E3A-E161525DC29A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af340b097d459bcb5441a39649c479ea3f553829","datavalue":{"value":{"entity-type":"item","numeric-id":4853336,"id":"Q4853336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436316$BC7A9670-9625-4957-8BC6-30908FA80A11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe929f01fa86af5ec1780a3fd0d8f9ac3346a63b","datavalue":{"value":{"entity-type":"item","numeric-id":4714446,"id":"Q4714446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436316$0FF8A6C5-48DB-4992-8C63-DA71C5C88A29","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"48ad9ce12cd96f10f033abbc474bea245613c83c","datavalue":{"value":"10.1016/J.IPL.2012.01.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436316$E2C79232-AF14-4782-8E1E-A6C249268125","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc421236f750c7abd5bd039e3c781d3c1aabcb1d","datavalue":{"value":{"entity-type":"item","numeric-id":4428305,"id":"Q4428305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6997d1fec65e99db73c88c144360c546b6ed6ec6","datavalue":{"value":{"amount":"+0.8731828331947327","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":"Q436316$1E5EE024-8B8A-4F98-A392-D6EE03C263EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8eb8f51e06cd7af3a1e24fa953ae37b4250bd009","datavalue":{"value":{"entity-type":"item","numeric-id":4503927,"id":"Q4503927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6997d1fec65e99db73c88c144360c546b6ed6ec6","datavalue":{"value":{"amount":"+0.8731828331947327","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":"Q436316$4F196CB1-547C-43B2-B703-25ADFD2C9801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bbaef5ac37279165ad2f9f44652ea2f19945a27","datavalue":{"value":{"entity-type":"item","numeric-id":5310649,"id":"Q5310649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54b16d0ef1c9638333205504f09508ed44f22f46","datavalue":{"value":{"amount":"+0.8575678467750549","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":"Q436316$A2240E6B-264A-4F50-BB0E-CDB9DC8CB649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c04375693d462050ab186ef4ec2a834e9b9c877","datavalue":{"value":{"entity-type":"item","numeric-id":394999,"id":"Q394999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fd1cfd39c8ec53c19e9987015005fc6e6630fe1","datavalue":{"value":{"amount":"+0.8229415416717529","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":"Q436316$36C85438-1A5B-45EC-B5FF-A8464ACFD644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62bfd735b950b6375c82424663ada2a2ca217409","datavalue":{"value":{"entity-type":"item","numeric-id":5710670,"id":"Q5710670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdffa0a1d459bcbcf53af60e980b3045b1dd2a9c","datavalue":{"value":{"amount":"+0.8171812891960144","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":"Q436316$DF4E7FD1-A63A-436D-8006-5146BC808EEC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model checking probabilistic systems against pushdown specifications","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Model_checking_probabilistic_systems_against_pushdown_specifications"}}}}}