{"entities":{"Q4371515":{"pageid":6401114,"ns":120,"title":"Item:Q4371515","lastrevid":97104569,"modified":"2026-06-05T13:19:20Z","type":"item","id":"Q4371515","labels":{"en":{"language":"en","value":"Tabled evaluation with delaying for general logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1105823"}},"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":"Q4371515$71C19198-F65D-43AC-B2E3-736983A0132B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"80c9992d38cb02316ed68fb79522472da90fcc01","datavalue":{"value":{"text":"Tabled evaluation with delaying for general logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4371515$ADFA11E4-5C3A-4A7D-9477-B7C5061F7501","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6f04ef183b162bbae845eba81a8e320431ba193a","datavalue":{"value":"0882.68050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4371515$09B6D0BF-B710-4EBA-A310-D9F7E7B43469","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"598d2a3ab97e23b01bf26b4c18c60aed8e127fb3","datavalue":{"value":"10.1145/227595.227597","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4371515$3C75FF81-35D1-4061-BCDD-328C95262657","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"088a48b8fa4d1adecb6fb1a3e270967112ae052e","datavalue":{"value":{"entity-type":"item","numeric-id":252384,"id":"Q252384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4371515$539F1AE3-9D10-4BC9-82D8-C947BAE84C02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"116d98730e2f36e09b578769ef51bae5ebd20956","datavalue":{"value":{"entity-type":"item","numeric-id":1096422,"id":"Q1096422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4371515$8C48E317-FF58-47C2-9F2C-A620A57F33AB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4371515$B4573611-8CEB-4DB6-A626-C247D7EBCF52","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e923552579303fe8b30d2a139bb2fde0734b1912","datavalue":{"value":{"time":"+1998-01-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4371515$BF18E13A-C827-4C6E-9A4F-70007AFF6CA0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"48a86c28032fa1c6d2fe2332380507de41c2e669","datavalue":{"value":"http://www.acm.org/pubs/contents/journals/jacm/1996-43/","type":"string"},"datatype":"url"},"type":"statement","id":"Q4371515$412C0605-3ACD-4642-8074-F8A2FBB46010","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4371515$2C17FF3E-4F11-436C-8506-E96D066069BA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"584f7be62146df6a6c5eb5c5ee25ca7efab32c7e","datavalue":{"value":"1105823","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4371515$A8CEFA8B-529A-4C40-B004-3D5E6332D8EE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3aba3b4c4bf56136293d6b03ec1be4855905189a","datavalue":{"value":"query evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4371515$22CA3AFB-1E37-4664-99AF-CBF3F05F3CB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04d097e92166179fc1fcdd68d19b99f0cb17dcfc","datavalue":{"value":"deductive databases","type":"string"},"datatype":"string"},"type":"statement","id":"Q4371515$B043294F-9C12-4F95-AB98-D166D4CA25D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4371515$31CA60D7-F26D-4001-9F3A-F008B527F23E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f1256c8b0070c66f4228355c755698c708a9c34","datavalue":{"value":"program transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4371515$8DAC5ED1-29C6-46DC-B2CC-B0B781D8A2B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6cf68b700896c255a0bd6c82529e8b253e1f9d4f","datavalue":{"value":"stable models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4371515$73924694-B08D-4A23-9B0E-0FFA33629AD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e8dd834f87f61d4ab60b0babc3f2656696e560b","datavalue":{"value":"tabled evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4371515$910C7261-315F-4430-A620-FA1CF8A395C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69856b77c6a97138dd7cec2b2e4853efa07f7330","datavalue":{"value":"well-founded models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4371515$07DD86C0-5FBA-4E39-931D-DB50712E9398","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b1da121714b17d37c0202a580fc288d94b43d180","datavalue":{"value":{"entity-type":"item","numeric-id":25788,"id":"Q25788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4371515$12509502-C997-4080-A340-D43397D19F2E","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":"Q4371515$3D37B439-0C2F-489D-9128-5EA50D5372D3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7455d7caa73623b85a0f95d91a711d63a02fb019","datavalue":{"value":"W2070598037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4371515$14763E4A-132A-4534-B19D-65A82001C673","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0b63603a1c6bbe0dc376355977f2495e946c84b","datavalue":{"value":{"entity-type":"item","numeric-id":1598446,"id":"Q1598446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2564522d9c29b9f63fa28e9f9f2831efd095453b","datavalue":{"value":{"amount":"+0.8833075761795044","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":"Q4371515$1FB26D0B-6C32-47F5-A7B6-E22CC2CDEA3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d1162072153af2fb03b26e7724d0e4a5c554959","datavalue":{"value":{"entity-type":"item","numeric-id":4494318,"id":"Q4494318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"509153494278265b4e80391533acbc618a51d39a","datavalue":{"value":{"amount":"+0.8393076062202454","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":"Q4371515$BF1DFCDB-9995-465C-AF16-598E2D1DFD8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d978553ea2ff842fdb12e9789de89329224fbec","datavalue":{"value":{"entity-type":"item","numeric-id":4507851,"id":"Q4507851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4af52ac3c53f94ce595c61dd96db10d1a8fa5c89","datavalue":{"value":{"amount":"+0.8329882621765137","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":"Q4371515$CE184064-28A2-4E02-9E77-F4DB5B51784C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f6977a016ab51e42a7fdc6367bd2a4a52767f2f","datavalue":{"value":{"entity-type":"item","numeric-id":5738911,"id":"Q5738911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7f1cf72e0ca9bd459f75e332e71e4a4dc82b9e5","datavalue":{"value":{"amount":"+0.824542224407196","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":"Q4371515$BC71FB85-2700-4702-9B4C-5F4D745FDD1B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Tabled evaluation with delaying for general logic programs","badges":[]}}}}}