{"entities":{"Q6202093":{"pageid":13336980,"ns":120,"title":"Item:Q6202093","lastrevid":93995744,"modified":"2026-06-05T05:37:44Z","type":"item","id":"Q6202093","labels":{"en":{"language":"en","value":"Pattern Matching and Parameter Identification for Parametric Timed Regular Expressions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7807955"}},"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":"Q6202093$90BA2614-D0AB-4C38-9519-E396BF15EBE4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8250701a0317ccaf659f51aad684594dfb982e1c","datavalue":{"value":{"text":"Pattern Matching and Parameter Identification for Parametric Timed Regular Expressions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6202093$CD08765E-3753-412F-8B60-1BD989F170F2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7ae4f6e22666e2881424c378dcd6ab5918655ed6","datavalue":{"value":"10.1145/3575870.3587115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6202093$C499FF5B-B379-4D1F-BA47-72528D6D6B24","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3dbaa0509c1d660a2b670ae84d43bc6cdd2280c","datavalue":{"value":{"entity-type":"item","numeric-id":1996012,"id":"Q1996012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202093$8E809F26-D413-45FE-97D0-C9875F12D62F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"63340cd02b3dacb5365f90854ea53492575e06e0","datavalue":{"value":{"entity-type":"item","numeric-id":418138,"id":"Q418138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202093$0F1980EB-EAFD-4CB0-9F53-B6D1D776E4E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"14dba23157fff59c506ec932698c3eefbed1da56","datavalue":{"value":{"entity-type":"item","numeric-id":727970,"id":"Q727970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202093$A76E469E-2734-4B9B-A6F4-5FE48B8AC456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"71d4955cd894e8f65bd4d36ba17714e84b2ab9ce","datavalue":{"value":{"entity-type":"item","numeric-id":526431,"id":"Q526431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202093$2C043FD6-743B-4C1B-80CC-AC0EB52EED1E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb2f198d23bf9650c0fcd84bd7988a6354cb1f28","datavalue":{"value":{"entity-type":"item","numeric-id":6202072,"id":"Q6202072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202093$F44F1C23-F5AC-4FC0-91F4-7C3857412715","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"53360f7ab3681474b85d2627dbbaf9766814842d","datavalue":{"value":{"time":"+2024-02-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":"Q6202093$17ED69BE-C3F6-47B4-A2BD-6A474F5CFEC4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6202093$2357DDA4-90BF-48B1-9600-5087C6839E43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6202093$8EC03F93-086F-46F2-9C51-57D93BF685DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6202093$31999F29-20C2-48AB-8733-D2BF527D1590","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f1a6e6c4cbf5664e5c0b871dbc3bd0133d44ff66","datavalue":{"value":"7807955","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6202093$B40DF86C-B106-4412-89F6-AA6A87EC87AC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0cdf1c1bb0c34455c38efcaa0f48c4ee2183838","datavalue":{"value":"monitoring","type":"string"},"datatype":"string"},"type":"statement","id":"Q6202093$C3DF534B-FB37-4FF0-A863-E4D7E6A3B520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca9f8b91945a17bce43516286e50a8817c539472","datavalue":{"value":"parametric identification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6202093$480D417B-0E46-45C5-97AF-2BFB18775F6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2450e02f50939b46b52c3140c8d1d485cebe36e5","datavalue":{"value":"pattern matching","type":"string"},"datatype":"string"},"type":"statement","id":"Q6202093$ABDC133D-A631-4D27-8ACE-E1B731DEF00B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fe0e9c1690761646a780890bf40c4c7318b6a53","datavalue":{"value":"timed languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q6202093$C1C3D016-7797-4125-9414-9B5FFB2986B0","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":"Q6202093$645A8A04-9CD7-453F-9532-EF59568C80F0","rank":"normal"}],"P223":[{"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":"Q6202093$D4E906C4-1CAB-4AAF-88BB-AFD34D3CFCDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d139b83b95572def71b75a1df76dc5855dcccdc","datavalue":{"value":{"entity-type":"item","numeric-id":5248530,"id":"Q5248530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202093$A966E3B0-82F5-47BF-ACA9-819C98C604EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d72c197e3f29ab967906174be198c67b7201d31a","datavalue":{"value":{"entity-type":"item","numeric-id":3196640,"id":"Q3196640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202093$BE82ABE1-8B25-4FE0-BD89-A991C86C778B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6025d1ee4db5f2c3f30d4cdb7ef0c14551c89c5","datavalue":{"value":{"entity-type":"item","numeric-id":5452703,"id":"Q5452703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202093$83BA35AD-73D1-4D34-B9BA-4B96F7CCD235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81797d5002215ecf47eff31728ebb0c8fa48d745","datavalue":{"value":{"entity-type":"item","numeric-id":6091405,"id":"Q6091405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202093$DEF8BBBB-5E16-4164-A104-8E8158EE7D9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed9ef0770c0afaee22d72f720752ced49595dd6c","datavalue":{"value":{"entity-type":"item","numeric-id":4561450,"id":"Q4561450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202093$D565651D-D349-4F68-B529-CEF652F8145F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f18b28229253ab3404ff3db6a7e7803e6065d4c","datavalue":{"value":{"entity-type":"item","numeric-id":1683449,"id":"Q1683449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202093$9DCD4DE1-596F-4461-ADB6-71277D9D5EE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd478f159c4c869180d227ca52122016801a6eff","datavalue":{"value":{"entity-type":"item","numeric-id":1631233,"id":"Q1631233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202093$B33A43FE-9258-4FDF-8BB7-E35D2AA2B7D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"083916f2017b01aeda514ea2dcad2a3f221372df","datavalue":{"value":{"entity-type":"item","numeric-id":2105443,"id":"Q2105443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202093$40A172CF-A61E-456E-9138-FAE25096439E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ff847ddb869802c943e293a5c2eaf00abf408de","datavalue":{"value":{"entity-type":"item","numeric-id":1996014,"id":"Q1996014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202093$9E5AA390-EC99-435E-98AD-D65E938E0F64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f7dd1fd20704a5d11302e1d4bcf8fe3429246b7","datavalue":{"value":{"entity-type":"item","numeric-id":3588086,"id":"Q3588086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202093$6CC243C1-DE46-418C-A137-33392A454202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"067f91c0adb54d88c2283a34c48ee2e47066364c","datavalue":{"value":{"entity-type":"item","numeric-id":1702899,"id":"Q1702899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202093$82A13027-3EBA-4C0A-AADC-E46F3ED71209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f22d3df01326f2e4294447d2bf0677fe3580886","datavalue":{"value":{"entity-type":"item","numeric-id":5464744,"id":"Q5464744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202093$530E07DD-FCB8-483F-82D0-FBCE0C79C7B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9461dd152e8ce718fc1992b5a137007565e43581","datavalue":{"value":{"entity-type":"item","numeric-id":3511242,"id":"Q3511242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202093$A44698C9-A6A7-4204-9E20-FC45A9BF5FC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4683d1c121e75d7c650923bf7f3292b1214025a4","datavalue":{"value":{"entity-type":"item","numeric-id":5500566,"id":"Q5500566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202093$42E2CCA0-0575-4304-B378-FE451BA5C5AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"774123a8ab7c670ddd0a12ba265fc548e3b622f5","datavalue":{"value":{"entity-type":"item","numeric-id":2272934,"id":"Q2272934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202093$188EB0E4-E621-4621-8303-4EB502829C93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f77e10f3b39a51145d1ea2d641ab084263cc22e","datavalue":{"value":{"entity-type":"item","numeric-id":4561449,"id":"Q4561449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202093$7A2EF59A-F4A7-480E-B5A9-DFA95E25DA31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28acc49a29e8471e31d4c09964494d4af124ae0a","datavalue":{"value":{"entity-type":"item","numeric-id":4603563,"id":"Q4603563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202093$A0B7E54C-2954-4D83-B1AD-6E843CDAAF37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4115920ce8ec77f67177cf96ccf4616fc0aea06d","datavalue":{"value":{"entity-type":"item","numeric-id":5239257,"id":"Q5239257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202093$0D6D3245-E074-415E-8241-96D51334777E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Pattern Matching and Parameter Identification for Parametric Timed Regular Expressions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Pattern_Matching_and_Parameter_Identification_for_Parametric_Timed_Regular_Expressions"}}}}}