{"entities":{"Q1779312":{"pageid":1790054,"ns":120,"title":"Item:Q1779312","lastrevid":48493657,"modified":"2026-01-05T00:15:38Z","type":"item","id":"Q1779312","labels":{"en":{"language":"en","value":"Safe beliefs for propositional theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2173066"}},"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":"Q1779312$1CB9E807-4B9D-4B66-ADC5-F0D6DAC95A4F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"13821190fdffce235c40fe0936b7178fb9652b47","datavalue":{"value":{"text":"Safe beliefs for propositional theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1779312$A29D7566-A3C0-430E-909E-DC2044E84608","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a010d1b9693e78db426347efd2c21537525b95fa","datavalue":{"value":"1074.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1779312$A9AF908A-B25F-4AD4-84D9-AEC4A1A8718A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"47f05a97db92f2db631599e955e7c058f7fb9c38","datavalue":{"value":{"entity-type":"item","numeric-id":186033,"id":"Q186033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1779312$8A69D073-353C-4E35-A226-67C49E999B15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7fe449f468b85b46403017c91eeb30e6fc473c2d","datavalue":{"value":{"entity-type":"item","numeric-id":1779310,"id":"Q1779310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1779312$F60A710D-2715-4B24-B3C5-36DFF690F8FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"642fb11532c8b933751d9953922aecabba84d9c3","datavalue":{"value":{"entity-type":"item","numeric-id":301377,"id":"Q301377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1779312$F17FF31A-6D56-415D-8064-B3C11E9FA8BF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1779312$8B5C4E14-E28D-469C-804A-83991C600E45","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e4d578b35a7e3b754503335b980ec15049161ec","datavalue":{"value":{"time":"+2005-06-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1779312$7EED32AE-1530-45BC-B3CB-90C54177C811","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c29db5df023ac0dcaf81d0d43e24bab9fb9a1d23","datavalue":{"value":"The paper presents an extension of answer sets that are called safe beliefs. Safe beliefs allow for the use of arbitrary propositional theories as logic programs. The presented approach allows for the use of even modal or temporal logics as the underlying inference system to produce different semantic operators with additional or extended features.  One of the main theorems of the paper shows that any propositional logic that is strictly weaker than classical logic and stronger than intuitionistic logic can be used in the definition of safe beliefs without modifying the resulting semantic operator.  Another contribution of the paper is to present a translation that can be used to reduce any propositional theory into the class of augmented logic programs. Other translations can be used to provide a polynomial reduction of arbitrary propositional theories into disjunctive logic programs.  Reviewer's remark: The 7th line of p. 66 contains a misprint: the atoms \\(b_{m+1},\\dots, b_{m+l}\\) must be negated.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1779312$74CA24B5-042D-47D2-9039-BA1788243838","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1779312$C8E37C29-6908-4169-B31B-99426A8F28B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1779312$94B9C8CF-52D8-4429-BF44-3E90CC7F649C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1779312$534D8998-C5C8-4253-BEE3-D4B7D69FED0B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6eb9490ae6ce931b7642915bfa6514058dc61e14","datavalue":{"value":"2173066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1779312$B796F466-4F4F-4F5A-9B62-A6347F2832E6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1779312$9E8CF295-7E3F-4842-8DA5-690745CCB5E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f7f2e0d651cbe2372ff7e59a3d6cfdd993a4037","datavalue":{"value":"answer set semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1779312$C5FF811D-F50D-468F-A04D-6E1CACAB8503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd5f98d6d8a198585f90ecfc877deea2287ed18e","datavalue":{"value":"safe beliefs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1779312$CC25CC6F-07CF-462B-AE98-276303059C71","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"05f3dff3edc7d97b14af7ecb326f488fb3fee31b","datavalue":{"value":{"entity-type":"item","numeric-id":583186,"id":"Q583186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1779312$532C4267-1E75-45E7-B024-7256E0230002","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":"Q1779312$8CA9F98F-3321-404E-806F-803A131BA960","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a5e4bb4a6f14f0a524b4fac133a30a7d67c9900f","datavalue":{"value":"https://doi.org/10.1016/j.apal.2004.06.012","type":"string"},"datatype":"url"},"type":"statement","id":"Q1779312$89E577E9-EFD1-48CF-877B-DFB047C5B42C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d0643578a37068d5210ba9b39ae5c3e6efeb7c56","datavalue":{"value":"W2170515813","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1779312$37826452-B62E-41A1-96EA-D0B0328493BC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df57a8b6ea029c06d43a21a5342274199359600","datavalue":{"value":{"entity-type":"item","numeric-id":4428287,"id":"Q4428287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1779312$DD1BDCF9-67B1-4D3A-8206-692209D60559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9eaacefcccdad6f0bb056a7f5253b8d901778fe7","datavalue":{"value":{"entity-type":"item","numeric-id":5935989,"id":"Q5935989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1779312$8BFD398E-3390-451E-9D16-2BF6EE8BC854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd1e52c9d649b6b3f2b9ee45f1a0bf215226ff57","datavalue":{"value":{"entity-type":"item","numeric-id":4736516,"id":"Q4736516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1779312$8CC0B3FD-A9CA-49A5-83E9-A2FD05A7BD37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a4eaa9c8280d6f668a026d8e63067a6b0cce27c","datavalue":{"value":{"entity-type":"item","numeric-id":4798001,"id":"Q4798001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1779312$D91477F5-057A-46CA-A86A-7FAAE4D6A216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0eda07e74c455b9508c4802bce8fdc74d6e13f24","datavalue":{"value":{"entity-type":"item","numeric-id":5738917,"id":"Q5738917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1779312$99098434-6197-46FC-871C-2BE0B3FA65B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76f7f1f9bc3f9619e9e2976cf697a1c85f775e0d","datavalue":{"value":{"entity-type":"item","numeric-id":1978013,"id":"Q1978013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1779312$79272934-0CFF-4E5E-A61C-4E92E3DDD2A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97a935d8a6d38fa08406cc5caf1b9ac2a739c373","datavalue":{"value":{"entity-type":"item","numeric-id":5586197,"id":"Q5586197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1779312$772F1076-D12D-4DAD-A10E-82E79FD1EE70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41cc8fa824231246d9f4afb888d5c2b3944b16d4","datavalue":{"value":{"entity-type":"item","numeric-id":4808808,"id":"Q4808808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1779312$3B802E2E-C8E3-430B-9BAB-E35DE2B7DE70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"398922c534279d00a4bf0c68b998fbb179cda37b","datavalue":{"value":{"entity-type":"item","numeric-id":4812994,"id":"Q4812994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1779312$48C39AB6-B747-42C3-A206-106EAED29331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50cb5c274d960709d34eb3f1eda588d0413360ee","datavalue":{"value":{"entity-type":"item","numeric-id":4669647,"id":"Q4669647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1779312$B9CE9163-6662-4191-B3B2-8B431741540A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"713dfe4d0e4472016710febb2b7c9adfb35495d2","datavalue":{"value":{"entity-type":"item","numeric-id":2715522,"id":"Q2715522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1779312$6720F756-A2FF-43B2-87D7-A8FA4687888F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39221fb0165f159f65022314f762821319df318a","datavalue":{"value":{"entity-type":"item","numeric-id":4223455,"id":"Q4223455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1779312$23DC27DC-E4B3-412B-9CF9-D0D317BFF716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"233b8273450f535e01aa2e125690075bf88bfe05","datavalue":{"value":{"entity-type":"item","numeric-id":4812975,"id":"Q4812975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1779312$F00A6C6C-9283-42C7-9CBD-ED93E0379008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1779312$B3E27FF1-3E46-4A57-88C2-C8115BA7CEC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d306fe5453e13dac5aace6f82668ff9863de3fd","datavalue":{"value":{"entity-type":"item","numeric-id":5904363,"id":"Q5904363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1779312$6744206B-620D-4B05-B539-B7E7E8C7BC47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8736b1fc1427ab61e6b1863558749e5897b25ee0","datavalue":{"value":{"entity-type":"item","numeric-id":4789450,"id":"Q4789450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1779312$F148703F-9552-4525-AC0F-32934FC3990E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"efa48c37efc0134e6baf2488f02ed02f363fd51c","datavalue":{"value":"10.1016/J.APAL.2004.06.012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1779312$28497B4B-6988-450B-B74C-2705D117B634","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc14b9ecd32e7f88bcfab6a6db7e9f6bb308c3d7","datavalue":{"value":{"entity-type":"item","numeric-id":5431610,"id":"Q5431610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27a0235fd0da9d0c952087504f3fab280a5ef4bf","datavalue":{"value":{"amount":"+0.7911003828048706","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":"Q1779312$78B0330E-852E-42E5-B33B-B91AD0D0AC76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"985c199f525f5bde9dfcaebfd365aac14441d040","datavalue":{"value":{"entity-type":"item","numeric-id":4305304,"id":"Q4305304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2278abdd4eb2b990f41aeae2036129492d215b20","datavalue":{"value":{"amount":"+0.7770944833755493","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":"Q1779312$DA51732D-4A1E-4464-AF6E-5E2FE1969197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74b0bb9d049b0580c0c61d5a2bb84fe89b8e0e4f","datavalue":{"value":{"entity-type":"item","numeric-id":3643106,"id":"Q3643106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc72c62dbc7e465fe158685416ab39539fa02506","datavalue":{"value":{"amount":"+0.755470871925354","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":"Q1779312$C1ADE37C-9D72-49BD-8A4D-540E82B0F2B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3c824456697eaca6052b9678c04bec6f1a4e61d","datavalue":{"value":{"entity-type":"item","numeric-id":5431419,"id":"Q5431419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2de7b153c2acf12d381e1b2d8a4f21aa149b7856","datavalue":{"value":{"amount":"+0.7517986297607422","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":"Q1779312$BDA5D670-A236-441B-8474-33502B352443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86d09bb94ff17b323b788a4e7c32cf496b66dff8","datavalue":{"value":{"entity-type":"item","numeric-id":5504689,"id":"Q5504689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12f479deef3a81d64bc6bdfed3741e4fd99766a9","datavalue":{"value":{"amount":"+0.7515738010406494","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":"Q1779312$E5C2F9C1-3E96-47CF-B04B-D716E8B4C463","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1779312","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1779312"}}}}}