{"entities":{"Q3087453":{"pageid":3098168,"ns":120,"title":"Item:Q3087453","lastrevid":80067548,"modified":"2026-05-06T15:21:59Z","type":"item","id":"Q3087453","labels":{"en":{"language":"en","value":"Efficient instance retrieval of subgoals for subsumptive tabled evaluation of logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5939291"}},"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":"Q3087453$40C9E24F-343C-4B8F-914B-E837810F845D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4212551de829e511d2f4ce42f23a61ff959f0a2a","datavalue":{"value":{"text":"Efficient instance retrieval of subgoals for subsumptive tabled evaluation of logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3087453$D7ACC7F3-81C8-4491-A43D-11F836769AD1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d3709fa9a25c0a4cb3e6093c20292f07826d6f18","datavalue":{"value":"1222.68055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087453$A46236BA-E87A-4072-B129-9FA29F91951A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bf23123fd165b93cbd93b0411dd39433c197b555","datavalue":{"value":"10.1017/S1471068411000251","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087453$94FF0050-F8AD-46FE-9289-C8686630993F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"af2f838319e9ba47d7cb3d9cd79250b7bc3f4317","datavalue":{"value":{"entity-type":"item","numeric-id":2403779,"id":"Q2403779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087453$EA445B92-13FD-4139-89FE-FE8B15AD9E0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a69f27b46f284c9f2508945940835ce0c8d3a83","datavalue":{"value":{"entity-type":"item","numeric-id":291262,"id":"Q291262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087453$9E5DE58E-2002-4C11-9181-7BBE7BB17818","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087453$BBD0268B-7437-4B8B-9038-FCB5DC553751","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e46a6b83be9fcbd5764c46af6454b5ea03b3b70d","datavalue":{"value":{"time":"+2011-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3087453$73AEE1B6-96AC-462B-B358-076AB6B5D9D2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"93ad3f14d457ae6e7759ea05d845dfb64428df56","datavalue":{"value":"https://arxiv.org/abs/1107.5556","type":"string"},"datatype":"url"},"type":"statement","id":"Q3087453$0FA5CF22-14F6-4A32-982E-B5CE483DD279","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087453$BE54578E-9B96-406F-863C-ACC6C2165083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087453$FD8FE979-15AB-434C-A9D9-23D6B8FB61D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79b3bc872b6637176b35f9e46ac855febbf884f5","datavalue":{"value":"68W05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087453$F99591A7-8E76-4135-9909-CF2A957024BB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fb4b1902c17ada948dcd97a119606c27e96ec641","datavalue":{"value":"5939291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087453$7A058573-CB2A-4AC2-8884-46AC30BE0200","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e8dd834f87f61d4ab60b0babc3f2656696e560b","datavalue":{"value":"tabled evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3087453$D77987EA-2409-47FE-89DC-A29571214AEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8540ca56a4d7454811d4122cb388b81b9448b2e1","datavalue":{"value":"call subsumption","type":"string"},"datatype":"string"},"type":"statement","id":"Q3087453$92237C6E-6ED7-4D62-A563-BA6807A3545F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef359d59e74cb9142903f0e8e9f4e9a6db893b78","datavalue":{"value":"implementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3087453$AA712086-1681-4978-96CF-4D7635A3CA84","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":"Q3087453$AF6E31EB-02FE-4BE6-8001-D4FD1D167E47","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d46d76fcdde08d9ef0c10cc112d07dda72c1eee","datavalue":{"value":{"entity-type":"item","numeric-id":4930760,"id":"Q4930760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ff14b99b74e364f8ee0564ae061b7732aca95a2","datavalue":{"value":{"amount":"+0.8682713508605957","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":"Q3087453$D0D02E89-D7EE-40F2-AFCE-B971358D76D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3072e70ba925c9054f941c793fa8663d7a5a183","datavalue":{"value":{"entity-type":"item","numeric-id":4223452,"id":"Q4223452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8d1f66d05a49b930cc2a774104c92d70561d2f6","datavalue":{"value":{"amount":"+0.7803264856338501","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":"Q3087453$E8B6B4A8-B3E7-4CA2-A5A1-687FCF53EC3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1aed5e2c2131b6f29d562a29deee41862f1f12f9","datavalue":{"value":{"entity-type":"item","numeric-id":2766790,"id":"Q2766790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91a0e9cd5400c3e57f576dcb2cb87c9781fb9da6","datavalue":{"value":{"amount":"+0.7777097821235657","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":"Q3087453$4F0FEE88-C5F4-4623-B7CA-1EA850169B79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a0c906c8494991e586a155b65885a44a446bd24","datavalue":{"value":{"entity-type":"item","numeric-id":5437650,"id":"Q5437650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce94ec1e58b30a13ae2ce88dd5af181396f3637a","datavalue":{"value":{"amount":"+0.7510523796081543","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":"Q3087453$5FB0710D-13DC-4C58-B8DB-F779F19EC3F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"551ea08a65e980f3a316056ebd6a64c51f2661bb","datavalue":{"value":{"entity-type":"item","numeric-id":3087452,"id":"Q3087452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9856265f31409464eebd07b33ab8f47c2a8f97a4","datavalue":{"value":{"amount":"+0.7499414086341858","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":"Q3087453$FE7270A5-A0C1-42BA-BB9E-B5076C88D7D9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Efficient instance retrieval of subgoals for subsumptive tabled evaluation of logic programs","badges":[]}}}}}