{"entities":{"Q728264":{"pageid":730113,"ns":120,"title":"Item:Q728264","lastrevid":63922455,"modified":"2026-04-11T16:27:11Z","type":"item","id":"Q728264","labels":{"en":{"language":"en","value":"A logical characterization of timed regular languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6666066"}},"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":"Q728264$2626D902-80D7-4C30-B994-720282180F69","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7378670149c54b8f99eac1ff06067f9eb501231f","datavalue":{"value":{"text":"A logical characterization of timed regular languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q728264$0B0486DE-29B3-47B7-80A7-BF0DA2D03551","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ecebebc38bd4d018087588ea49163473bdfa8467","datavalue":{"value":"1355.68150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q728264$9A03409F-0A8E-4F78-A782-2BD4C7D62FEE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"35a0e27373663474dfb6f73cfa90e55043359faa","datavalue":{"value":{"entity-type":"item","numeric-id":262134,"id":"Q262134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q728264$28AB4F9C-4614-44F1-A16E-6405540AE2DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"461bf1f4461967ef415175b84a0cc2e94943940b","datavalue":{"value":{"entity-type":"item","numeric-id":262135,"id":"Q262135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q728264$FD3F088D-E349-4526-AE38-5955E3528174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"856e553426bf2fdacc265aabae14211fd962289f","datavalue":{"value":{"entity-type":"item","numeric-id":262136,"id":"Q262136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q728264$6ED267E6-A11C-4008-9B93-7C2ACDD62AEF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q728264$894C6FEC-21DA-4CB6-BD81-1B5566EDA9A9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e0998906a3f5f9dd24dbdb46d708bb63d226654","datavalue":{"value":{"time":"+2016-12-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q728264$1CFFBF56-2DF3-49AC-953D-8E550897DEE7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q728264$99A2794E-99B3-483B-9F99-43E57D3058EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q728264$BCE39707-1A83-4836-A038-84630BC0CD26","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b24b926602ad994de3f9585d4d3eb5a2ef317ec9","datavalue":{"value":"6666066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q728264$C83E3D02-2916-4878-B10F-2837E39605E0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q728264$8D9B5823-A528-483A-A57F-BCB68D7DD9B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"edf5267b32bcb346e9ddaa8f55fe6bde921cde48","datavalue":{"value":"dense-time temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q728264$1E59B28E-D647-435A-869D-71E207B23F4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"265d4dec090edd0d94951e9647b875d174520b02","datavalue":{"value":"constraint linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q728264$641907B0-65D8-438B-A035-E0E75E4CE32D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q728264$AAACB0A8-A659-4063-BBF6-22AF2117238F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q728264$E6C5FB30-D5B6-4CAF-AF3C-E564D972E517","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":"Q728264$20F3858C-FE0B-445F-BF58-FFBF06E01AE6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5614081bb957c4a99a714ef6e89f287e2205f613","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2016.07.020","type":"string"},"datatype":"url"},"type":"statement","id":"Q728264$B321E81C-902A-4AAC-AE1D-D7459C117F29","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b319d35ec033357edce290e7f8418e076e7bafa6","datavalue":{"value":"W2504709358","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q728264$612C8CA1-D371-422D-9A09-216FFA42DECB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d90e9188d4743f7b3c6e6c5952fc4df813e99619","datavalue":{"value":{"entity-type":"item","numeric-id":262137,"id":"Q262137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q728264$E9449753-0BD7-44AB-9B99-93E5C6D2C0B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a111fd6b41142556be158a9e4355579ce228e094","datavalue":{"value":{"entity-type":"item","numeric-id":897649,"id":"Q897649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q728264$56B8F90D-ABB2-4D96-BA00-583A583E0731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec52d74a9f22183855545a3e8c37b1f583d71f19","datavalue":{"value":{"entity-type":"item","numeric-id":2922004,"id":"Q2922004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q728264$70122F33-FD52-4D0B-94D6-EA132E7E4C0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5007ab9c32bf580f8fd9174eb22767a4264f2f9b","datavalue":{"value":{"entity-type":"item","numeric-id":3988797,"id":"Q3988797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q728264$483DCE86-9ACD-41B2-8B49-3F2D7581DF5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be00c63685f57348b9e88ace758aea96980b1481","datavalue":{"value":{"entity-type":"item","numeric-id":4299300,"id":"Q4299300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q728264$B2E29B08-0C69-4965-A7D8-676673C5EE56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8e019e14c862ddaf7bcd66cd64d6515bc5dc195","datavalue":{"value":{"entity-type":"item","numeric-id":4371517,"id":"Q4371517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q728264$9F617A3D-0965-498C-9120-EA798B6EB531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da4bb6f9cf8d59bb08e30fa860898c4d527ef942","datavalue":{"value":{"entity-type":"item","numeric-id":4945224,"id":"Q4945224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q728264$F920D1C8-5A99-4648-BA08-089C7385822D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fc469c4b64939fa3213fd5c9dd72bc911bc54d8","datavalue":{"value":{"entity-type":"item","numeric-id":3519496,"id":"Q3519496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q728264$614FD407-E652-4148-8BA5-99C970B9ED10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"357094579c73b50d60f5fd2182ff88b16f7ee167","datavalue":{"value":{"entity-type":"item","numeric-id":5899071,"id":"Q5899071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q728264$968838EA-ADBE-4FE7-98F4-6E563792EDF1","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":"Q728264$D7F4F5D1-3352-4420-83F6-281A8B1AC522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d713119ce499c7aa6060f9ba74dfee79edde132","datavalue":{"value":{"entity-type":"item","numeric-id":870361,"id":"Q870361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q728264$B72FC2AA-BF12-45F1-89B8-5821A4E1833B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12374fd48df592c4be9d57628a281abf855bba56","datavalue":{"value":{"entity-type":"item","numeric-id":472802,"id":"Q472802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q728264$244E2860-7A30-4BCE-AF95-E393481FD643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf7b7124083a88a2ca1c16cc51826c05c895649","datavalue":{"value":{"entity-type":"item","numeric-id":5168514,"id":"Q5168514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q728264$C71878CE-D118-415E-B5CA-7515CF2989F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7c97156c100c0e84fcb38cf468fe4a906435c77","datavalue":{"value":{"entity-type":"item","numeric-id":5404480,"id":"Q5404480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q728264$531579EC-0CF3-4173-866D-1B7105FC735E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25a00b00f1093fd8e565aaa95021eab02d7ccebe","datavalue":{"value":{"entity-type":"item","numeric-id":5500555,"id":"Q5500555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q728264$8A096F2B-037E-4FD9-8C61-73D5DFA13AA5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"94bfd22b1ebbe28af37ba6d94d7b709b97c3e2b0","datavalue":{"value":"10.1016/J.TCS.2016.07.020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q728264$B2B79AE5-7822-4352-9430-771236CDDB75","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b06f0a5825ccf8d2bb609e990d4a2da1868e261","datavalue":{"value":{"entity-type":"item","numeric-id":2922004,"id":"Q2922004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"047436c831a57d3cb1f798f702bbd6c89965d355","datavalue":{"value":{"amount":"+0.9699143171310424","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":"Q728264$D715AF5A-5653-4341-AC91-F2795D0E1EC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4573f520ed8b5b886ff0bf51173b475c6b8b07ea","datavalue":{"value":{"entity-type":"item","numeric-id":1989329,"id":"Q1989329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f7ede919d7498699dcea844aae6faa791789353","datavalue":{"value":{"amount":"+0.8432081341743469","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":"Q728264$12E5BCDC-4B06-4798-AD64-C84D3DB81B6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09f56e378cd126375a4faed1f9d35cfaa84e354b","datavalue":{"value":{"entity-type":"item","numeric-id":262137,"id":"Q262137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f527295a15c32deb34a7eba91b505956a9bd26f1","datavalue":{"value":{"amount":"+0.8204817175865173","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":"Q728264$B2985598-CD73-458F-8E7F-2B4D2ACFA3E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b622d28cdc99702e9c59a8c5757277fab5f3b7a","datavalue":{"value":{"entity-type":"item","numeric-id":5376664,"id":"Q5376664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c16863d563687e20fe537612d2631695dbcaea75","datavalue":{"value":{"amount":"+0.7903847694396973","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":"Q728264$6719C4B4-1950-40C6-806B-450AF5E2D62A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb5de592e6f455f32c2ae0957595a9c3e38aa524","datavalue":{"value":{"entity-type":"item","numeric-id":5111294,"id":"Q5111294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b99be54a2509ebb34501d9ab03c5f7452ac891f","datavalue":{"value":{"amount":"+0.7894546985626221","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":"Q728264$E638716E-0371-4575-A368-686B98B6F8A0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A logical characterization of timed regular languages","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_logical_characterization_of_timed_regular_languages"}}}}}