{"entities":{"Q679419":{"pageid":681268,"ns":120,"title":"Item:Q679419","lastrevid":63534228,"modified":"2026-04-11T13:49:29Z","type":"item","id":"Q679419","labels":{"en":{"language":"en","value":"Solving hard qualitative temporal reasoning problems: Evaluating the efficiency of using the ORD-Horn class"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1002519"}},"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":"Q679419$F2D4E612-0B2F-43BD-948E-FD43F8F216BD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7a8bed36fa9adf10f9e56a19fe6f90ff3c8feabf","datavalue":{"value":{"text":"Solving hard qualitative temporal reasoning problems: Evaluating the efficiency of using the ORD-Horn class","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q679419$B27EC27F-2F2E-4A96-A91F-579BA6B8491D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e6a1227d93140a72030120c024f772360c29716d","datavalue":{"value":"0870.68138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q679419$DFD853F0-DAE8-4F10-92C9-54C5237A5A01","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2b62475fac306e509a2227663fd412f98a348c71","datavalue":{"value":"10.1007/BF00137869","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q679419$112C321C-782D-4A18-A9C5-80858EBB93A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"310df8de173a54d5d0fad09bd0b483d4ec66bfce","datavalue":{"value":{"entity-type":"item","numeric-id":679418,"id":"Q679418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q679419$10D306B7-C805-46D0-8453-D37D04719ACE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a94d1d6f5ae333511fea1192115f95b08e9c8fb1","datavalue":{"value":{"entity-type":"item","numeric-id":202524,"id":"Q202524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q679419$3E1CF5EB-25BD-4B22-A554-D56D4F5710A1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2bdedb5b82c67e3b3830f141488f4ab4e31e415d","datavalue":{"value":{"time":"+1997-04-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q679419$A246A46D-1347-4066-8928-65171B5EAAF0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q679419$9B12FF68-685C-467A-A5F3-3A28526CF140","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7c4d0e4335ad7241fab2ba0cdb7c506f84418389","datavalue":{"value":"1002519","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q679419$806C0B1E-3A60-47E6-80D3-9A2A0AB7823A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e98e305ba1c1dd0c6ccf4d5b726dd5caeeb469b0","datavalue":{"value":"Allen's calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q679419$2CFC2C78-D22C-46E7-A686-C51EB575DF4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59f256483e9d40e13ce94717bc1a854f59c4d236","datavalue":{"value":"qualitative temporal reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q679419$A8518FA7-BF82-46E5-B0F7-703B6440C6B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cec938098db5f9bcffa7ee6fcedd6feb4f0ebd5","datavalue":{"value":"ORD-Horn","type":"string"},"datatype":"string"},"type":"statement","id":"Q679419$0F53C372-DE11-4F0D-A88C-FA3F93E5BF8E","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":"Q679419$A0A468F1-6681-4C4C-8FE3-8308F9BE27FC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8367121d54df3344ae45fb7bcd26909ca7d18f9","datavalue":{"value":{"entity-type":"item","numeric-id":64672,"id":"Q64672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q679419$DED4431A-3187-4314-9C50-055A6D865623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5e1876721d110b50a2832632d48c0dc5aab348","datavalue":{"value":{"entity-type":"item","numeric-id":4028767,"id":"Q4028767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q679419$D62F2395-844C-4346-B632-43D59C1E783E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56cf5c188bcce9490a2b63c18bca3c3259df4b9b","datavalue":{"value":{"entity-type":"item","numeric-id":4012216,"id":"Q4012216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q679419$0171FB81-4B14-4C2E-A913-E2CD471ADC93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e1d2bf439f14b01b8b1ac291db9729378f9dda1","datavalue":{"value":{"entity-type":"item","numeric-id":4285633,"id":"Q4285633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q679419$D7124692-28A2-437D-9BF6-18A77131E349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fadc5cf24e278649059b488e3339f3114001128","datavalue":{"value":{"entity-type":"item","numeric-id":4305669,"id":"Q4305669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q679419$FDAEC399-3F60-41CF-A4E2-AB3D42AB1A90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8409c6b47904da9ba25328ffb35bebdb7d310a8","datavalue":{"value":{"entity-type":"item","numeric-id":1844713,"id":"Q1844713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q679419$15A47B84-98A8-4440-A9D0-613151059733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d34da21d2e3fa3e67c2ba7ad8a54e7566b0adae6","datavalue":{"value":{"entity-type":"item","numeric-id":4369856,"id":"Q4369856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q679419$A568C259-F354-4C0C-8333-777DD873E560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca1c34860a6c75dcc9b8567be7a7558ff9fce6a2","datavalue":{"value":{"entity-type":"item","numeric-id":1202065,"id":"Q1202065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q679419$BFEA5813-5BBF-43D5-8065-1291566115B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"886530c5d4a3fbd5d19cf4dc696835fa51d2a83f","datavalue":{"value":{"entity-type":"item","numeric-id":4386938,"id":"Q4386938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q679419$90363AAC-CA5C-4864-8775-9C30F5C1B5A9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3ae6fda0573efedf7b3513997b9a9bf565bd8b3e","datavalue":{"value":"https://doi.org/10.1007/bf00137869","type":"string"},"datatype":"url"},"type":"statement","id":"Q679419$6D08C019-5943-4B25-90F7-29A80F8268A8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4ba60b63bd55b814669c3fb795aa541ca2d937ae","datavalue":{"value":"W3012525065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q679419$CD56D8B2-54D5-4E2C-BD81-9B28583E9534","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2d3173dad408bb3dc1e7a6f4310c56c088c1338","datavalue":{"value":{"entity-type":"item","numeric-id":4386938,"id":"Q4386938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25c9d0693fe4236391c0bff54fc861b8b897cc9f","datavalue":{"value":{"amount":"+0.8132360577583313","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":"Q679419$04168B5B-5C28-4055-9B40-60F5C5FD185C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbeb9100ea31946b72f2a7a1be41c62b876b730c","datavalue":{"value":{"entity-type":"item","numeric-id":4369856,"id":"Q4369856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80455c1cb6211b5ca84bc1202d4bc8721fe2d9d6","datavalue":{"value":{"amount":"+0.7846720814704895","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":"Q679419$944AAA9A-374F-43E6-A29E-9053F9745BD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02d8fca48b838fb916b588cdd635442941216f32","datavalue":{"value":{"entity-type":"item","numeric-id":2457656,"id":"Q2457656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"665d0fc29931146c4ef8f68dd8317d8390181cdc","datavalue":{"value":{"amount":"+0.7823139429092407","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":"Q679419$B7DAD62F-34C4-4FA9-A279-C66B3A21FEF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaf20634d144d9a3624b96c3cbb2d14366c6584f","datavalue":{"value":{"entity-type":"item","numeric-id":1575430,"id":"Q1575430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0f13d92fd40d2d3fe690de7b60bbac4cf08e245","datavalue":{"value":{"amount":"+0.7697240710258484","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":"Q679419$D2BE0A0F-B355-460D-BFF9-42BF3D972447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d631bc5f1aac1e583320875223b027538910128","datavalue":{"value":{"entity-type":"item","numeric-id":814637,"id":"Q814637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"098d6dc0dd6d543d513dc9814d2e4070e8132be9","datavalue":{"value":{"amount":"+0.767327070236206","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":"Q679419$BAFAD81D-5968-4185-9688-AB774B0F8EC0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Solving hard qualitative temporal reasoning problems: Evaluating the efficiency of using the ORD-Horn class","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Solving_hard_qualitative_temporal_reasoning_problems:_Evaluating_the_efficiency_of_using_the_ORD-Horn_class"}}}}}