{"entities":{"Q1177936":{"pageid":1188685,"ns":120,"title":"Item:Q1177936","lastrevid":66508860,"modified":"2026-04-12T10:32:09Z","type":"item","id":"Q1177936","labels":{"en":{"language":"en","value":"Horn clause programs with polymorphic types: Semantics and resolution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 22507"}},"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":"Q1177936$F8210D25-0238-4F05-96BE-43EF51CF8988","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9336dca8cc68b176504280369cce071bac7f7394","datavalue":{"value":{"text":"Horn clause programs with polymorphic types: Semantics and resolution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1177936$8D6540D0-5ACD-4B15-889C-777035D2B501","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1bd853be3e19318fd409a0d01bbe2dc5d370dd95","datavalue":{"value":"0741.68029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177936$5E291CED-3B6F-4D5A-8CE3-5B300AD7F468","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5e9d5ce6cfe3ace3a75617a4ec3694b8003827d5","datavalue":{"value":"10.1016/0304-3975(90)90107-S","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177936$C85D5ECC-426E-48DA-9C96-4163AAA9DC71","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"284a0a3d9b0aa1479b8d064647908d17d9971b50","datavalue":{"value":{"entity-type":"item","numeric-id":293291,"id":"Q293291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177936$55520984-6A74-4D9D-9BDA-C498CE9FB051","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177936$62E12F13-020C-497C-B122-07D3CB393A95","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1422b5e3113eee9dc98f0455d275631058399b8b","datavalue":{"value":{"time":"+1992-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1177936$5243E112-A6CA-428A-BE85-BA3E93D42CCC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cedbcc898df5a6cb7fec185a0668358188fdad33","datavalue":{"value":"A Horn clause logic where functions and predicates are declared with polymorphic types is presented. The semantics models for polymorphic Horn clause programs are defined. Deduction and resolution methods for typed logic programs are presented. For several classes of programs, optimizations of the resolution procedure are given. It is shown that higher-order programming techniques can be applied in the framework.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177936$40391183-BF9B-4D38-9408-990C1F824DD3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5b39a071f220ede335b535a94dac9b2e05d71f72","datavalue":{"value":{"entity-type":"item","numeric-id":802552,"id":"Q802552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177936$B8D3684D-EBCE-43CA-95FB-322C1FEC4B3A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177936$370EDB7E-AAE0-427F-A92D-780C482B37A9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"de77efd43d4fad349335f05f6a39480b7d452f4f","datavalue":{"value":"22507","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177936$B0E512C6-1AD7-4547-9B8D-0A0932E18531","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b718e48fe341633490fa2ced729b418e18c3ad8","datavalue":{"value":"polymorphic types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177936$BE25EFD2-5646-40E5-8325-5615BB87C79F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177936$13D1722A-22B5-431B-9233-50C933384DB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177936$26582840-B6CE-4122-B8CD-9533C731BDA7","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":"Q1177936$EE08D1A5-2EE7-4AB7-8CD5-0DE66D12CEEC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9c870028c7e70b11c2d1c323364fb3678909a86","datavalue":{"value":{"entity-type":"item","numeric-id":3735057,"id":"Q3735057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177936$3480CD9F-6143-4CD3-AE06-C1400C0ADE4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9244cfa0cc83c54f6dddc3fcd9671a0260655de","datavalue":{"value":{"entity-type":"item","numeric-id":3942361,"id":"Q3942361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177936$D9C511FD-BEC0-4F06-B29C-940AE1D7D5EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba08130d16cf93d7348bec4b002f7a4d864735e3","datavalue":{"value":{"entity-type":"item","numeric-id":4720771,"id":"Q4720771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177936$F22A5C53-7A6F-4D40-8060-6AE7658207C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35f820e9c2b45f8f035a710ad26c0ff0e5c7ae48","datavalue":{"value":{"entity-type":"item","numeric-id":3221381,"id":"Q3221381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177936$F3A5EDE5-9FDA-4431-AB64-718AA5344DFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9c583b65c7819a91d7f03c50f27e11283eee826","datavalue":{"value":{"entity-type":"item","numeric-id":3962973,"id":"Q3962973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177936$0E424E14-F97C-49F6-8E85-CAE1221E39FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edc952c4dd8b2618cd6914cf7fc4aa87c79fa4aa","datavalue":{"value":{"entity-type":"item","numeric-id":3716279,"id":"Q3716279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177936$BA8B0104-9876-4E61-82F7-BF26D44DCE81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7021c91f6a866e16b579f74b23aa54446a0c8938","datavalue":{"value":{"entity-type":"item","numeric-id":1150586,"id":"Q1150586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177936$54B1B479-996B-439C-9BFD-0413FF010FD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"342733b0f6367aa32ac14853476537e19aee9574","datavalue":{"value":{"entity-type":"item","numeric-id":3200537,"id":"Q3200537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177936$7918F383-0201-4030-B461-24C1D6E3CE47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bcb10b2d0dc49c441c3a076bc96fb28fb02c90c","datavalue":{"value":{"entity-type":"item","numeric-id":1177936,"id":"Q1177936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177936$F590D574-CEE6-42C1-9D49-7AB241159C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fecc7ce8fe53bf0ab0f560a96ff760721b70f9b","datavalue":{"value":{"entity-type":"item","numeric-id":1230505,"id":"Q1230505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177936$B0D2D08F-1D23-45E8-A4AB-F45198A497D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177936$504500CA-375F-443B-92EE-9969773FEBEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c9465d6417bb77bd19e652eaf6c381784d12e8b","datavalue":{"value":{"entity-type":"item","numeric-id":3936229,"id":"Q3936229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177936$FAA9B3D2-9CBC-4C65-9DC3-48C77FCA8088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4413667b942f6f696a49dd6b29a6b1aae331dd9f","datavalue":{"value":{"entity-type":"item","numeric-id":3751042,"id":"Q3751042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177936$E983FB23-1A88-40EC-86A8-291C937FC0B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15073390dd1260ee5e167563f0e9c459c4436960","datavalue":{"value":{"entity-type":"item","numeric-id":796313,"id":"Q796313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177936$DF4721E1-AF33-48AE-BA54-17D75B2B14A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02e9bdddaebddb563767fdab13b5d71ba14f7f56","datavalue":{"value":{"entity-type":"item","numeric-id":4040341,"id":"Q4040341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177936$689FA9AA-1ABB-472F-977D-6F8CA2280ECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a92b361a18a5491ab3cc99003979f5f231d4721","datavalue":{"value":{"entity-type":"item","numeric-id":3719801,"id":"Q3719801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177936$BE49556A-D856-4D3C-8B72-5221109704B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9887b9b79e33b21dbc3558d55c26558304b5187","datavalue":{"value":{"entity-type":"item","numeric-id":1243575,"id":"Q1243575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177936$00D261AF-A237-4E47-831C-8444630B1CA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177936$6345FD00-103E-424F-9CB5-7C7B74C62437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f91daa2195cbe510cefc59ffaafa18b1c28390","datavalue":{"value":{"entity-type":"item","numeric-id":4107888,"id":"Q4107888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177936$C4C01B01-5792-40B3-A790-71E2BCEC84DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c07b9a7d6269bd5673d7478851e868fdca08fea1","datavalue":{"value":{"entity-type":"item","numeric-id":5748874,"id":"Q5748874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177936$BA983682-763E-4D09-930F-1AEB8F502364","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"553cd26cf101e1596b683ff5ba6200d1eae16de5","datavalue":{"value":"https://doi.org/10.1016/0304-3975(90)90107-s","type":"string"},"datatype":"url"},"type":"statement","id":"Q1177936$257B5D5F-4C1D-48DA-96A1-47A6516FFF03","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"92b4671d289ebe12ea22dd354f26b89cd9bfbcc4","datavalue":{"value":"W1980166798","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177936$4888C3E9-C495-43C3-AA1B-85F663EF6E82","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a522f1d44e426d1d1deb47ee51959147ccf6c43e","datavalue":{"value":{"entity-type":"item","numeric-id":5881208,"id":"Q5881208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98eb380c056940ae6e104100979a409bdf335cfc","datavalue":{"value":{"amount":"+0.7978838682174683","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":"Q1177936$43F801BE-A84D-4911-A697-3413D61B07B7","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":"ae30eeb6acaad742eecca88b75f7d5e1660419e9","datavalue":{"value":{"amount":"+0.794586718082428","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":"Q1177936$4BD4F7F3-67E3-4A61-9163-B6CD630450DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68fc10c576015034da631874e137c252e1d4675e","datavalue":{"value":{"entity-type":"item","numeric-id":3995237,"id":"Q3995237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59375215beae3bf95208487b693a9e713aba6497","datavalue":{"value":{"amount":"+0.7844176292419434","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":"Q1177936$75669AA6-E31E-4671-9867-BBB3E79F079E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a62f1244d78a5efe20bb6804ce2227abe3a0de76","datavalue":{"value":{"entity-type":"item","numeric-id":1208426,"id":"Q1208426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"996de545531992b70b41f29a8fa55aaae3102c4f","datavalue":{"value":{"amount":"+0.7836256623268127","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":"Q1177936$A7FB372F-8187-494E-BB1D-66E3D574DD6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b9ace2ede2b0111033e6a25ec26360ad3336384","datavalue":{"value":{"entity-type":"item","numeric-id":2628299,"id":"Q2628299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37b0968b0eb18f56125ed236d68aca3b7e633fd5","datavalue":{"value":{"amount":"+0.767899751663208","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":"Q1177936$F98469E1-1C03-4119-9AB0-211958A856AF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Horn clause programs with polymorphic types: Semantics and resolution","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Horn_clause_programs_with_polymorphic_types:_Semantics_and_resolution"}}}}}