{"entities":{"Q5139279":{"pageid":7168850,"ns":120,"title":"Item:Q5139279","lastrevid":94593236,"modified":"2026-06-05T07:12:46Z","type":"item","id":"Q5139279","labels":{"en":{"language":"en","value":"Computing knowledge in equational extensions of subterm convergent theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7283033"}},"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":"Q5139279$7C33A001-FA92-495C-AD32-C65E438EA218","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8507a68c2a2d333df25ac54f5777263b65bff829","datavalue":{"value":{"text":"Computing knowledge in equational extensions of subterm convergent theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5139279$A4A564D1-A93A-4A9A-B970-2317D75C6FE4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"161b47ce6db4fe9bb481bb27f9fd087eff3f5568","datavalue":{"value":"1495.68113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5139279$C7B8265A-42A4-43D0-BCF5-2431CEE25E8D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4878dad614811559765c888d8598e0a906e3120c","datavalue":{"value":"10.1017/S0960129520000031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5139279$7C638D47-F972-459D-8315-166A144DD208","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"59a9b5b792b433b0fd4c9e8ab15f2bd3a7afdc05","datavalue":{"value":{"entity-type":"item","numeric-id":831916,"id":"Q831916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5139279$18A09050-C4F1-417A-A419-F68A6D01F7D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1817945597db5f66bb78adeb001d86c0c57c8612","datavalue":{"value":{"entity-type":"item","numeric-id":831917,"id":"Q831917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5139279$E4072A51-6130-447D-BF31-F68318FA4291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"28d2abcbf491e57c8b4eebf23b3e8446f4e5bbb9","datavalue":{"value":{"entity-type":"item","numeric-id":831918,"id":"Q831918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5139279$4B20A1A7-10B7-4FC6-B044-B90E9F93525F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5139279$1DBACDA5-4AA9-4782-BED7-3E96E22D7840","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5a78190d4c8adc255c405de184aa517737c3fe83","datavalue":{"value":{"time":"+2020-12-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5139279$13F755F6-08C0-4EDC-800F-AF867B5D584D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5139279$9E6B1168-E90E-43E2-94BF-A48C5D337473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2335101d556243c88261e1fccd8d7026b2856a8a","datavalue":{"value":"68M25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5139279$FF8D3ADF-A040-4C3F-A047-A5FE2C783A88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5139279$09A42E74-E53D-4809-9211-29645F87E600","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a0e9c251c097ccf5ae158611597bf6e09c67dc79","datavalue":{"value":"7283033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5139279$94EAABD4-B292-4581-A4A9-AC202CAE3E62","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ac708066b077a4cbf2f59c943781969d75d6d03","datavalue":{"value":"equational theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q5139279$EFE032C6-3FAC-434E-B0C1-AB610BA74737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q5139279$12A4009C-A2E7-402F-8B52-9C06CCBD56C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7156857ffe92ce842aee3549f498ec9de33be1f7","datavalue":{"value":"security protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q5139279$C84E2096-6A96-405D-8235-35A56C56E0AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b399e80d32f01f0e5ecb7d27abf0eef31abf6cda","datavalue":{"value":"deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5139279$BBD25260-0CFB-4897-83BE-5C001BA3BF76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9afb9f37755748b127a63f4dbdb174f5fd783a7","datavalue":{"value":"static equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5139279$14BBC24D-76EE-4CD2-B8DB-ADF969D7FEBD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a66b70c271083dc88e68676277b7226f9caa9dd5","datavalue":{"value":{"entity-type":"item","numeric-id":18326,"id":"Q18326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5139279$B502E50E-DE69-4B23-B637-E93CF69D59B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"391de4a7403a58cfe989587b0bd79269a9793106","datavalue":{"value":{"entity-type":"item","numeric-id":24090,"id":"Q24090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5139279$9EA6CD58-87EA-403B-8138-11B1DC58DE99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"580cc01f523eb259b29d75d715bd1b2876d59d0d","datavalue":{"value":{"entity-type":"item","numeric-id":15706,"id":"Q15706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5139279$FCCC7BDF-9AFC-49D9-A8E8-E66432121B10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"370b1d887d679924155714b84355ed741cc355be","datavalue":{"value":{"entity-type":"item","numeric-id":21449,"id":"Q21449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5139279$AAC06E59-50EB-4CDD-B9E3-AFE3B7B5523B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fea93917e6a5dd3b24dcb498614b8cdda44d5dfc","datavalue":{"value":{"entity-type":"item","numeric-id":15278,"id":"Q15278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5139279$8E5B9806-D52B-4353-B165-FB3CFB6C6FF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"973cd15e22c791df17eaceaf230998dc9777a5b0","datavalue":{"value":{"entity-type":"item","numeric-id":18650,"id":"Q18650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5139279$0548B7D1-3F70-40FF-A8C6-655A5F7E6863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fb98786abf31f77bc4a017db36bf2b58585d1ed3","datavalue":{"value":{"entity-type":"item","numeric-id":32423,"id":"Q32423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5139279$06E1EFA8-CCF2-47D0-B3B9-DC123842CAA4","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":"Q5139279$79BDB87C-B548-49F9-8EB8-597010487DD7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8d86573fcd63512252090cdc77433782143369e","datavalue":{"value":{"entity-type":"item","numeric-id":5466517,"id":"Q5466517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5139279$0B796961-BB6A-43A0-9E71-0917FB65C722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"737414dce6c255e1c801bd9ffb1616ecb5d1d9fa","datavalue":{"value":{"entity-type":"item","numeric-id":860894,"id":"Q860894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5139279$141003F1-8286-4AFE-933B-3B3D12808758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4659e4b65a5166be2e30470c613179619fe95b23","datavalue":{"value":{"entity-type":"item","numeric-id":5178877,"id":"Q5178877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5139279$BF71CA22-C6CB-4400-BED6-D3EDF97D4A03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"500b7013db46803970c07a38c3e11d7b9fe62b46","datavalue":{"value":{"entity-type":"item","numeric-id":5716566,"id":"Q5716566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5139279$4071FF35-C6C6-42CC-9CBF-6AFB242DE3B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e489f60b50ffbcb76ff4a8ca52e7c0625bf4ef0","datavalue":{"value":{"entity-type":"item","numeric-id":4536615,"id":"Q4536615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5139279$EF32B79B-6267-488C-A95B-F36F82A18730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"014e050330c6f78cc2afa54fb59f4581869a1a12","datavalue":{"value":{"entity-type":"item","numeric-id":683746,"id":"Q683746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5139279$21C8B706-8EDF-4AC5-9010-04ADB24461BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"819a2535befb2a67f49ee5e43432525215be36de","datavalue":{"value":{"entity-type":"item","numeric-id":4702972,"id":"Q4702972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5139279$56356365-E0CB-4786-BD6D-BC59BF6FBAE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a29de92665895cbd2edf51facd584261a10193b","datavalue":{"value":{"entity-type":"item","numeric-id":2946688,"id":"Q2946688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5139279$7C00B96C-E971-4517-BCB7-4108C7143E28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba8d4b01899bf050d26bf94999ee7c3edfe020b2","datavalue":{"value":{"entity-type":"item","numeric-id":5278194,"id":"Q5278194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5139279$64F7B1D5-0A4C-42C8-98C5-E5A9A3562909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8815be8d7d5cd349532a95ef9c4572798782f172","datavalue":{"value":{"entity-type":"item","numeric-id":5191511,"id":"Q5191511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5139279$F5DC2A11-D65E-4607-9DFA-7996480FF05A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4928528fce2a350e872c3b2f160a2368e4b5def6","datavalue":{"value":{"entity-type":"item","numeric-id":557799,"id":"Q557799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5139279$58DFAC6B-031E-45C3-AD61-044F449981EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d3f49524649e20f43a97ecdb5d69e5cf5555990","datavalue":{"value":{"entity-type":"item","numeric-id":2482450,"id":"Q2482450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5139279$EF9E8438-9E89-4853-834D-B09A12A5F879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e5c3063e91e866916b79f392a20b10dc9a6aa45","datavalue":{"value":{"entity-type":"item","numeric-id":437033,"id":"Q437033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5139279$2874B744-FD31-44AB-BCBD-F561957DCA19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e506e4af8108702e5b9b9b42874a27b1aa643df","datavalue":{"value":{"entity-type":"item","numeric-id":5703857,"id":"Q5703857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5139279$3B3146ED-44DD-4CE4-BB17-48235E805A01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd15143c55f952e91bd09c38726e896edcde4053","datavalue":{"value":{"entity-type":"item","numeric-id":1327397,"id":"Q1327397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5139279$DCB1110F-334C-4E5D-B166-F9FF899A2EC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50f510db3d2c1f5d8be6dd972e4fbc08edd0a9c4","datavalue":{"value":{"entity-type":"item","numeric-id":5389067,"id":"Q5389067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5139279$259B8E9D-060F-4418-8DB5-426E6ED60BD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d159e3acefd749670cb664b6b037c92400f8747c","datavalue":{"value":{"entity-type":"item","numeric-id":437043,"id":"Q437043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5139279$0B4A2EC1-D2E4-4A6D-9D25-3668BFC3C4B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e2d87455a29b6c3fdea9e906bd269c499831be8","datavalue":{"value":{"entity-type":"item","numeric-id":2405240,"id":"Q2405240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5139279$9A0C488F-5BF8-4C1C-92AD-4267214D8CB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2613520dd94bccb06517a96e46dc00cc2cb71a4d","datavalue":{"value":{"entity-type":"item","numeric-id":3184784,"id":"Q3184784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5139279$FEF03533-D040-4409-A4A7-684284D37F24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cde07a5af9c9126c9edeee597823bae300bf25b6","datavalue":{"value":{"entity-type":"item","numeric-id":1931909,"id":"Q1931909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5139279$0213BF31-34EE-4FFD-AFBC-5E2EB8513DBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e9acb750b5a1fcf5fe08b591fc6df182dd9e5e0","datavalue":{"value":{"entity-type":"item","numeric-id":3883561,"id":"Q3883561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5139279$4E102D96-3788-497F-813C-DB73920D5259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"849241baa6b3c56591969b2586e51dae90f667cf","datavalue":{"value":{"entity-type":"item","numeric-id":3816048,"id":"Q3816048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5139279$568FA92B-4264-4EA6-9275-5CACC93744BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39151ca4f018fc969e7df5f188b3da6d2cf53a44","datavalue":{"value":{"entity-type":"item","numeric-id":4809079,"id":"Q4809079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5139279$99461986-A36F-4CAE-A957-DB6EF053D670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9756c5badab19b8c031462e3fe7275fecd9ab9db","datavalue":{"value":{"entity-type":"item","numeric-id":3184787,"id":"Q3184787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5139279$AF70235B-5E64-4083-8ED2-CEA942A991EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d9ddc05a63c1c3af24ceea799c7391a31a98388","datavalue":{"value":{"entity-type":"item","numeric-id":2278575,"id":"Q2278575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5139279$96173FB2-423F-4C16-A1F7-5BB2A24CF5EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00553ac092d6334e80ed96d2588d20d133dd4ed3","datavalue":{"value":{"entity-type":"item","numeric-id":1825190,"id":"Q1825190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5139279$9D7806F0-272E-4325-85DE-358CB9D019EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37ce28ba231ab96eb63bacf761d7575dcc5ab0fa","datavalue":{"value":{"entity-type":"item","numeric-id":3527301,"id":"Q3527301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5139279$7B898DFE-C64C-42F3-AC9F-1195467CE8B1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1319aef5878f3f60e1fd68a58bad449acf6493e","datavalue":{"value":{"entity-type":"item","numeric-id":437033,"id":"Q437033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ae833c85ec35d7857f4d79ccde5b2cfd6c1ecc7","datavalue":{"value":{"amount":"+0.85415816","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5139279$7358809A-8A72-42DE-B689-DEA5738E9878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64e21e7af7804b7fb462f9ecd0c0c55ddd08c303","datavalue":{"value":{"entity-type":"item","numeric-id":5191113,"id":"Q5191113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ae833c85ec35d7857f4d79ccde5b2cfd6c1ecc7","datavalue":{"value":{"amount":"+0.85415816","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5139279$9C450222-ADDE-4ED4-A520-78609B54BF65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fec5d0c616008f5cac10e35f132478da42b849bd","datavalue":{"value":{"entity-type":"item","numeric-id":1617808,"id":"Q1617808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d02e68384b1f4fd8931e5b77c68f3e527bf435c","datavalue":{"value":{"amount":"+0.85233927","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5139279$E57B98B8-551E-4E28-9492-3EED46339B75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2f58bba5757c0010947a089bb5540bd2b08c715","datavalue":{"value":{"entity-type":"item","numeric-id":4011724,"id":"Q4011724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b2e43c9ca664d6cdf3e7f848538f632e76a90d1","datavalue":{"value":{"amount":"+0.8511287","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5139279$5379F5B3-D736-42A7-A96E-B9150434B68D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff8fab4e25f2c0d53045591cb041b93e24f41af3","datavalue":{"value":{"entity-type":"item","numeric-id":3544786,"id":"Q3544786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9361ee4fd618411e400257d5c238495b032944c0","datavalue":{"value":{"amount":"+0.84922665","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5139279$A3040371-EA6C-48DA-AB4F-F0B70049F6A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b636f4e8f1fa0aee790a7d6b8190c5680ec0a7d","datavalue":{"value":{"entity-type":"item","numeric-id":3779785,"id":"Q3779785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d90c506dcb89bc7ec60f9716b2ffab2932df0a8","datavalue":{"value":{"amount":"+0.8477617","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5139279$8A955965-FA15-4066-B791-C43ABE41138F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77247d8fee8de65dfd0729adf0d46734a6a0d326","datavalue":{"value":{"entity-type":"item","numeric-id":1592635,"id":"Q1592635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c22671d752954db092b3a3b300b7550afc62caf","datavalue":{"value":{"amount":"+0.84747934","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5139279$2E3412E0-1027-41F3-B49F-72F3A8BD2748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00cd39b46bc17ad680e2300db7cfce4818d2ebf9","datavalue":{"value":{"entity-type":"item","numeric-id":5392505,"id":"Q5392505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bac7ad5a21a4f78eb69cab8ac8da353865003ebf","datavalue":{"value":{"amount":"+0.847055","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5139279$9DAA8C23-9835-42A0-88EE-3DACCDBE1C28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3226afc37b69338677ea3164e62083320f034638","datavalue":{"value":{"entity-type":"item","numeric-id":3052509,"id":"Q3052509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d65cb457b58f0cbb54ee4af2fb03cce2945bf3c","datavalue":{"value":{"amount":"+0.8460261","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5139279$5062B903-F411-48E6-8727-1A67BC58B525","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computing knowledge in equational extensions of subterm convergent theories","badges":[]}}}}}