{"entities":{"Q2321342":{"pageid":2332085,"ns":120,"title":"Item:Q2321342","lastrevid":53514878,"modified":"2026-01-25T03:05:59Z","type":"item","id":"Q2321342","labels":{"en":{"language":"en","value":"Forgetting auxiliary atoms in forks"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7099243"}},"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":"Q2321342$40FABBE5-F54C-4C01-9A59-0B238C2E7FC3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7b5540f65c959b593510581493bd7f73a837d184","datavalue":{"value":{"text":"Forgetting auxiliary atoms in forks","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2321342$82334407-BCFF-4BC4-9F2D-AA255E22BE52","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"22478bb1d677b53326256487fb8a9e8b84d1cc7c","datavalue":{"value":"1478.68338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2321342$3FE645FF-3674-4BCC-82C5-DD4FB74751E0","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":"Q2321342$1DA604D8-1A9D-4594-82C1-2F8FA8A3B0B3","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":"Q2321342$90CF3551-FFC5-4ABD-ABC6-F2B2C78E326D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1867080905ef2692887975198ee5812162d0ab10","datavalue":{"value":{"time":"+2019-08-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2321342$A4D8A6D3-5050-4C7F-9AF1-3658E09023B5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2321342$6F35E27D-3A5E-437F-B8EA-10E91CC14380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2321342$DBB6FA27-116A-4AD9-BAD1-D0A62C4B2B55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2321342$8BC61BB3-4B52-40CE-8D3C-CE34C64CEE35","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4f518b1acaa3e590fe516458510c7cc4e19be6a3","datavalue":{"value":"7099243","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2321342$1E9ECCB9-616F-410C-BB2C-FAB9AC42B621","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db950158dbf04962d46f58063f87afbd011015ef","datavalue":{"value":"answer set programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2321342$5A769C26-E79D-484D-9280-F9C5A6B39FDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71df45fd99690bbb53c862594b145dd989a58d8e","datavalue":{"value":"nonmonotonic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2321342$4BFBB284-075E-4246-9BBE-9F7BC29DA65B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9ac413f5aa94c5b7e7fdc90244795870badd09b","datavalue":{"value":"equilibrium logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2321342$F727A349-2873-4158-B404-DB6E260B7181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2321342$6D8936A2-A67C-43DD-BEDC-4D84ED0E6490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59b2cd1ff4b4ec358a0f04030c8cd19875b686c6","datavalue":{"value":"forgetting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2321342$22DCCB2C-401D-432F-8BD9-F3C07C7BC2A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb17f38f322a6c605e1d6f9c9dbdce2bd6f8995a","datavalue":{"value":"strong equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2321342$ABC741E6-8D44-44CA-9D75-F3D418F7F6D5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"32e568e32d2987691c86744c2b489c956a661229","datavalue":{"value":{"entity-type":"item","numeric-id":19011,"id":"Q19011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2321342$8AB78D18-9A36-4C50-8DC2-D6B7392D942C","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":"Q2321342$152141FE-7EBF-4B7E-B1C4-379C8C332C80","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"189dddb068e8c58552f8b4bf8adaa90417bbd999","datavalue":{"value":"https://doi.org/10.1016/j.artint.2019.07.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q2321342$6805C651-025E-4491-BCE4-93DB67C9EE70","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f29489a99890db4eb8fa913b2d08641a30604486","datavalue":{"value":"W2964186776","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2321342$A7AECBF4-1FBE-409C-92E4-8A8A0ECBCBBD","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":"Q2321342$73983D80-7844-4839-B812-815AFEA4FFAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d65be6b84798d28cf87a0d7ae277068dab641b7","datavalue":{"value":{"entity-type":"item","numeric-id":1761291,"id":"Q1761291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2321342$30930017-BB76-478D-ACD8-FF17342D1C55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04e0d5e6f27beb9fa6a4f34d4e6851c16ed004da","datavalue":{"value":{"entity-type":"item","numeric-id":3546036,"id":"Q3546036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2321342$4060DA44-E899-4761-BA19-54F238F17574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"810a438105196696cc0a2f8acd79928b03e80b29","datavalue":{"value":{"entity-type":"item","numeric-id":854969,"id":"Q854969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2321342$7F49D506-E803-4099-A01C-F8E7ECCB828D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d2038f0183acfa0ce782f0d7bc3187371edd4c0","datavalue":{"value":{"entity-type":"item","numeric-id":4592970,"id":"Q4592970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2321342$29FB3B05-ED45-4933-A7C4-100046BC2717","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":"Q2321342$2A03D3EC-4AD2-4873-817C-115A4BE0CBD7","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":"Q2321342$383F096E-C444-4989-9532-96C535FDE7CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bf275ea16c4cb3b4c034947ed7873316c29790a","datavalue":{"value":{"entity-type":"item","numeric-id":5431419,"id":"Q5431419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2321342$830DE137-84A0-40DC-9466-42BBD3CFD9E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32e70ff4632e81bd680b01337c672c0cbd029ed9","datavalue":{"value":{"entity-type":"item","numeric-id":3608649,"id":"Q3608649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2321342$B9BAA9CF-4EE1-41EE-8FA4-2B62232B490B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a381368a6e530fd9cfaf75684cdafb86ba06def9","datavalue":{"value":{"entity-type":"item","numeric-id":5473965,"id":"Q5473965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2321342$388545EB-234A-4903-9D1C-EBCDA0BE310B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"887835ddfb4693ad6c2140285acdb5356361ad62","datavalue":{"value":{"entity-type":"item","numeric-id":4593002,"id":"Q4593002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2321342$2986A6DE-8B80-4A21-B079-2C72CFB2D102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0fe046cc7c2f97de759f9933708f7f2f65bcf7d","datavalue":{"value":{"entity-type":"item","numeric-id":1924819,"id":"Q1924819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2321342$9AB70F24-80A4-4A6D-9063-C6B620174647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50ec7e26714b2588a89599299802fbed0e409e1e","datavalue":{"value":{"entity-type":"item","numeric-id":5277782,"id":"Q5277782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2321342$F05AC192-AA77-4A4F-84F7-32B9251FB14A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bd95268db7c6b7315032cb4ede7c6c2c9b37e1f","datavalue":{"value":{"entity-type":"item","numeric-id":3181745,"id":"Q3181745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2321342$B65D7482-296A-4371-B7E4-B1625DF1E298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1711cd91c5ca5cd2cbb5e55e7665cbbc0d11561f","datavalue":{"value":{"entity-type":"item","numeric-id":2401919,"id":"Q2401919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2321342$32311540-AD0D-4865-9DC6-D5046AC8BD92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c1bd081cb827107095a3e56e696184b9b2c2ff9","datavalue":{"value":{"entity-type":"item","numeric-id":2938510,"id":"Q2938510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2321342$AB59319F-3260-403D-917D-DB5E1261B46E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8968370e8664bac5c6147e0b6215b90deb36b4ae","datavalue":{"value":{"entity-type":"item","numeric-id":3008405,"id":"Q3008405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2321342$7BF8C276-12F9-4197-8C3A-B807AA663B51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b86f9d0828d03ba4ceed5766e6eee10828aff1","datavalue":{"value":{"entity-type":"item","numeric-id":3393227,"id":"Q3393227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2321342$AB67893D-8525-44D7-AA63-FB1A1C702339","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"04920766b2d825a8cc729e4b854d62d971a199ca","datavalue":{"value":"Q127499548","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2321342$29977A43-9E25-405A-9836-B8FD7756DC3F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"90a4c0f92fb70b7d74d7c1fcbd939f54275859e4","datavalue":{"value":"10.1016/J.ARTINT.2019.07.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2321342$5665DB8F-7789-4755-96D7-8B0E7AA5FA3E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d62f7f4f7bd77fe12a55b53c9cb811d24b1b88d6","datavalue":{"value":{"entity-type":"item","numeric-id":2144173,"id":"Q2144173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3aac3a5afc04427fae18e755e356fc7a35ba060","datavalue":{"value":{"amount":"+0.8911412358283997","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":"Q2321342$AD9E0928-3436-4235-855B-59FA82B778B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43697b0244aaf21f696c0393bb71a74dcddf6ae1","datavalue":{"value":{"entity-type":"item","numeric-id":2938510,"id":"Q2938510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03aa20923626bc9f8dfffdcad81151d7ad2d60bd","datavalue":{"value":{"amount":"+0.8224021792411804","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":"Q2321342$93E9E6BE-19C2-4F68-AFC3-A33F64C75BFB","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":"31d378a49a89fbd59ae53a8b90a4c481220d2ddd","datavalue":{"value":{"amount":"+0.7664668560028076","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":"Q2321342$CD80F966-72F6-4951-8E77-09622C7835C0","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":"f39d1ab75f5b7a4d9f3c973e68e2a5323ca6da64","datavalue":{"value":{"amount":"+0.7543148994445801","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":"Q2321342$FDDBCF8A-C3FC-4BAF-A907-A54E1BFF57CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e0f1a5456aa9fa7ae43185fc857fbb17f397517","datavalue":{"value":{"entity-type":"item","numeric-id":5417593,"id":"Q5417593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efe9652e4907468877246d6136339a0f12944c73","datavalue":{"value":{"amount":"+0.7504891753196716","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":"Q2321342$97CB7709-1BA3-42D1-AA2D-79BCD4DCAD3D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2321342","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2321342"}}}}}