{"entities":{"Q429586":{"pageid":431353,"ns":120,"title":"Item:Q429586","lastrevid":61773384,"modified":"2026-04-11T01:33:43Z","type":"item","id":"Q429586","labels":{"en":{"language":"en","value":"Model evolution with equality -- revised and implemented"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6048191"}},"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":"Q429586$A23022A3-4D00-4D0F-9CBE-B337B55D3E56","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ae57eea0a69c486c442186e7e65dbf543fa8cd90","datavalue":{"value":{"text":"Model evolution with equality -- revised and implemented","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q429586$2726DD3C-CB70-4AD8-A595-38BE000B1122","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0640f929dcafa10f61f43181db4a1d718f1ee5f7","datavalue":{"value":"1258.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q429586$AB6EB240-8ED6-4AF5-A09A-A69CB9261D2E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"352f8b32bbaac9f85cf732b9f04ca8b0c1bea865","datavalue":{"value":{"entity-type":"item","numeric-id":429584,"id":"Q429584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429586$F1818BCC-44B2-4606-99AD-6657DF1F3E30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"947e5398223830d4c80e75386dbd3c8e6dd67f1d","datavalue":{"value":{"entity-type":"item","numeric-id":429585,"id":"Q429585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429586$23EACBB3-91E9-458F-9AE3-638B7E803AEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"63095d86c000f08026b5823fdf1f8a25bfef2e00","datavalue":{"value":{"entity-type":"item","numeric-id":167057,"id":"Q167057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429586$AE2E0517-4BA3-4889-9433-2F805EF24AD0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429586$2FC61C19-C93D-4802-9F4A-DF26D5F70F22","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f318557c66fd6d7ed4e56cf07066ee7032aec4a0","datavalue":{"value":{"time":"+2012-06-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":"Q429586$D127AAE9-A6FB-40B1-9032-46D982E102B2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q429586$BF7D4E6D-59F3-4EFE-A431-488C99BCC16E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q429586$D0BA8215-1B40-4EC7-A78C-C749FA58EB91","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3dec5fb2ec369bbba7e3818e3c5e84127d30f492","datavalue":{"value":"6048191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q429586$84C467A1-EA75-45EA-BC2F-9C8B0AE07103","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q429586$4247EC0D-5717-4B28-8BF0-F3EDDD3FC6D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca82b8126faca2bdab3ffa77f0c22600be2e10e6","datavalue":{"value":"equational reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q429586$09C2FCFE-4F86-4871-9EF0-7D462DCC8DEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82f3f73b703bab60dffc63cc9e66a29837c3ce87","datavalue":{"value":"superposition inference rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q429586$B658435F-D511-4478-87D0-AE1A0201303F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dd547626f7f61a5a377a5c5f0922b8194538c7e","datavalue":{"value":"instance-based methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q429586$CB855B19-3CE9-4ACD-8568-00FF60C98E39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25b43cec912ea2f17125fc7a216b911d58a871a9","datavalue":{"value":"model evolution calculus with equality","type":"string"},"datatype":"string"},"type":"statement","id":"Q429586$ACA7D72B-2C0B-4AFD-9B0B-CAB8BE19A804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"893effa5605583a7f62dbbaf19598649acb0372f","datavalue":{"value":"theorem prover \\texttt{E-Darvin}","type":"string"},"datatype":"string"},"type":"statement","id":"Q429586$18B6ADA5-2CB8-46A3-A9C3-57CE4976F384","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":"Q429586$77DDC181-5497-40FC-9104-A9E12903F95B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e7b4d238eeafa5b21b1ef85a0d6b8900bfdc422","datavalue":{"value":{"entity-type":"item","numeric-id":15442,"id":"Q15442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429586$085EBB79-0DA9-407B-BB61-CE7149E38D93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"43f7c4ee5068daf82f8bffbb0f7510a5f16faf63","datavalue":{"value":{"entity-type":"item","numeric-id":16615,"id":"Q16615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429586$85B84F77-556E-4EAF-9549-90B7BF1ABD72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4a761178b05ceb8505a589f51ea41c7640322dd0","datavalue":{"value":{"entity-type":"item","numeric-id":33154,"id":"Q33154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429586$48595325-0667-4CFD-8CE1-62D6FD1ACD58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c6f90a2f4d38316e0bb5a27c4b90cf6cce495aa0","datavalue":{"value":{"entity-type":"item","numeric-id":16295,"id":"Q16295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429586$607B8EC7-9E7A-4746-A800-1D64AD24B583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429586$F7E49401-E64F-473E-8A92-0EEE4CD160BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1017108dce3983431546a14c274f65bc4aaae70b","datavalue":{"value":{"entity-type":"item","numeric-id":22154,"id":"Q22154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429586$B36DC1BF-A579-4F8A-965A-9E80FEB6B66D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cea1b2cb84bb47ca577fcebf0f42420b207179eb","datavalue":{"value":{"entity-type":"item","numeric-id":16359,"id":"Q16359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429586$4580A430-D4D5-4B0D-A618-D4491D81C376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b443b776731e3bc75eb79b752e7ef8c4cee2d97a","datavalue":{"value":{"entity-type":"item","numeric-id":15455,"id":"Q15455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429586$83808D89-486A-4C15-BFA1-9DC2439E8616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"83e2dec25ea583652d0e07d4393a843812f4b48b","datavalue":{"value":{"entity-type":"item","numeric-id":21686,"id":"Q21686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429586$745C7826-E5EA-46B5-A973-F8FA841A530E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"22b477c2949614738cff7c2f89cf91304d7b9164","datavalue":{"value":{"entity-type":"item","numeric-id":33176,"id":"Q33176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429586$9AFEEA14-C2AE-4C0A-95A1-CB1DE83AC069","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":"Q429586$FA832CA4-B7BE-4A89-885E-2268A8597E1A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0b34a8faebb47a6f616e9ffc7bd707718ac20a74","datavalue":{"value":"https://doi.org/10.1016/j.jsc.2011.12.031","type":"string"},"datatype":"url"},"type":"statement","id":"Q429586$8D3188B6-6979-4822-BF3D-E0D8D0E518EF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"afd96f4e98f6c540fae9ae41b211960c1213e9cf","datavalue":{"value":"W2163681902","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q429586$2E617E16-765B-4422-A6C0-E7491D26352D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"49666558e5a266f8c31a331a000db76b0e587406","datavalue":{"value":{"entity-type":"item","numeric-id":4524792,"id":"Q4524792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429586$576F6804-32A5-4196-BD1F-F4B206115FC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4db61376dc05e8ac9b799b75f45910b0e723393","datavalue":{"value":{"entity-type":"item","numeric-id":1328182,"id":"Q1328182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429586$83E3C7A4-18FA-4DB1-906A-3275AD7110E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6721be9751bbd7d2f2ed196912b01f292059134d","datavalue":{"value":{"entity-type":"item","numeric-id":2723420,"id":"Q2723420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429586$C957B306-6A10-404D-A962-EB5F261C31BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b07bee7e03caec103786e5014f6d4794b8bbdd6","datavalue":{"value":{"entity-type":"item","numeric-id":5900727,"id":"Q5900727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429586$9BE3EFC3-8B3B-4AE6-9209-EC01C0FD3A88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fc0836acee68f0bfd8ffa99e594e42d0f2ccbde","datavalue":{"value":{"entity-type":"item","numeric-id":5394627,"id":"Q5394627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429586$8CC0011D-431B-4079-BEC7-9B46B31696A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac1293c449a4ec199dbf2381bd6d081ce1eb4f43","datavalue":{"value":{"entity-type":"item","numeric-id":2389629,"id":"Q2389629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429586$DBCC7DD4-4634-4EE9-BF72-974075BDED9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e929c89a961a1c2fc3e1cb37a7fa174924bf185b","datavalue":{"value":{"entity-type":"item","numeric-id":5191094,"id":"Q5191094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429586$ACFBD3BB-861E-4D97-97C1-E990D4382CB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2aad2916b073577856c022bdffa0d3b878301ba","datavalue":{"value":{"entity-type":"item","numeric-id":4645231,"id":"Q4645231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429586$C00B8E76-1203-4188-B198-16D54DF793DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429586$08A15B04-D4DD-43C5-96E0-9A233C56AA12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bf54fd52b3ae148a01d4229df0c1b5a1e68af7f","datavalue":{"value":{"entity-type":"item","numeric-id":3613415,"id":"Q3613415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429586$F88B8219-E105-48F8-AF16-0C38394CA9E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae611ccf26d614d6f5569c32d95f83372cdd7983","datavalue":{"value":{"entity-type":"item","numeric-id":5311286,"id":"Q5311286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429586$6C9FCBC6-C05D-4894-809F-8F9BD8952E48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33890b7faad584193275d91a4cd4d3b147aff5a7","datavalue":{"value":{"entity-type":"item","numeric-id":3541709,"id":"Q3541709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429586$17858962-6F5E-430F-8969-6DA1FD5F7B24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00230673e703c339b2d770b71ef179a8241cadd5","datavalue":{"value":{"entity-type":"item","numeric-id":2270573,"id":"Q2270573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429586$A28A2B3E-5CE5-4CAC-A22C-C04762A570AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a255ef140b313d7dbb59f798668e69309970f9aa","datavalue":{"value":{"entity-type":"item","numeric-id":4412859,"id":"Q4412859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429586$A5071CEB-0513-45C8-92E9-9069D61AF91E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1fa8e099c59f8b6819b5b09b786ac872f2d64b8","datavalue":{"value":{"entity-type":"item","numeric-id":688554,"id":"Q688554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429586$10FB8DB5-314A-4C89-B8C2-DADA3F8AD4AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78a8fb7c1504b4023b489475633410efba01eda3","datavalue":{"value":{"entity-type":"item","numeric-id":1897557,"id":"Q1897557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429586$20834546-318F-4041-9EDF-CAB1C9908468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f14878b4342799995051ac9bc54cd21c98efc98","datavalue":{"value":{"entity-type":"item","numeric-id":2751359,"id":"Q2751359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429586$40BD0E41-65D9-464C-911D-E75C93EBCD91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"661f0b9795f66b5d2362d9e2b01387b3e66c126c","datavalue":{"value":{"entity-type":"item","numeric-id":3150299,"id":"Q3150299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429586$C07E5B2B-A9BE-4122-9EB8-5340735707EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f80966f3319a135a191ea5f1e8358528b529500d","datavalue":{"value":{"entity-type":"item","numeric-id":3608796,"id":"Q3608796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429586$B3EAFD08-F156-4B3A-82A5-34497B54D942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f00589542fdb6ec4fc401e47318165d5bad4f817","datavalue":{"value":{"entity-type":"item","numeric-id":1581853,"id":"Q1581853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429586$AE2FFFE7-1A8A-45F8-BD5E-B8EF57D98D10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cb051a6b1eb9b88364c46513701492fc0e99189","datavalue":{"value":{"entity-type":"item","numeric-id":3150300,"id":"Q3150300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429586$952F8EA0-B328-485C-BA27-0C64D7517083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"309a715ecfe3fe3e4ec0e698ae13dce021cfc93e","datavalue":{"value":{"entity-type":"item","numeric-id":2724150,"id":"Q2724150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429586$F1F9E5D2-471F-4862-9E8C-7C9ED433AFEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93fc8985b7898988b7d52edb5c0cd61c1b917df6","datavalue":{"value":{"entity-type":"item","numeric-id":3150301,"id":"Q3150301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429586$F1DA1EF7-B0E4-4D7F-908F-B60DEC73CA24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c5b09e879fc9e6d166a18cb26ec583e2bf401aa","datavalue":{"value":{"entity-type":"item","numeric-id":1272614,"id":"Q1272614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429586$18D15B1C-4633-4E0D-BC8B-1200F8B4E4F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66ed1fd88663850940208777b453a5e31171f5d4","datavalue":{"value":{"entity-type":"item","numeric-id":5486135,"id":"Q5486135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429586$A2A832C0-ECAE-4D90-8861-5F81CAD37D47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"842d1c2c50e4f6152c1646f7649b15d27250c7c8","datavalue":{"value":{"entity-type":"item","numeric-id":3608799,"id":"Q3608799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429586$82AC882D-6327-4925-B90A-239B2F3AD219","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f7301c5549156ae8ff19b285dbe5cc931a15de00","datavalue":{"value":"10.1016/J.JSC.2011.12.031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q429586$17C5CC42-6544-4D89-B685-197B4622388A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7e49a21a3559a28a175983539132398e3fb6bc26","datavalue":{"value":"The paper presents the revised and improved version of the model evolution calculus with equality. The authors extend the model evolution calculus by adding some inference rules for equality reasoning. These rules were centered around a version of the ordered paramodulation inference rules adapted to the model evolution calculus. The new calculus works with a set of literals, which are called a context, and a set of clauses. Correspondingly, it has two kinds of inference rules, one for modifying contexts, and one for deriving new clauses, with the latter consisting mostly on unit-superposition-style inference rule.NEWLINENEWLINE As a result, this calculus features more powerful redundancy criteria and removes some nondeterminism from the calculus.NEWLINENEWLINE The authors prove the soundness and completeness of the calculus and discuss its implementation in the \\texttt{E-Darvin} theorem prover based on \\texttt{Darvin}.","type":"string"},"datatype":"string"},"type":"statement","id":"Q429586$2A5ACB91-90FF-4D4B-A279-FD622D12B3F2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3095e6f99c1ed9ba385376092c408fc254cedf90","datavalue":{"value":{"entity-type":"item","numeric-id":5394627,"id":"Q5394627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea293bf463badf16cf898c3d7588bd68c4405e27","datavalue":{"value":{"amount":"+0.8847014307975769","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":"Q429586$DDCCDE2B-8DD5-4CD4-8947-781F14265CA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dc97af2ab6a029a846899ccf182efc937b1090d","datavalue":{"value":{"entity-type":"item","numeric-id":438531,"id":"Q438531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0492aec6d920f5b1f8cfa7b84b6ca15453e8cdb","datavalue":{"value":{"amount":"+0.8267014622688293","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":"Q429586$99C8FFB1-7BB6-4762-A84C-FF59233A904E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e1710ded83e70542233b4417eea911ce3e3a0af","datavalue":{"value":{"entity-type":"item","numeric-id":5191094,"id":"Q5191094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a18b7bb0ecfca3388dc96b5df0eea7916afc143","datavalue":{"value":{"amount":"+0.8154187798500061","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":"Q429586$3D6EF74C-9F97-4DAD-AEAE-1CA065C58DF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f236b2ee507874e13d95500bd71865f470cd201","datavalue":{"value":{"entity-type":"item","numeric-id":5387921,"id":"Q5387921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"052e79f5d4136c2e64319e9886989fed4aac56ae","datavalue":{"value":{"amount":"+0.8132632970809937","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":"Q429586$0D73775F-0A2A-428D-8746-F637FBCCD3E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac8241c4b3f7e9b5b036b201f4b1889f5481c081","datavalue":{"value":{"entity-type":"item","numeric-id":5200017,"id":"Q5200017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f6aacc2c0964e9bdfbd8d147f954154544eb06c","datavalue":{"value":{"amount":"+0.8014993667602539","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":"Q429586$450FE800-F933-46F3-B857-833215E2DFC3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model evolution with equality -- revised and implemented","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Model_evolution_with_equality_--_revised_and_implemented"}}}}}