{"entities":{"Q4779586":{"pageid":6809166,"ns":120,"title":"Item:Q4779586","lastrevid":74479140,"modified":"2026-04-14T22:48:13Z","type":"item","id":"Q4779586","labels":{"en":{"language":"en","value":"Lazy List Comprehension in Logic Programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1836048"}},"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":"Q4779586$3CCC41D7-F2D6-49A6-8BE8-DA44350ACBCD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"881aa0e332640825172a45beda7312dd89758b72","datavalue":{"value":{"text":"Lazy List Comprehension in Logic Programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4779586$1E5C86E5-6EC4-486C-A70C-384F06747B49","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6b69067fb5279e5fa31dce4643e019f764a75038","datavalue":{"value":"1020.68021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4779586$919B7E5E-9313-40FD-8072-765C584F79CC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ca5dcdef6b84578f0917bbb5df20cd52efd6352","datavalue":{"value":{"entity-type":"item","numeric-id":206558,"id":"Q206558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4779586$994EB8B4-9865-4027-AE7A-55268F9994B2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"118b3751f605fa751b1a0cee7b9b610d6c3317e5","datavalue":{"value":{"time":"+2002-11-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4779586$0089313F-F222-4F52-BC67-5EB94D14E574","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e0900d881695a731d304eb23ffac4f10a4c4b9a2","datavalue":{"value":"https://semanticscholar.org/paper/50c71ea97809cfa0313deb4e225d0c3fda9d1a14","type":"string"},"datatype":"url"},"type":"statement","id":"Q4779586$993FCDBE-61E7-4CF9-89A9-188110A05F88","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4779586$AFE61D9C-DA34-43D9-9905-0F31307155B5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e07971b0b92aa8b46ba22c6fcbc9265421bb418b","datavalue":{"value":"1836048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4779586$293F6545-448B-4394-A453-E99124A1E6EE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3aadf53ac48f0224ab40bd43e6993bdd1b04a25","datavalue":{"value":"lazy list comprehension","type":"string"},"datatype":"string"},"type":"statement","id":"Q4779586$FFBF5BA7-3C80-4807-9CE9-92FDB50C939D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c078ac6b4aa6494d6d5c36981e624a189730ba5a","datavalue":{"value":"axiomatic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4779586$CC6A9757-4527-4C61-85AC-467E01DBB000","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":"Q4779586$8415AD06-27C7-44BE-B5CA-7683201B6DB9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5de925ec6a565f2dbd523fc41c43e2eb00bc7148","datavalue":{"value":"W2044629048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4779586$F8E7F46B-6FF3-49A3-B835-74EB20D13CBB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"68df03f8d97dc1f958d21cd1207b756df109f3eb","datavalue":{"value":"10.1093/LOGCOM/12.5.747","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4779586$6E44B269-8AAB-4AA9-BA64-52C058C848F9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4779586$9922351D-F313-410A-B16A-8E781E13AFFB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d55ad03b87800371cbf8386af8d2c75d1d5f158","datavalue":{"value":{"entity-type":"item","numeric-id":2871855,"id":"Q2871855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b22a063ad8247521671fd8b896c0ece3ba8a021c","datavalue":{"value":{"amount":"+0.7649502158164978","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":"Q4779586$EA5B66DD-A045-42AC-954A-65414902A074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eed07d71a6bdb6a364c295858fefc0a1085c03d0","datavalue":{"value":{"entity-type":"item","numeric-id":4720773,"id":"Q4720773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7e6531272d2f0a709b192ac525a53b82516248b","datavalue":{"value":{"amount":"+0.7459833025932312","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":"Q4779586$5B0C83FC-57C5-4152-BB80-846CBA176FCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"875d0f756dc742aa0524a917a366dad846632fec","datavalue":{"value":{"entity-type":"item","numeric-id":3200534,"id":"Q3200534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d6268efdf62d2b5f544c75c1de6c6e4f8596180","datavalue":{"value":{"amount":"+0.7371305227279663","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":"Q4779586$383ECBD3-F1B5-4FB9-AE56-C13978DFC634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9e37c65efa15676a21ed3ef7b95aab4fef68bf5","datavalue":{"value":{"entity-type":"item","numeric-id":4287481,"id":"Q4287481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e1142f16cb957530788fd10460238ec370183ee","datavalue":{"value":{"amount":"+0.7363487482070923","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":"Q4779586$56E68FE6-6D92-4749-A8D8-1216E62F9562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd13cc74bc7878a11ccfc4548d129beaaed5bcb3","datavalue":{"value":{"entity-type":"item","numeric-id":3434630,"id":"Q3434630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a91172a6eb594766d0ac52bb84f0a16b385954f","datavalue":{"value":{"amount":"+0.7352696657180786","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":"Q4779586$7DFA0616-21AD-481F-96F9-6BB46F590838","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Lazy List Comprehension in Logic Programming","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Lazy_List_Comprehension_in_Logic_Programming"}}}}}