{"entities":{"Q3194716":{"pageid":3205424,"ns":120,"title":"Item:Q3194716","lastrevid":52370534,"modified":"2026-01-22T11:57:49Z","type":"item","id":"Q3194716","labels":{"en":{"language":"en","value":"A logical characterization of timed pushdown languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6496822"}},"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":"Q3194716$8DB6BE06-5A9D-4536-B960-F7CC94332CBE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0906219b3eee0fcd1159b043a107a8003214abc5","datavalue":{"value":{"text":"A Logical Characterization of Timed Pushdown Languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3194716$8C7AB81C-031D-4CC6-B17D-A1628344E769","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"65104be4d392f2859a880a276bc619dfd6602693","datavalue":{"value":"1466.68050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3194716$5B978DFD-CA97-4495-972C-3596664041FE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2608d02d2a1fe05808176059c92ec1adbab3ee24","datavalue":{"value":"10.1007/978-3-319-20297-6_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3194716$0B5BD9AC-13E9-4FAC-AC36-FFF9585B0EAF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f95497efcf4cfff655d901d69a1e66fba3bb20b7","datavalue":{"value":{"entity-type":"item","numeric-id":504992,"id":"Q504992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194716$52E2A50C-8D77-4E93-9305-680FDF42A318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d77a7be4855473ed96522980e8feac1b6621e47","datavalue":{"value":{"entity-type":"item","numeric-id":382935,"id":"Q382935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194716$56AAA9C7-1EAE-4030-9F91-2EC22615685C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194716$945401B4-2149-44C5-BE7B-1FCE2C780172","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0ca124807d665f1ac71f73d3aada45c27dfaabea","datavalue":{"value":{"time":"+2015-10-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3194716$9A501DA5-5973-4273-A40C-CD09368998CA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3194716$AF794B00-3D0E-47B8-94B3-F9CA30980B22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3194716$651ECD5D-777D-4E8F-BEA9-A83D586DB51C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9c38930d723edc04da75ea69077ca958f616835e","datavalue":{"value":"6496822","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3194716$7D2930C1-8674-42B2-AFFF-21408CBA9657","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"590246f1f69e027c3947ff03bbca740214653514","datavalue":{"value":"timed pushdown automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3194716$58663E75-9560-4558-9491-A76797611892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7edc067c231fb0d474ec785414d027813dcbf37","datavalue":{"value":"visibly pushdown languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3194716$506EFE25-D7D2-4345-A55D-6B003E7D14EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fe0e9c1690761646a780890bf40c4c7318b6a53","datavalue":{"value":"timed languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3194716$A414B1E4-7093-48FB-9FDD-C26588DF3B5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c746ff48c245b4f9b1b2bea226dbf447aadabbbe","datavalue":{"value":"relative distance logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3194716$52CF2A09-ED00-4256-BD0A-31B268719708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f688ae621af73201a019c8f1194e5d3f579b7573","datavalue":{"value":"matchings","type":"string"},"datatype":"string"},"type":"statement","id":"Q3194716$50EBCE98-F11E-4744-8220-53617A15BDD9","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":"Q3194716$04CCA6EA-9886-44C8-A0C7-690367CA9FFA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6676587665e8136481e05447d3d3f3e4858cc835","datavalue":{"value":"https://doi.org/10.1007/978-3-319-20297-6_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q3194716$FABECCC7-E8C9-46B1-BC6C-97BC09956344","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0427b6ce9af6fd2ace8d746fe2b1caca8448a08e","datavalue":{"value":"W1040856184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3194716$590DF2D9-5C27-4B3E-A575-F0EA82AB90D3","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":"Q3194716$DC6F11AE-BC9A-4E6E-8B38-174703303910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e949ff77c9880cea9ecfcb6d25a522851e32a020","datavalue":{"value":{"entity-type":"item","numeric-id":5404901,"id":"Q5404901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194716$70EEF20D-AD28-4F5E-8AE2-F64EA616A342","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":"Q3194716$4000EC00-664A-49A9-AAF4-F07524596BD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e7aeeecf2d28d1d75570eca357b2bf733654064","datavalue":{"value":{"entity-type":"item","numeric-id":3580970,"id":"Q3580970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194716$B592F740-3552-4B53-890B-C2446FFA99E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3632afaf7c9124694de853efafd5cd84e2a50881","datavalue":{"value":{"entity-type":"item","numeric-id":3859267,"id":"Q3859267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194716$BA069A23-C201-414A-89E6-5B8890394220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"465c44674a94414cb55e7dc8cbdf974e7462af9b","datavalue":{"value":{"entity-type":"item","numeric-id":3287248,"id":"Q3287248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194716$6FB11B2A-53CD-4C75-A178-56851CF0819F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a20241696e85f4f1677f8cc6b6c4bec15e7c584","datavalue":{"value":{"entity-type":"item","numeric-id":1401320,"id":"Q1401320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194716$615B3D9B-B612-47FD-85B5-4C08F92AC214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5fe74d71647df58cbeb87817c49bc896fc5aa69","datavalue":{"value":{"entity-type":"item","numeric-id":2373736,"id":"Q2373736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194716$1DF2B465-8D93-4256-BB25-9230C521D8C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aab9f62077caaf60920036792534e0511392831c","datavalue":{"value":{"entity-type":"item","numeric-id":5167836,"id":"Q5167836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194716$9CC6DB07-1177-4BD0-9C04-CADBFF2415B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef6d200e493964b07f6f93eda4c1ae61358d7d05","datavalue":{"value":{"entity-type":"item","numeric-id":3848195,"id":"Q3848195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194716$D5509E36-7A53-4365-8D30-874E020FDE4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13f2a0e2d35e536265d05b63b1e06b51dfd1edc5","datavalue":{"value":{"entity-type":"item","numeric-id":5898979,"id":"Q5898979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194716$E723FF21-D113-4BBF-B6C4-130338CD8898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5aec100dd463a14d7c0590bcfcb94ababf6d061c","datavalue":{"value":{"entity-type":"item","numeric-id":3519504,"id":"Q3519504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194716$268B3642-C82E-4710-A664-22ADA22178F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afbd0c5139cd54c5bc85147a9057c45e6c7edee7","datavalue":{"value":{"entity-type":"item","numeric-id":1220392,"id":"Q1220392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194716$8FD145AA-0078-4E34-A139-E262FDF3EC29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20071a4fbe3c18b8193eef4ac041037a8ad62151","datavalue":{"value":{"entity-type":"item","numeric-id":548692,"id":"Q548692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194716$37C1F70D-9622-4FD8-8109-8B1478C7EC07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b48fcb02d6e81a5897367606519605757835a93","datavalue":{"value":{"entity-type":"item","numeric-id":5538923,"id":"Q5538923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194716$8B24BB94-68F8-4100-A883-230B288CFE52","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c19bc80134745b1843dbeee966ff87d377074aa7","datavalue":{"value":{"entity-type":"item","numeric-id":2947171,"id":"Q2947171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bea13876009b6fbf3ad2f5d4190fc9fea730c220","datavalue":{"value":{"amount":"+0.9000760912895203","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":"Q3194716$C61B9F5B-EB78-4B8C-AE9D-2B82AFB5190D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae8553cffd146482226405a79cbc777371373785","datavalue":{"value":{"entity-type":"item","numeric-id":2986779,"id":"Q2986779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a69197fb305a36ae980086364dd19a9eebe0c3d","datavalue":{"value":{"amount":"+0.8543106317520142","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":"Q3194716$ABC2A387-6789-4737-AFEF-5A22779E0865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0482529a548be358e86d05f4023954dc718641d","datavalue":{"value":{"entity-type":"item","numeric-id":2798712,"id":"Q2798712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ef4bf53c369163b8e2cff628b1dbdeacce079f5","datavalue":{"value":{"amount":"+0.8204206824302673","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":"Q3194716$6BCB9E11-4C86-49CE-B8BB-1E9C3DB2EA92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8078b6e2afbf2a0d3b140f3f54f92f2658da4f4","datavalue":{"value":{"entity-type":"item","numeric-id":4635851,"id":"Q4635851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a03e702bc3595f74462f4e603ea20fa20dd0b79","datavalue":{"value":{"amount":"+0.8181188702583313","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":"Q3194716$F2391A3E-8FC3-4272-8311-2B6585951D87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fec18c4235af2a35cc605d0c7f8f5b7c5c04579","datavalue":{"value":{"entity-type":"item","numeric-id":2221811,"id":"Q2221811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3045dc1a7400c51c4865f8340ebf6fc1e978d9f7","datavalue":{"value":{"amount":"+0.8063979744911194","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":"Q3194716$876171FD-1B66-4763-AE79-014B683A27E4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3194716","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3194716"}}}}}