{"entities":{"Q3370572":{"pageid":3381276,"ns":120,"title":"Item:Q3370572","lastrevid":87163619,"modified":"2026-06-04T10:51:53Z","type":"item","id":"Q3370572","labels":{"en":{"language":"en","value":"A treatment of higher-order features in logic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5004594"}},"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":"Q3370572$D0BCB20B-94D1-4DD2-B5FC-41268317397A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5dc377b2b3bf5e77609952403511a96c2489b721","datavalue":{"value":{"text":"A treatment of higher-order features in logic programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3370572$7F890BB6-49D3-4112-A99C-3D319B4B35D2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0d2ccc9a464cc71c4baf62eedb412ea3ff62cf3b","datavalue":{"value":"1095.68015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3370572$1E2C8697-E67E-4D7C-89A0-120FAD80EF6F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2dae92829df077131093865b838371542d44ae03","datavalue":{"value":"10.1017/S1471068404002297","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3370572$DE4F30F6-5213-47A9-B2B1-41622FB6F849","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ecd7a1ce09de973ac2a089dc3090ce1b049c899","datavalue":{"value":{"entity-type":"item","numeric-id":617714,"id":"Q617714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3370572$79BE6C8F-0A5C-4CB5-9EDF-D32078C2C77C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3370572$DE91973E-5303-42D1-816D-DBB8FD0BE9B8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7be842e5bc1b54667cb2f669eb29d91c2f271633","datavalue":{"value":{"time":"+2006-02-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3370572$981685FD-AE77-42A5-9438-8A3E2C08FA3D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3370572$7ABD96B6-B163-49C8-9804-35BFA7DAA2A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3370572$967EF896-3D5A-4238-BBC4-75DDC07A1374","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8dd7c1153e0bf31367ed6206ee05dfa7df9307d9","datavalue":{"value":"5004594","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3370572$D04D6F1B-BC14-44FE-B5D9-05C45D0FD59B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3370572$5C45F824-6CC8-455C-B083-F3DD8ABBC3E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b58b11f599cb0919eb66b05f5d95b60fe47c4a6","datavalue":{"value":"intensional higher-order logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3370572$719454EB-A955-4121-A6EE-F8193B73B3B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bd5e640143d97b736be60c5040f4374a126b75b","datavalue":{"value":"higher-order unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3370572$ED9325E8-13B7-4C5D-AFEE-478B1759AB1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99000160fa448cc097c081e115e85e88e075a513","datavalue":{"value":"Warren Abstract Machine instructions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3370572$B783D890-E62E-47DC-917E-C3A590DCFEF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5403231c326317c3fa25b1c39d4a84d347330b75","datavalue":{"value":"abstract machine compilation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3370572$4469E226-064E-4C87-8EDB-7029DFD7076D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed06be108ed65132d27e8f150616129068173e03","datavalue":{"value":"compilation process","type":"string"},"datatype":"string"},"type":"statement","id":"Q3370572$E978930E-79FD-4245-9033-27A7ACADFB9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6546f45b10e1c8f87d27b53bbb98a9339bbfb8e0","datavalue":{"value":"lambda-PROLOG implementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3370572$D8DECDC6-C874-4EC0-B049-ACC4D0EADADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd1095818f2f11c5c5b5e9369de29a51d5706309","datavalue":{"value":"Teyjus PROLOG","type":"string"},"datatype":"string"},"type":"statement","id":"Q3370572$0B3D96B7-1A21-442F-92D1-55ECD7C78D9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ef7e43c7358365ca4a777ca3b3e92b001a2bc8b","datavalue":{"value":"polymorphic typing procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3370572$D2CB1454-4F31-4C30-960A-5A18CAE126BA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"040fe209bf9959da562393c0e37eb31592733af3","datavalue":{"value":{"entity-type":"item","numeric-id":18957,"id":"Q18957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3370572$7479843C-0F0B-44E4-A818-2852B050F2B9","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":"Q3370572$17934234-A993-4ED0-A332-7B78CEAA6F1E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"59a6ce524aa1f2539de17f0346a236cb7cf7f27d","datavalue":{"value":"https://doi.org/10.1017/s1471068404002297","type":"string"},"datatype":"url"},"type":"statement","id":"Q3370572$37D68EC2-A6CB-4A11-8956-3626731BA7AF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"80a208f9dea11cb0abb49531e1e511888e20f3ed","datavalue":{"value":"W2142995137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3370572$5A637CFD-E6CA-4D74-9F7F-F7D5317A6498","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1dcf1f4adeed74f30ff1b5b21251becf517df264","datavalue":{"value":{"entity-type":"item","numeric-id":4301318,"id":"Q4301318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c781b95ce2d1ee5157847dabc6a931218223c475","datavalue":{"value":{"amount":"+0.80494225025177","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":"Q3370572$4EA7E97B-9D87-4F26-AAD7-70717F783D69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"116ae40af25df1caab31ce7865056cc8623f9e19","datavalue":{"value":{"entity-type":"item","numeric-id":3789101,"id":"Q3789101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff90e8e6872b74b1ec244e8382be8c9365c095f3","datavalue":{"value":{"amount":"+0.8021479249000549","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":"Q3370572$8C92C1F6-7194-4F95-966B-16F0876D74C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c3ed54c351d36f5d91aa80524059ac6791e15a0","datavalue":{"value":{"entity-type":"item","numeric-id":3128624,"id":"Q3128624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0e0de5f5100523268e2de4efb64822adb6a0158","datavalue":{"value":{"amount":"+0.7986469864845276","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":"Q3370572$AD548B31-A1A5-4F2B-B3C6-F7B677DCB29F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf6c94109ca21025909cdcaecfc630d853b08116","datavalue":{"value":{"entity-type":"item","numeric-id":3495673,"id":"Q3495673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f55b8259071e9994f845d36c6ba0e64b914e372","datavalue":{"value":{"amount":"+0.7920050621032715","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":"Q3370572$E1E62D27-1DB0-47B6-80A7-C31DF372F6B6","rank":"normal"},{"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":"a310ca46080a8469f91f62b3d80235564b3e4ec9","datavalue":{"value":{"amount":"+0.7905433177947998","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":"Q3370572$7366372A-9ED0-4B64-9435-A79F9F1ED994","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A treatment of higher-order features in logic programming","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_treatment_of_higher-order_features_in_logic_programming"}}}}}