{"entities":{"Q6967324":{"pageid":21307008,"ns":120,"title":"Item:Q6967324","lastrevid":76157187,"modified":"2026-04-23T01:20:31Z","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"}]},"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"}}}}}