{"entities":{"Q4720773":{"pageid":6750350,"ns":120,"title":"Item:Q4720773","lastrevid":49039180,"modified":"2026-01-06T12:29:16Z","type":"item","id":"Q4720773","labels":{"en":{"language":"en","value":"A technique for doing lazy evaluation in logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3992923"}},"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":"Q4720773$0B37A033-0EAC-4738-B866-BEC82CF78D36","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"26c1f4de02ad3af2d31ff9c2db5a06855bf92753","datavalue":{"value":{"text":"A technique for doing lazy evaluation in logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4720773$B722A7B7-584C-4157-802B-93174C675106","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6deea2f9bd220a3132e28231d39b1043d446fdf8","datavalue":{"value":"0613.68014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4720773$E0D80759-0D58-4763-8E17-0D15D4952428","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d5928b825f7647bd1e24d98b8e1b80613606f418","datavalue":{"value":"10.1016/0743-1066(86)90016-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4720773$38BCE9AC-0E73-4C59-B2C6-5815D953C3EC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9783661039af7090eeb0caea947e65c47aff3540","datavalue":{"value":{"entity-type":"item","numeric-id":1885450,"id":"Q1885450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4720773$C6A05208-0722-4C4D-BBA7-1ACD0189A8AC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7eb8fbff5b5a1996cd7eff3ff7a29f3a29661a8f","datavalue":{"value":{"entity-type":"item","numeric-id":3030270,"id":"Q3030270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4720773$01869844-9273-481E-9CEF-59636D7C35AA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4720773$92FBB747-BB72-4A6C-94F3-7D38D62728E9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4720773$E0F7700D-E13D-442A-9F39-564C8274EE24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"02303c61036060136df3f7b7e22c52163746633f","datavalue":{"value":"68Q99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4720773$162164CF-F5D2-4B76-86EC-48D34AF0998E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6016fd0cc849b9c1e9cc40f969c5a7ca62298acd","datavalue":{"value":"3992923","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4720773$DAF76594-B54C-4D93-A660-772DBF5109F5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4720773$0AE795FD-1192-45E9-921C-7BB81B7EFFAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"686083e6ba479cb174230a4ffa6d8a53da8103c4","datavalue":{"value":"prolog program","type":"string"},"datatype":"string"},"type":"statement","id":"Q4720773$B7DFD115-88F6-4DDA-82A4-0F7B07264B9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"360cf5401cfabe664b4283357e2da4d4594aeed1","datavalue":{"value":"Non-deterministic functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4720773$3D108C3E-4D30-48D6-9D01-A43A09ECD416","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":"Q4720773$BCC9B210-717D-4250-850A-918733232208","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"179e1abddba6462681973258825c325246fa2c35","datavalue":{"value":"https://doi.org/10.1016/0743-1066(86)90016-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q4720773$32DD11B8-02D2-454F-9461-0831D77F4409","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"62ad614b3e5a6587a4b030453902b8f299dae7e6","datavalue":{"value":"W2092753191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4720773$97B81CD7-DA00-44B3-B9B7-18FAE94C1B62","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":"a3363213e372906ee64f6e3a4c1debf720f0b2d4","datavalue":{"value":{"amount":"+0.8261021971702576","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":"Q4720773$52FDA8C8-5A38-45F1-AE13-8F5BED3FA9F3","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":"c882784a959784a22ed1998ee4c0aec514c7c062","datavalue":{"value":{"amount":"+0.8236815929412842","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":"Q4720773$7477C553-B273-4620-B4CF-9F94492C40AE","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":"c068b1c6d4a1c03394ba7bb4ff287f60ea965513","datavalue":{"value":{"amount":"+0.8211677074432373","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":"Q4720773$61B5BB3A-DC18-484A-AF8E-63A98BB966A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"098020cdeac2e500e34d11a39dbeab3b4b1fdccc","datavalue":{"value":{"entity-type":"item","numeric-id":4376490,"id":"Q4376490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7a97628c3c8a19b5696bfb9301ac0996a87e318","datavalue":{"value":{"amount":"+0.8190721869468689","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":"Q4720773$56B626EE-9BB4-445F-BF52-41BC1916B415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e80c7a7a45bbd0d90434a68d1f6ce32732553a51","datavalue":{"value":{"entity-type":"item","numeric-id":4779586,"id":"Q4779586"},"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":"Q4720773$90B958A2-A312-48D2-A5C6-4D40275D030A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4720773","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4720773"}}}}}