{"entities":{"Q5217218":{"pageid":7246788,"ns":120,"title":"Item:Q5217218","lastrevid":94766972,"modified":"2026-06-05T07:39:04Z","type":"item","id":"Q5217218","labels":{"en":{"language":"en","value":"Introduction to logic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7172350"}},"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":"Q5217218$AEF23DED-7ECB-43FB-90F2-516F1E2DA49A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"060f9b410ddef155632165b1995e3309b0a60191","datavalue":{"value":{"text":"Introduction to Logic Programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5217218$1821412A-EA14-493A-8704-D9C2864544B4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e148f427779aec88c99a74f88decd70217d4c324","datavalue":{"value":"1451.68003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5217218$F0606E28-7AA2-4318-9D4F-BD1B0B473128","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"274d867eb1bc7fdce43e9d7833dbf35ec54981c5","datavalue":{"value":"10.2200/S00966ED1V01Y201911AIM044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5217218$3431CA34-FB37-40C7-B77B-986F6ACEACB8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5ac0ed702897147ab5fde50efc7b94d786c09321","datavalue":{"value":{"entity-type":"item","numeric-id":1060861,"id":"Q1060861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5217218$DC5B8F25-B9A2-4B89-9FBE-464CB02F50EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8afb5a108ecaaa9a4ddec188642b37f0c5c25044","datavalue":{"value":{"entity-type":"item","numeric-id":1278035,"id":"Q1278035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5217218$3199F622-A79A-4162-B319-FAB3959E02D2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"340929d22797c0bca73fe4c3f194b0159137719e","datavalue":{"value":{"entity-type":"item","numeric-id":2805144,"id":"Q2805144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5217218$50B555F8-488E-45BC-B7AB-9936C51DF472","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8934af8400a1d35c94ffa90ec50ae6ddbde55478","datavalue":{"value":{"time":"+2020-02-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":"Q5217218$CCFCD6D3-6BD2-466E-8954-473B30423064","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5217218$D236B318-A043-4CB3-9417-A768EC409B3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5217218$E367665F-D19B-4E71-8156-ECA97D1FC84F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"170c7f360ee21c5d5951a37cd81fe49724c5c3fd","datavalue":{"value":"7172350","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5217218$BEF17CBB-8755-47B5-B51C-59C42AD5F8A2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbff8f03116ac62cf7e2d9cc2988d21dd31f9a83","datavalue":{"value":"logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5217218$9C167471-7285-41AD-A30E-1C02502B613A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10096f58a75aef87341f69fb965c9725fea68541","datavalue":{"value":"facts","type":"string"},"datatype":"string"},"type":"statement","id":"Q5217218$F6B9F701-BFFE-473E-AC85-03155C66F1E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff2e49754c15398b2d3304df82e5eca6cee57bcd","datavalue":{"value":"rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q5217218$DB845210-118D-4DB4-8E3C-0E96969C422E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b089b06f0cc77ca1cb2aa0a815b20bf421cb6ce","datavalue":{"value":"queries","type":"string"},"datatype":"string"},"type":"statement","id":"Q5217218$2520D92B-2993-430D-AE8C-D5E65DACE934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c61da4d0f953ae6ac684ebed199df1260b610dc","datavalue":{"value":"update","type":"string"},"datatype":"string"},"type":"statement","id":"Q5217218$D20501DC-A657-47B6-A72B-75A7AF320875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5217218$D9D8965E-E513-49FD-84B5-8E24DB932BCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36a2565fb360bfa8bcdef3362f652ada1d64910b","datavalue":{"value":"interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5217218$C20200D4-3D91-4242-BAF4-2E13CD01516B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e80f45c5ca4c3224fd982abb2febcf91f862c4d","datavalue":{"value":"bottom-up versus top-down search","type":"string"},"datatype":"string"},"type":"statement","id":"Q5217218$513E3817-C377-4723-9FF1-CD7E627B4B13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f23b08d2781e3f127d59df2af253bb6089bfce7a","datavalue":{"value":"stratification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5217218$B68BD3CF-FE95-4721-90A9-5D981E9E930C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff67fedbe8c50d3daca036875aed531217cd953b","datavalue":{"value":"Prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q5217218$FAB9DEA3-16B4-4A1F-B8A7-AAAFC6DD798A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"268e67e5ad1d17badc1798dd87a78f1455a5e984","datavalue":{"value":"Epilog","type":"string"},"datatype":"string"},"type":"statement","id":"Q5217218$BC7FA227-B64E-471D-AC4E-B786F84458D2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c9494ebe8d39dc5b0b35f16caa83b364db57187e","datavalue":{"value":{"entity-type":"item","numeric-id":51784,"id":"Q51784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5217218$90B5FFA9-78D2-4BC2-B8F5-959CE8F76759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9381ee9d69fd908f463177e5ec3ec22bd5b10b2b","datavalue":{"value":{"entity-type":"item","numeric-id":51785,"id":"Q51785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5217218$020996C8-383E-4CD9-8C17-314EC9111BC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"44bad889325630fa1fe7bc3b0aa9ed968ecf47fa","datavalue":{"value":{"entity-type":"item","numeric-id":18937,"id":"Q18937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5217218$4FD0D473-1AF2-4E34-96AD-ED75179C2418","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":"Q5217218$A2594AE4-6BD2-4F25-99E6-9D502EB11803","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a383a7eb52eeaf293dbdfbe14e4b47e874cf0d6b","datavalue":{"value":"https://doi.org/10.2200/s00966ed1v01y201911aim044","type":"string"},"datatype":"url"},"type":"statement","id":"Q5217218$7BE9EE44-94AF-49BD-B89A-5578F8C0C95A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"88d8a28db4d48464bbfec3687aeb058e81b458d9","datavalue":{"value":"W3006564246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5217218$CB3107CA-1183-4FFA-A51B-88A36F57B3F9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"deea5079ba2000444a6e70a000d0ecbd03788fb2","datavalue":{"value":{"entity-type":"item","numeric-id":4718430,"id":"Q4718430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c4668242d1f60d3682eeef1a91cb4633afc214e","datavalue":{"value":{"amount":"+0.7910563349723816","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":"Q5217218$7D195693-AD8B-42DA-B283-FB0FF298512A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d11e8efa5b53e199e0a2253f385947b68ddf208","datavalue":{"value":{"entity-type":"item","numeric-id":4040364,"id":"Q4040364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c4668242d1f60d3682eeef1a91cb4633afc214e","datavalue":{"value":{"amount":"+0.7910563349723816","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":"Q5217218$D15C35F8-E1DB-4579-8B74-D07060E2BEA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a220dfb8cae3643bd534a3da77ffb94fa9a8a709","datavalue":{"value":{"entity-type":"item","numeric-id":3690195,"id":"Q3690195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"964bd762e318c6b5f14573c67b82f4c3e353fcd2","datavalue":{"value":{"amount":"+0.7857854962348938","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":"Q5217218$3AB82C8C-5CE5-4A01-BA64-9267D05B0A1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48a3dc1abba343650c0189a609cb541cb9f53e71","datavalue":{"value":{"entity-type":"item","numeric-id":3998267,"id":"Q3998267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5c5f85c5932c6898a7277f1a5747176c529745c","datavalue":{"value":{"amount":"+0.780480146408081","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":"Q5217218$19468BE0-93EB-4771-AF92-D504AF6B4CAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b928589f5a99239dd70848972b8352bb3003acfd","datavalue":{"value":{"entity-type":"item","numeric-id":4868062,"id":"Q4868062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0120d322ded7844671dba3837071978c6931732c","datavalue":{"value":{"amount":"+0.7694313526153564","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":"Q5217218$68A828AB-8483-4370-8462-BF695FBDF8AF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Introduction to logic programming","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Introduction_to_logic_programming"}}}}}