{"entities":{"Q2639644":{"pageid":2650387,"ns":120,"title":"Item:Q2639644","lastrevid":49458280,"modified":"2026-01-07T04:57:10Z","type":"item","id":"Q2639644","labels":{"en":{"language":"en","value":"The fixed points of logic programs with Herbrand base \\({\\mathbb{N}}\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4185041"}},"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":"Q2639644$FBF95AAE-E52E-49BA-A7CD-4F22B77D372D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4486ae106f1efa822d343c297f0b351af79281da","datavalue":{"value":{"text":"The fixed points of logic programs with Herbrand base \\({\\mathbb{N}}\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2639644$420811AB-919E-4DEE-A640-C2EBDB89417B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4bce18663e8ff131d410229b1cf75a8f30c1117f","datavalue":{"value":"0718.68050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2639644$9377CE6F-C1B9-4D70-8A21-33971B583AD0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c99f02af80c51bdd0ee8aa5d1e17e9168c2ceb80","datavalue":{"value":"10.1016/0304-3975(90)90173-F","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2639644$1B07822F-4E90-4C4B-949E-110FDC971DAB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f4f3766f2bf2636c8fb2b0a1869f953e917070d1","datavalue":{"value":{"entity-type":"item","numeric-id":1080650,"id":"Q1080650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639644$BC306622-8029-482A-9565-9A878E8E9707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4b5bbc23d46f5f7a14752fed3fc72a1e91184679","datavalue":{"value":{"entity-type":"item","numeric-id":2639643,"id":"Q2639643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639644$BD32B43C-EFEF-464C-82B0-AEF515C30E9A","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":"Q2639644$C2A865C5-07DF-4B23-8DBA-A7DFFBE23A61","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q2639644$2DB7ECDE-BB61-4940-9811-0BE0245FD1D4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c71fbfd7aac6103a3aa8145e1e0da6f427fd8d44","datavalue":{"value":"A Herbrand base with signature \\((a_ o,a_ 1,...,a_ k\\); \\(b_ o,b_ 1,...,b_ 1)\\), where \\(a_ i\\), \\(b_ j\\in {\\mathbb{N}}\\), is considered. This base has \\(a_ i\\) predicate symbols of arity i(0\\(\\leq i\\leq k)\\) and \\(b_ j\\) functions of arity j(0\\(\\leq j\\leq 1)\\). Some results are given for logic programs with signature (of the underlying Herbrand base) (0,1; 1,1). Such programs use a unary predicate, a unary function symbol and a single constant. The Herbrand base is identified with \\({\\mathbb{N}}\\) and interpretations are subsets of \\({\\mathbb{N}}\\). For logic programs \\(P=(C,R)\\), with \\(C\\subseteq {\\mathbb{N}}\\) is an arbitrary set of constant rules and R is a finite non empty set of simple rules the program transformation \\(T_ p\\) and a transformation \\(J_ p: 2^{{\\mathbb{N}}}\\to 2^{{\\mathbb{N}}}\\) are defined. It is proved that \\(J_ p(L)\\) is a fixed point of \\(T_ p\\) for an arbitrary set \\(L\\subseteq {\\mathbb{N}}\\) and that whenever C is regular, \\(J_ p(L)\\) is regular for an arbitrary set \\(L\\subseteq {\\mathbb{N}}.\\)    Finally, a logic program P of signature (0,1; 1,1) is given, which satisfies the properties: P has a fixed point F of arbitrary recursive complexity and there is no finite, non-empty \\(S\\subseteq F\\) such that F-S is a fixed point of P.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2639644$A1492946-4554-425D-9EE4-A939BE912DB3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2639644$552686EF-5738-4582-94BF-C2D0CF5792F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2639644$942FF721-872C-4360-AF6F-46599E4AA2A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2639644$892D9960-653C-4654-BBD6-2368A32AA098","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b3fa7850bc7c80dc88d8d61ab7e7519ff3852580","datavalue":{"value":"4185041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2639644$9C462035-6AD5-4FE8-97A8-37D4B3667815","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9a7b0cf17169865b15e8c9d7014c24bafb8410c","datavalue":{"value":"fixed points","type":"string"},"datatype":"string"},"type":"statement","id":"Q2639644$87267284-9CBA-4125-A105-7284BFFEE57E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c684c527af3979997ea37dcd232097f7091ef06","datavalue":{"value":"Herbrand base","type":"string"},"datatype":"string"},"type":"statement","id":"Q2639644$4B2722DF-4BDB-491E-AFC4-C9E1E9AB84D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbff8f03116ac62cf7e2d9cc2988d21dd31f9a83","datavalue":{"value":"logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2639644$6FF6C44E-C4BC-4EC7-9A3C-3D8C8DF1DD34","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"9c03730668db67f2f0525cd022cd794bdf73f905","datavalue":{"value":{"entity-type":"item","numeric-id":916649,"id":"Q916649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639644$681536AC-6623-49F0-AAC8-84FC83337F89","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":"Q2639644$EAF67C15-8E9D-4685-B5B6-84F91AE91056","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"94a5e366f943787fe2241be272db04756d3aac57","datavalue":{"value":{"entity-type":"item","numeric-id":3221399,"id":"Q3221399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639644$8B93725B-98E1-4422-8D5B-DE80938AEA88","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":"Q2639644$1F9DD606-161A-4F35-96B2-5E9CBDB1BBD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36d84aa78f0d96f7d40459af01bc21793f5962fa","datavalue":{"value":{"entity-type":"item","numeric-id":4079524,"id":"Q4079524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639644$9FA8FD0B-895A-43DD-836E-7CD5AE42C9F8","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":"Q2639644$BA2B3888-84E3-4573-8C61-55C56F629867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ddd14ea77ca4a57e796f96f22abba56814a9274","datavalue":{"value":{"entity-type":"item","numeric-id":2639644,"id":"Q2639644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639644$AD648AA9-1134-404D-BB76-F720A6972EE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5af7139c65837eb8115c64cb4d4e1bbefc86dded","datavalue":{"value":{"entity-type":"item","numeric-id":4198075,"id":"Q4198075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639644$1CC010D3-07FE-40F6-A08B-70D4D3334510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e35f7cf3d9301d6dc9c69fdb4bca8aa1f43932fa","datavalue":{"value":{"entity-type":"item","numeric-id":1069694,"id":"Q1069694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639644$E9726698-079B-44CC-9AF3-31AB62F7E712","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":"Q2639644$879674B5-79D9-4AC7-A805-76D3D975D480","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":"Q2639644$8270017C-7E8A-4225-8E00-1ACBAF2CFD5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"470336b86f7e93b9af304caca1999cfc5d661f50","datavalue":{"value":{"entity-type":"item","numeric-id":4130959,"id":"Q4130959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639644$1038DA80-2820-4D20-B2EA-7848FEF91CF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639644$4528CC5F-250C-4CD7-994C-4A51051D5C35","rank":"normal"}],"P1643":[{"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":"8dc01d48c5eb9e352f4aea523ac1bb78f0dcf04c","datavalue":{"value":{"amount":"+0.8004353046417236","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":"Q2639644$B2812757-4820-49E3-ADA5-5D8199E98623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"489c2f39a1831141b4f06404278419f93eb393ed","datavalue":{"value":{"entity-type":"item","numeric-id":3718131,"id":"Q3718131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7626515935ca4e57ad1783930d3f4c6d2523e0fc","datavalue":{"value":{"amount":"+0.7831871509552002","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":"Q2639644$795919A5-EDF4-4486-A1F4-6061CB2910F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad6306e49215b17ba90b8cab980a1c1edbe51bf5","datavalue":{"value":{"entity-type":"item","numeric-id":4276169,"id":"Q4276169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1814df7fa2953d6bbcfd2fd76e1285a6cf1e768b","datavalue":{"value":{"amount":"+0.7644500732421875","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":"Q2639644$A46E97BE-36CA-4969-ADB9-48DB1FF6572F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"215424cedc3f94294c4ff39d0589f9f4e3875e08","datavalue":{"value":{"entity-type":"item","numeric-id":3975936,"id":"Q3975936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6d32cf994e64a07d23106af721346547557af4c","datavalue":{"value":{"amount":"+0.7568339109420776","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":"Q2639644$54B555B7-A52B-4329-86D7-1AA7391279E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78ecfb097954ef08672a2d8da6177ee2244fc503","datavalue":{"value":{"entity-type":"item","numeric-id":1430287,"id":"Q1430287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3eb58d38397ca2898d79e537d6903406872be540","datavalue":{"value":{"amount":"+0.7535959482192993","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":"Q2639644$FC12B0FF-80DC-4C18-8D1C-EF2FAC56BC6D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2639644","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2639644"}}}}}