{"entities":{"Q1113661":{"pageid":1124410,"ns":120,"title":"Item:Q1113661","lastrevid":66153792,"modified":"2026-04-12T07:54:32Z","type":"item","id":"Q1113661","labels":{"en":{"language":"en","value":"Contributions to the semantics of logic perpetual processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4080881"}},"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":"Q1113661$38B2DA46-7949-4383-802D-90E5881901A9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f7943987b64b37477bba6e539b678f8c6a99f96d","datavalue":{"value":{"text":"Contributions to the semantics of logic perpetual processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1113661$01938E3C-BB15-4276-ADAD-404B6F943BCB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a1391c4f0931d03527ade72f6b45ac36b6a8743b","datavalue":{"value":"0661.68012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1113661$69FE061E-08DF-4682-8DF4-EBABDAA8809C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8ee07a4ba9bc2f9ac62c9a8b946fb51b8be38a96","datavalue":{"value":"10.1007/BF00291055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1113661$BEEF3B69-37A3-4BC4-80A7-7E43424AD0AD","rank":"normal"}],"P16":[{"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":"Q1113661$C3F27A40-F131-4491-A88E-D1BF80AC5623","rank":"normal"},{"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":"Q1113661$B35B886E-BA01-4D18-9919-BBAB7B47C0C8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1113661$9BCE4D2B-9518-43F9-9B2C-50857727F9F7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q1113661$61330975-2DEE-440B-81DA-2DA392737CAA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a6e2f8ff58934656027e5b527632dec62cf9f3b2","datavalue":{"value":"This is a nicely written paper which presents a semantics for possibly infinite Horn clause computations. The semantics is based on the definition, given a finite set of clauses, of a continuous map on the cpo of infinite terms (used widely in initial algebra semantics [see \\textit{J. A. Goguen}, \\textit{J. W. Thatcher}, \\textit{E. G. Wagner} and \\textit{J. B. Wright}, J. Assoc. Comput. Mach. 24, 68-95 (1977; Zbl 0359.68018)]). The method presented here is shown inequivalent with either an operational semantics or a semantics based on greatest fixed points of \\textit{M. H. van Emden} and \\textit{M. A. Nait Abdallah} [J. Logic Program. 2, 67-75 (1985; Zbl 0592.68019)], and further work seems indicated.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1113661$87D06AD9-DE95-46DA-AFFF-70B9292113D0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1113661$25188987-0FBE-4470-BAEF-09A0236924FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1113661$33532C07-B097-4158-A99F-B9C59C5AEA86","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2cd71d92b7bf5c3902092b379534e740670d4417","datavalue":{"value":"4080881","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1113661$1E647B4A-8C17-4C0A-AF60-117569C2BDDF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1113661$9F279A28-A449-4824-AB1D-2E553F32F739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1113661$8BE07726-051A-4E91-83E1-8F6DF161BAB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a26afcbea65141b99ce53943cffdee67648dec89","datavalue":{"value":"infinite Horn clause computations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1113661$5043B1FF-85BB-4595-9BA6-3A3715A25EAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f17ea1aaf292843045de6c8e0fba1afa1d6af9c","datavalue":{"value":"initial algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1113661$F9C7391F-0B8C-416F-9226-D75C8364D0AD","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"bab6095f1b641fc3add262714cd80d4bd006795a","datavalue":{"value":{"entity-type":"item","numeric-id":671350,"id":"Q671350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1113661$1BB0EBD2-A06D-48DD-B34E-3AA98AD1D253","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2d4f23832fcdf646910846c50514931a5f75084f","datavalue":{"value":{"entity-type":"item","numeric-id":35532,"id":"Q35532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1113661$CF9A51E5-3F95-4BE3-B412-BFE5A6169626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5cb180c22f3bced7fedc55462354c0f7fabfc168","datavalue":{"value":{"entity-type":"item","numeric-id":35531,"id":"Q35531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1113661$5A52ADA9-C919-4FF2-8276-ADFC3D9895DF","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":"Q1113661$F1C6532C-6789-42E2-AA75-D59C38D99CA5","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":"Q1113661$B6C65778-163C-4645-9386-2B3329E31550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c22b316f56b5c220e92e1617ca28d5433af50d1d","datavalue":{"value":{"entity-type":"item","numeric-id":3957929,"id":"Q3957929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1113661$B6677875-A58E-4C74-BB65-835B9721C58E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d54d03d44a544a3c811b233b3629d1a95e74c1c","datavalue":{"value":{"entity-type":"item","numeric-id":3721786,"id":"Q3721786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1113661$935F4284-58D0-49DF-BB00-824A68929386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb7b8847a36d076106e01f43c31a170940dd0b60","datavalue":{"value":{"entity-type":"item","numeric-id":1055184,"id":"Q1055184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1113661$7F4A71C6-12D4-4811-A33F-B399862F0B8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2de0c47aac54d255781a3e64af689d25e678b8dc","datavalue":{"value":{"entity-type":"item","numeric-id":1098322,"id":"Q1098322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1113661$B131D8FD-7F03-4BB9-A65F-2EF617970566","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":"Q1113661$7852B4D1-862E-460A-90B4-BDCF7F36FC7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e366e65d2f03a5442fed306d10883398642688e7","datavalue":{"value":{"entity-type":"item","numeric-id":3721791,"id":"Q3721791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1113661$7D52BE29-BB53-4920-A62E-7878C060D471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3292412c3b4333fac9758bafb54f00eb85c2fccb","datavalue":{"value":{"entity-type":"item","numeric-id":3719821,"id":"Q3719821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1113661$6D9CB8D1-8988-46C1-A577-AD9930CC9375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c27260fa3218bbf6252131974192f86fbffa2384","datavalue":{"value":{"entity-type":"item","numeric-id":3742694,"id":"Q3742694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1113661$C837B051-61E8-487D-A206-992752FCF990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0065dc8b5c25773ef1d9719266c7992d0edd4dd5","datavalue":{"value":{"entity-type":"item","numeric-id":4131619,"id":"Q4131619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1113661$517BAA19-5108-4FD4-B720-BC5F4A979C4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea2b7941e0263f7b7e467836b074360d7c632e24","datavalue":{"value":{"entity-type":"item","numeric-id":799098,"id":"Q799098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1113661$2F450699-D677-42A5-A4DA-B2AFB1A26998","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":"Q1113661$6EF63980-175F-402D-8D0A-C417D250E42B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa4359219b21bd8066c5b84ecc20a93fef86cb0f","datavalue":{"value":{"entity-type":"item","numeric-id":3947165,"id":"Q3947165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1113661$4B4E1FC3-3D8C-4F39-A48D-56AD6138696C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d292125d4bb61c4f70427dd0476cc2e72e9bb11e","datavalue":{"value":{"entity-type":"item","numeric-id":3994465,"id":"Q3994465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1113661$5E4119FE-B87D-4309-8F81-1969AB01B288","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aadde847940509143f82c53023f8af68df152f45","datavalue":{"value":"https://doi.org/10.1007/bf00291055","type":"string"},"datatype":"url"},"type":"statement","id":"Q1113661$A12CDD37-0A1D-40C7-9CD7-762326FF68E2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5e6d599a4e95b30330f75ac4ca1326e5db7799be","datavalue":{"value":"W2005715553","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1113661$C791BE16-9187-4243-93E5-40C990F4515C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6e92dd7c17c8b45b7031edd800ef7e1de5bd67c","datavalue":{"value":{"entity-type":"item","numeric-id":3355243,"id":"Q3355243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d464b3535bc3c718511256ea17551cd7dd8f81b","datavalue":{"value":{"amount":"+0.7971130609512329","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":"Q1113661$2FB86DD6-915D-4760-AC87-EBB247512153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d62c369f4c503380f9494910e4db6c33ba930db","datavalue":{"value":{"entity-type":"item","numeric-id":3742694,"id":"Q3742694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"150def00e6aa50e39e03364af0cb9c7d45518e77","datavalue":{"value":{"amount":"+0.7846739888191223","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":"Q1113661$629F5FBD-3F16-4464-9C0E-90BB6BE3DCED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3caab9149e9e6d78e14fdc76a58d9add3e34c800","datavalue":{"value":{"entity-type":"item","numeric-id":4029601,"id":"Q4029601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b0fbaeb86fb00c3c843b5833bd81621d0735381","datavalue":{"value":{"amount":"+0.7803363800048828","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":"Q1113661$ED6BCBCF-93EC-4CBA-B01A-065C13BE0531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1e6e6eb8147b4efc00a86d8107323d7c399e062","datavalue":{"value":{"entity-type":"item","numeric-id":3703281,"id":"Q3703281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b0fbaeb86fb00c3c843b5833bd81621d0735381","datavalue":{"value":{"amount":"+0.7803363800048828","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":"Q1113661$62C0B0C0-2351-4A9C-AACC-58F0F79FF4C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e6198f06c6f82fae4ba866a934a0cbf9c170ce2","datavalue":{"value":{"entity-type":"item","numeric-id":3707364,"id":"Q3707364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e585c6cccba16dcec6659d75deed76c0d42f9bf","datavalue":{"value":{"amount":"+0.7751216888427734","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":"Q1113661$DED7BAC5-D07D-4857-89B7-4C47FEA31A64","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Contributions to the semantics of logic perpetual processes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Contributions_to_the_semantics_of_logic_perpetual_processes"}}}}}