{"entities":{"Q1346220":{"pageid":1356959,"ns":120,"title":"Item:Q1346220","lastrevid":70208010,"modified":"2026-04-13T13:10:19Z","type":"item","id":"Q1346220","labels":{"en":{"language":"en","value":"What is failure? An approach to constructive negation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 736401"}},"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":"Q1346220$645A6894-9649-4D29-BD16-751027DB361C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a16987e529aef5192f8761868c6cc9bb18d96fd8","datavalue":{"value":{"text":"What is failure? An approach to constructive negation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1346220$D9F88470-7CE8-45E0-846B-233F8F6F3804","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d4f725b348f3c8839057d208b3621d3b5f7cbda0","datavalue":{"value":"0815.68036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346220$1184E28C-36FE-41E6-9E72-5A2469414747","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bea72448d808389a564841f257722ab0d8667e49","datavalue":{"value":"10.1007/BF01185404","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346220$A4AC800C-3B30-4FF1-8825-E31692933C33","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aca37643c25c4f7a18b2bf47f8e6a1980c00131e","datavalue":{"value":{"entity-type":"item","numeric-id":511026,"id":"Q511026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346220$908FE44A-14DA-4DB4-975E-52762F12756A","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":"Q1346220$1F282C6E-D348-4445-BA28-E6FC72D8F9C4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63363922c803e5bf02b091d219b37a0b52aee2e3","datavalue":{"value":{"time":"+1995-03-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":"Q1346220$CCC814B8-5DDD-4C23-846C-E3AD279E046A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"675d62ab9337b3a23378751184c0ca20f90e2e4d","datavalue":{"value":"A standard approach to negation in logic programming is negation as failure. Its major drawback is that it cannot produce answer substitutions to negated queries. Approaches to overcoming this limitation are termed constructive negation. This work proposes an approach based on construction of failed trees for some instances of a negated query.   For this purpose a generalization of the standard notion of a failed tree is needed. We show that a straightforward generalization leads to unsoundness and present a correct one. The method is applicable to arbitrary normal programs. If finitely failed trees are concerned then its semantics is given by Clark completion in 3-valued logic (and our approach is a proper extension of SLDNF-resolution). If infinite failed trees ae allowed then we obtain a method for the well-founded semantics. In both cases soundness and completeness are proved.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346220$1E0B1421-1BB7-48A9-B35F-E68D7E8BC301","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346220$161BB915-5786-4068-AA4C-F127F41C53BD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a572879ef104ac772dc3684b589731ea909de947","datavalue":{"value":"736401","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346220$19F1A649-9A4A-437E-A651-DAADB53F5859","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d54966808d51f8bb3f443d062fb916e73154dc20","datavalue":{"value":"constructive negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346220$F5A68506-7FBD-47DF-B5C4-9F1B08B42FE0","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":"Q1346220$2BE93FEB-3795-4934-875A-F4D4CFE3B77B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"02eeb10cb50a02d090ad395a3c2c363c71340d2e","datavalue":{"value":{"entity-type":"item","numeric-id":4305624,"id":"Q4305624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346220$CF5B072F-3BEF-4A96-8821-F27B850017E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4174a7ffe887fe44527991607626ebbc7d92563a","datavalue":{"value":{"entity-type":"item","numeric-id":4385536,"id":"Q4385536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346220$C5651334-CC89-4A03-8D3D-D14A596399FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6474ac56a102268b2f01ee8a7b45584b1e5bfaad","datavalue":{"value":{"entity-type":"item","numeric-id":3841100,"id":"Q3841100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346220$C6C367B5-5C14-4828-A702-B7A205148746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f93041fe6d7db6318dfbd457c9a855fed097172","datavalue":{"value":{"entity-type":"item","numeric-id":4713088,"id":"Q4713088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346220$7F64BEAF-3B0B-4F4B-926D-E3621CED1E7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"370b2c58c5f3d53682d6a42b091fc4aa67cb28b0","datavalue":{"value":{"entity-type":"item","numeric-id":1183439,"id":"Q1183439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346220$D84FA611-D332-4E71-839A-7E6C1659281F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f241207bb39341afad681685e7fc2b817c7ff774","datavalue":{"value":{"entity-type":"item","numeric-id":1124372,"id":"Q1124372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346220$7038D7B5-6DCD-45E1-9C57-7720E1204A06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"435bc9807b977bfcc63e791650699d9d460c5a6c","datavalue":{"value":{"entity-type":"item","numeric-id":751309,"id":"Q751309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346220$BF74CB12-3545-4295-B39C-6937A8226229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dee7025716912ab8fcdca9ade0a2de83358cb20","datavalue":{"value":{"entity-type":"item","numeric-id":4275260,"id":"Q4275260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346220$A40A8788-364F-4719-89F6-9F900EC5C08B","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":"Q1346220$2C08851E-0E7F-4075-814B-E30579A306AC","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":"Q1346220$EDECFF16-9D9F-42CD-8E40-6CD60C27F0B8","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":"Q1346220$E59A1AD5-10E4-4109-8159-DB433AF1D1AD","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":"Q1346220$2C864D09-637D-416E-A849-0E72ACAB9DF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f542000c4e077350a52e77238e544af1dd6a9813","datavalue":{"value":{"entity-type":"item","numeric-id":3789103,"id":"Q3789103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346220$0E3E8FF3-08B7-45FA-ADCF-FF61905458CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7763f870fd431b4577b4a07d2469375f7ba20f0c","datavalue":{"value":{"entity-type":"item","numeric-id":3972030,"id":"Q3972030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346220$91CB4E8E-B63C-442C-AA2E-750322D3D467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de7cb2218ddd61329267c83e431da09cb6ec9409","datavalue":{"value":{"entity-type":"item","numeric-id":1823724,"id":"Q1823724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346220$83251077-5B8E-4AC7-8596-464FBD1A00DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0857e8878bcf78132758435c76b6420a8b1c319","datavalue":{"value":{"entity-type":"item","numeric-id":3486858,"id":"Q3486858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346220$ED81B87B-AB67-43AB-99B8-32CCD5E8260B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"204fd319f51663085c8bccba500792b804d9d1be","datavalue":{"value":{"entity-type":"item","numeric-id":1824413,"id":"Q1824413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346220$518E55D6-8B77-4F96-B8FA-08BC3C2060BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccae36bf33f496e2b17194be0d1194b79483787f","datavalue":{"value":{"entity-type":"item","numeric-id":3746920,"id":"Q3746920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346220$71C8E0D2-D40F-4DC5-B68C-7285CEA4F50E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07265dcebfa8ff6737e70a56a120115cd6df8d1e","datavalue":{"value":{"entity-type":"item","numeric-id":4036289,"id":"Q4036289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346220$3F55E821-7805-488A-A807-46236EBE9737","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e8bc3029172cff33f7e3643d336cc4236904e7e2","datavalue":{"value":"https://doi.org/10.1007/bf01185404","type":"string"},"datatype":"url"},"type":"statement","id":"Q1346220$55B81BBE-9406-41F6-807B-D2549D2C3284","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"51164d38386ce5fcc4c1707c7d292bc9ad93ec53","datavalue":{"value":"W2034075659","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346220$6E2D5E2B-1A39-4F15-A13B-03777D5EA64A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a68ef1804f2d2c624b23f624627032b9a5c99ed","datavalue":{"value":{"entity-type":"item","numeric-id":4878771,"id":"Q4878771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"037ff7d686a2ce876be46a8b6423b9c03c6aa0af","datavalue":{"value":{"amount":"+0.8996311","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1346220$CDE989B1-DA72-4705-80FE-2ED9AD93EA42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"deb81eef73fb07b601fbc198f85cc01348ef49b8","datavalue":{"value":{"entity-type":"item","numeric-id":4207881,"id":"Q4207881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6a100f8cfc6674bd61692cb62e1423691b7bf57","datavalue":{"value":{"amount":"+0.8955646","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1346220$51503080-08C6-4BD3-8AE6-881835C6E350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8576f7229ec5335999039d33562d6d221a7e97f","datavalue":{"value":{"entity-type":"item","numeric-id":4028794,"id":"Q4028794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f0fdda95c117c5b921011a30f0057e4daf38032","datavalue":{"value":{"amount":"+0.8926612","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1346220$933625EC-5865-4AB4-8E84-59C2F8B02B47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cae52f1a21ba66a900521f89b38195a30a2d9da","datavalue":{"value":{"entity-type":"item","numeric-id":3732985,"id":"Q3732985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d3545d9fd7c54728712ecf5a972496a427d6efa","datavalue":{"value":{"amount":"+0.8835304","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1346220$F4E2E983-AB9C-40FB-A520-89E7C80D84BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97b74b8733ca79f215de391b5ee52babab35f326","datavalue":{"value":{"entity-type":"item","numeric-id":2900470,"id":"Q2900470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5a17298d7f3529146fc5220c99b3ce53fc48bed","datavalue":{"value":{"amount":"+0.8710338","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1346220$E96995AC-1D26-4C89-9240-72C7D8245B10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cb153e38e1499e8e373a20f0d8f833a4ce94038","datavalue":{"value":{"entity-type":"item","numeric-id":4265390,"id":"Q4265390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c571f5c5d985bd0ec26b6c3ca00c4fbf2b9645ca","datavalue":{"value":{"amount":"+0.8639925","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1346220$FA551546-668F-4B7E-8BA2-12DD2B43B390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a82e87ff7b85ffc9138fd6c38f1a5eeb8702c96a","datavalue":{"value":{"entity-type":"item","numeric-id":1115207,"id":"Q1115207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7edeb40a2482fd4420c74e8a0e8aad0cb6802d3c","datavalue":{"value":{"amount":"+0.8622769","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1346220$BD46E54D-8821-4081-A429-E05128748647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce8d845ffd3afc75d28008e681b45bb8943c9118","datavalue":{"value":{"entity-type":"item","numeric-id":3740275,"id":"Q3740275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3cffa820ad568e560f1e8194c05375bd35e1781","datavalue":{"value":{"amount":"+0.8522325","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1346220$E58CA0D4-E27F-4373-97D7-D5ACF6F1AF53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22a87fd983a1fac1aa287a6c2fec7a8d89156923","datavalue":{"value":{"entity-type":"item","numeric-id":1824413,"id":"Q1824413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da44582edd2478e623d1230386914c38cdc1e4cd","datavalue":{"value":{"amount":"+0.85126364","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1346220$AFC82708-9131-4716-8451-6F178490BB69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96d1f32dc135ebad7cd861c29e532ca2c5411671","datavalue":{"value":{"entity-type":"item","numeric-id":4707741,"id":"Q4707741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0fae7427fd5252b6f483a4e02b7655c33c333ad","datavalue":{"value":{"amount":"+0.8487249","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1346220$68646899-707F-4B17-B9AA-B488CD4C8BA0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"What is failure? An approach to constructive negation","badges":[]}}}}}