{"entities":{"Q899138":{"pageid":900986,"ns":120,"title":"Item:Q899138","lastrevid":65230716,"modified":"2026-04-12T01:11:18Z","type":"item","id":"Q899138","labels":{"en":{"language":"en","value":"Interactive error correction in implicative theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6522971"}},"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":"Q899138$FD308A46-3402-434D-AF3B-111868A9DCB5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dcc965149376d61f5381f0282e77c5091ddf7027","datavalue":{"value":{"text":"Interactive error correction in implicative theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q899138$512C012B-43F1-4B5D-8999-938A83D50519","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d6acb81152a9de8d0a0eb3e1959caaa4c511e51f","datavalue":{"value":"1346.68192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q899138$1C8855DA-B121-4C88-ADD9-8E440E0A1DEA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"66bcff630751ab3cb16accaecabac86d5f5a6611","datavalue":{"value":{"entity-type":"item","numeric-id":238862,"id":"Q238862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899138$57AD4A09-1E33-4482-ADBA-E3E07052966C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e70d1e2fd8e37a727f1c6647439454451f4394e0","datavalue":{"value":{"entity-type":"item","numeric-id":899137,"id":"Q899137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899138$4B366772-3D88-4A59-83C9-6D40B497C0B9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ffcf9cdef56de74059e9064d7fefa5c3d05fe8f7","datavalue":{"value":{"entity-type":"item","numeric-id":110194,"id":"Q110194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899138$B1F575AA-CF80-4B5F-BF75-AA351A48887D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3f1f743d09c348a9995bc1fec6b10d2c590d713a","datavalue":{"value":{"time":"+2015-12-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q899138$8DFD0AA2-84A3-43C7-A19F-A6DC0F371D97","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"27fe2aeaffbf2ced3317df35ec3bd67358194bb8","datavalue":{"value":"https://arxiv.org/abs/1410.5215","type":"string"},"datatype":"url"},"type":"statement","id":"Q899138$09D4CFD9-2E36-4742-B911-E9C1579CB54D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q899138$3E7FB50E-9567-4836-8AA2-24C536290D8B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bb699fe1432ef1965e9df2722ef5ccd7047acaaf","datavalue":{"value":"6522971","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q899138$90C75159-D614-47A2-B26E-A7129465B7DD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91b7bca02d898913be8c088a96ab88fbb079f56f","datavalue":{"value":"implicative theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q899138$3E28C143-D5C2-4253-ADBA-86FCB19A56BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"421cad42d43afa5a175006b8a2a3e73113d80077","datavalue":{"value":"error correction","type":"string"},"datatype":"string"},"type":"statement","id":"Q899138$13509849-6E7B-49DC-BD02-1515B131DC6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"935c582534315791f137c01bc53f9118690d4156","datavalue":{"value":"closure system","type":"string"},"datatype":"string"},"type":"statement","id":"Q899138$094F794A-6070-4E4B-8897-0D19FC7DFC93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"356e366d6c8b96790c960b2cb3520c79f5b43485","datavalue":{"value":"formal concept analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q899138$274B1AE0-F8BB-4152-AC2B-6AC7B88A9937","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ef78a75ffd7344aafc67141ddf62490dbd525ce5","datavalue":{"value":{"entity-type":"item","numeric-id":25650,"id":"Q25650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899138$D4C5D845-FD51-4400-9780-D8D547C86CA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"71404ee4b8d58701895f4c057fbe62cc8e8b5630","datavalue":{"value":{"entity-type":"item","numeric-id":16261,"id":"Q16261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899138$52F36986-0274-4A17-AD41-FA900F482CFA","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":"Q899138$215C5BBB-B507-40FA-B091-DA0FE275DDE8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4468316c16b9c526f8c86b9983b03f39a531457d","datavalue":{"value":"W1689482446","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q899138$E39BC1C6-DFBC-4E80-A388-FABA38E8FB3C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"79d5de36e8cf18a89740427db16d4791e8b5daf4","datavalue":{"value":{"entity-type":"item","numeric-id":3569996,"id":"Q3569996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899138$7E7D0DD5-6E2F-42AB-8D43-86953D9097F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c64ffad6071c5ae89eb75f2d433857bb8d8397f","datavalue":{"value":{"entity-type":"item","numeric-id":1946215,"id":"Q1946215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899138$04283CDF-B094-4F6F-836E-335CB7B9578C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2755920423e54005b2cba7b67558f5e608ea58dd","datavalue":{"value":{"entity-type":"item","numeric-id":4510913,"id":"Q4510913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899138$F44A8521-8872-4E51-BF6B-CE9942CD2C2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87aefec68103ddfccff6dc1d6f3731c1a68ec8fd","datavalue":{"value":{"entity-type":"item","numeric-id":628340,"id":"Q628340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899138$6EC8472C-9CE0-467C-A6B4-07AF17CCF60A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fbfbec3a802485c47e4a09e2864837dda2b4b46","datavalue":{"value":{"entity-type":"item","numeric-id":3630233,"id":"Q3630233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899138$D976EB67-1779-4F5F-89F9-7AF04DE70764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5703497fdd675e0b4313d3963f15b6f67625e88","datavalue":{"value":{"entity-type":"item","numeric-id":3552300,"id":"Q3552300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899138$3E58FEC4-5042-4346-8D44-2E8EC4839EF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"363f742c83b2675b357acfab9260dc81ed8988bb","datavalue":{"value":{"entity-type":"item","numeric-id":4230685,"id":"Q4230685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899138$16C0825E-202F-49B9-B266-489191EF93A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bf20bad2f52f0e67f28ec5ef09dc2220198c5ab","datavalue":{"value":{"entity-type":"item","numeric-id":5058462,"id":"Q5058462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899138$09EFE5E3-04FA-4699-8625-34D4318D1379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c7395d2c7a0c989acd12ac78bc90410a1a095e1","datavalue":{"value":{"entity-type":"item","numeric-id":5429564,"id":"Q5429564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899138$AB4CF6F8-0CD2-47CA-B5D4-94F1F43E9AF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b598e21e22a6f1813e931365664f10fcd79439ae","datavalue":{"value":{"entity-type":"item","numeric-id":943835,"id":"Q943835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899138$7280DE63-3770-4EE0-A25B-7996B7B92A68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e212c228621dec1e1bbf9686b3acc8d0bad6499e","datavalue":{"value":{"entity-type":"item","numeric-id":5472331,"id":"Q5472331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899138$0A2D7230-2968-48AE-8A44-F046F75B0B4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3921a9b9f2d83eaa0038acf3478f655dd4aef39a","datavalue":{"value":{"entity-type":"item","numeric-id":2564098,"id":"Q2564098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899138$9E9EDCEB-4EA2-432F-BCA6-C38143179C60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23f4d508fe868de538bba55d35a51ef43dff60a5","datavalue":{"value":{"entity-type":"item","numeric-id":2385433,"id":"Q2385433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899138$AB1D39B5-A7CC-4F71-AF6E-3BFA2EDEE298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"761bc665e14d168dbf6f5424cdb21abe7cedbb1b","datavalue":{"value":{"entity-type":"item","numeric-id":4981135,"id":"Q4981135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899138$DE623EB9-8F1E-499E-AFEF-772DD4872AE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffe9574c5163376d1ac8ac333c5fac54d854dd27","datavalue":{"value":{"entity-type":"item","numeric-id":5901759,"id":"Q5901759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899138$3A09F563-C5C3-4029-87A2-A1539810774A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6ca2372d35de3fc1e856f63e02c47444d6048599","datavalue":{"value":"10.1016/J.IJAR.2015.06.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q899138$EA25833F-6A48-4AB5-92AB-A44AE84B464C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8102af02aae2a5aa08e43644bf92039b94dec6f","datavalue":{"value":{"entity-type":"item","numeric-id":5255659,"id":"Q5255659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edc824d438599868676d29220367cb33731778c2","datavalue":{"value":{"amount":"+0.737343430519104","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":"Q899138$6F55ACAC-1902-4864-8654-5CFCB66B3A55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da97cb23534a864f4d3d675082278913d8f16d38","datavalue":{"value":{"entity-type":"item","numeric-id":4009664,"id":"Q4009664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a51f34c7f9d147bb943c268dfdccd4401ad4446","datavalue":{"value":{"amount":"+0.6959509253501892","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":"Q899138$052C3E24-793F-401C-8801-3F37740EA36A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12aa4e2f4f17f95ece6ba5210d9380ceb1b10193","datavalue":{"value":{"entity-type":"item","numeric-id":4654276,"id":"Q4654276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0a3e8a6e2bddde5e87dd00f4e189238355fcd12","datavalue":{"value":{"amount":"+0.6940218210220337","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":"Q899138$AC755204-8FF6-4342-A5EE-286BF31F86EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39ea1ee4364ad50d01656acf43c7182cb3de12a5","datavalue":{"value":{"entity-type":"item","numeric-id":4444470,"id":"Q4444470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca2e859b28467cd93d4725616f9baef4057bda6c","datavalue":{"value":{"amount":"+0.6939650177955627","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":"Q899138$D1D92B92-D6C8-4349-80AD-BF5AEA30B06F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d6cb580781f727b0e7d8e5c7abe3dcd33dd2bbd","datavalue":{"value":{"entity-type":"item","numeric-id":4894220,"id":"Q4894220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9232197a09a9d94e2cffa02de17e90ee7dcfa500","datavalue":{"value":{"amount":"+0.6914865970611572","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":"Q899138$EDB6482C-3E09-4DF7-B139-3AE00679E0AB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Interactive error correction in implicative theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Interactive_error_correction_in_implicative_theories"}}}}}