{"entities":{"Q4643961":{"pageid":6673542,"ns":120,"title":"Item:Q4643961","lastrevid":58311135,"modified":"2026-04-04T16:23:57Z","type":"item","id":"Q4643961","labels":{"en":{"language":"en","value":"Analyzing timed systems using tree automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6876269"}},"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":"Q4643961$AC8FDDCF-EE92-4AB7-BE24-14078C73AB3A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6f7316bcdb3bbcd7bc9e243309c27630e288f88e","datavalue":{"value":"1398.68290","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4643961$A2B040C9-4C15-4379-916C-B62E4C112F0C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a6cfc161341e17f67fb78c27fc2fcfedec3dbc11","datavalue":{"value":"10.23638/LMCS-14(2:8)2018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4643961$A09C512B-E2EB-425A-93ED-5F40DFF224F0","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":"Q4643961$BC223A90-C32D-4923-A1A9-92B5D8095688","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":"Q4643961$08AC7E95-7161-4E9D-BAD0-46378D14C4A3","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":"Q4643961$D1818C1B-FC14-475D-B5B3-3151FDF40422","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c7837145f292fc799024546d5357bc1d83f0818","datavalue":{"value":{"time":"+2018-05-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4643961$079C1D56-8F3D-406B-956A-36E17D98771D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1a9a047a08ae86f7b8c84950952115bd43fd339d","datavalue":{"value":"https://arxiv.org/abs/1604.08443","type":"string"},"datatype":"url"},"type":"statement","id":"Q4643961$1ED4FFEA-62BA-4B93-9436-E7F107383C23","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4643961$B2D7418E-4092-4F39-A141-3104648FCF53","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ea9bed5fdfc8f550e9aaf89a86d51775e1493769","datavalue":{"value":"6876269","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4643961$2329CB1C-8E61-4765-B59C-C4C3CA8A3378","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4643961$B2A1D5FD-9406-418B-A7DD-A54816A3066C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7fe2f2415709197ca17d2732570ef76c1e4f0b0","datavalue":{"value":"tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4643961$81A663F4-C8B3-460A-8DAB-E1B8273BC738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b37f67d7f6c0dd8120babf03358939745eeef16c","datavalue":{"value":"pushdown systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4643961$C130215A-AF3C-4EA5-984C-B162A67C2CC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b81b0e661ffd7a2b0cf4d74a6388abe874250e20","datavalue":{"value":"tree-width","type":"string"},"datatype":"string"},"type":"statement","id":"Q4643961$744B7C70-03F2-48DE-A8CA-D1E8CC6E7F6A","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":"Q4643961$8E039E6B-6BFE-45D9-9453-6791BEC7D653","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":"Q4643961$32A87719-0D86-428B-B838-44D9D3460C2A","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":"Q4643961$69063A8C-1EC1-4822-B213-C6649A050A67","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":"Q4643961$3C7B7DAF-0DA8-4946-BA66-54DEE87CD117","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":"Q4643961$15BDFCB6-FFB8-4A4A-9B0F-24081513098C","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":"Q4643961$CEB157EE-75AC-4412-9C25-5C20503667C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44835e41e1d4df1a6a22b40562f0a41e1367b332","datavalue":{"value":{"entity-type":"item","numeric-id":2914241,"id":"Q2914241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4643961$EF2388E6-64BC-42EF-8B5D-CB6A765FBD81","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":"Q4643961$D29A0E2B-BB07-4422-B747-25B4B0DF8924","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":"Q4643961$0173ACA1-97FD-4C36-B2CA-7DFB3E304032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6665803e735eaf6fa986ac561fd6e5e9fc148aaa","datavalue":{"value":{"entity-type":"item","numeric-id":2908834,"id":"Q2908834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4643961$FB42FFC4-5E10-4CAF-9618-18CAB1DC2BC9","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":"Q4643961$1AB1133C-41ED-41E3-87D7-FB844BF256E1","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":"Q4643961$95C8C985-08C2-4883-A554-5BD517C9794A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"223bea82fcc0efbfede5df693d379fc1374cf368","datavalue":{"value":{"entity-type":"item","numeric-id":5891773,"id":"Q5891773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4643961$B7D38296-A903-417C-BFA6-920EDD88C9DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3cb3c6e2b62c37bcd4fded3eb1ece9185be4857","datavalue":{"value":{"entity-type":"item","numeric-id":2988912,"id":"Q2988912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4643961$1D1FFAAC-6A6A-441C-ADAA-21294992B905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cff16a935c2034837354d981dfd2339633b57e2b","datavalue":{"value":{"entity-type":"item","numeric-id":3557012,"id":"Q3557012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4643961$8218B14E-B3BE-40F8-8CB4-41A24AEDB9B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"345881c85bc4e207457b192e218d19617e3a2bb4","datavalue":{"value":{"entity-type":"item","numeric-id":5891814,"id":"Q5891814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4643961$ACE3A506-BDEC-4F11-B506-7EE6A5A900D0","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":"Q4643961$64A09F2D-B05F-4E26-A195-E2BCA8EAB560","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":"57d1e804e7658c79408f76d3455694349145305e","datavalue":{"value":{"amount":"+0.9880996346473694","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":"Q4643961$1253EC20-125F-4E42-8AC8-965BA307454E","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":"1ad8492571e95892f9e21fb547921cf72beaf7f2","datavalue":{"value":{"amount":"+0.837198793888092","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":"Q4643961$FB2A0FB5-043C-4643-BCD6-F8EEA88408E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7229bff87447c2b4955dd697a0cd30b065d1b05f","datavalue":{"value":{"entity-type":"item","numeric-id":5496927,"id":"Q5496927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08af5e75499bca9fa006e5ae4fcd0e2735b6c43e","datavalue":{"value":{"amount":"+0.8004823923110962","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":"Q4643961$5C9E6AB3-F783-464A-BF53-E7B3224C96F7","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":"0dd4e2cd75c14d623c2d07b5231a2a9d9f6b7e0b","datavalue":{"value":{"amount":"+0.7834516167640686","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":"Q4643961$CF87A785-F1F4-4FBA-86E3-F4CCA57BE2E9","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":"2230e208c28393662205714ee5b774f840e274c5","datavalue":{"value":{"amount":"+0.7593753933906555","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":"Q4643961$B019406E-DA93-456C-8E12-00D51F4AE557","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4643961","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4643961"}}}}}