{"entities":{"Q913530":{"pageid":915378,"ns":120,"title":"Item:Q913530","lastrevid":49379353,"modified":"2026-01-07T01:43:14Z","type":"item","id":"Q913530","labels":{"en":{"language":"en","value":"Declarative modeling of the operational behavior of logic languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4147558"}},"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":"Q913530$6C6AC509-1761-4935-8289-B1EFA5827160","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f0c592671d1036d71668c267e164a4f662ce1874","datavalue":{"value":{"text":"Declarative modeling of the operational behavior of logic languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q913530$1E4CFC94-D1D1-4CC8-8C1E-2B73F3801F5A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"688a11f80f623ba24b29fb291f8e9e43eb41c84c","datavalue":{"value":"0699.68113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q913530$33B3BC1C-475C-4988-96CD-DBD6E6AF0B9B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ee2f1958d722139010c86abc5d171ad4e9f4394c","datavalue":{"value":"10.1016/0304-3975(89)90070-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q913530$00ED548A-8EDB-4DD2-87BB-3C0DF3586DBC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aee728bcf2a6a691d2b429de3becc3dfd0edf5e0","datavalue":{"value":{"entity-type":"item","numeric-id":507370,"id":"Q507370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913530$F84DD7E8-7F6D-439E-91BE-8F2A92663D57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b09c97087e59f31d60466ac7a1052c11eb3805b","datavalue":{"value":{"entity-type":"item","numeric-id":671508,"id":"Q671508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913530$5F0B186F-C482-47B2-9B6D-BF03E78F6ECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5e5a5ffda3b91beac514a35e59d9924cc050864","datavalue":{"value":{"entity-type":"item","numeric-id":915475,"id":"Q915475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913530$7656A4E2-BEC8-4854-99C0-0FD6BDC91D83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"29dc1236822f916648bcfce8c73940191d5a0074","datavalue":{"value":{"entity-type":"item","numeric-id":198014,"id":"Q198014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913530$C89F90FD-2774-480F-A18C-3C6F86838E3A","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":"Q913530$EED637CE-D70D-45B3-8F6D-CEEDAF94FD98","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q913530$17DAD039-E158-48CF-8F2C-FAA158C56B28","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"51bc2b1af94a09e175bb842b4f7fe94cc00d77ec","datavalue":{"value":"A new declarative semantics for logic programs is introduced and investigated. This new semantics differs essentially from the standard van Emden-Kowalsky semantics for logic programs, allowing the presence of atoms with variables in interpretations. The latter gives possibility to model the truth of universal formulae directly and to prove a more elegant completeness theorem than the standard one.    Two types of new semantics based on upwards closure and subset properties imposed on sets of atoms in interpretations are studied and compared. It is proved that both types of interpretations form complete lattices. These new semantics are shown to capture the difference between effectively computable answers and answers obtainable by instantiations of universally quantified variables. As the authors argue, this fills the gap between operational and declarative semantics existing in the standard semantics for logic programs.    Counterparts of results on classical Herbrand model semantics, including existence of minimal models, fixpoint characterization, etc., are shown to hold for the new semantics. Also, a stronger versions of soundness and completeness theorems for SLD-resolution are proved.    Guidelines for future research, including characterization of finite failure sets, the description of semantics for logical programs with negation and universally quantified atoms are sketched.","type":"string"},"datatype":"string"},"type":"statement","id":"Q913530$365DC2F5-4728-4302-9A50-19428B834033","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q913530$C7F24497-6398-446B-B70B-A1AFEEEAAFE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q913530$7C3F3472-A32F-4632-BE6A-CC6864E9E9F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q913530$0B9C6659-0166-4D0D-AB0C-6EBA88638EC8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6eb0d770d0822d3a1bab80ac86a4b95629a751a8","datavalue":{"value":"4147558","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q913530$8F2EBAE6-4E42-4D25-A196-9EAA33E85E97","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"453868b3ecd4cc2ceb48419daecef9c56fc8bd79","datavalue":{"value":"fixpoint semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q913530$31C8BF98-96E4-4853-828F-942E0248A10F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea2c23285ea4b73fe89941dd1245c610af5fbadc","datavalue":{"value":"declarative semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q913530$64D10799-5828-414F-8DDC-37FA98752333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbff8f03116ac62cf7e2d9cc2988d21dd31f9a83","datavalue":{"value":"logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q913530$4C399AEA-65B4-4E90-89DA-1AB476C080D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"958d8a1c2686e1428f3e3dc836f9926153ecb567","datavalue":{"value":"Herbrand model semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q913530$A2465B0A-8F35-4D72-9984-2C73104FBCAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"adba8b3158d5ac0bcf0a5ba3e6acf4b16e18aec8","datavalue":{"value":"minimal models","type":"string"},"datatype":"string"},"type":"statement","id":"Q913530$64F5E85B-F1A5-4F8F-9BB9-75279736F994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c370f08705d948cbe8326531bf5f5bb6a470bf8","datavalue":{"value":"SLD-resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q913530$43AB0F0B-374F-4829-8864-E350F4C2F0CE","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":"Q913530$4AABA6CD-C66C-4D02-853F-5B7261ABE79F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1743cf47261376c8a23ee5170d5f1b4039a9c495","datavalue":{"value":"https://doi.org/10.1016/0304-3975(89)90070-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q913530$E84A8EB4-BF7D-4007-9D54-DECD1469D47C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"192de5650167625d7b9ea33d733a41c6614e4a7b","datavalue":{"value":"W2089111669","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q913530$44EC43D7-6471-4F68-B13E-330F12922DE0","rank":"normal"}],"P223":[{"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":"Q913530$E1A1698B-9F0A-4D72-8F40-1228BBEC8CA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6de79b5478bdf2cfe14adb3fd486d066a8935dde","datavalue":{"value":{"entity-type":"item","numeric-id":3776674,"id":"Q3776674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913530$E7551A1D-89A5-4638-B40E-2C1634C1C243","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":"Q913530$FA81992B-2196-43F1-8AFC-A123D2A29280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8e99f116514106e68ae9cb033244e0968df00af","datavalue":{"value":{"entity-type":"item","numeric-id":3761666,"id":"Q3761666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913530$7B65FA67-E09A-42A9-8619-54F48077E8DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"710c59527605a5875e95cc85f1f622fdcd4b9107","datavalue":{"value":{"entity-type":"item","numeric-id":3787447,"id":"Q3787447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913530$033D8764-EEF3-4A30-AE70-4F46BB0451DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"041184ced68ec1bcfc7e3558db4714d4dc908858","datavalue":{"value":{"entity-type":"item","numeric-id":4050192,"id":"Q4050192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913530$F0EBAF36-6AEA-4C97-8F66-182843BD895D","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":"Q913530$BB21520F-ADF4-4542-8805-0B5FE58CBAE2","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":"Q913530$DD7C7FAA-F30D-459B-AF48-99FE9A982E83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81cf814773134948702af49298317262d3beec37","datavalue":{"value":{"entity-type":"item","numeric-id":1100934,"id":"Q1100934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913530$C5B84E0E-DE7A-4BE9-A1B8-45B1ACB88DB6","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e8b20be7ce39c93900d2521047f9f4cef555ccc4","datavalue":{"value":"Q126310992","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q913530$6E6551FC-A39F-42EE-8630-5963596BC81D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"515f501283c74164fc702f364060f65f735999ea","datavalue":{"value":{"entity-type":"item","numeric-id":3129509,"id":"Q3129509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73623f19ee747c6267f5602238def8060f264e87","datavalue":{"value":{"amount":"+0.8249034285545349","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":"Q913530$F5D4CBD7-5443-4BFE-9BD9-B9284EC5FB92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a054549614805bae41860ade89d7b28adc037780","datavalue":{"value":{"entity-type":"item","numeric-id":1818324,"id":"Q1818324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73623f19ee747c6267f5602238def8060f264e87","datavalue":{"value":{"amount":"+0.8249034285545349","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":"Q913530$5E3309C2-EFAC-4495-9796-F5948CDC77E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"974765942d5eb1d2f1c8e6b105436b214689aff3","datavalue":{"value":{"entity-type":"item","numeric-id":1803658,"id":"Q1803658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"774998177f98e6b326cb723039b319340c9120c4","datavalue":{"value":{"amount":"+0.8237112760543823","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":"Q913530$74B47246-DE70-4A52-BC53-73078FF01151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c341bf1d3870c82e47645f91cdc493dbde7b6c2","datavalue":{"value":{"entity-type":"item","numeric-id":4856950,"id":"Q4856950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f99cf50dd1cce0d5eae4804437cd51b96fff036","datavalue":{"value":{"amount":"+0.807296097278595","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":"Q913530$D8478DA8-585A-48D7-A5B3-61E43F2590CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ee51c5b56a5aac84a6e446473373c1edc02f8c6","datavalue":{"value":{"entity-type":"item","numeric-id":1823724,"id":"Q1823724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd7c934ad5b813947fb1e4fb08afe39cbfdc38bd","datavalue":{"value":{"amount":"+0.7969976663589478","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":"Q913530$CADA0BB8-9B5E-4CCB-9316-EF10F2C57EAD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:913530","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:913530"}}}}}