{"entities":{"Q4608679":{"pageid":6638262,"ns":120,"title":"Item:Q4608679","lastrevid":41855778,"modified":"2025-05-09T02:40:50Z","type":"item","id":"Q4608679","labels":{"en":{"language":"en","value":"Analyzing Timed Systems Using Tree Automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6851949"}},"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":"Q4608679$5A5CE81C-B70B-46C7-9F25-2770DA72DDAB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"97f17d449ed936821eb065fcc037c9c4b9fd36d0","datavalue":{"value":"1392.68212","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608679$10FCDF25-13F0-439A-A4EE-CDCCA35D8E2A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0148a7914729f10791714961eacfb31054def7ce","datavalue":{"value":{"entity-type":"item","numeric-id":436614,"id":"Q436614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4608679$73B2814E-0037-4B7E-AB22-299586695642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc6828000455d6a95d0c2ee169c20b1ba0a23b3b","datavalue":{"value":{"entity-type":"item","numeric-id":472793,"id":"Q472793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4608679$44290E44-41F2-4297-A631-17F125A4EE48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6807c838a0c13cc8536b7508e779053a5949ccae","datavalue":{"value":{"entity-type":"item","numeric-id":537906,"id":"Q537906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4608679$2E0FB941-4B8B-4CE2-851F-45CF19B097B0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7b370aaa83f4efe6143e52606b64b18fd663e7c7","datavalue":{"value":{"time":"+2018-03-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4608679$93D27979-A351-4D49-A99F-DCBE9895F763","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608679$D3CEB062-4CAF-4E71-9924-F9222594007A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6c13af4a59a32edd7b716cd5e9d2e6c38d5db271","datavalue":{"value":"6851949","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608679$845B3AA5-B5B4-4DA4-9C58-D5366E5A1B64","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608679$17A4DFB3-C748-49CC-9211-2ED46343CA88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7fe2f2415709197ca17d2732570ef76c1e4f0b0","datavalue":{"value":"tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608679$25EB7E1C-1989-40F4-BE83-8D32342A0615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b37f67d7f6c0dd8120babf03358939745eeef16c","datavalue":{"value":"pushdown systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608679$5591D9F8-A3D3-435A-B898-4D5AE4AA0845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b81b0e661ffd7a2b0cf4d74a6388abe874250e20","datavalue":{"value":"tree-width","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608679$6564E769-3F40-46EC-BE9F-BD921F66171A","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":"Q4608679$A2A5DE92-D129-464A-A1C7-0DE63D46AD19","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"205502dda8a872b24fbf65bdcaf21f3356123b12","datavalue":{"value":"https://hal.archives-ouvertes.fr/hal-01407942","type":"string"},"datatype":"url"},"type":"statement","id":"Q4608679$B8A164F8-4CCC-4C80-84A6-B0AA7E061DEB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f23f0bcebbc99cb3366f74a7153f10557f5d4283","datavalue":{"value":"W2963919909","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608679$6ED84B28-1A96-49FF-B2F1-54F276759B03","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"41be07a7165dff9ec1b8ffe0d1af789ab4c10744","datavalue":{"value":{"text":"Analyzing Timed Systems Using Tree Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4608679$C0BADD8A-A5A7-4481-BBC3-AB60567F078F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b8477dfc71111fb41ba017e502555ef672bdc8d9","datavalue":{"value":"10.4230/LIPICS.CONCUR.2016.27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608679$D67E9337-AB9F-4B21-BD0B-53110B35B411","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c944ad73edb31a24cf104cc83fd8566383807af8","datavalue":{"value":{"entity-type":"item","numeric-id":4643961,"id":"Q4643961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ed0d4a8002d98ae475e924c65685a1d36c2409a","datavalue":{"value":{"amount":"+1.0000001","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":"Q4608679$DA574DE4-7878-4B8C-AC1D-A5E9F31B726C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b68171c710ade39781d7bada23c815009e1a6541","datavalue":{"value":{"entity-type":"item","numeric-id":5111654,"id":"Q5111654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff894a22dd57a9e332ee404f2df006b5f4bd1f12","datavalue":{"value":{"amount":"+0.948346","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":"Q4608679$301CD5FE-1FBC-416C-9BD7-102392E1C4FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c26c0c588f7836f1a94eaeb07a7f33a96b74bb2b","datavalue":{"value":{"entity-type":"item","numeric-id":1608932,"id":"Q1608932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44748bedb0908f5af9e84c68ecd7a6231d6cad6f","datavalue":{"value":{"amount":"+0.9236411","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":"Q4608679$9B099246-20CF-4162-9067-C446C65D986A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"958513bd09d50fd558eb8ef30ee12e142a845e9d","datavalue":{"value":{"entity-type":"item","numeric-id":4938632,"id":"Q4938632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64b7a9c29f76c228aff5755341ee39e150a1dca1","datavalue":{"value":{"amount":"+0.90759355","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":"Q4608679$8DE2FA7A-93D3-4CDC-A411-440FAE8D43D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43bbeb0469e8ff83022992506ae6dbd94d9cec72","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06f219a665118ce1b8a7b1535c0a25b1d3ae89e9","datavalue":{"value":{"amount":"+0.9002886","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":"Q4608679$22C71F86-3D04-4DB3-96A2-2C2E7C40A66C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6e37e5d60cc234557cc37febbd6c437897cfa75","datavalue":{"value":{"entity-type":"item","numeric-id":5712294,"id":"Q5712294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97734c44d3d277e297325e2af4523cd345c5756a","datavalue":{"value":{"amount":"+0.900193","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":"Q4608679$6192128B-6CE9-40EA-966B-759F22392AFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55751cc68f5ba2248625ace9a8030a16d70022e0","datavalue":{"value":{"entity-type":"item","numeric-id":4520787,"id":"Q4520787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e39fece4efc5e8aa145d41185d151c4d2c4bc35","datavalue":{"value":{"amount":"+0.89608556","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":"Q4608679$03768D47-632B-4F26-BACD-07E949330DB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"791ff92a215bb66d971a2775ffed0ebf24a772f4","datavalue":{"value":{"entity-type":"item","numeric-id":1917081,"id":"Q1917081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"642613216ae8c5db6ea3c2f4b90f307fcd6cc267","datavalue":{"value":{"amount":"+0.8912177","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":"Q4608679$BC4C0555-43DD-4C61-8297-9CFDA9AF1B6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e18b3fd4f659ce993026e553995bc8232eff34e2","datavalue":{"value":{"entity-type":"item","numeric-id":5101345,"id":"Q5101345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a062e7f6d865df60be31e865f5e454f90922e4e5","datavalue":{"value":{"amount":"+0.8904665","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":"Q4608679$00C4AD88-AEC8-4B29-8243-4B17F3A3A545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4929db541abaeff19585802249b189759227a44","datavalue":{"value":{"entity-type":"item","numeric-id":4817528,"id":"Q4817528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00f1fff2a2242dfe6002f93de9ee503296f362a6","datavalue":{"value":{"amount":"+0.8896997","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":"Q4608679$86098222-4652-45F8-BE65-BF22ABC91074","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4608679","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4608679"}}}}}