{"entities":{"Q5111654":{"pageid":7141228,"ns":120,"title":"Item:Q5111654","lastrevid":58421136,"modified":"2026-04-05T03:47:05Z","type":"item","id":"Q5111654","labels":{"en":{"language":"en","value":"Towards an Efficient Tree Automata based technique for Timed Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7204956"}},"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":"Q5111654$12056E0A-5BA0-41E0-A01E-C327ECA2BA99","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"78a5718dcce842b4e83989bbf65c5f755b071aad","datavalue":{"value":"1442.68123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111654$C4A632E9-C01E-490A-BE67-3A2218CAD5FF","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":"Q5111654$5A29BF9A-8EF7-41C0-8CA7-FD7F82EF40AB","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":"Q5111654$9BC7D4A3-835B-4081-85D4-7E4640825D10","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":"Q5111654$3D3C8A9E-FB6E-42CF-94F1-DCDF73FE4002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e17c376b60724a5a64ec67d1db15e3aad18634af","datavalue":{"value":{"entity-type":"item","numeric-id":5111653,"id":"Q5111653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111654$5C02680E-3CDC-449A-AE17-FB4E96A95A51","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74e9c8747ffd0032638f684de68b42e81f06a509","datavalue":{"value":{"time":"+2020-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5111654$4816BA4F-E56E-4776-81F4-52D1D054C8D4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"963399330e87f37f0f8ccbda8c100135a84b51c9","datavalue":{"value":"https://arxiv.org/abs/1707.02297","type":"string"},"datatype":"url"},"type":"statement","id":"Q5111654$6FA25D54-1CE1-42C4-9D64-75C7C95D1117","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111654$50A081CC-6D6F-4908-B841-2B213A628162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111654$46BFC0EA-B897-4A82-9BDC-A736FB30CDF5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a26871a9491fbb83abdbbd9acab13259069e567c","datavalue":{"value":"7204956","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111654$F4793101-9874-4C93-877B-90EED5D1C456","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111654$97C88728-6F62-413F-8BA4-F3A18F5FD9FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7fe2f2415709197ca17d2732570ef76c1e4f0b0","datavalue":{"value":"tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111654$5BD05515-5F62-438C-94C7-A82DB67652AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b37f67d7f6c0dd8120babf03358939745eeef16c","datavalue":{"value":"pushdown systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111654$6C2D372F-AB30-4EC7-A87E-377E7F73CD95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b81b0e661ffd7a2b0cf4d74a6388abe874250e20","datavalue":{"value":"tree-width","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111654$A684D3F4-5321-44A1-910A-1AFB916799EE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111654$565AE7CD-EF1D-4AB9-8A01-FDB2D37A8AE2","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":"Q5111654$25872009-8E73-41EB-9697-8CDC114FD9AA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c1b21124277bda9d7b03777705e1af69eb38d28","datavalue":{"value":{"entity-type":"item","numeric-id":2986779,"id":"Q2986779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111654$5F927A3A-BF09-4079-8C4E-F2514692C2F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c72069f2ce4853417dbb8670318fdf0de2494609","datavalue":{"value":{"entity-type":"item","numeric-id":2890180,"id":"Q2890180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111654$FC9CC923-9126-40AE-A44F-29213BFD0927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"390cca24b0dadfa15d988b1dc810b48004c14e9a","datavalue":{"value":{"entity-type":"item","numeric-id":3299221,"id":"Q3299221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111654$4B519F47-343D-4DD0-9D45-8E5DBAE33F31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"173a7c4bf7442750248912cbc3abde21eeae66f7","datavalue":{"value":{"entity-type":"item","numeric-id":4608679,"id":"Q4608679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111654$45F19F13-F699-401A-B7F7-D57B5D908816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9eadb3d918dee4557f92a079330c3fedeb8d3620","datavalue":{"value":{"entity-type":"item","numeric-id":5111654,"id":"Q5111654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111654$69945B0E-6992-4636-B9F6-5AB1F7EDCA65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111654$561C2806-5A37-4332-BA72-68DB88526493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e131304022eac74ef1a59104a6a4b74da93f93f3","datavalue":{"value":{"entity-type":"item","numeric-id":5494310,"id":"Q5494310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111654$B064693C-F99E-481C-82E6-EB3A622BDE54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"936271c4725ed0b10005cea1032d70bd3874fbc9","datavalue":{"value":{"entity-type":"item","numeric-id":4635851,"id":"Q4635851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111654$A952173F-CAF0-461E-B1EF-28FAD4719012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a156d0e955d918a0cf7c3031785e80a3fc845ba","datavalue":{"value":{"entity-type":"item","numeric-id":3077955,"id":"Q3077955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111654$9B7C6EF4-1FCA-489C-AE52-55173C67A111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"664c83bf274f93d861a5c0c6834d01ddb129bcbf","datavalue":{"value":{"entity-type":"item","numeric-id":2912701,"id":"Q2912701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111654$06C0B77F-6C0C-4D06-8EF7-F7B87141CCEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81d79146825e76339dd7c4ff4d93003f07a3eec8","datavalue":{"value":{"entity-type":"item","numeric-id":2842669,"id":"Q2842669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111654$0360F5A6-20F9-4CC3-839B-9F4DB33242DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c5cea71c6aacfcb4cc8bc4d70a2c543dbb0d272","datavalue":{"value":{"entity-type":"item","numeric-id":5408550,"id":"Q5408550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111654$98FD462C-5BDD-41B1-AD57-D800300B4820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35e303630227b78e0a9e7fe31b8945cb769e5026","datavalue":{"value":{"entity-type":"item","numeric-id":4931300,"id":"Q4931300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111654$5EA2B1CD-662F-4A92-9DB9-664257DA90E3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"149722cf5d65f8643f1b8e4ea0201c2f3cec3b3f","datavalue":{"value":"W2962796379","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111654$050F5AA8-C8B3-411F-81A9-127138D12FAB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5058040e7c35d7cd689c7697ce5158ea2eea5d55","datavalue":{"value":{"text":"Towards an Efficient Tree Automata based technique for Timed Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5111654$266121B0-0F15-405B-8D3F-73B3E4CD8DCF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dce831d9e1141f927196fa2cfee87d84d864b477","datavalue":{"value":"10.4230/LIPICS.CONCUR.2017.39","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111654$FB1677AC-DE69-431E-B7EF-D3C748EACBB9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ebb964518eca85651e1892df67715c71b79ca3b","datavalue":{"value":{"entity-type":"item","numeric-id":4608679,"id":"Q4608679"},"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":"Q5111654$4FA6F37B-FD7C-4C6D-A7AF-B7C40947D47F","rank":"normal"},{"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":"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":"Q5111654$515D02CF-D43E-4100-A26D-15C37BD79AD9","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":"d7e80f081a26139ce0d07eaf822d1c7af3bff977","datavalue":{"value":{"amount":"+0.9247598","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":"Q5111654$B667F3F7-292E-4234-B2BA-BCD7C6F55B1D","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":"7345b1ba0999408ebd6d5973434a89d546b95a8b","datavalue":{"value":{"amount":"+0.9149311","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":"Q5111654$A923CC39-D0EA-4D11-AD1A-09A8BF8D8F6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c86b96d69c922b84d811d35f35fca713f658733d","datavalue":{"value":{"entity-type":"item","numeric-id":6487932,"id":"Q6487932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"461f2797d5f1bf0b3a906e486e21708dfb1baa44","datavalue":{"value":{"amount":"+0.89875203","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":"Q5111654$C5C18244-1DAC-455F-9224-87A2A23A23EA","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":"6b264128ef0f266e8069ceb8b682e1ca2f82780e","datavalue":{"value":{"amount":"+0.890542","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":"Q5111654$83C08E59-AC22-4271-BBF2-76607B200087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86e51cc3fb2d3476b0d1dcc1e92d938c72e5966e","datavalue":{"value":{"entity-type":"item","numeric-id":1395427,"id":"Q1395427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0ee0801d1482425e8e1251061e97ad2caabcc9a","datavalue":{"value":{"amount":"+0.89002424","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":"Q5111654$5196622D-4C5E-47DC-B295-0D701C3D658B","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":"c3e45786f8f896c0992044ec0fb17fa0ea5fb42b","datavalue":{"value":{"amount":"+0.8866021","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":"Q5111654$07312F7F-03B5-44AD-988D-4E76C9145196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"123a5f11007940aaf7c4d9462e46a9dae6b9bebe","datavalue":{"value":{"entity-type":"item","numeric-id":2848435,"id":"Q2848435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6df32f2e57ada2a65aca93dff205d583d9aa0a28","datavalue":{"value":{"amount":"+0.8834522","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":"Q5111654$9DE579B3-3BAC-4DB8-8546-5749BDC3F200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a348212b9a6fc53451b959df9d34966911a438a","datavalue":{"value":{"entity-type":"item","numeric-id":5041274,"id":"Q5041274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cb8c7cca136ce15f7db1cc579f737739065d98c","datavalue":{"value":{"amount":"+0.88330674","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":"Q5111654$390E57B4-06F8-493D-A6F9-20F626A1FDFF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5111654","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5111654"}}}}}