{"entities":{"Q5327435":{"pageid":7357009,"ns":120,"title":"Item:Q5327435","lastrevid":58520100,"modified":"2026-04-05T14:04:12Z","type":"item","id":"Q5327435","labels":{"en":{"language":"en","value":"Reachability in two-clock timed automata is PSPACE-complete"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6196333"}},"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":"Q5327435$B258C825-42F4-468A-A202-1D9C91D9BA20","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aafde7157b664c4fd36741c36945daa121d40f25","datavalue":{"value":{"text":"Reachability in Two-Clock Timed Automata Is PSPACE-Complete","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5327435$641339F3-C31B-4220-8C79-4631BA235710","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f14a9b9f72a2e11bcf07c6ac86e8eb92baf8e3b5","datavalue":{"value":"1327.68118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327435$0A95DB0F-B5B4-4D9C-9CAB-C406B711F17E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2bcb6082c8e737cc000e0bf7c943bb985cef5f83","datavalue":{"value":"10.1007/978-3-642-39212-2_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327435$4858A2FB-D8D1-4BF7-AFF1-5150C5A13551","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c230a0b785564d61a24340635d1989b0735c2a89","datavalue":{"value":{"entity-type":"item","numeric-id":259048,"id":"Q259048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327435$1EBDF608-D4DE-469D-A2A1-60B3243ED7F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f621ede52e0e400ed40e07c9d5b412ef629a170","datavalue":{"value":{"entity-type":"item","numeric-id":293425,"id":"Q293425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327435$1B6853CE-104D-4C7B-8B8B-FD1ACD2813F9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"803e72eb03c20f6e7d37022dda043ce5d2a7ff36","datavalue":{"value":{"entity-type":"item","numeric-id":2843225,"id":"Q2843225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327435$FF6269CD-189F-43B6-9E48-0C6D3E939BE9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00eca6587536a1681b3f41d63f34e248b2e37166","datavalue":{"value":{"time":"+2013-08-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5327435$CA148033-3202-4838-877D-891137D35723","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"585924fbb1b8b28f00b6391ad2ed243cb2cc0cb5","datavalue":{"value":"https://arxiv.org/abs/1302.3109","type":"string"},"datatype":"url"},"type":"statement","id":"Q5327435$67C78300-7021-4EBF-BD4C-302F87402327","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327435$66742D38-BB5A-455B-93D6-247D9EC7A937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327435$8BFD8EFA-07F9-47D0-B9D7-3762B5A90A20","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5eadd475e01933841f6addc6d6c106be67dfd0c5","datavalue":{"value":"6196333","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327435$9BAA809E-AACB-4CC4-9CBA-812A97A5A9A1","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":"Q5327435$31D989A0-86B0-4A44-A690-7FD5C6A02516","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"167d79b98cf3ae71fb0d6d6a1720c65d36515481","datavalue":{"value":"W2046095317","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327435$CE18C9C1-278D-425C-AECB-35E01A3F685D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0e00e1bfe99a80ce44f01622eeada7882a0c522","datavalue":{"value":{"entity-type":"item","numeric-id":2347796,"id":"Q2347796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10e9956bb064d842809f0c357a242d899ecf203c","datavalue":{"value":{"amount":"+0.9967406392097472","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":"Q5327435$943E5DD0-165B-4662-88CD-4131DB052C9D","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":"bab73f5bf4ee731c1e1f83f8709c4f5dbde37a77","datavalue":{"value":{"amount":"+0.8625420928001404","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":"Q5327435$AB96674B-2BCF-4080-BF1A-9338F401B36D","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":"542119a684b9948fabbead304d7664102240eee9","datavalue":{"value":{"amount":"+0.8499197959899902","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":"Q5327435$81B4656F-FAC2-499E-993D-CBC3B6C9A1D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"527fffe8d3772234db5864533b511892413661d2","datavalue":{"value":{"entity-type":"item","numeric-id":5311487,"id":"Q5311487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42e527c661d8eb909e805858703d8d044731fc43","datavalue":{"value":{"amount":"+0.8150383234024048","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":"Q5327435$70033EB6-91F6-4CE2-9E77-0D8111E2ECF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afe37c6adb2d02fca697ffe04d0d07a47db5a4bf","datavalue":{"value":{"entity-type":"item","numeric-id":515666,"id":"Q515666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"137b9504be343dd8d8ef30ccefe145d797cfca92","datavalue":{"value":{"amount":"+0.7858835458755493","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":"Q5327435$571FB37B-E16B-45A8-8483-51BF4D9E937A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5327435","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5327435"}}}}}