{"entities":{"Q2284490":{"pageid":2295233,"ns":120,"title":"Item:Q2284490","lastrevid":43821315,"modified":"2025-11-14T19:07:53Z","type":"item","id":"Q2284490","labels":{"en":{"language":"en","value":"First-order abduction as enumeration of stable models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7151284"}},"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":"Q2284490$CAAAD545-97F7-43CA-B9C2-00DFF70F4B47","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2ed59e13fb8fc9c8b98f83b96d45abdb0a3723ae","datavalue":{"value":{"text":"First-order abduction as enumeration of stable models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2284490$4D70264A-5107-4537-96C6-91B80F29E088","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"60a068101c8edc15e7174ba5acf9aa151a67df1e","datavalue":{"value":"1428.68316","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2284490$0884B6DC-F1D7-4727-9BB2-81F4988F57B1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c80e59717b1156d9b849e3fd7c8dd5299eebe615","datavalue":{"value":"10.1007/978-3-662-54332-0_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2284490$F65B5AC5-7630-4597-9CCC-6328C0395BB4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb4df352f5da7eca4b983f871f64827ad0cfc33c","datavalue":{"value":{"entity-type":"item","numeric-id":2284489,"id":"Q2284489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2284490$C54F63C2-2120-4137-A6F1-0DFF0974613C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"363a1a86dbfe88ce92b504829a3c7cd78eef14b6","datavalue":{"value":{"time":"+2020-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2284490$6FF1AF60-550C-4B22-B51B-6A68D3AB0B28","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae62b6ae8284bad4753b7ed23b6f2503aa5e4b9f","datavalue":{"value":"68T50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2284490$01645348-C62C-41DE-9DF9-A88E88AE3583","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"22170ccb5ae860db0b566b993202bd79b28cb215","datavalue":{"value":"7151284","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2284490$60F01232-BC41-4BD7-8519-7B3E2FA9FB70","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1509357c65c35f25ca4a3489812a49ab4a22a9e","datavalue":{"value":"abduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2284490$5B645770-7D86-4698-B5CA-9A249CC92393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d0bd6d92a74377228213483b7f0e15b2d9fd3fb","datavalue":{"value":"natural language processing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2284490$43C6B00C-409D-46A1-BD95-F7995F787E24","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":"Q2284490$0D32CAC5-F6C4-4B07-A664-0CE3AE391E9A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"605ab4ccd666df5679a0f2f1aae5b438c1efdf27","datavalue":{"value":"https://doi.org/10.1007/978-3-662-54332-0_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2284490$0E256CA6-AFC5-4577-B6D1-6F7D4D2CB002","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aed35d446eed66f33cb4f22d3e0d883c9095b82e","datavalue":{"value":"W2591424048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2284490$570B3710-175A-4C3D-B418-F8D76459FF73","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"225532142b13d6be3d63a7e674044c46b309f244","datavalue":{"value":{"entity-type":"item","numeric-id":4291873,"id":"Q4291873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83b2512e4d22e7b35e05b21731c5014de749dc33","datavalue":{"value":{"amount":"+0.8999874","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":"Q2284490$778CCFA5-CF8E-485D-88E5-47738C85D18F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92cf4a098c4740b58a63a324276145b1e9ddbc66","datavalue":{"value":{"entity-type":"item","numeric-id":4028090,"id":"Q4028090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b1b207cca97b2e0f7b04e1e6e99e2d39b32ad5f","datavalue":{"value":{"amount":"+0.88089657","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":"Q2284490$33384E65-3CEE-483D-9DE5-30B61161714F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"587928473c713570802984c6d141de7df55a3c2d","datavalue":{"value":{"entity-type":"item","numeric-id":4247076,"id":"Q4247076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e7be82635c35dee773a4d158cb82774530923f9","datavalue":{"value":{"amount":"+0.88064665","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":"Q2284490$A9D08827-9C48-4E5B-A834-AE15467933CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2cffd5ebf8dfa9639887aa1690f633bf306f8c7b","datavalue":{"value":{"entity-type":"item","numeric-id":2945706,"id":"Q2945706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0ed76caa1f3ee0718fd49081951ddfd001dd0a7","datavalue":{"value":{"amount":"+0.8712332","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":"Q2284490$63714D40-8D25-4CC6-B258-6938E9905676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec821a7cf5d3422e52b10bf444c6441bb456d03a","datavalue":{"value":{"entity-type":"item","numeric-id":3112629,"id":"Q3112629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f83c2c8c0c3df0a283ce06e5d1c20cb605626d8e","datavalue":{"value":{"amount":"+0.87117404","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":"Q2284490$001870F2-CB58-4822-BEF7-5FCA50D45ECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83ec794f4dcf580dc2463dea1ab13731564a0c55","datavalue":{"value":{"entity-type":"item","numeric-id":3411859,"id":"Q3411859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86b56653251d32a01513bfdcbc66a6f1bd6ffe0e","datavalue":{"value":{"amount":"+0.86694145","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":"Q2284490$24717BC3-1C1B-4985-87D5-7CEC14267988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16ef701ba3bc01b655179156e9f08d2298100297","datavalue":{"value":{"entity-type":"item","numeric-id":3411854,"id":"Q3411854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f8a0c206299df84fabb0a7a3daf4e5ba3837b2b","datavalue":{"value":{"amount":"+0.86586595","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":"Q2284490$E867D7EC-0752-4A06-AB1F-267FEE04C092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5f7bdfb9155a9ba484d95069d24e5b5a0089cee","datavalue":{"value":{"entity-type":"item","numeric-id":1073012,"id":"Q1073012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"074bd638bc61556ee59e045736e55a9f1eb188de","datavalue":{"value":{"amount":"+0.8630835","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":"Q2284490$DF905DF6-BA98-4D2F-A890-F5A7645DD4BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54abeecef400dc33f1e31d4bfd121c6437c5c8ee","datavalue":{"value":{"entity-type":"item","numeric-id":4279083,"id":"Q4279083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b53c0b52491d7aee81179c53fb649969bdf2df3","datavalue":{"value":{"amount":"+0.85843927","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":"Q2284490$334B8813-B259-4193-9382-6A063DF04663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"336a295948b4612660cca8cf7bc92751b55f83ec","datavalue":{"value":{"entity-type":"item","numeric-id":387121,"id":"Q387121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"123d1c6d2292edd42d388f98f140d68bb7a0cb58","datavalue":{"value":{"amount":"+0.85825557","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":"Q2284490$283CB23F-033B-488D-ACEB-6E6ECC2F0668","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2284490","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2284490"}}}}}