{"entities":{"Q6152662":{"pageid":13286978,"ns":120,"title":"Item:Q6152662","lastrevid":58718034,"modified":"2026-04-06T11:09:54Z","type":"item","id":"Q6152662","labels":{"en":{"language":"en","value":"Dual forgetting operators in the context of weakest sufficient and strongest necessary conditions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7803982"}},"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":"Q6152662$B8260E55-68FE-4E24-8846-3557E7B443B5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c10db191589f63ee04b565ce68065bb87e12e0f7","datavalue":{"value":{"text":"Dual forgetting operators in the context of weakest sufficient and strongest necessary conditions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6152662$C6DC1AF2-FB6B-4BCA-B744-6B807CA5A47C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"032aafba140558c82c03c3da77f727bddea77b26","datavalue":{"value":{"entity-type":"item","numeric-id":329425,"id":"Q329425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152662$386D8258-A5D7-4E37-89FB-EC2273C85200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca60e4abfd0c45cace511a7d7434a08b65f8249c","datavalue":{"value":{"entity-type":"item","numeric-id":763332,"id":"Q763332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152662$26812547-D831-4B3E-AF35-FB4F2BC6F557","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152662$2FB195A5-1166-48FD-9A00-62AE3201CDBD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a2abacca2785e0f856eeb85daaaa1e38f0cc185f","datavalue":{"value":{"time":"+2024-02-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6152662$4CF4F3B6-48DE-4C62-9691-F7366FE23096","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c075b7e9f036b3049cdca42cd7575aeb173b9d26","datavalue":{"value":"https://arxiv.org/abs/2305.07233","type":"string"},"datatype":"url"},"type":"statement","id":"Q6152662$2A493B29-0E79-4B21-9863-D717C3362ACF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6152662$858552DA-CD2B-420E-852F-B6F220304733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6152662$DF94979B-2390-4909-9226-134F4C3C0288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6152662$D66646AD-A552-45AC-A6DF-CA80E51E8A60","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4c964c207632c9af6d4125b5f58b8877e0518c4b","datavalue":{"value":"7803982","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6152662$A28C9F30-8347-405A-A00E-3E330F477229","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe99cc33cb0d5ac2e6c3a73729bf23aa7caccf7b","datavalue":{"value":"knowledge representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6152662$41734CCA-7000-403C-8C2A-3B0AAA6F3812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a71fe6392c09db6db9e6773c3ed8aad99a981365","datavalue":{"value":"reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q6152662$B83B61A4-A54E-4A17-AD1D-27459A83C8C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59b2cd1ff4b4ec358a0f04030c8cd19875b686c6","datavalue":{"value":"forgetting","type":"string"},"datatype":"string"},"type":"statement","id":"Q6152662$C6C5FB02-0731-4568-ABD3-330CF3541A74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c218b028fd04fb8b7940f0718252c5760ca77a39","datavalue":{"value":"weakest sufficient conditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q6152662$8D539C3F-188B-4AC3-8EFD-C069E6EB1CC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba83d46fee8b78a16b65327ccd8a10b73633c47f","datavalue":{"value":"strongest necessary conditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q6152662$7992FE01-0D7B-49E0-9CD8-42D79DFCE67D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q6152662$6848E6DD-B3A1-45D2-B0C1-A1C7C4B879DA","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":"Q6152662$F055699B-F3DC-4EDD-BF23-FB5CE1035BEA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4333f01782254b90f13bf674e3efe75f0a4a9154","datavalue":{"value":"W4387873447","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6152662$4448A8E9-3957-4620-BEBF-88AAABC0461E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae600d82e59da48d9490ff29ee5b51a547bc0409","datavalue":{"value":{"entity-type":"item","numeric-id":4864249,"id":"Q4864249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152662$5C9F7593-6E8D-4AFD-A951-3B0926599F22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a58fd1c1d08ee970b5e620a3f873df3171087eba","datavalue":{"value":{"entity-type":"item","numeric-id":3699670,"id":"Q3699670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152662$232A57CE-C8EF-46DE-BB5A-DEB67976A3B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc4b5e0af40726b478bd470e11b13572ff24a03d","datavalue":{"value":{"entity-type":"item","numeric-id":4430391,"id":"Q4430391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152662$117E8616-68A3-4A69-8988-B7D669405689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f48c0961621e4305d3b815cca22b306bbde9de93","datavalue":{"value":{"entity-type":"item","numeric-id":3647241,"id":"Q3647241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152662$0D7CC527-3DA5-4526-B1A4-C6AE1C592F7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21758fe08e5e7efdbdc35f1c82f7417f87a2a438","datavalue":{"value":{"entity-type":"item","numeric-id":5891768,"id":"Q5891768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152662$07E86C6B-D264-4428-982E-063838D8CCDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f2d21d33f3578a42425eda62598b418d1d8acdc","datavalue":{"value":{"entity-type":"item","numeric-id":4600732,"id":"Q4600732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152662$65DE8939-0008-4E65-99C0-6278784C2CA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d800618298e6171a8976610072999c9b9022c22","datavalue":{"value":{"entity-type":"item","numeric-id":1036061,"id":"Q1036061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152662$7E1C9B69-0E63-45D2-A66C-207283C28343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"422338a2dfe752749b7dbb572234dd7473a7f248","datavalue":{"value":{"entity-type":"item","numeric-id":1367072,"id":"Q1367072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152662$B1CE0843-7C47-478F-BAEB-BF4D43E38003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03977f9b08bd40c37e2b80d09437ebf623cc0ff4","datavalue":{"value":{"entity-type":"item","numeric-id":4264098,"id":"Q4264098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152662$D16C17C0-D1D0-442F-811F-55D2D11A3AB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4290318fb28004533dea98eae9fbb0d526ed49fa","datavalue":{"value":{"entity-type":"item","numeric-id":2321251,"id":"Q2321251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152662$E1BE067E-8714-474F-B909-097CF9D57899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"152250d5412444c9ebf05f53a6a4ddbfe4bc5f97","datavalue":{"value":{"entity-type":"item","numeric-id":2679422,"id":"Q2679422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152662$AC34EBF3-7CBE-4281-8F1C-C584516BFF4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"310ce82efbdd35c29fe75ff5aeb0932af73027f2","datavalue":{"value":{"entity-type":"item","numeric-id":535321,"id":"Q535321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152662$992DA34D-2436-41E6-B819-9C3B481A17C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57d9c86154f755477b019e139e0ec45e0822d154","datavalue":{"value":{"entity-type":"item","numeric-id":3543581,"id":"Q3543581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152662$44556094-7DF9-4B62-A504-6EA9FC9AE337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39c7e8394e4b9685fcdbe819e19be7a3da091cb5","datavalue":{"value":{"entity-type":"item","numeric-id":5707890,"id":"Q5707890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152662$16FD55DE-90BB-4D39-BA31-266240EA4CFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"047b17067c912d1734fcb42ec5f8a770f216eba8","datavalue":{"value":{"entity-type":"item","numeric-id":4411161,"id":"Q4411161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152662$250D3460-5BE0-407B-B2A0-422A75B18EAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2ffafba5086f18a9d681d4240fa5f082cfc6a27","datavalue":{"value":{"entity-type":"item","numeric-id":991019,"id":"Q991019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152662$E7D75CB2-916A-460E-9A84-E92CBB1E2CF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b60f8cf6abc248fd77a50d0ca64aa2db34795dcc","datavalue":{"value":{"entity-type":"item","numeric-id":2457621,"id":"Q2457621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152662$50A867AC-D331-40B7-A3DD-5763181A6460","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f47e9aa8cb2feab0739d36620b875d38b960d348","datavalue":{"value":"10.1016/J.ARTINT.2023.104036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6152662$BDA8B46C-89D8-4DE2-8BE3-038E3698D5CE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"734acaf60addad0fcf33ede5cc7d034edfbbeffc","datavalue":{"value":{"entity-type":"item","numeric-id":4600732,"id":"Q4600732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf42a418cd34a557e37d2942a270d90842d34f3c","datavalue":{"value":{"amount":"+0.8305990695953369","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":"Q6152662$D5694BF3-6C46-4C2B-A8C2-AFC54AD90A9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cb986fccd7e92e0a0b20080147f9be1498443e2","datavalue":{"value":{"entity-type":"item","numeric-id":2211850,"id":"Q2211850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f81f93f777d00a893627b14ac0eef96f1a56cf4f","datavalue":{"value":{"amount":"+0.7984971404075623","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":"Q6152662$DC0C1BC2-F98B-49C6-8C4C-6479D922E10D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae0e70ad61b2d203ca307d2864abd73b1b6e7fdc","datavalue":{"value":{"entity-type":"item","numeric-id":4576228,"id":"Q4576228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f28ab38aaf88e052ad6b78d615c77d8987d2328b","datavalue":{"value":{"amount":"+0.7906405329704285","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":"Q6152662$C39278ED-C72D-404E-A85B-6B7BEF73400D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"292f0f67b84ee0e85d98a77d163f52d5c21938b3","datavalue":{"value":{"entity-type":"item","numeric-id":2096552,"id":"Q2096552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d585129bcc3ce7f3ad56d6888cf2752682e33815","datavalue":{"value":{"amount":"+0.7846625447273254","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":"Q6152662$CD39C732-C924-4926-80A6-4F980AA6D3EF","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152662$4A4677F1-2613-45FB-9E66-6A92939E004F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6152662","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6152662"}}}}}