{"entities":{"Q1389684":{"pageid":1400424,"ns":120,"title":"Item:Q1389684","lastrevid":70312878,"modified":"2026-04-13T13:55:45Z","type":"item","id":"Q1389684","labels":{"en":{"language":"en","value":"Abduction from logic programs: Semantics and complexity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1170342"}},"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":"Q1389684$CEBBFA06-388F-4471-8AAF-2596A9342C34","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0d74ada590b5165dbfb5264a86f64869b8de6bc0","datavalue":{"value":{"text":"Abduction from logic programs: Semantics and complexity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1389684$E4CE129C-1BE9-451A-B526-0D419F9C993B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2af1eca7b718c6ecb50b5ebfaf0deff797ddd3aa","datavalue":{"value":"0893.68022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1389684$EDDC3332-2413-4C17-B426-B07E553B658A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cabb123b15968be122406cf43b5ab5421b41dfeb","datavalue":{"value":"10.1016/S0304-3975(96)00179-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1389684$9ED02528-98A6-4A8A-9D1E-705CB474D4D7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0e2771a73d1b8d307276d7afc6997154a7082ea","datavalue":{"value":{"entity-type":"item","numeric-id":171927,"id":"Q171927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389684$C097FFFA-4115-4D4D-81F4-FB11C4A1C048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ea9f01e952d7c8681ab3cdbdd2dab7be8167564","datavalue":{"value":{"entity-type":"item","numeric-id":202112,"id":"Q202112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389684$ECEE5913-5AE7-4052-95FF-69A36CCEA549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cd7123f74d155fe14856de0656eddfe851c66cd","datavalue":{"value":{"entity-type":"item","numeric-id":202113,"id":"Q202113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389684$B284603A-9C24-4F12-968E-41A44E3F0AEF","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":"Q1389684$FF615743-3CE5-46BC-A8AB-578BEBEBC8A2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"98f219d7d1f0a69180d363f24f243049839e281b","datavalue":{"value":{"time":"+1998-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1389684$3E3C7744-2E84-4BD4-AFD7-79980060B6EA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1389684$951AD465-F785-4C60-99BB-F88E2D28ECE1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"005974c2a7fc99f59e40576d2d80f6dfc4d35437","datavalue":{"value":"1170342","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1389684$FFFF8D00-55EA-4BE5-8603-D3E964A30588","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe99cc33cb0d5ac2e6c3a73729bf23aa7caccf7b","datavalue":{"value":"knowledge representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1389684$36E80D51-C97A-4F6F-831F-EE910CED620F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a71fe6392c09db6db9e6773c3ed8aad99a981365","datavalue":{"value":"reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1389684$40D137F7-A0CA-4693-B875-1256A1283FEB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7545068a6822e4e652ce3b521c8f6365c7bdc7b9","datavalue":{"value":{"entity-type":"item","numeric-id":31846,"id":"Q31846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389684$287D7665-C776-48F4-BE9A-48BC8073EF48","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":"Q1389684$019233CF-79AF-485F-AFC4-DB0EBC12DF49","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c07e4811bb629b6ba7cf520dbc00dbdc1ef1f0c","datavalue":{"value":{"entity-type":"item","numeric-id":4305625,"id":"Q4305625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389684$A5A6A0A7-7E50-4BF3-BB6B-8712E884F037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50664e9afd488126bb2d68ee9b0a92e9754999e0","datavalue":{"value":{"entity-type":"item","numeric-id":1354026,"id":"Q1354026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389684$500DDFF0-093F-4C80-9D3C-6C32A0C48D3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b9e0c2210260f462c7da78738460d0b3ea6e217","datavalue":{"value":{"entity-type":"item","numeric-id":1197387,"id":"Q1197387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389684$D24DA7E1-82BD-4574-A09A-38B3B3F7BBF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87b70255913a491d6bba0eb24319a868d041de84","datavalue":{"value":{"entity-type":"item","numeric-id":1173955,"id":"Q1173955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389684$5A2B144D-227D-4410-B9C0-8E0AAA098F62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2436598c4504ad62fb60d42daf3677945fdeb4e8","datavalue":{"value":{"entity-type":"item","numeric-id":5101460,"id":"Q5101460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389684$62075058-2922-4C4A-8894-A5BFB3684EE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e1367763675704bfedd990641e29cc0ed7c79fa","datavalue":{"value":{"entity-type":"item","numeric-id":4028775,"id":"Q4028775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389684$176F11BF-4B35-4394-9984-1C21A5ADC5CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0713a7c5a2e67347359f9b1dab907e90d646cfd","datavalue":{"value":{"entity-type":"item","numeric-id":1182159,"id":"Q1182159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389684$2D5737D7-C4AB-4A51-B71E-2E40D2B37306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8e877796c14eb0e482e2206ef51e76c13438711","datavalue":{"value":{"entity-type":"item","numeric-id":1329160,"id":"Q1329160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389684$FBDDCD4A-1C83-45C9-ADB7-A7B6A9C56FC5","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":"Q1389684$177553ED-CE2E-418C-86E2-813556B99B3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8595f94564ff1196fe4759b4d70faeb977e75c0","datavalue":{"value":{"entity-type":"item","numeric-id":3742757,"id":"Q3742757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389684$5F685776-2BAD-4B2B-A734-FAEFC2312BA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3db0bc89814af24000e25c779d2545d67fb85860","datavalue":{"value":{"entity-type":"item","numeric-id":3361915,"id":"Q3361915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389684$A0484E2E-7067-4E3E-8F7D-C25D6A8E2643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6944c9ec10c1da39bf731d21ffc1c687fc0cd545","datavalue":{"value":{"entity-type":"item","numeric-id":3841101,"id":"Q3841101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389684$169D015F-F8E2-414E-967E-2C5C4A6AE763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbb45665eb481f8b77c43534acd19e842a4059d5","datavalue":{"value":{"entity-type":"item","numeric-id":4849644,"id":"Q4849644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389684$EEC12DDE-654D-478F-B2BD-96869772D880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"429577fd1bac9b81a7f160f1196c95febb87801c","datavalue":{"value":{"entity-type":"item","numeric-id":1200977,"id":"Q1200977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389684$5066B306-CF1E-4818-9CAC-81A45ECA47AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e443abd205c633af6bf9d7270f54a9ff30c3e75e","datavalue":{"value":{"entity-type":"item","numeric-id":4369855,"id":"Q4369855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389684$9A4355B7-AC9E-4D4F-941F-99F7FE7B4FA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df38804e67e83fb7ec12a61a5f4e62e40450b6ea","datavalue":{"value":{"entity-type":"item","numeric-id":1924780,"id":"Q1924780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389684$12B50EAF-0818-4919-BEF3-A55C29EC8821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60a9de76924445cefc84acc003270ad0e5b892b3","datavalue":{"value":{"entity-type":"item","numeric-id":3983043,"id":"Q3983043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389684$BCD46533-20DA-4A39-A4B5-95B29F59F97B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c12ec0e8970a0988eedd5ea2b9890da1191ca68","datavalue":{"value":{"entity-type":"item","numeric-id":3569000,"id":"Q3569000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389684$A57BBEAB-AB86-4ACE-99B6-F9EDF73D6212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ed97f9a12af7dab83b0170165c738f6d7a41584","datavalue":{"value":{"entity-type":"item","numeric-id":5286914,"id":"Q5286914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389684$18B4EAEE-38EB-42EB-ABF5-2D4928318062","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":"Q1389684$CFEB01F0-DC41-4A0B-A015-C7A773CEFCC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b09c779e5d6d079a37d546f5f690f995dccaf55b","datavalue":{"value":{"entity-type":"item","numeric-id":989166,"id":"Q989166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389684$A4F08D26-0A0A-480B-AEEA-F04F4F04BC99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35166e7f3454b259df6e238ebadfad87eaf4eaa5","datavalue":{"value":{"entity-type":"item","numeric-id":1198012,"id":"Q1198012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389684$655ED20F-AE52-48C3-BAE6-62ED66992CD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"993c778586dc5a57003fdba48cb224dbf03b3bf7","datavalue":{"value":{"entity-type":"item","numeric-id":1309675,"id":"Q1309675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389684$95C7ADF3-4020-4823-99E5-F281B58D4738","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":"Q1389684$284009A5-8F0F-4196-B92C-0A58E2FE0CCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18205f0709736e6bacfff5e60b47c723ccab31cf","datavalue":{"value":{"entity-type":"item","numeric-id":4391449,"id":"Q4391449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389684$9ABF8E5C-A677-465C-890C-CBE129AC4D00","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":"Q1389684$D15EA020-697F-45A1-896E-A81D37F14EA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b03faa4dbcac10b41e80920dfdcc0083c7771a5","datavalue":{"value":{"entity-type":"item","numeric-id":4273952,"id":"Q4273952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389684$2F97C775-4352-4C86-B9D1-F54FE7F29B22","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":"Q1389684$BA2BAFE0-BB1A-494E-AB08-C1CE419B19AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecc8e898145b783212e800ad1bc88bc9c62fc6a6","datavalue":{"value":{"entity-type":"item","numeric-id":1140441,"id":"Q1140441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389684$A22B3EA5-0981-460E-AE38-BDA9113992F1","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":"Q1389684$8BE247CC-DE39-49E8-9BD9-2B42A5EE46F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db3c6d88506c0d71e7cd9dea1498e89139430a65","datavalue":{"value":{"entity-type":"item","numeric-id":1060866,"id":"Q1060866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389684$869BA1A3-9E4B-4011-9B82-89388164C177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"458ab467d1c5397109a383d0e5c939369d06a212","datavalue":{"value":{"entity-type":"item","numeric-id":3221403,"id":"Q3221403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389684$BEB49905-96C1-4343-B7FC-5B2FB2A986EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ce4fad8d5825f8ab0db6afd9248a02e7d7b2f14","datavalue":{"value":{"entity-type":"item","numeric-id":5559213,"id":"Q5559213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389684$20B1758E-599C-4366-A3B5-831FAD74A27B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd9ae746dfd5f5f2531b68e76fc0d6a96fc12b61","datavalue":{"value":{"entity-type":"item","numeric-id":3998470,"id":"Q3998470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389684$F1458B21-00DF-4AE2-AB45-7BF7669B779A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32830238517c9540c57e8b1bc7c4a7447bd5b0da","datavalue":{"value":{"entity-type":"item","numeric-id":5750451,"id":"Q5750451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389684$AC2D1F9B-EAD6-4A28-989A-49B14C81BC76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"430c55748ea798d0b94070d5f52c91e59b4fa220","datavalue":{"value":{"entity-type":"item","numeric-id":3348437,"id":"Q3348437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389684$ADB362A8-C354-46B2-B748-615E0B768764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb678fcfbbb428f6b5621e5f89f6a8cb37d8f8ba","datavalue":{"value":{"entity-type":"item","numeric-id":3983045,"id":"Q3983045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389684$A5C6CF7E-8473-4167-9131-F64899DCCF68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01d6649d4853baff3b254e51c9979c2133405503","datavalue":{"value":{"entity-type":"item","numeric-id":1140434,"id":"Q1140434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389684$A23E9F27-8886-47E4-AA48-1958D0CE54F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c107c2fc96b973340bd00629c33090445e95375","datavalue":{"value":{"entity-type":"item","numeric-id":1344892,"id":"Q1344892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389684$F666A936-210A-4FAF-9561-132293BD9610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"206b63a5c1d81f095779f242fd8ee8e20f738ec3","datavalue":{"value":{"entity-type":"item","numeric-id":1900917,"id":"Q1900917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389684$B6C1F3C6-CA46-492F-B4A0-48B5A6ACC5F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e8d225ebe6e063e2413b763c675959b71bf0b17","datavalue":{"value":{"entity-type":"item","numeric-id":1924779,"id":"Q1924779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389684$19379731-E167-45EF-A3A6-A13CABA956EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91e1d10e0c77de9812f317b0ff0d8727dd2dd83c","datavalue":{"value":{"entity-type":"item","numeric-id":3781088,"id":"Q3781088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389684$E0A7AA73-D348-4B65-8606-66D7798629A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f33f843778dfabfeef453cdfa627d4b42c24908","datavalue":{"value":{"entity-type":"item","numeric-id":4131648,"id":"Q4131648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389684$3814401E-4625-43FD-8B69-04ED1391D44F","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":"Q1389684$6B1C8C17-5C57-466E-B37C-7114131AF735","rank":"normal"}],"P1643":[{"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":"b0562ea2615b838510cdfe584c230813317aff3c","datavalue":{"value":{"amount":"+0.948233","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":"Q1389684$5CF6FC88-DD5E-4379-B52A-CAEB57CA0051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92a12a2f2c675e196407793fd823f937100ba186","datavalue":{"value":{"entity-type":"item","numeric-id":4707746,"id":"Q4707746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a140a4965be28c9149c98f136fabea7bd9be5edd","datavalue":{"value":{"amount":"+0.94440025","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":"Q1389684$44A34509-FF04-4283-A0B0-6A728FA18A0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f78b2310939dd5fcb668fafc7bb977cf0dfb5be4","datavalue":{"value":{"entity-type":"item","numeric-id":5286914,"id":"Q5286914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c93a25d04e4d1e481f6eaaf88d0039efdaa98205","datavalue":{"value":{"amount":"+0.9342961","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":"Q1389684$E2CBD279-113D-48E1-9FDA-354E933F12D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a43917c5f6828a70fd6ddf7e8da8a601ecedf487","datavalue":{"value":{"entity-type":"item","numeric-id":4217935,"id":"Q4217935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf2d8563331108fe7f3b0e3638434e1a6ddd0d3c","datavalue":{"value":{"amount":"+0.93415284","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":"Q1389684$3CDFA6B1-3ED9-4A52-AC5A-6F25AB6EB8B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebcdca6a1723a9fded274a9ffd1546ea4979f86f","datavalue":{"value":{"entity-type":"item","numeric-id":4369855,"id":"Q4369855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"332d36a7e7f2d1d11b7181e1f3ed5ac5086c2489","datavalue":{"value":{"amount":"+0.93266356","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":"Q1389684$FA9C862B-2892-4180-9504-BECB135543AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"923173abf1f8f34e053b13da1a495c5f9b71d4cc","datavalue":{"value":{"entity-type":"item","numeric-id":4281509,"id":"Q4281509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"332d36a7e7f2d1d11b7181e1f3ed5ac5086c2489","datavalue":{"value":{"amount":"+0.93266356","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":"Q1389684$3331F193-7F4D-4F65-8762-407B3FD16990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93d742b4de27d354f83f945fe88022a57b0b50a9","datavalue":{"value":{"entity-type":"item","numeric-id":5101438,"id":"Q5101438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f016162cedd205dcc2864c00ee4f5a37afa0fbf4","datavalue":{"value":{"amount":"+0.9265041","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":"Q1389684$449AEADF-040C-4187-B42C-5162C7001C31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecdd57705129f85805eea7349dc92e1e4c28d612","datavalue":{"value":{"entity-type":"item","numeric-id":1402749,"id":"Q1402749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d13cae09ad7f3ea6470eed264e7a42e75fb1df41","datavalue":{"value":{"amount":"+0.92274356","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":"Q1389684$3BCA399D-0ECE-46BC-A529-EE481FF52F0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2569eec109692c989c6df521632c84f39f3bd725","datavalue":{"value":{"entity-type":"item","numeric-id":5101460,"id":"Q5101460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87690bab27986ea6b43b1a32316b6b87fcdb1d4f","datavalue":{"value":{"amount":"+0.9206035","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":"Q1389684$1BE7AA72-7CBA-4EDE-BAEA-F9A73C81560E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"311897917ddcb19ca71f997d1e586dfb3858b44f","datavalue":{"value":{"entity-type":"item","numeric-id":4484725,"id":"Q4484725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fab0c43619102de1d5dd2fc8e70600b9e82c5d27","datavalue":{"value":{"amount":"+0.9171611","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":"Q1389684$CFE3E78E-9691-497D-8FFC-DF3CB0C0DC69","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Abduction from logic programs: Semantics and complexity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Abduction_from_logic_programs:_Semantics_and_complexity"}}}}}