{"entities":{"Q2338218":{"pageid":2348961,"ns":120,"title":"Item:Q2338218","lastrevid":57862134,"modified":"2026-04-02T20:37:45Z","type":"item","id":"Q2338218","labels":{"en":{"language":"en","value":"Effective definability of the reachability relation in timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7134468"}},"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":"Q2338218$CF97C977-E241-4BAE-965A-0A7060585FE8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4f125d368803d140b168cca14286758ceb38ed2c","datavalue":{"value":{"text":"Effective definability of the reachability relation in timed automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2338218$C76A31EC-20F4-4E64-94F7-7FE320A01FA2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1dfb9017ea5025828f3d42058a054d8f2c513106","datavalue":{"value":"1478.68126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2338218$5D7005E3-9243-46ED-B130-83B1076463F4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a014e6ba9fde789e090c1a340d6af73ab4b427b1","datavalue":{"value":{"entity-type":"item","numeric-id":394331,"id":"Q394331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2338218$EE937528-ECED-49D1-9F34-976F62CA3C4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9549af8d56928386dd48d9da653d6185d8c80ff5","datavalue":{"value":{"entity-type":"item","numeric-id":1740669,"id":"Q1740669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2338218$E2C425DF-1C5A-4AE2-ACAE-283AD90466BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"661e9e35098991710b0d0d12df6c9b690ff93077","datavalue":{"value":{"entity-type":"item","numeric-id":391131,"id":"Q391131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2338218$7D18DF60-7749-4F0D-8B3C-BEE5254B3E24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ac1f415631a4eb910cb7254df99f703f97084f4","datavalue":{"value":{"entity-type":"item","numeric-id":548691,"id":"Q548691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2338218$536FC225-4E7D-49E4-B75C-98A529139300","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2338218$2EBA0050-242C-4C0B-9AFF-ED56789EF8F3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df8a8a76ae09508c8444c01bbacb33e3edfbee9a","datavalue":{"value":{"time":"+2019-11-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":"Q2338218$5272814B-57D8-4560-A339-5891F399B584","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"99f5b4cdf7e8651d2130f4e14d6c09f4f7d8de79","datavalue":{"value":"https://arxiv.org/abs/1903.09773","type":"string"},"datatype":"url"},"type":"statement","id":"Q2338218$D59BC232-13A0-4592-8A25-9DE709EC3D0F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2338218$3660663E-C59C-451B-9286-0CFEA1B6BA0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2338218$BA643C24-B3E8-40F9-8798-04448731D0A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2338218$51FB8A56-1A83-4094-A270-AA3945C3A9AC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fd13b2e460a3f1433aa9ee306538a3945258b027","datavalue":{"value":"7134468","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2338218$84051E7E-87C2-4046-927D-CF297B738481","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e5e6e64f7f171dc89f3c77310230730ce57088b","datavalue":{"value":"Presburger arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2338218$D4D90B40-98B7-4022-A027-F0F9036506A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0c6f57c02377db44efaae6653cd9eb296a5d992","datavalue":{"value":"region automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q2338218$6438D4FC-01FF-40B9-AEF7-C860C19413A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36684c3e7ff30f81e4698e5d7b5f91b220a88e16","datavalue":{"value":"semilinear sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2338218$032A600F-B42E-49F1-8FDA-0EFCEF695C42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d42570b3f07ce49731c7e0056d1267e6d7e49d53","datavalue":{"value":"real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2338218$611379A7-65A9-4AF7-B2DD-47B742CB44B2","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":"Q2338218$52F6F644-86DD-4589-B5A8-07D46B7EA369","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2ab6df4718ae411e05536922ea342062605d3a4a","datavalue":{"value":"W2981343893","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2338218$6A3F11D4-5224-4B4B-A441-5864DB1ACF74","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"acbe5a701cddd7194eb28385f2a16723583b00bd","datavalue":{"value":{"entity-type":"item","numeric-id":4270062,"id":"Q4270062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2338218$592A8DD4-B8E7-44ED-87A4-A294BB94AF66","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":"Q2338218$BF65B9AC-445C-45BD-84B8-6043BFA03F56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa15744995f7cdcb1b651d1683f9112676384ff0","datavalue":{"value":{"entity-type":"item","numeric-id":5897779,"id":"Q5897779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2338218$0569D351-8822-420A-8263-6D424ED417ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9743b55cd54e93380b244a334e4a643dc49b45a","datavalue":{"value":{"entity-type":"item","numeric-id":5144644,"id":"Q5144644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2338218$3EC1390D-595C-4A1F-BC89-F641680A943E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"621c7d5ef906a1b82f3cc10a2850a2f3469b457c","datavalue":{"value":{"entity-type":"item","numeric-id":5002803,"id":"Q5002803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2338218$2C93D3AB-6DB8-457C-9BBC-953AE81EACF1","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":"Q2338218$A9702420-95C8-4305-8B89-B7AF65B13E21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b2f6d9e95ba73935895f0d9510488752c2578c0","datavalue":{"value":{"entity-type":"item","numeric-id":4418686,"id":"Q4418686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2338218$520C9E31-DF5C-47AD-B088-64E3AB8BA913","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d0df8e773e101bfc236f7249d429059aab46d7b4","datavalue":{"value":"Q127010321","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2338218$2E9DF5D7-6D4B-47E4-8E35-AE2F0DBD0B8C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9f849249aa7f3bf820ff638b391ece01fce5894e","datavalue":{"value":"10.1016/J.IPL.2019.105871","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2338218$2F42E89E-79FA-46B4-852E-7013D64BD0D9","rank":"normal"}],"P1643":[{"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":"28522d4c4d0e0dd0cd14fba83b13ac30ee755c71","datavalue":{"value":{"amount":"+0.92414427","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":"Q2338218$6FA593A3-E475-4500-A55D-A4DC9B88D7E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ded305ec011f37a054374169bff44564373fcab8","datavalue":{"value":{"entity-type":"item","numeric-id":5144644,"id":"Q5144644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1f69e3bf9e7ddf864ec697458570fe1de7f9e6e","datavalue":{"value":{"amount":"+0.91533196","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":"Q2338218$3A8BA3CE-DE10-4215-B845-7E8357F117EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7d77e06880aa2271e99ffb9b3e42f5f0acdcbc9","datavalue":{"value":{"entity-type":"item","numeric-id":2968526,"id":"Q2968526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8da2cab54b8081ccfa1ec0c9e8ffd00f33a91c4","datavalue":{"value":{"amount":"+0.9082004","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":"Q2338218$A2911939-A168-49EB-BBE6-D4B358BEEECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1a7fb4cbc9ddf1f11bd4004c7787ccd196032d6","datavalue":{"value":{"entity-type":"item","numeric-id":4899143,"id":"Q4899143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"176d13264a3c753c9bb94c2aae4894fd487d1b7a","datavalue":{"value":{"amount":"+0.90448755","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":"Q2338218$FA0856A3-9ADD-4DB1-A874-AC3B508C7AFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9820375f007d27aa50d4bc854f27bf0b338b516","datavalue":{"value":{"entity-type":"item","numeric-id":2044206,"id":"Q2044206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fb585fa21440476e1d5c75e43baa43b56a760ac","datavalue":{"value":{"amount":"+0.8966409","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":"Q2338218$ED600F20-0EFF-4F16-B1EF-6A59640F29E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d208b446ccac64af76ccde11e6b331963a03dcd9","datavalue":{"value":{"entity-type":"item","numeric-id":3584959,"id":"Q3584959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83ddf328964f1cbd122c78eb72f9ee9a691191f7","datavalue":{"value":{"amount":"+0.89593405","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":"Q2338218$8ECF308B-126E-4AF0-A2D9-300D77026B1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcc616493ac9c0129409a3d4e064a7bf6f62e2f1","datavalue":{"value":{"entity-type":"item","numeric-id":5469517,"id":"Q5469517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e5f7054c0ab64de16f9b8c3f2c94d91abf659fb","datavalue":{"value":{"amount":"+0.8956145","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":"Q2338218$9C915DDD-CCED-4FE8-A978-45436A7ED67A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc80dffbe3b64d83605b768a73cb920dcb374fda","datavalue":{"value":{"entity-type":"item","numeric-id":5045465,"id":"Q5045465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86057c3aa4dd157eccdadbb77b5ac403e618ce58","datavalue":{"value":{"amount":"+0.8932073","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":"Q2338218$EC2726AC-5362-4590-9ECB-7A208CE8BCC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"001dc6cd15a1c008b5c769c788cb4bfaaead2353","datavalue":{"value":{"entity-type":"item","numeric-id":1399974,"id":"Q1399974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0707c193b5ab78e2a65d79a8e1573bbd351bb042","datavalue":{"value":{"amount":"+0.8836702","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":"Q2338218$1260116E-7D16-4E13-8DB3-F10955F994E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de1ea2d9e13bc0481c7671b5c818c084ac5c6423","datavalue":{"value":{"entity-type":"item","numeric-id":5094115,"id":"Q5094115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16d2ab39e5efb63066023cd3a34caa3871bf9547","datavalue":{"value":{"amount":"+0.8836087","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":"Q2338218$D3590C45-B869-47D3-92E0-290C00DD219B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2338218","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2338218"}}}}}