{"entities":{"Q5881808":{"pageid":7911359,"ns":120,"title":"Item:Q5881808","lastrevid":97560575,"modified":"2026-06-05T15:00:45Z","type":"item","id":"Q5881808","labels":{"en":{"language":"en","value":"Finite Materialisability of Datalog Programs with Metric Temporal Operators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7662473"}},"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":"Q5881808$E723BAD5-9193-4DC3-827F-4911D57A43C9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2e7653e2de9b86d17fd6235943999f84aede8254","datavalue":{"value":{"text":"Finite Materialisability of Datalog Programs with Metric Temporal Operators","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5881808$6798BF81-71BC-4C03-9728-2125CD35EB18","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e1f07c7e08302b45a862be0d15b42c248a7250c0","datavalue":{"value":"1506.68015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881808$E6AF496C-BD3F-497E-90F6-07E5F130532C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"62be5a32c0c8abc650c470c31ddeb43937fe8106","datavalue":{"value":{"entity-type":"item","numeric-id":821567,"id":"Q821567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881808$1DD24986-7C38-401A-ADA7-7C6CED048134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"157e3240eaf1299c061d7da05b9688c998dc4b21","datavalue":{"value":{"entity-type":"item","numeric-id":821568,"id":"Q821568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881808$2288E946-6A1A-4FA3-A2F2-18FC4179661C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"28303f1ee1b08ad94e1576c74ffc9fb09f553b9b","datavalue":{"value":{"entity-type":"item","numeric-id":286086,"id":"Q286086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881808$1D3ACFFB-16D1-448B-BC6E-5F5E3D7313A5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bb469f8c3341c58b96368431d3c87cbee3d3281e","datavalue":{"value":{"entity-type":"item","numeric-id":110835,"id":"Q110835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881808$77C5426F-7806-40C1-BB29-29B124EE0ADA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"89caa31fd22a360d487b4d2ba44c1d87259c2aff","datavalue":{"value":{"time":"+2023-03-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5881808$41B2DDCB-24E0-46A2-B0AD-8890023DBD20","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881808$573908F2-BCAA-44DA-9343-DE47EDC7EBB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881808$5C251097-9ADA-471A-875A-FE64EBF399F7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f4d0875751a573e964a21c7041f00ce07c9eeb26","datavalue":{"value":"7662473","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881808$0C39ACFF-3B98-491D-AB2A-E905F32D98F5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53eef58615f027b6027e364cb066d3d7469bdd18","datavalue":{"value":"temporal reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5881808$BF2E1BE3-896E-4427-A612-690B8E505CB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5881808$EBB10336-2F7B-41F0-AA23-F4FE48E83C7D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f04a15589007ce5e2240e3327e6d2b8816149d6a","datavalue":{"value":{"entity-type":"item","numeric-id":5973101,"id":"Q5973101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881808$74FF32D0-6EE3-4AC7-AF96-1156BD5A6EA0","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":"Q5881808$414BC354-C85B-46E1-BF9F-9A295343D041","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"63eccf27133e0fca2b1b2aa62bf5c97659bc19c0","datavalue":{"value":"https://doi.org/10.1613/jair.1.14040","type":"string"},"datatype":"url"},"type":"statement","id":"Q5881808$A49C4D86-CEF1-4EDC-8DDC-A59C97807AA7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b1cbd82e0075b8a0692381b2aca8f2b1c0601e2d","datavalue":{"value":"W4318452893","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881808$DD131DC1-1048-4650-847B-7E37B53266AC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e003820d763b128baedc5aad2e29af022319031d","datavalue":{"value":"10.1613/JAIR.1.14040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881808$5251451D-0370-4663-ADE2-CF10614256EF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e358ba3b8c6f0116a560718ef57ecfd2fd3e943c","datavalue":{"value":{"entity-type":"item","numeric-id":2144176,"id":"Q2144176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb179a1ec5af5796d3be03d5da07bf927c33d2b6","datavalue":{"value":{"amount":"+0.7638005614280701","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5881808$654C1CFB-2BAA-4089-9DB7-0C28EEBFBBC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e75c03b255c669f94cd3a881bea3d034be0d0ac4","datavalue":{"value":{"entity-type":"item","numeric-id":4585057,"id":"Q4585057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d9fb599c498a097193e44b76f4263172826960a","datavalue":{"value":{"amount":"+0.7561525702476501","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5881808$0AFFA9BC-1AF9-45CE-B019-BD88D6F88930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2233be4642573674b158e075b833cfb1e74fc15d","datavalue":{"value":{"entity-type":"item","numeric-id":2321273,"id":"Q2321273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf29453b0c9cb30c662f43b6e0d3203c22625444","datavalue":{"value":{"amount":"+0.7407285571098328","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5881808$518321BD-1B91-4CD3-AE55-ACE635245FC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47fe5efd9a5d7d01faa771dc2c9a045d5583773d","datavalue":{"value":{"entity-type":"item","numeric-id":1401358,"id":"Q1401358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c8c0cc808e20f7eff8c0909d22ae008c2379501","datavalue":{"value":{"amount":"+0.7263827919960022","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5881808$1B2E293F-B517-4C6F-B217-8EB52590EF42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcc3ec23f73d06bf7422d5b0a6c631095f1376a4","datavalue":{"value":{"entity-type":"item","numeric-id":1323325,"id":"Q1323325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43033a0120a798f08f33a874567a38fb7c44899f","datavalue":{"value":{"amount":"+0.7255017757415771","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5881808$8E7023E1-A1F0-4B7B-8D66-6A8346F1C995","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finite Materialisability of Datalog Programs with Metric Temporal Operators","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Finite_Materialisability_of_Datalog_Programs_with_Metric_Temporal_Operators"}}}}}