{"entities":{"Q4910457":{"pageid":6940036,"ns":120,"title":"Item:Q4910457","lastrevid":51671261,"modified":"2026-01-19T09:43:21Z","type":"item","id":"Q4910457","labels":{"en":{"language":"en","value":"Visibly pushdown automata: universality and inclusion via antichains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6145868"}},"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":"Q4910457$9F550DA7-1BF3-46D9-A99B-AA317758753A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6cdf611e1e869e97d9fd819d487af9715b9ef539","datavalue":{"value":{"text":"Visibly Pushdown Automata: Universality and Inclusion via Antichains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4910457$1544A116-0441-4FD5-AD62-89EB778D265B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7c52c24d528ae4fea950c2f16af2449b5d4f866a","datavalue":{"value":"1377.68104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910457$C7C71CBA-A37B-4F44-BF5D-74DD0ADB3C7C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"69e990b5c12e0e56ab2c2af40ef10d8fbc7a8800","datavalue":{"value":"10.1007/978-3-642-37064-9_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910457$C95177A4-6015-429E-9371-D45D0DE0B819","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"99844aba0deee409850cec53537867a00f71d64b","datavalue":{"value":{"entity-type":"item","numeric-id":213200,"id":"Q213200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4910457$1ED692E3-70C4-4B35-8C90-BE1CEFEDB3DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"74592c1b756ebece7bcd0c4d693ff99b4bfe64b2","datavalue":{"value":{"entity-type":"item","numeric-id":3172912,"id":"Q3172912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4910457$33C7E100-42CE-4E29-9470-8A33FFBEAB19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf466b6e29604a42a28739871681b452f68bd37c","datavalue":{"value":{"entity-type":"item","numeric-id":553308,"id":"Q553308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4910457$95F72401-0990-4525-A0FE-0E6AA8EA3AE2","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":"Q4910457$057F34DB-4652-4E6E-BEFA-27BAF6F2E963","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"920dd144368fa573f0e857e6831217ab76e93fef","datavalue":{"value":{"time":"+2013-03-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4910457$8AD39D70-68C5-4D06-B20B-CC0AC4693D12","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910457$A330950E-6940-46D7-A2CA-29866EA94EBA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"febdfb2523ec67a28f7c4fc5f771e64768e05b2a","datavalue":{"value":"6145868","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910457$DD891A6B-1E0F-4AF9-833E-8E6FE9DE0BB4","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":"Q4910457$47696273-02D6-4C10-BFC1-6624F3628E1B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5bf3309a75b191bbf864a81628065419d1511b74","datavalue":{"value":"https://doi.org/10.1007/978-3-642-37064-9_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q4910457$563A6027-F55A-44DF-AECB-5200F968DF13","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0baea8b8e3f5310bbf768dd03d1529093241643d","datavalue":{"value":"W92114844","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910457$D7FCFCC6-B79D-4FB8-B6BC-F9544C623ED8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d70d2f658829c1dd97dfeb638f5a6ce45b26f25","datavalue":{"value":{"entity-type":"item","numeric-id":2890214,"id":"Q2890214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99bf001fcb9bbf2083546f276d0a62c6ba52e0b9","datavalue":{"value":{"amount":"+0.875715434551239","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":"Q4910457$1DC07C13-EAC1-4571-8B77-632BCFF9476B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0e751cf1101148930ab89fd48f878da9926ff3b","datavalue":{"value":{"entity-type":"item","numeric-id":5327436,"id":"Q5327436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55c790691dd45c962766f8bcbc5a70a636415bd6","datavalue":{"value":{"amount":"+0.8168805241584778","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":"Q4910457$1E3613AD-A5D5-4348-A335-384F3468D2CF","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":"2fe9d94798c3096452ab0c2d2f1b43cf74e31955","datavalue":{"value":{"amount":"+0.8149676322937012","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":"Q4910457$E49D68A1-E2E6-4489-AD36-6E791AB99836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b324ebdf2c93d8fdcb61618f838d4d0e90599d95","datavalue":{"value":{"entity-type":"item","numeric-id":5428226,"id":"Q5428226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f90994b5de3680a4a7971424bc44c34820e9511","datavalue":{"value":{"amount":"+0.7927736639976501","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":"Q4910457$16CD6B4E-F3F5-4C39-80F3-E6862EE11DF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7deb0ec07b239a3bd1013d862257f6d14573c586","datavalue":{"value":{"entity-type":"item","numeric-id":3519516,"id":"Q3519516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90b8b12d7a2fcec98ce93bfa2f0bcd6ab330bc37","datavalue":{"value":{"amount":"+0.7909072637557983","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":"Q4910457$32166BC4-C901-48AF-BB8D-1EAA059B6E2D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4910457","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4910457"}}}}}