{"entities":{"Q2679422":{"pageid":2690165,"ns":120,"title":"Item:Q2679422","lastrevid":44614347,"modified":"2025-11-24T09:13:30Z","type":"item","id":"Q2679422","labels":{"en":{"language":"en","value":"Knowledge forgetting in propositional \\(\\mu\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7644141"}},"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":"Q2679422$802A574C-136B-42D3-89A6-3327BA40D3F1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2ddeff4bec1d1f4333f97cb23c4fcf30f24304a0","datavalue":{"value":{"text":"Knowledge forgetting in propositional \\(\\mu\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2679422$9A88849F-25D7-4FE8-BA3C-8AEFA28F771B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2679422$1C36390F-095D-41EC-AAAA-DBCDCB1EDCA7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2679422$F284A49D-4C98-4D9C-A2F0-730AFA88E866","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb287c2285220933e4755ad0427b22833453045f","datavalue":{"value":{"time":"+2023-01-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2679422$038F01B0-CA3A-4B5D-8110-B3ECD1C2111A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18309be7db1da1fcc09fdceba48f604c7de62db3","datavalue":{"value":"68Txx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2679422$6C9F0184-6764-4A0E-9D06-BD546D90F116","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"374b7c91e0fc8776f8a042622487f691d4a76017","datavalue":{"value":"7644141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2679422$375EECB5-12B8-4C22-8319-64118104AA34","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7662493be8c807e4e49fd26f7b5c47a219f3196","datavalue":{"value":"\\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2679422$7FADEEF6-55D6-4158-9F0E-614886077A54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59b2cd1ff4b4ec358a0f04030c8cd19875b686c6","datavalue":{"value":"forgetting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2679422$7E54C8C7-BC7F-4AA1-B337-889683CA2475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26325b97ca9f91dadc7bc17af7514ea7907cb4fa","datavalue":{"value":"weakest precondition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2679422$34BD10D4-90A5-40F7-9938-51692B5CABEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0189a767e35cf8910a677688a5f278ce496e4218","datavalue":{"value":"knowledge update","type":"string"},"datatype":"string"},"type":"statement","id":"Q2679422$C88701CB-D3FD-4F89-AE9D-408B1EF7A1D2","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":"Q2679422$7BCF437C-FD50-4A34-8545-733977B42DB5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"87fef1625dec8fa035641ddcfbc8aa25fffd564d","datavalue":{"value":"https://doi.org/10.1007/s10472-022-09803-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2679422$67021C8F-8770-4F3B-BAE3-82638FB456D2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"286d0f0dee8a35eefa7f50dd9449b864bdff7830","datavalue":{"value":"W4297360109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2679422$4FD41A0E-D31C-4A47-AF83-F3B272776355","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c243869ba0963401792b9d55bbba80b8cb068d1","datavalue":{"value":{"entity-type":"item","numeric-id":4353562,"id":"Q4353562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2679422$DA90C62F-9119-4BF7-9FE9-30929D02C9EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1265d63b4599a3fae507d9b15943296bbefa977b","datavalue":{"value":{"entity-type":"item","numeric-id":4066568,"id":"Q4066568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2679422$F76A6A00-39B5-477A-9BA4-FE301CEBD7FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24b9b64cdeae407e379838936ec1ac3faf412194","datavalue":{"value":{"entity-type":"item","numeric-id":5941135,"id":"Q5941135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2679422$D4EFD6CF-94F8-42FC-AE47-A1ECE2830020","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":"Q2679422$DD0C4F30-91F1-486A-9911-946254BD046E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffaab0a9b63c3e687be4a9ad2b27633a28a24d6c","datavalue":{"value":{"entity-type":"item","numeric-id":2457677,"id":"Q2457677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2679422$B872FC8A-E293-4FF9-BFB7-FE1802D644D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fa6adf539c0f857676afdbc6ce3a12b72b553b2","datavalue":{"value":{"entity-type":"item","numeric-id":1045992,"id":"Q1045992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2679422$9FFCAA70-585F-4F3C-8649-F3F64181CFFF","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":"Q2679422$9C0EF5A4-57AB-4710-94CC-80CAC39D764E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95754338f7b2e3bf27ea8c2c9feabf3134e1cebf","datavalue":{"value":{"entity-type":"item","numeric-id":2389674,"id":"Q2389674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2679422$966A2DA5-E339-494D-97E9-F389584C29FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57ccd4fc91874123b587563468a01b1a5f3290fa","datavalue":{"value":{"entity-type":"item","numeric-id":5417593,"id":"Q5417593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2679422$FAD30223-8DE1-4CBE-BEB4-2D1C739D2DD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8280f5f8c4514e237d63af4d6da6aa3c2a068f6","datavalue":{"value":{"entity-type":"item","numeric-id":2211850,"id":"Q2211850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2679422$CDF160C8-50E3-4156-8453-A48B83461208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"822dfb55932366576e9dce49d4c9ea942ce94d64","datavalue":{"value":{"entity-type":"item","numeric-id":4240680,"id":"Q4240680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2679422$19C52AD8-05CB-443C-8CA1-A3B0096E9269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6a31e0cf3ff6a73ad4ee5a92d1ed62572bdd89","datavalue":{"value":{"entity-type":"item","numeric-id":3317085,"id":"Q3317085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2679422$0689AB75-02AD-4F6B-88E4-7428027E4CDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad0b53867c88a73a7a906320d0a81056ca94fdd2","datavalue":{"value":{"entity-type":"item","numeric-id":4028812,"id":"Q4028812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2679422$695824E0-EF66-4597-A3D9-9FBFCE89C55C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2679422$0647B87D-8430-4EB8-86ED-FB30CE166890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cff75baea05c748f9ad363c0a0f9a8b26cebdcc9","datavalue":{"value":{"entity-type":"item","numeric-id":835051,"id":"Q835051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2679422$A81E4F71-D73B-4AAE-BB00-E664EAB8DFEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99bde97cd34af221b47f3c7c9ccb6fc625f4abe1","datavalue":{"value":{"entity-type":"item","numeric-id":1648649,"id":"Q1648649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2679422$E80C8D9B-FEAD-4376-8F44-18B3AEDD7A9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d5030ea42b43f51ee022178deab3f1f97cb4cfb","datavalue":{"value":{"entity-type":"item","numeric-id":4434175,"id":"Q4434175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2679422$F3833AE9-2DD4-4CF4-A319-F3CC9E0D0D42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc2a65820ef825ee507b4e56c6b6ed643ef570bb","datavalue":{"value":{"entity-type":"item","numeric-id":3651475,"id":"Q3651475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2679422$6E0B6CB4-3331-4FDA-A905-C1D61AF5D53F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bb31cae4b01ea54f7c0447f14f180d017982665","datavalue":{"value":{"entity-type":"item","numeric-id":5075257,"id":"Q5075257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2679422$937C20BB-1AF0-4F06-BA33-7BA792D1C6FD","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":"Q2679422$3D78BA8E-CAEB-4CC7-81C4-D98A2130E803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08130677d950f0e9764f0a4bfbc64de21effa2bc","datavalue":{"value":{"entity-type":"item","numeric-id":4893140,"id":"Q4893140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2679422$20FC5F6C-8D03-4BA4-AC46-F29F763873BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28c7f39e6d4f92be2f9c84fd03355d45342ccdaa","datavalue":{"value":{"entity-type":"item","numeric-id":604910,"id":"Q604910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2679422$7ED4A2D7-BD50-4636-A3B2-E8B7CF5F1D7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea271b41a48c974e36ab80062f991d1833d89f56","datavalue":{"value":{"entity-type":"item","numeric-id":2905394,"id":"Q2905394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2679422$65475004-C656-4ACD-ADA7-6C5AC28BE11B","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":"Q2679422$06F98628-554D-479C-A572-6FF18E78331F","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":"Q2679422$938098EB-6193-46CD-B8C0-FA96DD1AB784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a2ea6069dfa6450ccea31bdeae3d734ad234a17","datavalue":{"value":{"entity-type":"item","numeric-id":4576228,"id":"Q4576228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2679422$D3660AA0-C3DD-449C-855E-954FCD0D4028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e46f0aa4f1c873819c0fe0f7c3063d572dcc02a","datavalue":{"value":{"entity-type":"item","numeric-id":4215595,"id":"Q4215595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2679422$67B75E1D-2304-449C-9007-F73495FCD048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2679422$1AFF60D3-0E8C-4341-BD44-76CBC66FB725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4145f2feaf7a097126ac0a9c495aef21442412c3","datavalue":{"value":{"entity-type":"item","numeric-id":2506827,"id":"Q2506827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2679422$7639C458-3E46-4566-BAED-269E55A5C772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b616d03b1219418af06ece48bd855e350c3cf3d4","datavalue":{"value":{"entity-type":"item","numeric-id":3569045,"id":"Q3569045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2679422$42B33798-4719-42FE-8155-C7720BF554A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b3f60964ed57d86f2847571e03e4efcce710916","datavalue":{"value":{"entity-type":"item","numeric-id":3176384,"id":"Q3176384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2679422$0A10A08B-1596-4ED9-B584-C5B12F31B688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"711e282bbd2865ebea7c8b287f5496055a3f9a3d","datavalue":{"value":{"entity-type":"item","numeric-id":4953222,"id":"Q4953222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2679422$5753CBD4-59B6-400F-8100-1D8B5D79871D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38070a2324f6956e553f48ee431a7b1911e3140b","datavalue":{"value":{"entity-type":"item","numeric-id":6104378,"id":"Q6104378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2679422$50CAB33E-7F6E-4F35-A1B7-065D9DD7E1F9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1537e44dd2ff0a4b0f7abccc77f81936daeb0f9e","datavalue":{"value":"10.1007/S10472-022-09803-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2679422$9A588386-5E13-4958-B6A7-A4B3D2CDCCA7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2679422","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2679422"}}}}}