{"entities":{"Q2347796":{"pageid":2358539,"ns":120,"title":"Item:Q2347796","lastrevid":43921164,"modified":"2025-11-17T15:09:47Z","type":"item","id":"Q2347796","labels":{"en":{"language":"en","value":"Reachability in two-clock timed automata is PSPACE-complete"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6443997"}},"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":"Q2347796$E310CA1A-D28B-4558-B1F9-497DFBC85BD8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"132a2c75db1f2ccc922338f7d0518d2a6316daec","datavalue":{"value":{"text":"Reachability in two-clock timed automata is PSPACE-complete","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2347796$6F82304E-820F-41F8-89F0-0B80291B2A59","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"75279afe8850b7ce5900727873d633f517c17ae0","datavalue":{"value":"1345.68155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2347796$C34D9338-A5B6-4611-B670-0965F2BCA7B0","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":"Q2347796$29887381-A7ED-4CB8-A68E-A01AF6572861","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":"Q2347796$C1F45C18-42D8-4774-869C-4554B342E915","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2347796$6A892D60-C0F9-45A0-B5C8-182E68B75249","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2cc2e549e7abe5b2e4af58c8f5718fb16ed95289","datavalue":{"value":{"time":"+2015-06-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2347796$872CE8C7-F927-499E-B3CB-5C7AF666BFC1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2347796$6D26BF99-1E68-4D8B-852C-2C06F850A128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2347796$9709C4D2-8E1B-4DBD-AADE-6DDE8F3B9C65","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1fbc6b7f19f8d8a407dd09712cc47e7554b89f67","datavalue":{"value":"6443997","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2347796$1FBE708A-2EA6-4744-B463-5533D5D1E329","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2347796$7F33A6F1-F549-44AF-A9A8-1977205A6215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"278889c234cf01d7d5e7d0a30acad59211bfe558","datavalue":{"value":"counter automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2347796$86D98B7A-4300-4AC0-AEA4-BB18D2401E0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a05cfd9da536bc8387292ab9359d3f7e9902a360","datavalue":{"value":"PSPACE-complete","type":"string"},"datatype":"string"},"type":"statement","id":"Q2347796$38404CD3-3795-4A87-9632-98C702853872","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":"Q2347796$EBB9E3F4-C3B4-480C-94FF-6AD1E01863AF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5f916f60a23c33290467d5b2fee78028b3bf83c1","datavalue":{"value":"https://doi.org/10.1016/j.ic.2014.12.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q2347796$85280D46-C4FE-4173-9C6F-68E086DB7EC1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d82619a0a3c1d1c172f4342fba259a321d1a14a3","datavalue":{"value":"W2952380278","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2347796$247A4D65-3A5D-41C5-8330-FCB07F7FDCD2","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":"Q2347796$E275AE31-1606-4B5B-8761-5E21D876CAA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c70c0dabdb0103585d533726a79f7830f625e5e","datavalue":{"value":{"entity-type":"item","numeric-id":685111,"id":"Q685111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2347796$AA32E7B9-76B3-4EC7-AE5F-2E11C0367565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c01c60dc1f5a5692f2b27f6a909c5b8350bb9fe","datavalue":{"value":{"entity-type":"item","numeric-id":5311487,"id":"Q5311487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2347796$B21B432D-8AAF-45F6-B42D-DB478B8DFCBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1014fde4077be02a2601658792b1c2731e0e6b9f","datavalue":{"value":{"entity-type":"item","numeric-id":4899143,"id":"Q4899143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2347796$E25481D9-CF18-4516-A564-58C63948E225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d9066281e5b3618aeffcb97107bfc8ee2bc7c9d","datavalue":{"value":{"entity-type":"item","numeric-id":3543286,"id":"Q3543286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2347796$D7B7FF90-6A0D-4D6E-95E2-9739F372783B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a521f54a7c14150a5df9a9e9f1892234d1fe0bb","datavalue":{"value":{"entity-type":"item","numeric-id":3184686,"id":"Q3184686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2347796$66518C9B-BFA4-41CE-B1A6-4807F0C2D728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab9b3c34d39fcfbfa5ef48ffa5afc91a19dbb49a","datavalue":{"value":{"entity-type":"item","numeric-id":861262,"id":"Q861262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2347796$39F355B7-8F08-4F7B-9E65-BD9BC960FED3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"55d3e9d49129a87eb30edb28a70ed994286a34c4","datavalue":{"value":"10.1016/J.IC.2014.12.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2347796$C567EC4C-940C-49B5-9C21-DE66B1B1F23F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"316c45f2ebd8592f034cc4fe4f5b92d698d0c598","datavalue":{"value":{"entity-type":"item","numeric-id":5327435,"id":"Q5327435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c130a0863576be07b42d71b3c003e1384d82efd4","datavalue":{"value":{"amount":"+0.9999998","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":"Q2347796$9329AA5A-3DE7-4587-919D-3D9C667BF59B","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":"ffa0b5af8e398a8f5e4ef7057a645eaf6da7ca78","datavalue":{"value":{"amount":"+0.87875795","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":"Q2347796$C4CD2EE2-D1C5-448F-A032-132221F43841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09cbf31ef00693b46c67d824556b690879d0db6f","datavalue":{"value":{"entity-type":"item","numeric-id":4551181,"id":"Q4551181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3465c4bf0899640febee7e5759450564363ab0e","datavalue":{"value":{"amount":"+0.8711151","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":"Q2347796$BE536623-0CDB-4446-A405-66E3172A620C","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":"5c04da747c25c77dd6c700023a03271a26dd6d95","datavalue":{"value":{"amount":"+0.86444855","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":"Q2347796$564C6576-646E-422D-B0D2-AB0F5034AC5D","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":"f9b6c0ab868855690feb229c2c1355f48d5183fd","datavalue":{"value":{"amount":"+0.8593445","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":"Q2347796$1F03C269-AC81-485F-AF1B-5572499FDD6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e3f898415c54333b7a8f82be8c4ba26fd6aaf2d","datavalue":{"value":{"entity-type":"item","numeric-id":5002803,"id":"Q5002803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ff33c3b8935635543c03c4e0633b178357da066","datavalue":{"value":{"amount":"+0.8582197","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":"Q2347796$9925D1BB-302B-429A-9779-203E0E132B9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0b24b9a757d82923f7e4e8223d5783ecafbc057","datavalue":{"value":{"entity-type":"item","numeric-id":2754074,"id":"Q2754074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f115ebf294e0886cb5fab9a0526702e7ac2902e1","datavalue":{"value":{"amount":"+0.85583615","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":"Q2347796$529ADF6A-B434-4746-8416-BE81EB120AB1","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":"332781778aa59527cc507296713267c6e024882e","datavalue":{"value":{"amount":"+0.8552601","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":"Q2347796$991402B0-F8B3-4E50-BF6D-4F83965621DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eae0dd71ee27d0cc46fc4ca7ff1df1b6652ee2f9","datavalue":{"value":{"entity-type":"item","numeric-id":5179423,"id":"Q5179423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c32348a2d7501d241b67d2b3e3c840919279e6b6","datavalue":{"value":{"amount":"+0.848354","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":"Q2347796$B235828E-0AA7-4772-BA3B-61AA007BA15E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0d501d2d0d2198be6a196caa018a09e9dd97093","datavalue":{"value":{"entity-type":"item","numeric-id":3005245,"id":"Q3005245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c32348a2d7501d241b67d2b3e3c840919279e6b6","datavalue":{"value":{"amount":"+0.848354","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":"Q2347796$FB7A8EA2-ECEE-47A7-A8D3-05D94C110558","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2347796","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2347796"}}}}}