{"entities":{"Q6967324":{"pageid":21307008,"ns":120,"title":"Item:Q6967324","lastrevid":84054329,"modified":"2026-05-08T22:53:44Z","type":"item","id":"Q6967324","labels":{"en":{"language":"en","value":"Satisfiability checking of multi-variable TPTL with unilateral intervals is PSPACE-complete"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8056640"}},"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":"Q6967324$812DFFD1-D83E-44D1-8F92-80E2DE5AEDDA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0b83b4d5a4f20b1934da7a339ca426082b2487a7","datavalue":{"value":{"text":"Satisfiability checking of multi-variable TPTL with unilateral intervals is PSPACE-complete","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6967324$85E6E010-21FB-4AD9-8160-1854963423A0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d9d6010bca230938751d3d420263683d2ff98882","datavalue":{"value":"10.4230/LIPICS.CONCUR.2023.23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6967324$0FCFB286-B5E8-487F-8A24-9BEAF64AFC7A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6807c838a0c13cc8536b7508e779053a5949ccae","datavalue":{"value":{"entity-type":"item","numeric-id":537906,"id":"Q537906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967324$AC682D81-D7B8-4126-AD03-85A3BF592013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f8d02654dd6fd12b02af35b830cd4db0721ab87","datavalue":{"value":{"entity-type":"item","numeric-id":6875035,"id":"Q6875035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967324$843847EC-CA33-482B-A41E-A0E56D9E8FF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd27e91c4471a6c2f2d14ef8212c1a71ddfcbbaf","datavalue":{"value":{"entity-type":"item","numeric-id":453531,"id":"Q453531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967324$609C4B45-E2B5-4782-BB81-958E004CCEA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ebecdc8963b6629e72067e9f36e75100892dbdd","datavalue":{"value":{"entity-type":"item","numeric-id":673874,"id":"Q673874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967324$232B2741-AFCD-4230-A392-630A8592AAEC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ccf6047abb150911ac4decc7c0ffa4e59e6e1fec","datavalue":{"value":{"time":"+2025-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6967324$13345CC6-924A-4EA7-838E-2E697DC1B1D2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6967324$14E54BB0-062B-45E5-BEC5-F45E360A9F38","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e51bb136aaf78c73d992a11333506ca91d4da164","datavalue":{"value":"8056640","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6967324$724205A6-6120-4E5C-8406-CF133C887970","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967324$9A5C6880-12E5-4DB4-B342-0C7CB380BB72","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6109d987e489b4316cd2b5c1f3c06f5223d0f188","datavalue":{"value":"TPTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q6967324$4447FCBF-98C9-4454-BE2D-8193C6D7DEB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6967324$DD8E34E1-2236-4B3A-8757-D3C7AC2E75B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"386db65e294e1c574d89f7f933927332ed61a3fb","datavalue":{"value":"non-punctuality","type":"string"},"datatype":"string"},"type":"statement","id":"Q6967324$0F9F268F-43AA-48B6-96F9-564856E4ADC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6967324$DF6FDCCF-22D7-4337-B06A-6CDB086A3D53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78e469cb56ef748b3f9619abee5f10dfa052a7b9","datavalue":{"value":"expressiveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6967324$29A3D90E-F92F-4864-AEE6-36F2515A4299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4be726028d602441eec07fb8278cda769b4fd0b","datavalue":{"value":"ATA","type":"string"},"datatype":"string"},"type":"statement","id":"Q6967324$E17E7EF7-970C-4BCC-A524-32EBC17E0F16","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":"Q6967324$BE0181F9-3991-4C94-B4A3-31427C2F6BAE","rank":"normal"}],"P223":[{"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":"Q6967324$DF4A3C03-F23B-4543-92E2-C67B3C6054A2","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":"Q6967324$14367BDC-AA5A-46DE-9019-21658E925A98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c01797238679efe6e5fb4fb6f8074de29bf54dd","datavalue":{"value":{"entity-type":"item","numeric-id":5255815,"id":"Q5255815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967324$6B8727C5-A407-41C6-BFA9-1AAECF458DD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"476b053757dfd493b160f0bd386b81fa8778d445","datavalue":{"value":{"entity-type":"item","numeric-id":4230338,"id":"Q4230338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967324$8EA9C0C8-18A2-4CF8-80EC-929E5D968773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3c7f8b3f1ff6940d5ec48ef42f10efe12dcb747","datavalue":{"value":{"entity-type":"item","numeric-id":689093,"id":"Q689093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967324$E09752B8-D901-4116-B4EF-82596F3D3F2D","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":"Q6967324$53507441-C902-4BD2-B186-BCA9AEBDC253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dac790e62b172c6d0243b477cf163852ec811c8","datavalue":{"value":{"entity-type":"item","numeric-id":5897789,"id":"Q5897789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967324$27FAF7E1-9ADD-4B90-AA4E-AD4C8D2AA38B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0cb74d23b43c669d624e24b067c452169d0ee17","datavalue":{"value":{"entity-type":"item","numeric-id":2024340,"id":"Q2024340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967324$50EBB612-04EC-43E3-AB3A-C2403D06F78B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86cff247738892f2e8be9f3fad6536e34cc42e30","datavalue":{"value":{"entity-type":"item","numeric-id":5431331,"id":"Q5431331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967324$59862E34-E20A-4F96-B8B5-3D80EBF9B52D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83b1d8b60bd8b9024eaba5ba2a50043ab2519775","datavalue":{"value":{"entity-type":"item","numeric-id":3163409,"id":"Q3163409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967324$7DD44531-355C-458A-AD0F-EB376559FCAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e4d7e47b7300c176b601096e1931554ddb948e8","datavalue":{"value":{"entity-type":"item","numeric-id":5703759,"id":"Q5703759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967324$7557BE1E-805D-4B70-B498-78481B144BCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bd2e069871eb3bf4232917297a8392cabd79fa8","datavalue":{"value":{"entity-type":"item","numeric-id":4251919,"id":"Q4251919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967324$B3E930FB-B9A2-4A0A-9622-1ECF99D5CFCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"272609bd8b38f994632dd41505735fd6ac673cfb","datavalue":{"value":{"entity-type":"item","numeric-id":5756667,"id":"Q5756667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967324$E93A35A5-A3AD-435F-93C2-C3D19175D2A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"100de8644e1693e9606eb0290879d3814df3b478","datavalue":{"value":{"entity-type":"item","numeric-id":3434696,"id":"Q3434696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967324$4B80E932-9447-4CB3-8057-1BFD94E7C934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a055f766cb8a326f6c8a852f40a95517c31d51fd","datavalue":{"value":{"entity-type":"item","numeric-id":5239221,"id":"Q5239221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967324$E87355E5-7ADD-47E9-913A-0A3CC289A4B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6a400ce145f2fad549d27f117c922d59c513548","datavalue":{"value":{"entity-type":"item","numeric-id":3588095,"id":"Q3588095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967324$ABF955BC-AAE6-4024-BC57-95DD210DFA16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e2d4d73df6d348bf7111b00d953c3a4e2eae7cc","datavalue":{"value":{"entity-type":"item","numeric-id":2938172,"id":"Q2938172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967324$CFD7D870-6B24-463C-983F-9C9BB84857AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d27aff0a521d30040df6d4afe7fac530404cfc7","datavalue":{"value":{"entity-type":"item","numeric-id":6488465,"id":"Q6488465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967324$9AABBB13-56F1-48A5-9580-2B7188D9D37D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28bbce7c6eca35f171f70ee7cda351d22a5fc790","datavalue":{"value":{"entity-type":"item","numeric-id":5009457,"id":"Q5009457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967324$56C8E620-F278-4EC7-8803-472CB5ABC3A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77b15cb6ee5100537ac204806dc2e8a0652d4f4b","datavalue":{"value":{"entity-type":"item","numeric-id":5277799,"id":"Q5277799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967324$3CA12C6B-1228-4977-8391-5157AFBF8E03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36c698d8c5f8fcb5726cd8f5372348955f71972d","datavalue":{"value":{"entity-type":"item","numeric-id":4536446,"id":"Q4536446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967324$50650687-D980-4039-BCE7-7E8DBD41D8C6","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":"Q6967324$2A474A42-3DFC-4156-9E5A-E611B7B84E43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a585a00ebca9a55e45c13df0fe747cac621ff9d","datavalue":{"value":{"entity-type":"item","numeric-id":3090822,"id":"Q3090822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967324$2081B36E-8F69-4DC9-BE66-49E7CA19127D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc0e43273e81a7571f7b39642916e4af430d8669","datavalue":{"value":{"entity-type":"item","numeric-id":4649289,"id":"Q4649289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967324$214C9D1B-BB47-4458-8DCC-65A7E46B592F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a06f4c4197e594020d602c717ac1e1130aca08b","datavalue":{"value":{"entity-type":"item","numeric-id":5897680,"id":"Q5897680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967324$45746ECF-433A-4D3F-BAC8-0A7B5C8DEB97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b05b18de27616ff2350cf767a17b5adca2f692b4","datavalue":{"value":{"entity-type":"item","numeric-id":3543292,"id":"Q3543292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967324$0E673657-F916-48EA-ADF7-86F39CF5133A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"980b878e989625d882cb488ac4152e9aca1e8752","datavalue":{"value":{"entity-type":"item","numeric-id":974119,"id":"Q974119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967324$0BE12961-A4E7-442D-8AD3-1662E505BF83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1f55243298e3d2a14ecad44913b341a09b62062","datavalue":{"value":{"entity-type":"item","numeric-id":6560392,"id":"Q6560392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967324$D11EA430-777D-49A4-BED3-4CFA3FB1ADFF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Satisfiability checking of multi-variable TPTL with unilateral intervals is PSPACE-complete","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Satisfiability_checking_of_multi-variable_TPTL_with_unilateral_intervals_is_PSPACE-complete"}}}}}