{"entities":{"Q4819009":{"pageid":6848589,"ns":120,"title":"Item:Q4819009","lastrevid":74570364,"modified":"2026-04-14T23:24:02Z","type":"item","id":"Q4819009","labels":{"en":{"language":"en","value":"Abduction in well-founded semantics and generalized stable models via tabled dual programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2102951"}},"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":"Q4819009$22DE317C-EB88-48EC-B9F2-E4DCB8D59423","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"60c17e72b3eb7dceaa3dd26e656d5ff575b4e568","datavalue":{"value":{"text":"Abduction in well-founded semantics and generalized stable models via tabled dual programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4819009$4DBF299C-AFF2-4C33-A6A7-8FAF2E1F38C9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9bd0f0c5e50c1619bef5ac5167edf269bfad3bdb","datavalue":{"value":"1090.68014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4819009$F4F6B6F7-8F86-448F-B041-5322AC64F4BC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"82f8f392d07404cb92b679c602eef551ac864bd6","datavalue":{"value":"10.1017/S1471068403001960","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4819009$5D50A788-D71C-44A4-91EC-6E01F4329747","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db80ec4965b40d9874ffef2a755df757b1d98c70","datavalue":{"value":{"entity-type":"item","numeric-id":646500,"id":"Q646500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4819009$D1ABD450-6A2D-431D-903C-8942B35B2AA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbaca789797a441f815dacdc4d14be66640d9e6e","datavalue":{"value":{"entity-type":"item","numeric-id":3128366,"id":"Q3128366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4819009$5E30B472-A5F2-4F55-A81C-FFAA19033D36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1624b9369a037e0a16c71e7bf773e6fdc009f47f","datavalue":{"value":{"entity-type":"item","numeric-id":1603736,"id":"Q1603736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4819009$D80AA854-CD12-491F-BE6D-F917FA5E8B78","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4819009$7F5FE6C6-C447-4C8C-AE7A-EE0F626169A1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"80836874fe663944c89061f0420200b4dad391b3","datavalue":{"value":{"time":"+2004-09-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4819009$7B1DF26A-B6EB-4C83-9F6C-F6ADECD40D82","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4819009$F78E692B-39D4-4EA4-AB53-ECC8093F6C0D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1f117026075b97a892612f0544522f52c8b5a005","datavalue":{"value":"2102951","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4819009$FD0995F5-09E0-4F0E-BFC5-F9B8769B1AC9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1509357c65c35f25ca4a3489812a49ab4a22a9e","datavalue":{"value":"abduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4819009$14C5A5CA-B32D-4D6C-BCFF-02D0AE279E96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"829ca1e536ef76ef92ed2ab157d10567452023f4","datavalue":{"value":"well-founded semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4819009$A9A8F577-B982-4574-BDCE-72A0783EF6AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8b63fb230b0121faf4264f60fdc2e56ec4a1bce","datavalue":{"value":"generalized stable models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4819009$B7E10B3E-4284-4375-9A6D-E19854C6ED88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f2d73bfa30b7a9106d9fbcbc39df6232e78a896","datavalue":{"value":"tabled resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4819009$3EE083E9-7743-4EF3-8483-033441FA7740","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b9df00e5a8541e21e2b4af4ecd3e47946123a65a","datavalue":{"value":"Q62038969","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4819009$129E4327-04DE-4D35-80CB-79EE7617ED45","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b1da121714b17d37c0202a580fc288d94b43d180","datavalue":{"value":{"entity-type":"item","numeric-id":25788,"id":"Q25788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4819009$46557CA7-418B-466E-B2D3-E5E9FD0846F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e5521ee0488b50dc9e8c273fcd2679ed13d8e39f","datavalue":{"value":{"entity-type":"item","numeric-id":16801,"id":"Q16801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4819009$58C42D02-DE0C-4117-AD34-F1E0E1CC6160","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":"Q4819009$DC886CFE-F5E2-4E7A-991D-6B3A22706A3D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"39ffb65c177ca5cb77709e3a90bc3e9b38a3de4c","datavalue":{"value":"https://doi.org/10.1017/s1471068403001960","type":"string"},"datatype":"url"},"type":"statement","id":"Q4819009$7F08B237-0FE8-4E2F-9903-6BBA606886C7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8ed7d68329bfe7a9c8522e22910599f589252808","datavalue":{"value":"W2004486808","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4819009$114DB742-E1F0-4320-B6A2-90C665FCE1D3","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"664905f4c68f32118006772b4ce1c69fb27bf629","datavalue":{"value":"journals/tplp/AlferesPS04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4819009$37E4C620-1FA1-418F-A356-2B77E8FC59EE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33496806bc50a091c39feb747096092443281dda","datavalue":{"value":{"entity-type":"item","numeric-id":1389684,"id":"Q1389684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb2b116534037b62bca35ea5f511cff9c2025a20","datavalue":{"value":{"amount":"+0.8756524","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":"Q4819009$D5895DB6-5B6A-4222-B10F-98E127E8DD01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3d3b84e8549dd7413194dcd66c0a137b25d30ac","datavalue":{"value":{"entity-type":"item","numeric-id":3647297,"id":"Q3647297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6a10480d613ec2bb855bdc4c6bf795da6b5f344","datavalue":{"value":{"amount":"+0.8702453","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":"Q4819009$86BCFB46-F0FC-462F-A8B1-12FF14B0B603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3213ea9a9031d7732040880595449a301d3a8ade","datavalue":{"value":{"entity-type":"item","numeric-id":6488525,"id":"Q6488525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79ae19739e70f5ae3dce3adf57c24d74e48b519e","datavalue":{"value":{"amount":"+0.8682719","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":"Q4819009$58BF0337-4646-4BD3-B45A-993CE9D59621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2cc041a8d15406ad58974f79bfbfbbb045bf19a3","datavalue":{"value":{"entity-type":"item","numeric-id":3524667,"id":"Q3524667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39045f19fa6e89eaebd4d6db5726d35c7029a856","datavalue":{"value":{"amount":"+0.86727345","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":"Q4819009$158E4144-CBEF-4297-97CB-8898821EEE56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cadd0220917350c7d4b2de15558574333cb764f","datavalue":{"value":{"entity-type":"item","numeric-id":1200977,"id":"Q1200977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a3125595a62f678231bf80f00fa8924ce87f372","datavalue":{"value":{"amount":"+0.8658086","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":"Q4819009$11FF313F-BA33-4EB8-A193-02422BB95245","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":"eefe70ad2a3b4a9da07d0714ef355b333510b603","datavalue":{"value":{"amount":"+0.8651641","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":"Q4819009$380A6633-DFAA-4E8D-8910-32E2C1DD08FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef13f75cc68fc25b9f306085f79e10e04e8459c1","datavalue":{"value":{"entity-type":"item","numeric-id":1127348,"id":"Q1127348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3e0b6fdea1fa9213c8434701f8ce11714438f45","datavalue":{"value":{"amount":"+0.8640574","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":"Q4819009$BC59E98D-1BB3-4E38-9B41-7252C06593AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbfeb1a5ebcbd213c438151d5684c25bc7c343de","datavalue":{"value":{"entity-type":"item","numeric-id":4902254,"id":"Q4902254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8820c38b08450a9a149dadab7b7a5736d98de01","datavalue":{"value":{"amount":"+0.86255395","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":"Q4819009$8164BE92-C3B9-45AF-B90E-72B3BB680675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d907a35ba837c41455d48449ae523e8af58aa043","datavalue":{"value":{"entity-type":"item","numeric-id":4013252,"id":"Q4013252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e2207edaed9cd6706435281860bf0b811cc40fa","datavalue":{"value":{"amount":"+0.86204267","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":"Q4819009$CB7723FD-8A8B-4595-8EA0-F82FD7FE968C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Abduction in well-founded semantics and generalized stable models via tabled dual programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Abduction_in_well-founded_semantics_and_generalized_stable_models_via_tabled_dual_programs"}}}}}