{"entities":{"Q2887039":{"pageid":2897764,"ns":120,"title":"Item:Q2887039","lastrevid":51468599,"modified":"2026-01-18T09:46:17Z","type":"item","id":"Q2887039","labels":{"en":{"language":"en","value":"On the existence and unicity of stable models in normal residuated logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6035332"}},"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":"Q2887039$D46C1CDA-5F9D-4746-93F3-097216685E2E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"47babc1ca477a9bf374596774d93ed90c8d43e61","datavalue":{"value":{"text":"On the existence and unicity of stable models in normal residuated logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2887039$4708B69C-4903-4D2A-8A4E-4AD9E13151FB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c1ebf6378b5491bf0dbbb5f8044d992397a8c213","datavalue":{"value":"1238.68045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2887039$B46A52F6-E57D-40B7-AFBF-E1A0E43E2BB9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"538fc2675c60ac5a34e8ef8dfb106e59fdb16b70","datavalue":{"value":"10.1080/00207160.2011.580842","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2887039$A2172894-038F-46BA-AF14-5C9CA8AED3BE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f0701e579759b0515bcca112ed0fe64915c7062","datavalue":{"value":{"entity-type":"item","numeric-id":529115,"id":"Q529115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2887039$418AC4BA-3868-4997-827B-45B13EC9089A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"043b77db0c51d3789f284af5f275c7a673442b59","datavalue":{"value":{"entity-type":"item","numeric-id":587084,"id":"Q587084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2887039$ADE2AD4C-48AC-4664-A97A-EEA8C6A2FA3A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1f8a1cf422dc8a39955e3a7180ef4ce8229538d6","datavalue":{"value":{"entity-type":"item","numeric-id":2710741,"id":"Q2710741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2887039$441904AA-42AA-4767-B18B-C108090F3481","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3b1f680c50806766166be468846944c0b622310","datavalue":{"value":{"time":"+2012-05-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":"Q2887039$F0093A72-BF37-468C-B551-2CFC7E82163B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2887039$14D6BF35-0903-404C-A5EF-60AC6857C2D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2887039$4F0BF981-78C3-4B30-A5F8-E661F9EC6EB7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bf57b5abec6b73ac9f44e1734d5b7526b5b1b58c","datavalue":{"value":"6035332","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2887039$0091A89D-D02C-4258-8809-17A06A0533A2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6cf68b700896c255a0bd6c82529e8b253e1f9d4f","datavalue":{"value":"stable models","type":"string"},"datatype":"string"},"type":"statement","id":"Q2887039$6296A181-F848-4B91-80B7-8AABF25B66BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3aa952b7024851ba2252008f227fbfa9f7e0682","datavalue":{"value":"residuated logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2887039$ADB14AB0-AB1D-4345-8884-C87A63D85FBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e575981ced5dd54633067b2ae7c903fd0f908d12","datavalue":{"value":"fuzzy logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2887039$629889F8-8D81-4530-B4FA-4E7F85B3252F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"043a1889b6fa7c43c1c8800e81448f721b8f0efb","datavalue":{"value":"existence of models","type":"string"},"datatype":"string"},"type":"statement","id":"Q2887039$FA8EBEB4-D0EC-4CEA-95C0-4124A6C206B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15340b8fc22810263ff2dce65ac00e8aa4fbf5ca","datavalue":{"value":"uniqueness of models","type":"string"},"datatype":"string"},"type":"statement","id":"Q2887039$B7CFED7E-9065-4326-AC70-78DF487205D6","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":"Q2887039$CAB972F9-5AFE-4AF6-9B3B-2464C3CC2EB0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"39e9e4ddb0138c0ff67b5df5c268dce66bffec82","datavalue":{"value":"https://doi.org/10.1080/00207160.2011.580842","type":"string"},"datatype":"url"},"type":"statement","id":"Q2887039$A04B1037-819B-42CF-A7CB-BE9E324A51E4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ab245c8c33fcee31610f87b861a4a9079b351c2f","datavalue":{"value":"W2092117499","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2887039$37051D88-7731-46C7-B9FE-EA4C7EB1D6CC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d22c4eb49dc5e76617822f81b392d9cc85604b46","datavalue":{"value":{"entity-type":"item","numeric-id":5459725,"id":"Q5459725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2887039$DA859018-4856-41E4-903F-2B4581C37A7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29fce7f4eef845e9105fc8bbd4368ed63058423e","datavalue":{"value":{"entity-type":"item","numeric-id":3643171,"id":"Q3643171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2887039$ED7E6C8B-D47A-4152-B4ED-2EA5235263A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5257c5ce23c785808ccf79b786aa1d1ce3ed5d65","datavalue":{"value":{"entity-type":"item","numeric-id":3426203,"id":"Q3426203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2887039$CAF25FB2-17FF-4FE4-89A1-8E47B420705B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890ceccab8b9ec2641c36a0db31949a88b8ed046","datavalue":{"value":{"entity-type":"item","numeric-id":2372195,"id":"Q2372195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2887039$E6FF5083-C7A4-4270-B9E0-21D4B7999837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b0e0b0c9f96bf46bc49fc864e9c2ae831530686","datavalue":{"value":{"entity-type":"item","numeric-id":4275258,"id":"Q4275258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2887039$D804093A-D68D-48F8-B106-336D0520BF21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22079cca31baf46f0c232a32b5641e597aa8ae39","datavalue":{"value":{"entity-type":"item","numeric-id":3643154,"id":"Q3643154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2887039$F3F6002A-3B9B-4552-9F8C-7CA5413626D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e0b93f750c7e9050f3c12305168398818442bdd","datavalue":{"value":{"entity-type":"item","numeric-id":5492048,"id":"Q5492048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2887039$5C28DE70-4E32-40F3-B7C5-535868E17191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3b983d3cee72ce118608406b5d0c10d7e799d72","datavalue":{"value":{"entity-type":"item","numeric-id":3008387,"id":"Q3008387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2887039$7983E452-9A37-4033-9E3B-A8208B3D2A32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dc95ef8c579465a89aa0f0eb552135168831d17","datavalue":{"value":{"entity-type":"item","numeric-id":3524923,"id":"Q3524923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2887039$0AE3A088-C632-463E-8F29-CA4314E63D0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"870719fc20cbc716516db615f1aa5f9eb20a876c","datavalue":{"value":{"entity-type":"item","numeric-id":4848738,"id":"Q4848738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2887039$04F75CBB-083B-46A3-953E-D71A7A408241","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"059f7a0eb0b5b59515fba66c73b2cc098398837d","datavalue":{"value":{"entity-type":"item","numeric-id":4784882,"id":"Q4784882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7131af944ff3ceeae6822f0575be95400e65726b","datavalue":{"value":{"amount":"+0.7463536858558655","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":"Q2887039$A1B3C517-B2A5-45B8-BBFE-5CB529FCCFED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c3d505f96ed8ee77ec771f6339d22613dc2f73d","datavalue":{"value":{"entity-type":"item","numeric-id":4318872,"id":"Q4318872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da2f13218af1cfee6b5c705effcb920176ba32a8","datavalue":{"value":{"amount":"+0.7295587658882141","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":"Q2887039$BCF01DD7-D675-4191-BE8E-85CBC1144338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fad7f34f250b2215224ec0821d809091562516b6","datavalue":{"value":{"entity-type":"item","numeric-id":1028651,"id":"Q1028651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96c5adfcad4702a2e1d2e8d624f451b3f9fd16a6","datavalue":{"value":{"amount":"+0.7286971211433411","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":"Q2887039$E7AF4A64-7590-4DD1-B125-095B70280C83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56b985d2626f022a77c9dfe089d0d4c2553ab09a","datavalue":{"value":{"entity-type":"item","numeric-id":4375821,"id":"Q4375821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b4503f0cd8fe030a572d46924d0924d16ebe0ed","datavalue":{"value":{"amount":"+0.7270806431770325","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":"Q2887039$EF753617-EE72-4262-9C9E-98387EE79DB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ed2be24d61dc41083d992d014f6626b3a79ca98","datavalue":{"value":{"entity-type":"item","numeric-id":3001914,"id":"Q3001914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b8757dc7a0e8a29354ba6e81b874948cb4614c8","datavalue":{"value":{"amount":"+0.7201290130615234","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":"Q2887039$AE119C9E-5DF2-4873-B0EA-C78015C9AC00","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2887039","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2887039"}}}}}