{"entities":{"Q2946603":{"pageid":2957323,"ns":120,"title":"Item:Q2946603","lastrevid":85133273,"modified":"2026-06-03T06:00:25Z","type":"item","id":"Q2946603","labels":{"en":{"language":"en","value":"A fast algorithm and Datalog inexpressibility for temporal reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6483111"}},"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":"Q2946603$FE957898-7DFE-4076-A4D8-B8638F90C727","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"357cc2b774a970a8ebd91ae2d8ab27c2ab3ea7cc","datavalue":{"value":{"text":"A fast algorithm and datalog inexpressibility for temporal reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2946603$4D0E4F57-4533-48E8-A7C4-2031FB8CC622","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c7a7fb1cde35272e8948fc49248c1ffb61096028","datavalue":{"value":"1351.68051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946603$3D327178-10B3-47E3-9122-CC422544B5EF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b42dc873bdae954c20caecbb77fa05305013a02f","datavalue":{"value":"10.1145/1740582.1740583","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946603$D3B688E6-8658-4776-A23B-E5C9665E3A19","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4755582e657d5373bc1841f6f1020d16c1f93d52","datavalue":{"value":{"entity-type":"item","numeric-id":259042,"id":"Q259042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946603$188306D8-7724-4645-AF03-B547AEE48247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0bae54ab70a4943e7262f4c80b56d9b18768f76b","datavalue":{"value":{"entity-type":"item","numeric-id":444432,"id":"Q444432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946603$B0BC2E96-02A6-4A0E-A3FB-AE6BDEAA27A5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946603$3E058E5A-70B2-45C5-8A3E-8EC7F5C53871","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce093f9954be490f07dc8f1174896bb5ed4d11b0","datavalue":{"value":{"time":"+2015-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2946603$DBE3F4D1-9FE2-46EC-9FCA-8B85F258661D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e108c0161c048bdb78a591b224c7245840627aa6","datavalue":{"value":"https://arxiv.org/abs/0805.1473","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946603$11D775DA-C8FC-402B-8E8C-352CA8425FD9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946603$6CFEF953-F751-462B-A3DF-35407C0CD690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946603$85372413-DFF2-4622-929C-620FA7AC55AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946603$59C7C56E-D562-4353-8532-7002BFBB4C07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946603$F4EC449E-7D5D-4A1D-8C72-988AC592C676","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"36ce209d482a3a893c6191168fcbbd00cf11bfdb","datavalue":{"value":"6483111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946603$BB611384-13F5-4200-A073-C61FCB0BFDBE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00fab533cd38d922e3a2c54a153ccdfb1b56ca89","datavalue":{"value":"constraint satisfaction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946603$1AD95613-EFC4-40E0-B1F2-140BE2F2F825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40ac51148a5ff1725b32c3ce34af150283b22afb","datavalue":{"value":"Datalog","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946603$FA33776B-0591-40CA-8EFF-B4BCEF494443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"636f5b4ae4c16a9bccc4c28ac23ff9bbba35f8eb","datavalue":{"value":"Ord-Horn","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946603$17ECF227-51D0-42CA-9FC9-3DCA901CB023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d607627523840bd0bf4407097f29a3a99ef4a0a8","datavalue":{"value":"algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946603$2BDC38DA-BE14-4BC9-AF77-361D10301235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946603$BEBDC60C-92C3-4D65-9BF0-E98D0BB99AC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbe4779b21482c6f7af163070358f952601735bf","datavalue":{"value":"precedence constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946603$CD5BFAE5-0569-41E3-94F8-D174F3031DAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53eef58615f027b6027e364cb066d3d7469bdd18","datavalue":{"value":"temporal reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946603$C067BE13-445A-4537-BB42-D7022515F14B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7545068a6822e4e652ce3b521c8f6365c7bdc7b9","datavalue":{"value":{"entity-type":"item","numeric-id":31846,"id":"Q31846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946603$F83B122D-3798-4864-B3EF-966885CA09D5","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":"Q2946603$C692D36F-7101-4FC0-9120-8580E8537335","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"560efcfc8ccfdfa88176678b3fd6628d6f15c328","datavalue":{"value":"W2123815839","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946603$1D40970E-B756-498F-BA02-DBC7BDE96F6D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3322460689d578fd149859be8c1c0e6380cd9056","datavalue":{"value":{"entity-type":"item","numeric-id":1274294,"id":"Q1274294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c209193b4395c292de69bbbf58b5748c3de7e17","datavalue":{"value":{"amount":"+0.8109666109085083","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":"Q2946603$D95077F3-73FD-45FF-9196-DAE837F11C34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db71374b13fec07431b0e278e8cda46534e68542","datavalue":{"value":{"entity-type":"item","numeric-id":3452504,"id":"Q3452504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca0e29d48264189d8e99a23296e1c916309210f1","datavalue":{"value":{"amount":"+0.8000285625457764","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":"Q2946603$A33DFE23-8270-4A28-8830-24E4ACC72787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95f2ddd83e6376dcb3828a3aa60aa6af1f9f346f","datavalue":{"value":{"entity-type":"item","numeric-id":5902567,"id":"Q5902567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f575f2395f8ef9ffb7612c993bd4c7d4d71b3b78","datavalue":{"value":{"amount":"+0.7948790788650513","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":"Q2946603$EF3A8892-8F12-439A-8A16-3858FA0B6653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c97ab93fabcabec97210c9e8f64bfcdfe8c3423","datavalue":{"value":{"entity-type":"item","numeric-id":5958761,"id":"Q5958761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e048c7f98432d33c18b75bf07097f16badf1260d","datavalue":{"value":{"amount":"+0.7945176362991333","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":"Q2946603$48C6B87E-B423-480E-B66E-83619FB0AB47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80e8e8941c08d931c43f517b4f4abe7777a5cf90","datavalue":{"value":{"entity-type":"item","numeric-id":1978249,"id":"Q1978249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96a24580541128347654149f72b77b9a604728ae","datavalue":{"value":{"amount":"+0.7906403541564941","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":"Q2946603$6F1D78DD-FF98-4C7A-B04A-C8AFB0208936","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A fast algorithm and Datalog inexpressibility for temporal reasoning","badges":[]}}}}}