{"entities":{"Q3841101":{"pageid":5871006,"ns":120,"title":"Item:Q3841101","lastrevid":87745451,"modified":"2026-06-04T12:32:40Z","type":"item","id":"Q3841101","labels":{"en":{"language":"en","value":"SLDNFA: An abductive procedure for abductive logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1190677"}},"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":"Q3841101$F3586C67-CA3A-4A27-A476-12691A2EF408","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d89b1dd329e24277eb6af05067d22be5d19d0d82","datavalue":{"value":{"text":"SLDNFA: An abductive procedure for abductive logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3841101$658285B5-97D8-42DD-B3BE-88AE7EE05FF9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d5137ebede1739516d15775f73df2584aceee9bf","datavalue":{"value":"0905.68025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3841101$7937C761-5BD4-4A22-ACE3-332C72A499F3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"474ff0b91caa9577e8b32846b496ad23722ea7d1","datavalue":{"value":"10.1016/S0743-1066(97)00074-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3841101$079590CB-B3BF-46F7-B74A-D876DA40294C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e83b218d9fa98ec7bd391365954ae9fba07e52dc","datavalue":{"value":{"entity-type":"item","numeric-id":598244,"id":"Q598244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3841101$0D02A416-1071-4C58-899E-FDD8AA718A1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19ef65edb47a3907b8782d56d731ecf0cd5121a4","datavalue":{"value":{"entity-type":"item","numeric-id":199253,"id":"Q199253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3841101$EE1CF0C5-CAA2-4310-BA82-FD59546BE1C5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7eb8fbff5b5a1996cd7eff3ff7a29f3a29661a8f","datavalue":{"value":{"entity-type":"item","numeric-id":3030270,"id":"Q3030270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3841101$406CB0F2-C3FB-4BE2-92FB-D65340B627D8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0fe267c563c8885d3725e93df6ade60a9cc5dc4b","datavalue":{"value":{"time":"+1998-10-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3841101$9F56DCB6-03CB-4B65-B601-0A1F469F6663","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3841101$B72D6867-A320-4F45-9E52-A727C690C13D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"595390c3ba558ddde794a7ac0205675ec96b8651","datavalue":{"value":"1190677","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3841101$E65FE572-0BB3-4D22-BF49-B816D7E52B77","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3b36357255e9720f5678c2109305854cbf81d87","datavalue":{"value":"abductive reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3841101$A5F0E1EE-3D70-4875-BBE6-4FB3D625421B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2beea27b08710db41daed6b22c04eef6ca50060a","datavalue":{"value":"abductive logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3841101$F039D984-BB10-4CAE-845B-FAF4F87D6124","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7ff9d3207fc47284b1d14903606837715b1e4fe4","datavalue":{"value":"Q29398828","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3841101$7E0E7FFA-15C3-401C-BEFD-08345488834F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"70c51cb69cf83ba52d30c7a2c9abf4fc48a6f8a5","datavalue":{"value":{"entity-type":"item","numeric-id":18707,"id":"Q18707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3841101$6649A55D-0CA7-4E84-BB5C-44B96C57D886","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":"Q3841101$C4E2AC74-1D09-44DA-9919-BA84445D941E","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"4ee49a802c3b019f01bf444dff7dbc1ba5740b89","datavalue":{"value":"journals/jlp/DeneckerS98","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3841101$DE770664-3CA4-45D0-BE8D-E9447491F8E1","rank":"normal"}],"P1643":[{"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":"e3d1a91859ec6b6f5a4c05038da84f486f41a1ec","datavalue":{"value":{"amount":"+0.7892468571662903","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":"Q3841101$976651E4-793A-474B-BC27-C767D01960D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e334dac22e9c2d76f00d911c7524e69172ac837c","datavalue":{"value":{"entity-type":"item","numeric-id":4371992,"id":"Q4371992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e520c6c2a79cf6f658b891238af427a722ca6c5","datavalue":{"value":{"amount":"+0.7875897288322449","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":"Q3841101$37FC8CE3-C00D-4D0C-880C-A5FC3EE0E5D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1a6263ab84800b5758c896df5e4e5e08402b58a","datavalue":{"value":{"entity-type":"item","numeric-id":3129497,"id":"Q3129497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff12fb24b7606cd476008617e66aaf9a3d07cd31","datavalue":{"value":{"amount":"+0.7794501185417175","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":"Q3841101$B4279954-8833-4194-8583-94267913F68F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"SLDNFA: An abductive procedure for abductive logic programs","badges":[]}}}}}