{"entities":{"Q3985547":{"pageid":6015413,"ns":120,"title":"Item:Q3985547","lastrevid":46231912,"modified":"2025-12-24T09:02:52Z","type":"item","id":"Q3985547","labels":{"en":{"language":"en","value":"A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 30498"}},"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":"Q3985547$3F6A27E5-47E8-4916-B8B6-1843E3703873","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"62687fbbd106703ae4c63d7c47b4083a7d49f971","datavalue":{"value":{"text":"A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3985547$35473A0F-E5C6-4EAC-AAE2-508661EA386B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5db8cab39dc72afbe664825b0e6a2525406107d9","datavalue":{"value":"0738.68016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3985547$99AE7A31-5594-4641-B64C-4B4726DD0D84","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70844ffc4666eabac4e20376c648613dbe8620f7","datavalue":{"value":{"time":"+1992-06-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":"Q3985547$B27A8FE8-FEC8-42E1-BAF1-94E092273055","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f831a5410cf6fc794f9969280b8d683ee8cba906","datavalue":{"value":"https://repository.upenn.edu/cgi/viewcontent.cgi?article=1607&context=cis_reports","type":"string"},"datatype":"url"},"type":"statement","id":"Q3985547$DF6A2D22-163B-4604-89A1-CC6FECCFA5A2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3985547$878C90FC-0038-49A2-8E79-39A35390DAE5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"70e92b4281c6fc35f3c6386940166aabe49d4295","datavalue":{"value":"30498","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3985547$E5B71411-E31D-4A83-93C5-2DEB700A5DE9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7e16071cd1ae074e33951cf456d6cb9feb78d4c","datavalue":{"value":"restricted \\(\\beta\\)-conversion","type":"string"},"datatype":"string"},"type":"statement","id":"Q3985547$3C535269-C691-472D-BB6D-D44E0392D497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af82f964286631926ef7240abc8d43981a55ecb3","datavalue":{"value":"quantification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3985547$BC6F4F50-5EC6-4F1A-B910-7DFBE32BD519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6709b7389ef7426f007ad77c18aced8156c031ae","datavalue":{"value":"untyped unification and interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3985547$03F88FEB-46C9-414A-B997-8F5255143674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92495dd6e8b65d90ba3f71f838bc99fc871e9d27","datavalue":{"value":"correctness of unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3985547$76D0C1B4-0C4B-4EEF-8B59-AA74992D7694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f111429ddb0d22d32693ceb1da8e340e09f7cc9","datavalue":{"value":"correctness of interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3985547$149655CF-35DB-4C01-88AF-FCC93D169C39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"372cb15de3004a467e66d53d6552e691fb87a439","datavalue":{"value":"unification algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q3985547$DD7CBA23-6191-4B5E-B580-AB7EED9AB5FA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1aec27d540e360c78ddad230e6e300ced62bdec3","datavalue":{"value":{"entity-type":"item","numeric-id":18433,"id":"Q18433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3985547$B444CDEE-CE78-4D4F-B94E-B7B932E41ECF","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":"Q3985547$8D8E6264-60D6-4B83-9969-273053A48273","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"eeffb49fd24802167a09f90b2bacf3c95d99c7a9","datavalue":{"value":"Q64216211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3985547$F9F3B2F2-52C7-4A64-A417-BEF8B15D30D6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7a4865b54f9f8163270deef11e5dbaa9474bc5d8","datavalue":{"value":"W2075352622","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3985547$402EC63D-D491-4B21-8CB9-A3B258ADC670","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"6b3a4e8cc98e56e6c6bf3488a2089fcf042ae963","datavalue":{"value":"journals/logcom/Miller91","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3985547$C1168B80-B707-4247-B415-C9DD757D4BF0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2c1535ccd16404b30d779f539c896a2e583f43b1","datavalue":{"value":"10.1093/LOGCOM/1.4.497","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3985547$A13EE0D0-A0B7-4F7B-8654-587CCA29AF07","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":"Q3985547$0A6F51FD-B074-4F10-992F-E651E90A3E52","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0d3d4d9e9bd54fb7090966f0c0c5ba3f6ec34a7","datavalue":{"value":{"entity-type":"item","numeric-id":5053011,"id":"Q5053011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5db1befe27117fdaa142e35befd7735d144e562c","datavalue":{"value":{"amount":"+0.9474197626113892","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":"Q3985547$54231FDF-70B1-4ED9-988E-8E2B353B2B56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ede6ba0c0e8d28e91c6e9c4c3425c22e4a23511","datavalue":{"value":{"entity-type":"item","numeric-id":3339249,"id":"Q3339249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c46d485a82185f6f3f89c586ba4310148a8ef581","datavalue":{"value":{"amount":"+0.7866469025611877","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":"Q3985547$2C63FEF2-6691-40B0-B547-978C7111312A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0672489602917b84ce6fa08e433d1325cbf601c","datavalue":{"value":{"entity-type":"item","numeric-id":3370572,"id":"Q3370572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b5ed3b72e36989c0a5fb76e59bc1ba895aa9052","datavalue":{"value":{"amount":"+0.7736238241195679","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":"Q3985547$87C628EC-5E01-4ADC-B0BF-E65E8E80E385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f941683bb65bfcc76bc7ef2a62e5c9d647cd037e","datavalue":{"value":{"entity-type":"item","numeric-id":1314424,"id":"Q1314424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25905195ea3d564d37ddf22f52073e8b9385b464","datavalue":{"value":{"amount":"+0.7616006135940552","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":"Q3985547$833EAF37-E1CA-4BB2-925E-E5F8EBD6F6D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c883a2ea20f0ffd5dbc52fa1a45809371bab181b","datavalue":{"value":{"entity-type":"item","numeric-id":5688911,"id":"Q5688911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68bfcec8de4654b3bdbae14ba0734f050563d619","datavalue":{"value":{"amount":"+0.7601339221000671","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":"Q3985547$C4BFB20C-0749-489D-914D-9FB8CF56E6DA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3985547","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3985547"}}}}}