{"entities":{"Q3459423":{"pageid":5238823,"ns":120,"title":"Item:Q3459423","lastrevid":90175667,"modified":"2026-06-04T19:28:42Z","type":"item","id":"Q3459423","labels":{"en":{"language":"en","value":"Automata-based abstraction for automated verification of higher-order tree-processing programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6527889"}},"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":"Q3459423$1F4B2EE5-82FF-432F-87F7-32458FF1F2F8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e98e99fa008b5dc6c489ab116a1bb300470f5d76","datavalue":{"value":{"text":"Automata-Based Abstraction for Automated Verification of Higher-Order Tree-Processing Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3459423$0AC2F05D-7331-4B15-B12B-0C68415561D9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bfdc298b320870afac3f7116c9828a422c2bef58","datavalue":{"value":"1329.68065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3459423$090285FE-2A2A-413F-A932-89C585CA47CD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0337c47f978a525978510db543aadec4181b5459","datavalue":{"value":"10.1007/978-3-319-26529-2_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3459423$CBE9CA52-039F-491C-93F9-AC9A882B88A7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"141585d39b9ee144d2de3c0121833fb9520a60d8","datavalue":{"value":{"entity-type":"item","numeric-id":3459422,"id":"Q3459422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3459423$C31F6B6B-BE65-4F1F-944D-1B7BDF2F9B27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3ed03c0e908613601fdd733dba97c4f4513b0a5","datavalue":{"value":{"entity-type":"item","numeric-id":238500,"id":"Q238500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3459423$5CA7D616-A4E7-465C-B433-0AA390CB9802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad89601800dc23413dc7ca174df857b300e44e3e","datavalue":{"value":{"entity-type":"item","numeric-id":832226,"id":"Q832226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3459423$09EB6BEF-C21F-4259-83F8-7F1607F77906","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":"Q3459423$4C4B3757-2A57-4DC9-A528-03C7D08E2CC9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b5c9f3637fe9afbd2521d0d27a72ae8b62d5e9a1","datavalue":{"value":{"time":"+2016-01-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":"Q3459423$8D93440B-8B60-4CDA-A269-1AA321FAB9D4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3459423$D289C9E2-793D-491D-A843-F322717442EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3459423$CBD95233-FACC-4124-9135-1E8D8737CEC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3459423$9D7AC5B1-0FA2-4885-9B7A-915261A4DF98","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3aabefa74d15991f3b244c8eede85eba3933186e","datavalue":{"value":"6527889","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3459423$BFD4C7AF-073C-4967-BEB5-D57FC5B7DBEA","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":"Q3459423$7FA655E3-BC6D-4094-B967-54DFE65CEEF6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9ec3011ed905762a86b2e35acd379f7461107ffb","datavalue":{"value":"https://doi.org/10.1007/978-3-319-26529-2_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q3459423$12A74C9C-AC77-420D-B337-1165BB5E1ED2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"395559ad8045b9908b6186cac89eb520a88f5b44","datavalue":{"value":"W2397687371","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3459423$6AFAE9FE-2AA0-4394-87EE-0283B6D89545","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"487f8c86f5a5f9188677aaa27c7b93e3da56855c","datavalue":{"value":{"entity-type":"item","numeric-id":5740641,"id":"Q5740641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8dbcde4b673c54cbb27fca0f84d26cac7d7210e","datavalue":{"value":{"amount":"+0.8717078566551208","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":"Q3459423$2A508C6E-5751-4DD6-A987-672E9F5D8F59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"991ccdc7101444c3538beea1801b7ec9de90cd87","datavalue":{"value":{"entity-type":"item","numeric-id":1653017,"id":"Q1653017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97f7621732820c99c468e28a37c1ad2da573c364","datavalue":{"value":{"amount":"+0.8590198159217834","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":"Q3459423$E904682F-D591-4055-AFE2-1F3E379603DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6ccb1191a94d96960c35877220f461aed7f4efc","datavalue":{"value":{"entity-type":"item","numeric-id":5395718,"id":"Q5395718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d6d1cbdf7ea75f08720487a7b93443af5fd2a78","datavalue":{"value":{"amount":"+0.803943932056427","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":"Q3459423$986A0062-9809-4A29-8C14-EFD381EECCA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1f6a58fda84ce2b1ec77c3acde53b995716dc14","datavalue":{"value":{"entity-type":"item","numeric-id":2931785,"id":"Q2931785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14fa8233740f4052eb07435e321ccd2d89efdc02","datavalue":{"value":{"amount":"+0.8036708831787109","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":"Q3459423$298309A7-CD28-4AC4-824C-DB68193348D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8a386429ad2b4f3e81c443c6d8da4c1385eb5f3","datavalue":{"value":{"entity-type":"item","numeric-id":2988670,"id":"Q2988670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7b25da6864eafa31643c53f1658dbe17de1bde1","datavalue":{"value":{"amount":"+0.792726993560791","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":"Q3459423$CE1FB230-B872-49B6-AC75-B5651F493340","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automata-based abstraction for automated verification of higher-order tree-processing programs","badges":[]}}}}}