{"entities":{"Q2845124":{"pageid":2855844,"ns":120,"title":"Item:Q2845124","lastrevid":51804446,"modified":"2026-01-20T03:26:40Z","type":"item","id":"Q2845124","labels":{"en":{"language":"en","value":"Interdefinability of defeasible logic and logic programming under the well-founded semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6200548"}},"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":"Q2845124$FFB73817-FCF0-40FB-A184-6368561BDA19","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"93da566cf1ab95075e6cc9dbf2a005a56c2534b9","datavalue":{"value":{"text":"Interdefinability of defeasible logic and logic programming under the well-founded semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2845124$73E93743-6746-43F0-9400-8CA910569083","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1f6106492dcc1b24b81e52bcdff9ae3ad9e6c256","datavalue":{"value":"1272.68079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845124$961FE016-6DAB-4E05-B9DA-32355B6B057D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"abb424e2ea816e2bf87731f745584a924b688335","datavalue":{"value":"10.1017/S147106841100041X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845124$CFBB0932-75B3-43E8-8043-B5EB1878305C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb13db00bf5481d746f4e2f9f139c0dcfa0fa4d8","datavalue":{"value":{"entity-type":"item","numeric-id":625706,"id":"Q625706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845124$62936C63-FE88-46C3-A435-6F9D98B115DF","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":"Q2845124$B22084A0-904C-4A6E-B013-7B3B1D32EB98","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"563279ea5c950475d029d7a7b090847d91f27648","datavalue":{"value":{"time":"+2013-08-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":"Q2845124$A62D2FC2-E0A3-4C88-B253-08D8BB093D1D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845124$113593FD-7350-4A24-9D5A-C11D8B1D06B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845124$DE3B636C-9DDA-450E-8F3B-0C9E6B00B08C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845124$7BAD9C6A-F3DA-4B30-A30C-B118F1B53DCF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2e235b0ec52097478251a03d983ad660dd85f3ce","datavalue":{"value":"6200548","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845124$01372BA5-99B7-4774-B33A-90E2413E6194","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e5af640eaa6257fcfcaa978048dae4e1edbb646","datavalue":{"value":"defeasible logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2845124$16D170E4-8F7B-4F24-A28E-BE99C344494B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2845124$5C240E1E-8695-4E0B-8008-1A12472CC0C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"829ca1e536ef76ef92ed2ab157d10567452023f4","datavalue":{"value":"well-founded semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2845124$1B6E9F84-9A32-4B39-A687-9C31897E8B16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c8c04d6faec96e0a57b788f2647a3e7913e75e9","datavalue":{"value":"stable model semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2845124$6E180BE8-2058-420A-B733-5ED99BD2612F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2817c153a9bad293c02b591c1026bebd80b81e0","datavalue":{"value":"ambiguity blocking and propagation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2845124$EB7D1DEF-97B1-4F66-9DB7-15A3CC5320B8","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":"Q2845124$14437F67-4631-49A6-BE3A-92515ACE81BB","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":"Q2845124$A0DA1611-2C73-405C-BDBC-CBAD4138A166","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e45d5620d2bdbb3560791be127fbc304ec973e09","datavalue":{"value":{"entity-type":"item","numeric-id":4276168,"id":"Q4276168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845124$1B3AD3DF-F609-48B5-8E7B-9DE9BE84CFF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc28057b2e0d22eca49a140c3dca9a51e7238581","datavalue":{"value":{"entity-type":"item","numeric-id":1311405,"id":"Q1311405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845124$A96219E1-D445-49A6-B414-F626F49E087B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbc9ef63c88371b9a2b1550e4ff609715a416d86","datavalue":{"value":{"entity-type":"item","numeric-id":3422417,"id":"Q3422417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845124$D9A40BA5-73E3-4D6A-8609-6203D496B630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"957503908f55f73b748e54c2cea9da988a808f7c","datavalue":{"value":{"entity-type":"item","numeric-id":3184510,"id":"Q3184510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845124$E23D2D89-C9BB-493D-A8EA-87C8CA46C798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b0bbb62b8f790f08cf8d900b314ae4cdd6b2e5b","datavalue":{"value":{"entity-type":"item","numeric-id":3422182,"id":"Q3422182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845124$2A39E757-F7BA-4469-9FB0-4F71D19AD9BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26ff346f261c7fd8750a0cb425f77cff3ff4dbf2","datavalue":{"value":{"entity-type":"item","numeric-id":2384386,"id":"Q2384386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845124$42FD5E35-F911-49AC-B408-256B17D81BA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7c13e10e29ad293fc232627ec62bdb3e78b2da0","datavalue":{"value":{"entity-type":"item","numeric-id":3533141,"id":"Q3533141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845124$12F04D75-7DE3-4766-B83E-57A9B8C7A38A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70bc765ec6512aba6ed8e201fa680b85902bf4cf","datavalue":{"value":{"entity-type":"item","numeric-id":625708,"id":"Q625708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845124$49AD1BDF-33C4-4F75-A4FB-7186546AB02B","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":"Q2845124$618607B8-9253-42AB-81B1-3B3980B03D9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"634f33c6989edf6f6984b6e2aab501586edeb607","datavalue":{"value":{"entity-type":"item","numeric-id":2638811,"id":"Q2638811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845124$CD35870E-8AED-4EB5-B485-F968804C089C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d3494e80afce6821c832020ab579a8e9d477f36","datavalue":{"value":{"entity-type":"item","numeric-id":4659505,"id":"Q4659505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845124$3EEEA505-2FF1-4E43-A7C8-34B34DC38946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcb2439a8755d45ee272a2314af8cf82b04980c9","datavalue":{"value":{"entity-type":"item","numeric-id":5943017,"id":"Q5943017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845124$DE90C1E8-4C4E-4897-81D0-F02CDEE08D22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8987b5e49f6c42b28a639d44f1b98ef913f621d9","datavalue":{"value":{"entity-type":"item","numeric-id":3532456,"id":"Q3532456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845124$E706975D-1D71-4692-AADB-B2A4FBD0C4E6","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":"Q2845124$0696AAAD-3B30-4C57-BCDD-2A2AFAAA427E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f91daa2195cbe510cefc59ffaafa18b1c28390","datavalue":{"value":{"entity-type":"item","numeric-id":4107888,"id":"Q4107888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845124$E76432FE-2EE9-4A0F-8F21-BA0777EAB448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845124$75112BB2-A0DC-4110-91F2-3FBA013D3235","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":"Q2845124$945D3621-78F3-4E76-A8EC-71F730E27D0B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"11c400520cd7134d40b4c908ab20805b8122e89d","datavalue":{"value":"https://doi.org/10.1017/s147106841100041x","type":"string"},"datatype":"url"},"type":"statement","id":"Q2845124$DE738C48-FD4B-4A9D-A487-EA23B556BABA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ec0806afc1168c795ffb721db563cbc0ffddce5b","datavalue":{"value":"W2963571216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845124$07444C79-EDEE-41C7-9AFF-65AB916555DD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18b29c0ac8206337b29d2dcb45753314daf8b128","datavalue":{"value":{"entity-type":"item","numeric-id":4798004,"id":"Q4798004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf50fb783f984d0201256e2f9a2a0a806a5fc3b0","datavalue":{"value":{"amount":"+0.8880510926246643","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":"Q2845124$6F8AB8A5-F08E-4AC4-AACD-1F72C709D247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73525635ff0b8b5918acc471e95306aa88d61726","datavalue":{"value":{"entity-type":"item","numeric-id":3533141,"id":"Q3533141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"759dcad1992ff263a4c5b1e7ff9c9082126e3f90","datavalue":{"value":{"amount":"+0.8869776725769043","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":"Q2845124$7A07D6E9-6486-4C8B-8E49-88736D17047A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14b40c644067a78df07ff4e2c2765a4c6c420afe","datavalue":{"value":{"entity-type":"item","numeric-id":625708,"id":"Q625708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1b5fd66287cd7c08e87f09f209620bb527d83a2","datavalue":{"value":{"amount":"+0.8633022308349609","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":"Q2845124$288AFADD-99D3-4456-A73C-695CA42085C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e80bb88951c829482ce763b3dbfe8c40923c7fbf","datavalue":{"value":{"entity-type":"item","numeric-id":4737932,"id":"Q4737932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef1b601867e3bf9fe412f490103718437cab557f","datavalue":{"value":{"amount":"+0.8581382036209106","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":"Q2845124$C09387A2-1614-4CC4-8A97-EC062DA00CE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41fdfda63a2b482ec9fffdac970ac427db5af2e5","datavalue":{"value":{"entity-type":"item","numeric-id":4812974,"id":"Q4812974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dc48b40e2f76b4d456df1db6dab9e42e42376b9","datavalue":{"value":{"amount":"+0.8558617830276489","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":"Q2845124$4D0C8200-AD57-4B46-BFF9-0DBCA4C28896","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2845124","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2845124"}}}}}