{"entities":{"Q6080274":{"pageid":13214581,"ns":120,"title":"Item:Q6080274","lastrevid":39688283,"modified":"2024-12-30T17:15:09Z","type":"item","id":"Q6080274","labels":{"en":{"language":"en","value":"Deciding FO-Rewritability of Ontology-Mediated Queries in Linear Temporal Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7744953"}},"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":"Q6080274$BBFF5C38-1DB1-4E66-AEB5-D9F8EF0E1DBD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba6eede42efecd9bd8e526aea5df85f2b95f1c9d","datavalue":{"value":{"entity-type":"item","numeric-id":253975,"id":"Q253975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6080274$E7A0F724-6BF7-46EC-B1DF-A17D36775C15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a1e6c274f15d23371e2b391eba6df0ffeb290ee","datavalue":{"value":{"entity-type":"item","numeric-id":392293,"id":"Q392293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6080274$079C69AF-95C0-49FF-B2AD-5244BAFDEDB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a400f63fb65fdbb9cd5ac7576d054d4b1a7834c","datavalue":{"value":{"entity-type":"item","numeric-id":1181481,"id":"Q1181481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6080274$EE7E0EA8-11D0-41D2-AB14-5717959CD114","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e68dcb3ce5566cf2b4bd7c1def923cc7a3f373d5","datavalue":{"value":{"time":"+2023-10-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6080274$A9BDE80A-15FF-4030-85CE-547D9963A605","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6080274$CEE27E66-F39C-418A-95FD-C7678EE7E3E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6080274$D4EFB736-BB34-4DB9-9036-15FBF6E7E8D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6080274$FCFEAE2F-19B3-4DB2-9995-61B312736591","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9b158601e9b38b8af1f580b762f129f16ef4e405","datavalue":{"value":"7744953","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6080274$C8E05CBF-2F54-450D-AC0C-5D64183BD7A4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6080274$A7C02627-8E71-4E35-A49D-70F48BF8F6D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5df775d4cc3bcb779e28286194728a19d9ccf179","datavalue":{"value":"ontology-mediated query","type":"string"},"datatype":"string"},"type":"statement","id":"Q6080274$F1160EE6-2434-4937-B221-47C74F709EA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd338e7674ddcec78cfe53b69521db86c2fa0d0d","datavalue":{"value":"first-order rewritability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6080274$AABBC445-4FA7-4924-B295-1BEAA698A18F","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":"Q6080274$4F2833D6-7D5B-4472-8A89-24B52F280E19","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d3e40e5d711c9263cf9b79119d621045c4f14e61","datavalue":{"value":"https://drops.dagstuhl.de/opus/volltexte/2021/14786/pdf/LIPIcs-TIME-2021-10.pdf/","type":"string"},"datatype":"url"},"type":"statement","id":"Q6080274$0BEC1270-24BC-44AF-9C6B-1ADFB4EE1EA4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a2c3dc4141d4b2b37125e3377b9f60ec0043565e","datavalue":{"value":"W3202377862","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6080274$00701B0D-1923-4C41-950B-B779E5430EA4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e0a5ed35a3f888e39042864f71429d569bab85ad","datavalue":{"value":{"text":"Deciding FO-Rewritability of Ontology-Mediated Queries in Linear Temporal Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6080274$6FB03D9A-CCC8-4FA2-B65A-0B3A161F015E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b6e18e7b9b4ecbee84514ba3e9e0f419a8980f4b","datavalue":{"value":"10.4230/LIPICS.TIME.2021.10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6080274$5A7406A3-BE3F-44C8-9736-4BF3C57FA89E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6080274","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6080274"}}}}}