{"entities":{"Q689290":{"pageid":691139,"ns":120,"title":"Item:Q689290","lastrevid":63499224,"modified":"2026-04-11T13:34:31Z","type":"item","id":"Q689290","labels":{"en":{"language":"en","value":"A class of programs for which \\(SLDNF\\) resolution and \\(NAF\\) rule are complete"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 445058"}},"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":"Q689290$2F14CE53-4634-4E6F-8C61-F5DF4088BEB9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d80c8a97d0fada7466c9438c4afaa6e39d6aa0cb","datavalue":{"value":{"text":"A class of programs for which \\(SLDNF\\) resolution and \\(NAF\\) rule are complete","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q689290$873065ED-F70C-4226-9F9C-5CC495A94DBD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"438497c7ead62b698fe922508418170c9cf7ae65","datavalue":{"value":"0796.68052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689290$0C4970BF-C340-4165-8ACB-E6F636F05811","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1e4e4b41d58c4114211efb91132107d6d4a2682a","datavalue":{"value":"10.1016/0304-3975(93)90246-P","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689290$BC5C8870-4575-4F46-9A54-088A278584F5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"41727d55f4d48c1029c1bbe7a3cee1640d697b9d","datavalue":{"value":{"entity-type":"item","numeric-id":200743,"id":"Q200743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689290$C1B8F167-3608-4E32-AEB0-F2CF2FC90225","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":"Q689290$C76A333A-9C3B-4DA8-A7F9-CFEEE19165D1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8ae52a4502d857822849e1b779e0f95fe053671b","datavalue":{"value":{"time":"+1994-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q689290$6F59FF58-AD89-406E-B709-CDE201C2DC82","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c5280d9fef01c2a9bd813592f852ff0d9bc26089","datavalue":{"value":"A logical language (syntax and declarative semantics) \\(\\mathcal L\\) containing three logical constants (true, false, undefined) is introduced, in a \u0141ukasiewicz classical 3-valued logic manner. A (logical) program is a finite set of program clauses. The notions of locally stratified, locally call-consistent, well-behaved and allowed programs are defined, in the mentioned context. Following \\textit{K. Kunen} [Negation in logic programming, J. Logic Program. 4, 289-308 (1987; Zbl 0655.68018)] and \\textit{S. Baratella} [Models of Clark's completion for some classes of logic programms, Fundam. Inf. 14/3, 323-337 (1991; Zbl 0714.68009)], a sufficient condition is presented, under which Kunen's completeness result can be used to prove a 2-valued (classical) logic completion theorem. More precisely, it is shown that SLDNF resolution under the NAF (negation as-finite-failure) rule for locally stratified, well be haved and allowed programs is sound and complete.   The paper is almost self-contained and it is conjectured that the proofs may be carried on similarly for locally call-consistent programs or even by weakening the allowedness condition on programs.","type":"string"},"datatype":"string"},"type":"statement","id":"Q689290$1FC92FCA-2F4D-4B98-AF37-910265B0E392","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689290$97D7EEB8-6FA5-43A0-8AD0-4FC4B33B641E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689290$5635D473-1BDA-4507-A215-F08A54C6A8C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689290$121EE93C-F14D-4ADD-9325-C4694DD628FB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"08d19c86de06e6007f2e83cacc9508d3c2eac682","datavalue":{"value":"445058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689290$E723AB24-D6FE-4AB1-8A79-6496C8D625D6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"004429ee97ad9b9ed4225e26dae510e6281479c0","datavalue":{"value":"negation as-finite-failure","type":"string"},"datatype":"string"},"type":"statement","id":"Q689290$9D062325-4BE1-40F5-87E9-07C3F0E9CCD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"831e06b22f786f0cd765f1bdcae8f747d44fcb77","datavalue":{"value":"allowed programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q689290$03E90A9B-900A-4654-AB21-28922EE875DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c823fa748f6a904cb1c4afe33ace4dee40c3b920","datavalue":{"value":"SLDNF resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q689290$FDF3C40E-8762-4D38-B464-5A9636BD4E76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39bcb0b2458f5aa634f099fde5490592377f41cb","datavalue":{"value":"locally call-consistent programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q689290$BD407549-572C-45CE-A97A-CDF1D207AD03","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6536f759dee9ce142c834adc5cc137400d919eb8","datavalue":{"value":{"entity-type":"item","numeric-id":1037240,"id":"Q1037240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689290$98EFF602-BDE6-4810-B18D-E56CD70BB10F","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":"Q689290$0EEEBB8D-1965-4A9B-9FB9-8D7C91F3E0FE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bca562677c248c79fc4ae158c9d36bfad953d768","datavalue":{"value":{"entity-type":"item","numeric-id":3200532,"id":"Q3200532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689290$0AA8B986-6F6F-49B8-9FD6-78D2F8D059CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaa628cce44f675b2c27f89d5118c445375a3999","datavalue":{"value":{"entity-type":"item","numeric-id":1193863,"id":"Q1193863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689290$433CC44D-0569-4848-A209-C5992EC7E48E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9fe4a72277901c2884c7aa80fe385ea55c31c28","datavalue":{"value":{"entity-type":"item","numeric-id":4132480,"id":"Q4132480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689290$4D8CE53A-BE8C-47F6-A376-822AEB4589BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fa0953f73020ec76ae1cf1a9b1ca599be038f8e","datavalue":{"value":{"entity-type":"item","numeric-id":1177925,"id":"Q1177925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689290$CB165CBB-CBED-4AC6-A57C-4DF585477829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2af916081fff2170a7046b3d1926c0b32d663297","datavalue":{"value":{"entity-type":"item","numeric-id":3031954,"id":"Q3031954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689290$02EAB583-21C0-46E0-95ED-EC56E47B923F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbd46e00e025849b54a0892b5e385ef0d563478f","datavalue":{"value":{"entity-type":"item","numeric-id":1393228,"id":"Q1393228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689290$D9A97A02-DE8D-4499-9B67-B8518AEA9D1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6e30b11e12a24694a728e89f8ed3cf1391a670f","datavalue":{"value":{"entity-type":"item","numeric-id":1208418,"id":"Q1208418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689290$C0C8E0C4-DA48-46B4-B9A4-94ECB2CCEAEC","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":"Q689290$6672A9B8-8F3E-43A1-AD63-9AD9B3532FE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c56da2d4c2d597d652dc4f6b3bd916c92d7d841","datavalue":{"value":{"entity-type":"item","numeric-id":1094151,"id":"Q1094151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689290$43353A3A-6CC0-4808-8C9B-763875B8840D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6c8362d4afd7365c3deae93537bf5698ec5d498","datavalue":{"value":{"entity-type":"item","numeric-id":3732985,"id":"Q3732985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689290$3381BC86-8CF8-4C56-BD0B-FCDC9B336D9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689290$9BD6635A-F35A-4E98-90CF-28AA4A0CB0BD","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":"Q689290$8E22B593-0BA6-476E-9A92-097E8717CBF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bd2158380546de1c47756c4fead8c0c2406dd1c","datavalue":{"value":{"entity-type":"item","numeric-id":3789064,"id":"Q3789064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689290$E9FD3404-6848-492C-A7AF-28970870348D","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":"Q689290$E4928E4B-EF4D-4EBB-9E2B-0AE218B8265F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bc7ce782192afebee533fd99280edb83d8498c1","datavalue":{"value":{"entity-type":"item","numeric-id":3201745,"id":"Q3201745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689290$282E3B1B-2044-49ED-A867-001A2F606C6E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cee84b4af354bc11e8df3b9fec6cfd8addbcf1b","datavalue":{"value":{"entity-type":"item","numeric-id":3727360,"id":"Q3727360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c6e7d47d5410c8b05a2653f99d092dfe7035b5d","datavalue":{"value":{"amount":"+0.9290652","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q689290$A52FAACB-960D-4FCD-B2DA-FAA554CB3CEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9fd136eda795574c5f822efd64c7d5f118ed14f","datavalue":{"value":{"entity-type":"item","numeric-id":4696742,"id":"Q4696742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c19f38e3b965b66a4be460f17de75af20c88f1c4","datavalue":{"value":{"amount":"+0.90313226","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q689290$40CCD652-D5C2-4082-BE11-4EB4398200F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2b7c364f8a9c08dd514d28b66b6140f9ecbb842","datavalue":{"value":{"entity-type":"item","numeric-id":3832076,"id":"Q3832076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b74bb644ad9242a9594977f4baa9ae2ba7ff1839","datavalue":{"value":{"amount":"+0.8968074","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q689290$3DC44495-F08B-410A-A93B-742801A52AB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5e8a11c792d657e43f0ae66b30a0c430dd2cb10","datavalue":{"value":{"entity-type":"item","numeric-id":1177925,"id":"Q1177925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e0da3c69a8cdcff16c0c5b3fb18f8828efdcd49","datavalue":{"value":{"amount":"+0.8951843","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q689290$9F31B209-7893-447B-972F-DFFE964C64D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"228583431b7d7b49b68a10e5ad593f8ceb57e3e6","datavalue":{"value":{"entity-type":"item","numeric-id":3031954,"id":"Q3031954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc670578cffadfc548a2ddd603d4a6f06a14ba4e","datavalue":{"value":{"amount":"+0.8928301","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q689290$79F3212C-9CB3-4355-9036-D483A14601EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"920ccb4ea61996d3353ace445b0399bf0d37d00f","datavalue":{"value":{"entity-type":"item","numeric-id":4238483,"id":"Q4238483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8b70c3828cd84d72a9e2f2d237d0041080f3565","datavalue":{"value":{"amount":"+0.8850192","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q689290$26ADFA8F-0A74-44D3-B89E-91CBF6490F65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e5306b390db309186c37f8f3e60d4f2bccfe2cc","datavalue":{"value":{"entity-type":"item","numeric-id":4282517,"id":"Q4282517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"150fe6f62bfc67dfbee426b983b8fc9dff624104","datavalue":{"value":{"amount":"+0.8653326","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q689290$EF824305-C98C-4320-A2E7-D7C4776B4930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"044f09aa06449835c9014b1484dbdb6536564df1","datavalue":{"value":{"entity-type":"item","numeric-id":4318172,"id":"Q4318172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25f05e04844405e714de756594947429d521d264","datavalue":{"value":{"amount":"+0.8549633","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q689290$EACB07EF-227B-4715-B839-CBE618551629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f9f07c989027dd439353e4e25d049d3b042c87f","datavalue":{"value":{"entity-type":"item","numeric-id":3126020,"id":"Q3126020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa420d0f6672d39715814bd6b5555142c1b4c2cf","datavalue":{"value":{"amount":"+0.84650743","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q689290$66C220DA-FE51-4C55-9643-DFBBB6D07D30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7ab11b413f55388f9ae7fbf28410df8cbcc6140","datavalue":{"value":{"entity-type":"item","numeric-id":1350529,"id":"Q1350529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03d99aa325bdd222e6687ceee3c1509025f53d4c","datavalue":{"value":{"amount":"+0.84584016","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q689290$DF3627C4-CDF5-4F25-A29B-CB0A2D6A77BA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A class of programs for which \\(SLDNF\\) resolution and \\(NAF\\) rule are complete","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_class_of_programs_for_which_%5C(SLDNF%5C)_resolution_and_%5C(NAF%5C)_rule_are_complete"}}}}}