{"entities":{"Q2890214":{"pageid":2900939,"ns":120,"title":"Item:Q2890214","lastrevid":84799271,"modified":"2026-06-02T11:03:13Z","type":"item","id":"Q2890214","labels":{"en":{"language":"en","value":"On Model Checking for Visibly Pushdown Automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6044360"}},"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":"Q2890214$098702E4-70EF-4B7C-8FC9-85121C90B1E6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3a4691e886c8cb8a3b0e35346621d9995f2ffeb4","datavalue":{"value":{"text":"On Model Checking for Visibly Pushdown Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2890214$034A6CCC-CAF9-4657-9F6C-BD7DDBA00557","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bef0ce4cb860807c29d00ec7341ddfa00beb38ac","datavalue":{"value":"1350.68186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2890214$D22AD637-A4FF-4AA3-BE1B-9DAC58C3AEE2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"001a0fd3da7786d7f1afa419633f436e6d2b6440","datavalue":{"value":"10.1007/978-3-642-28332-1_35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2890214$A38BEE20-FDFF-4C15-9A21-2E116CCC8B2C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0962f09026b6e8f8a99208d4d5ff0bc337e0da04","datavalue":{"value":{"entity-type":"item","numeric-id":2890213,"id":"Q2890213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2890214$456D95CE-E1B0-419F-BC05-6777649C0DB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"67d02725bc9041065bd07fac024cde6b82c3e648","datavalue":{"value":{"entity-type":"item","numeric-id":736826,"id":"Q736826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2890214$23F16606-D111-4F4B-A2D0-379B27F70214","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0685e722024dfab8b1c6ee631b614ae84196cb3a","datavalue":{"value":{"entity-type":"item","numeric-id":2798705,"id":"Q2798705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2890214$38F8F869-19A5-4B4A-B3E7-16ADBAD2B028","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8a7d7484062a7dd97ef9c7d59e7e7bb3f36dfdc8","datavalue":{"value":{"time":"+2012-06-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2890214$6290BFAD-6089-432A-BF6F-118B4A53471A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2890214$81B93C77-0116-4D17-9EA9-10D0E79F3168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2890214$DD68AE4F-F005-49A0-90E5-36A18EDA410D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"48a8b995399c4710df00af9266c87f0519c3510e","datavalue":{"value":"6044360","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2890214$8E1E2B67-0AD1-49CC-B7B1-0B2633BACB7B","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":"Q2890214$EE7D7865-A99B-4661-8773-16AB45D6B4D2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c7a86b5b2d1d9324e134c580ab25f1943436dc67","datavalue":{"value":"https://doi.org/10.1007/978-3-642-28332-1_35","type":"string"},"datatype":"url"},"type":"statement","id":"Q2890214$E72F5C6B-6FC6-4B77-8227-1C562D9AD4B1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"54172293e011164d583c02df72c19a0da4762910","datavalue":{"value":"W4558891","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2890214$72EDA88C-E331-4DDB-B957-A5505E675CAB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7491f18a93b87811c5cb180226e25f4331a7dbbd","datavalue":{"value":{"entity-type":"item","numeric-id":6044114,"id":"Q6044114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b026558faf77ae33c95eba90e9f0f74a2bbef0f","datavalue":{"value":{"amount":"+0.9071105","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":"Q2890214$FBD40663-70BF-4440-84FC-684F25FF19B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcedaa5216d1ed7592272401a8645a728dd14c56","datavalue":{"value":{"entity-type":"item","numeric-id":2914241,"id":"Q2914241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24d46883ad900abaeecc8fd429e237a755ed2669","datavalue":{"value":{"amount":"+0.9024019","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":"Q2890214$A41FE101-23ED-41C1-94B7-190AB55FEE1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"810e9a7a2eb6f1f3276512e908b8e9a62e848879","datavalue":{"value":{"entity-type":"item","numeric-id":3613330,"id":"Q3613330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45aa8fa54e3751f6a78ef5220923f1fb88820b39","datavalue":{"value":{"amount":"+0.90027535","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":"Q2890214$9509A04E-16CE-45C1-A630-70A3FB98F04B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c2cf5ee25079564ec7df397baab6dfbd86f3b12","datavalue":{"value":{"entity-type":"item","numeric-id":5277899,"id":"Q5277899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a04eabb41a5618a77fd9fb87fc2287a6a42769a9","datavalue":{"value":{"amount":"+0.89744437","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":"Q2890214$3E58FD5E-DD05-44F7-9971-BE8FF66BEC70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af991a839224cc6fc3adeed38d6e7c357c309dd3","datavalue":{"value":{"entity-type":"item","numeric-id":5452603,"id":"Q5452603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"147b4b3c6aa4c2d6b4db2068324db2d49fda6dfe","datavalue":{"value":{"amount":"+0.8969688","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":"Q2890214$0E0C0913-9BBA-4BAB-9C8C-351EBDAC2E5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd8db175580a73f7413caf19d8d8cc8684f7928a","datavalue":{"value":{"entity-type":"item","numeric-id":3623014,"id":"Q3623014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f0884e2cf19bf8fa09bdc71e9bc9e858db377aa","datavalue":{"value":{"amount":"+0.89068913","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":"Q2890214$21588CE5-3C4C-4D6E-AE7B-5B5E1561329F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22f6b69ceb362d852549f4be9191a80fcd6ab8a8","datavalue":{"value":{"entity-type":"item","numeric-id":1749148,"id":"Q1749148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"502f06a5fa97f97d1b5e308f857b82a0188c0813","datavalue":{"value":{"amount":"+0.88778615","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":"Q2890214$FEB38B3F-9228-472E-9A72-C4F6FE7DD3FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88d43591a6565fa6f3dd7d08a10dff3b8721a762","datavalue":{"value":{"entity-type":"item","numeric-id":4589236,"id":"Q4589236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d808476028ff307aad8bb071ff8d5945ee1a1d56","datavalue":{"value":{"amount":"+0.88582695","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":"Q2890214$6F1F9952-860E-4761-B7CF-DB2D83B22D96","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On Model Checking for Visibly Pushdown Automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_Model_Checking_for_Visibly_Pushdown_Automata"}}}}}