{"entities":{"Q6563047":{"pageid":14174202,"ns":120,"title":"Item:Q6563047","lastrevid":42351174,"modified":"2025-06-12T10:54:09Z","type":"item","id":"Q6563047","labels":{"en":{"language":"en","value":"The addition of temporal neighborhood makes the logic of prefixes and sub-intervals \\textsc{ExpSpace-complete}"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7872347"}},"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":"Q6563047$DD3D9B0B-F0AF-4527-A780-4543C85F4A96","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9b2c1bb15389293c155362abe48655c470ad5270","datavalue":{"value":{"text":"The addition of temporal neighborhood makes the logic of prefixes and sub-intervals \\textsc{ExpSpace-complete}","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6563047$475C7B91-F645-4192-9D29-6A8AF60288A9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"832ec9ac464bcea330b3bea6d0eade9569e13021","datavalue":{"value":{"entity-type":"item","numeric-id":278750,"id":"Q278750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563047$0D753719-9AAD-48E0-9C87-C9D48CAD59A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f67fcedf06549dca6a4bf555125438ee036b591","datavalue":{"value":{"entity-type":"item","numeric-id":266859,"id":"Q266859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563047$26BBF93D-27C8-40F6-8A10-1FFEB42F3187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"73f22f66a56e43cd19f60d6d99d6fee093715ec0","datavalue":{"value":{"entity-type":"item","numeric-id":264998,"id":"Q264998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563047$19D53C50-908C-48A4-9F77-46610D88328B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"11543eff57f4852055ea208de3fe86ec3134f6d5","datavalue":{"value":{"entity-type":"item","numeric-id":288803,"id":"Q288803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563047$87D5CA42-943A-4FDC-B450-4397F04338AD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563047$3E6D0E45-3E0B-4EE9-92AD-FA236EA8FD1F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"52ad18669458f088996fd7b4dd3dee92e307308b","datavalue":{"value":{"time":"+2024-06-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6563047$21A8A8C8-805D-480C-9323-4DEC4FB20948","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6563047$5CEEA219-ADF7-4C70-9DE4-3FD2A7746F7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6563047$5AA1877A-CCA8-4D35-A839-480061FA447C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f9f65763b8c9a466aa637a3eecbdda6734b8d95d","datavalue":{"value":"7872347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6563047$6202A3EB-BA8F-4B8B-A55F-88FF7BCF343A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a7b19bbe93bbb6b0c4a06b7379f5542c9b34ea7","datavalue":{"value":"interval temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6563047$8538A99E-471E-407C-91D5-5DB5C6956AD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca568d5fc67f7cbca40c3d15fce0a332b398b95c","datavalue":{"value":"star-free regular languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q6563047$D610DD73-4167-453E-AA0C-6F23BFDA930E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6563047$FA923D64-228A-4BFA-A4C9-0C68FD6FD18C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6563047$355D2D67-BC35-42C2-964A-8E569F121065","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":"Q6563047$79630099-5E26-4B20-9C4A-969630ED4D1C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"de5cb380f735c75ce64260bcd928e362e755addc","datavalue":{"value":{"entity-type":"item","numeric-id":5111452,"id":"Q5111452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563047$F66ECE8E-EFBB-4630-AD69-882F22EC734B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"110095a24948547397b24c708d3b2b91734d5a1a","datavalue":{"value":{"entity-type":"item","numeric-id":2277246,"id":"Q2277246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563047$E76344B4-A752-41A6-A1B1-D381873FD532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86b58bf51f5f0440dad52207f1dc83b699b89139","datavalue":{"value":{"entity-type":"item","numeric-id":1731517,"id":"Q1731517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563047$B82892C0-E7B3-4B6C-829E-33BF91B59D36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9de07cf73080eb3a17d676d698246b9bf92e2c91","datavalue":{"value":{"entity-type":"item","numeric-id":6487561,"id":"Q6487561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563047$7143B27D-BBAB-4A71-9404-563B38EE0BB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78d8e0243cdeb6723529a650fe8726a03df179e5","datavalue":{"value":{"entity-type":"item","numeric-id":5089182,"id":"Q5089182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563047$4922E89C-8DBB-402C-AFA9-CBC7BD49130E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de7df186d7b4e97b0cb1e676233671f5df0c221d","datavalue":{"value":{"entity-type":"item","numeric-id":6649523,"id":"Q6649523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563047$2F52ED37-E618-4750-8094-7C7E24842E92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de2118891863da181a5aa8147246964a25858c06","datavalue":{"value":{"entity-type":"item","numeric-id":6080273,"id":"Q6080273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563047$1680C465-DF3D-4E09-8527-AED91D3FAB78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"249723a658f2d2b5b2b7c5b36669f63df173e4fc","datavalue":{"value":{"entity-type":"item","numeric-id":6077844,"id":"Q6077844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563047$12116F46-E4C9-41AA-B123-859E3A2C2A98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bb9dcd375531af369ae4cc5063a5b38f6a61238","datavalue":{"value":{"entity-type":"item","numeric-id":3590963,"id":"Q3590963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563047$9CFB883E-F20B-4707-924C-1FAD87246540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c1b96e2398fa9b8dfbddf9c1eafa9788d08e7a5","datavalue":{"value":{"entity-type":"item","numeric-id":3010361,"id":"Q3010361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563047$46518456-EFA3-42D6-8CD0-D1A46EC35EBE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"27d4ce496b7d4876bc5fac03ebe762ac80c38b03","datavalue":{"value":"10.46298/LMCS-20(1:23)2024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6563047$09C6847D-340F-4B2D-B811-ABF29B9DF7C4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6563047","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6563047"}}}}}