{"entities":{"Q1326778":{"pageid":1337528,"ns":120,"title":"Item:Q1326778","lastrevid":68472981,"modified":"2026-04-12T23:56:25Z","type":"item","id":"Q1326778","labels":{"en":{"language":"en","value":"Computing definite logic programs by partial instantiation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 584683"}},"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":"Q1326778$5D108978-8D26-43A4-ABE6-A1EC8FBBE1E1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ad8760d4c545cc92a6c2d7c3de4905a6046c12e7","datavalue":{"value":{"text":"Computing definite logic programs by partial instantiation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1326778$6002A257-3969-4E04-AB15-E297AF207211","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4bd381b8b9b2c15a97c4e23a689cfa5056b6c386","datavalue":{"value":"0793.68033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1326778$4A14B680-B9A1-46AF-BF61-E8CEEA79C8B4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4075a4f326fe8fe2f4243d8c88a61370814408aa","datavalue":{"value":"10.1016/0168-0072(94)90010-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1326778$9A674C91-86A6-4CFE-8634-BBEEBAB195A8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a12263c27438349eb2a495b00ec760e91eca2591","datavalue":{"value":{"entity-type":"item","numeric-id":672130,"id":"Q672130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1326778$3D19DF96-7949-4FF6-BAF3-6AB5987DA4BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"01f6d09ef5c7f87b811b2b5e76f5d6438fbf3c63","datavalue":{"value":{"entity-type":"item","numeric-id":197490,"id":"Q197490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1326778$AD650851-C890-4664-A27B-2EC87CDC7157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"76a5532f214cf43c102bd3290b91ab7949d2fec0","datavalue":{"value":{"entity-type":"item","numeric-id":6481876,"id":"Q6481876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1326778$5214ACA1-311A-41A0-BF4B-60C5D65A514C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1326778$7AEA0820-D60D-46E8-86C2-3DC7337EAD59","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa19c9ba2bfb06d6b3228b43c9df9a36396a6316","datavalue":{"value":{"time":"+1994-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1326778$3DABC024-9088-42F0-9D83-99EF8CF636CA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1326778$AD6E76BE-D5F3-436C-82CA-893E73113003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"36d142e7ea03446b1d7deb9627eedb9f0297f86a","datavalue":{"value":"90C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1326778$31A1EE98-D4CC-4363-9822-28155226E797","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b8e2b07835862c848dd2517bc910ce8e26c76cea","datavalue":{"value":"584683","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1326778$ABA94440-8D09-421F-AC5E-2834DBC1F61E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"867a4785f0e748ba3df6e75deeef9adf1e4ec040","datavalue":{"value":"query processing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1326778$5AA7F38E-A6C4-4557-80EE-0F2F6150CB66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04d097e92166179fc1fcdd68d19b99f0cb17dcfc","datavalue":{"value":"deductive databases","type":"string"},"datatype":"string"},"type":"statement","id":"Q1326778$C4BF95A8-D180-4BD0-9410-2B833BBA7822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a08efa1a08a750d06fca0196004a17a02a35c592","datavalue":{"value":"linear programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1326778$6E8E346B-ADCA-4F00-A1E2-59C17BF1E0E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ed5889fb69ee0f39b87346a8b37110a8c5c5e9e","datavalue":{"value":"logic program computations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1326778$79154440-3F3A-4F5E-AAFA-87AB6637A05A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8cb0b6c495a306b053b2a4670c80a497868f8f46","datavalue":{"value":"resolution with unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1326778$C8C58A4D-1CC8-40D9-BB9E-031E62C71B0B","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":"Q1326778$1B130705-C104-4DA4-AAF3-BDD7649B9823","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"389e9bd5179f5dac941fef63b09cd9697a386fec","datavalue":{"value":"https://doi.org/10.1016/0168-0072(94)90010-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1326778$6EC0E623-3C04-465E-BFA9-7DA53469B68E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fc202d04e38fddcae53f00afc284794f5e083bd6","datavalue":{"value":"W2037474536","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1326778$12A85F4C-DA8B-4E57-A023-A10445BAF815","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"446f3e465b99818b5af18984c508f5df1664cef5","datavalue":{"value":{"entity-type":"item","numeric-id":4327631,"id":"Q4327631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1326778$20F1796D-A016-42A9-98E7-DBA4F0F6BCEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b89df7c280a99400b8f816e3dc3b2d0d14b612ce","datavalue":{"value":{"entity-type":"item","numeric-id":4302833,"id":"Q4302833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1326778$51F90179-42A4-4D82-A450-5079C6FCAA7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a73f079fad88596351ff709cf186cec234a2805","datavalue":{"value":{"entity-type":"item","numeric-id":3723723,"id":"Q3723723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1326778$96A0C49C-4DDB-4869-B969-D8DCDD84D503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c3cf7cbf24f5ad1e6d8cb76fb93a3b15d7aa5c2","datavalue":{"value":{"entity-type":"item","numeric-id":1356218,"id":"Q1356218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1326778$684B5D49-54C0-46CC-8265-D782F9F8C1EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bd2158380546de1c47756c4fead8c0c2406dd1c","datavalue":{"value":{"entity-type":"item","numeric-id":3789064,"id":"Q3789064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1326778$30665255-1AB6-4E1C-9ACF-674FA7C005EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1326778$C33C2087-8D49-4388-A031-9207D69E3726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c9465d6417bb77bd19e652eaf6c381784d12e8b","datavalue":{"value":{"entity-type":"item","numeric-id":3936229,"id":"Q3936229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1326778$7E9C8DFE-97D0-4AAC-96B3-B72795B3A184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02e359fe7160084f9475b6a146510d9131a9d3d2","datavalue":{"value":{"entity-type":"item","numeric-id":1346715,"id":"Q1346715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1326778$9F1BCF27-6F46-463F-8C5A-362E1A17552C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd49e68ed32255258ded3f91652dc6ef8ac1954c","datavalue":{"value":{"entity-type":"item","numeric-id":4846259,"id":"Q4846259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1326778$ADC67754-A37B-448E-B289-3D010D4D2633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3c8227370b23a709289df885ca01c57567c658f","datavalue":{"value":{"entity-type":"item","numeric-id":3856120,"id":"Q3856120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1326778$3B00C911-B7F1-4DEA-A70B-0EF706D49BD4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"645abf4b915901b51cbbe9587d2f5d49f4f9a967","datavalue":{"value":{"entity-type":"item","numeric-id":1610676,"id":"Q1610676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b358a500849a3eab1e431c34290763c849a6e11","datavalue":{"value":{"amount":"+0.7963823080062866","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":"Q1326778$1BD2A82C-1E49-4A11-BACA-E8EEA20D4AD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39ebacd6b98ced5bc618fb55ec3ece4eedeca5a4","datavalue":{"value":{"entity-type":"item","numeric-id":672131,"id":"Q672131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b6545c2680684fcde3990234d4e4427b23564b1","datavalue":{"value":{"amount":"+0.7875440120697021","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":"Q1326778$65548AE2-E331-492D-8417-11BEFA0835F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1263048b49fb17b0d13866395fe9dd64bd423cf1","datavalue":{"value":{"entity-type":"item","numeric-id":3134502,"id":"Q3134502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"915861112c516edc40b9387863ba8cd436b4e3a6","datavalue":{"value":{"amount":"+0.7593399882316589","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":"Q1326778$DF587F94-3C31-468F-9983-5D8A22E4300A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"433c940193c7d4ca81c70f416319edd3702e916d","datavalue":{"value":{"entity-type":"item","numeric-id":1309900,"id":"Q1309900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce2c7b4425cd6c14ba51973c08ed7856104a0cfa","datavalue":{"value":{"amount":"+0.7580786943435669","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":"Q1326778$0737456F-9235-4C83-A49D-EF77D382BA93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57b8957173aae4ca2db2a1d260de5f26105464be","datavalue":{"value":{"entity-type":"item","numeric-id":4327631,"id":"Q4327631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"effab6b47b7c56c4961f63ae44e1ac459fb732fe","datavalue":{"value":{"amount":"+0.7579025030136108","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":"Q1326778$A5564ECB-9962-4DC4-86CC-51376A6DF729","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computing definite logic programs by partial instantiation","badges":[]}}}}}