{"entities":{"Q1924779":{"pageid":1935521,"ns":120,"title":"Item:Q1924779","lastrevid":82049153,"modified":"2026-05-06T19:58:54Z","type":"item","id":"Q1924779","labels":{"en":{"language":"en","value":"Complexity and undecidability results for logic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 937276"}},"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":"Q1924779$D34764A6-F82D-4A16-8C68-C805DB8DDA8D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5bea5a7e1f645724001cab8f06cd31af47fbc1d9","datavalue":{"value":{"text":"Complexity and undecidability results for logic programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1924779$683F976E-2524-4276-8AD6-5E332AE42B50","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"764cafa0957dfaef09ee22585831b7371974f591","datavalue":{"value":"0858.68015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924779$86D9F922-9362-451D-951A-7F79AD36F7BE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3c9b7c1b1270e59244583f44178b40f5afc5345a","datavalue":{"value":"10.1007/BF01536398","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924779$C462FD4B-D1EA-4A5C-B624-FDCD32DEA9F2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d9afafb4ea4689b8f0555839c80f07e72314b76","datavalue":{"value":{"entity-type":"item","numeric-id":579239,"id":"Q579239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924779$C63C9510-17AE-40F3-BC75-F331BF25AAF4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924779$43B2D88E-3F4C-4BA6-85EE-C1DB79F448DE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"94eaf961600c94bdbac4a9e928037b2c45fcda26","datavalue":{"value":{"time":"+1997-03-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1924779$36B15D14-89DD-4738-B512-B32A1A36A5F6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924779$E5A24EE9-1501-44A6-BC93-5A02579D73A7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"936c788aa52a50ae63785e59f4c4e79821bf6e06","datavalue":{"value":"937276","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924779$EBED8F9D-D476-460A-914A-303CF12B8F23","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a29b2a2a24d5bc4e3432d7b96afc74374cdc460","datavalue":{"value":"degree of uncomputability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1924779$4F4651ED-2F86-4A66-8C65-C815D964201D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e16fdb519452f3bafdb17bd5ad06b8194f047110","datavalue":{"value":"expressive power","type":"string"},"datatype":"string"},"type":"statement","id":"Q1924779$C7BE195C-3C41-4DC1-ACDE-9F1A1EEFBDAA","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":"Q1924779$31581D93-43E0-42F8-B1DA-E03776660722","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"05956bf43836025a1012618ff18dd51bd3c173f1","datavalue":{"value":{"entity-type":"item","numeric-id":3960112,"id":"Q3960112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924779$32A077BF-86FB-4E30-846D-67EA4C48C8AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b11ef0dda58449f200712db088b699d62dbc7885","datavalue":{"value":{"entity-type":"item","numeric-id":3477998,"id":"Q3477998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924779$5B64313D-66F6-4CE4-A6F1-3798A72822F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8973abb951181b5865d7e8e53e525f0e4b9b6f41","datavalue":{"value":{"entity-type":"item","numeric-id":4075450,"id":"Q4075450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924779$1041D722-6C3B-4C55-9FD1-0E0F745C77E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"181b0ac17c3f28c3e8ded082301cb246642c093b","datavalue":{"value":{"entity-type":"item","numeric-id":1924734,"id":"Q1924734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924779$5D6580ED-7983-46F3-A170-A5F6BD8FAD75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ab648e1689febccc7daffba18fb70c2f3e13c50","datavalue":{"value":{"entity-type":"item","numeric-id":4275256,"id":"Q4275256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924779$DA2E9C4E-3F93-4D78-BA07-24F7AF5A14C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04199e03d1d3ec0d2b5fbfff526a164b91654871","datavalue":{"value":{"entity-type":"item","numeric-id":1838840,"id":"Q1838840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924779$FA720802-3C47-43FB-97DD-551CF44AC5CC","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":"Q1924779$0886AD36-CA33-4595-8A0A-F68044407B2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62803e9ce76b1af1e3ac5f31a7cb7fd998ad8df0","datavalue":{"value":{"entity-type":"item","numeric-id":4318639,"id":"Q4318639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924779$ED5183CB-1558-4424-8055-C611EA8F4109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cec95e0cc5f6be9ceb84b4471952fde3499dc8b7","datavalue":{"value":{"entity-type":"item","numeric-id":1140442,"id":"Q1140442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924779$D7C5B1E8-513E-4765-BF4C-804A786DFBAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a73f079fad88596351ff709cf186cec234a2805","datavalue":{"value":{"entity-type":"item","numeric-id":3723723,"id":"Q3723723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924779$B2732F59-60AB-4740-A8DB-48390D569E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ca4f823ca2e82e86e612699cdb65f38c133999d","datavalue":{"value":{"entity-type":"item","numeric-id":4052071,"id":"Q4052071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924779$5B2F0A8D-DB27-44C7-8888-B9C84D52DFAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a758190ac23ff7b3dba8858d2a10f4c2ab5bf229","datavalue":{"value":{"entity-type":"item","numeric-id":3718131,"id":"Q3718131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924779$D74C96A0-8670-4BC0-81DB-6D73F396422E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5ed5cf1250814a5e584c109ec7d15def62f14cf","datavalue":{"value":{"entity-type":"item","numeric-id":1090327,"id":"Q1090327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924779$F62364DD-4C10-4FA8-A6F1-0CA72C2F320B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a675fab4321817783597d6a1b8160efcb24c4ec","datavalue":{"value":{"entity-type":"item","numeric-id":3753525,"id":"Q3753525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924779$ED2C94F0-1310-4F21-88FF-D6F4A528DFDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1268c34f98c46f18ad911507724e23503472927","datavalue":{"value":{"entity-type":"item","numeric-id":803773,"id":"Q803773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924779$A14EC082-45F7-4404-90B1-4EA345BCAF46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"713f64a492a2aca46d9fcdcf99b677ef28cefa55","datavalue":{"value":{"entity-type":"item","numeric-id":1176286,"id":"Q1176286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924779$ED2780C1-300D-4730-8531-1B23E664C7E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34af38d5111b224227bb34c206e67304c54c4735","datavalue":{"value":{"entity-type":"item","numeric-id":3802588,"id":"Q3802588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924779$18E6F2BD-A099-4073-BACA-86BEAD6A392B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20d673c9e3500afdb21e15fbaa90c70875e50741","datavalue":{"value":{"entity-type":"item","numeric-id":3478001,"id":"Q3478001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924779$9C1A8EE5-1EC5-4755-ABE3-AE69E01636F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40ffc6b2c1d0c46bcf3a582f7c34bb6301f43675","datavalue":{"value":{"entity-type":"item","numeric-id":5750390,"id":"Q5750390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924779$A2599F12-A378-4F9B-81BD-DDC4106265F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"606b55142cd4468a9a74e0ea3982d2b3991333cb","datavalue":{"value":{"entity-type":"item","numeric-id":3992908,"id":"Q3992908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924779$12BF51B5-7851-4F66-9A88-FB705566EE18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"423afc99b15b62a04b1a8a934c14a449f9640ab9","datavalue":{"value":{"entity-type":"item","numeric-id":1140440,"id":"Q1140440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924779$CD0BC4D5-022F-4A83-BA54-839E2D57022A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb1aed9af0b115c501efcd1e09a55330fdc38c0b","datavalue":{"value":{"entity-type":"item","numeric-id":3939270,"id":"Q3939270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924779$A6AC0151-2FA2-4D99-A24E-6577FD572C02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b2485593fa6a43c384d21c41a4d7e3bef4c2db5","datavalue":{"value":{"entity-type":"item","numeric-id":1192346,"id":"Q1192346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924779$B91261D9-76DE-4292-9CFF-712616CFD612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a23848f5cc002dab08c9e246881db71ecf933433","datavalue":{"value":{"entity-type":"item","numeric-id":1354038,"id":"Q1354038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924779$33EF39F7-B32A-4914-8CDF-54A071B46605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0f40f7943146117c8e05bba7b8a3ff87d13179d","datavalue":{"value":{"entity-type":"item","numeric-id":4318872,"id":"Q4318872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924779$D13EB584-DD84-4F1C-AE6D-D12A436E9482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b38d3f458cafe029fcc06e729be6204ce7ef05b6","datavalue":{"value":{"entity-type":"item","numeric-id":4302848,"id":"Q4302848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924779$08D1DE86-1927-4C9F-B1DC-C2D2F29A812C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efc36941673808220ea4205cb67dfb88ba187932","datavalue":{"value":{"entity-type":"item","numeric-id":676419,"id":"Q676419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924779$D034BAB4-F0E7-41BD-9D0E-18EBB1392A3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b1404689b09d74d21e7a020ae5de0dc18b37657","datavalue":{"value":{"entity-type":"item","numeric-id":579240,"id":"Q579240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924779$30BE6783-D703-47D5-8C09-FA1C86ED4970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab4df7911dd9b29790eb846da65ae638475d481b","datavalue":{"value":{"entity-type":"item","numeric-id":1354044,"id":"Q1354044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924779$2D2CCCF4-B227-4F99-8EB0-4027F44A627D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9542469b115b8c938b2036b2a362fa6b20cdeaf9","datavalue":{"value":{"entity-type":"item","numeric-id":3485885,"id":"Q3485885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924779$37CABE7C-6867-4334-B182-B9EA17C3CE77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9a0dd275fd0b3a780e83996f243c9c5000e4dac","datavalue":{"value":{"entity-type":"item","numeric-id":3740275,"id":"Q3740275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924779$343125E7-C374-400A-AFF2-A5F93D86B922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8166349a97bdd65a3d266da8a53b328b2cf60d6","datavalue":{"value":{"entity-type":"item","numeric-id":5750391,"id":"Q5750391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924779$89BBF595-CA85-4FB6-B6AF-658288572A79","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":"Q1924779$78A53937-77A1-4CF7-9C50-05F2C65A33CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59db4828c7fab26ad356c64453834c24c3294ede","datavalue":{"value":{"entity-type":"item","numeric-id":3348436,"id":"Q3348436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924779$BDADC1D1-32B1-41F4-8021-77657EEB3012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8d6f3eb14281aa9811c325e47a64655f213d9bb","datavalue":{"value":{"entity-type":"item","numeric-id":4302849,"id":"Q4302849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924779$43FEBA55-0BBB-41EF-B8A3-4E6E8A12C0AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eefb8e1929ae3e9bdc9a5897157de842f119a8c5","datavalue":{"value":{"entity-type":"item","numeric-id":4275257,"id":"Q4275257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924779$4B6169D1-8A9D-4D4F-B648-1B4FF7B75CCE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cd958883deeb9bba04aea55b296dd671709f097","datavalue":{"value":{"entity-type":"item","numeric-id":1900917,"id":"Q1900917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c540f23f80e4613c6357e82b6bcdb709b0d7ece0","datavalue":{"value":{"amount":"+0.8162747025489807","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":"Q1924779$4ECAF322-AA9D-478B-BD8F-6EFEBA125927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b373978be27576a06e061ddcffc43b003803ab7","datavalue":{"value":{"entity-type":"item","numeric-id":4302849,"id":"Q4302849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"934951f4717371906188772a41dfc0e0c987213e","datavalue":{"value":{"amount":"+0.8062989711761475","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":"Q1924779$B6C9F0F9-D67E-428C-AA52-EA60C6F0C240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ceb2b6595944181c2f2e56bd3fa30811b82a936","datavalue":{"value":{"entity-type":"item","numeric-id":5101437,"id":"Q5101437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f6f838dccad2818f0bcf303cc33496609438acf","datavalue":{"value":{"amount":"+0.8050607442855835","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":"Q1924779$6B4AB75C-1B13-4F42-A6F3-E8100BB2C1DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d5822dc5200dbc6f529939169c7b02b89d5d61d","datavalue":{"value":{"entity-type":"item","numeric-id":4736513,"id":"Q4736513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25141dacc7345d60be2040e43c8bac71aead0fa7","datavalue":{"value":{"amount":"+0.8036892414093018","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":"Q1924779$4E53792D-9ED2-4038-867D-62218D020567","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Complexity and undecidability results for logic programming","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Complexity_and_undecidability_results_for_logic_programming"}}}}}