{"entities":{"Q1186705":{"pageid":1197454,"ns":120,"title":"Item:Q1186705","lastrevid":66799833,"modified":"2026-04-12T12:56:38Z","type":"item","id":"Q1186705","labels":{"en":{"language":"en","value":"Some experiments with a completion theorem prover"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 37000"}},"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":"Q1186705$4B028E99-7AB7-4E0D-853A-42F6D3F5BCAF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"da92e2fc878dc5a7693059c49c2ca75b20858b9d","datavalue":{"value":{"text":"Some experiments with a completion theorem prover","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1186705$5F2397A6-9675-464B-AA03-EDB502D3F21B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"214340b5a21aaf58784ab1693d17587726852eaa","datavalue":{"value":"0748.68071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1186705$DC9DCBDC-3264-4038-AE11-767AAA47636B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f86894eebb912c47606a0f76cd74796a2fb365ec","datavalue":{"value":"10.1016/0747-7171(92)90007-Q","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1186705$F6099063-C94E-402B-8C78-F1B09D8B75C4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b182cd4f9e9cb54195b7976a497640f4d81f2eb","datavalue":{"value":{"entity-type":"item","numeric-id":1169557,"id":"Q1169557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186705$E9F255FF-D646-4DBD-92E9-0D3F995E9F52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"46e86a90d960f7ab755b2e74774ae951f6a0507d","datavalue":{"value":{"entity-type":"item","numeric-id":1186704,"id":"Q1186704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186705$B7A336FD-538D-420B-AFE2-90F7C13858E8","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":"Q1186705$D821CF9B-1F88-4CA6-85C5-A8F972E2CB85","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"120787504bea9565def539fb4bfb19084956028b","datavalue":{"value":{"time":"+1992-06-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":"Q1186705$5AFABD16-A239-4D66-AF83-9966C11BDA3E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6f56f6a0d2ff0b7efc6be9a675cca95b5bd5d83b","datavalue":{"value":"This paper is intended to show how an automatic theorem prover, which uses the completion algorithm, can solve problems in algebra. The results have been obtained using version 2.4 of the prover REVE (one of the most important author is Pierre Lescanne).   The completion algorithm takes as input a set of equations and rules and an ordering, and constructs new rules by ordering equations, and new equations by computing critical pairs. A complete (terminating and confluent) set of rules equivalent to a given set of equations gives a solution to the word problem in the variety which is defined by the equations. Of course, since not all algebraic systems have a decidable word problem, there are systems for which no finite complete set of rules can be found.   The authors show how REVE solves a series of standard ``test problems'': homomorphisms and automorphisms of groups, alternative axiomatization of groups, ternary algebra, non-associative rings, the Fibonacci groups. There are 18 examples, each of them with the input equations and with a complete set of rewrite rules output.   Some cases, where the completion algorithm diverges, are presented, especially when the operator precedence is changed.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1186705$33EBF56D-7FFD-4315-B7CE-2B34F40A9CFE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"850715937341d072522c2b6dfe4fd00f3d07e86f","datavalue":{"value":{"entity-type":"item","numeric-id":689296,"id":"Q689296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186705$E2CFEBCA-C7F9-48CD-84C8-AC1963F08A5D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1186705$DA9FEEDF-8A2A-48B5-B9A0-04BEAF92B86F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1186705$946AD374-3D17-4C57-AECC-50EAE2F7CA8E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ad9ee00a92316a85bd39bafdb50fb5fb084373f7","datavalue":{"value":"37000","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1186705$74BD3C67-0FF4-4151-B5E0-8EA6C4EF46E2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"935a7531cf251d4944b7da7fef31a513c4154654","datavalue":{"value":"canonical form","type":"string"},"datatype":"string"},"type":"statement","id":"Q1186705$E4EA329D-5113-430C-8C25-AD97B3FA6223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83c1d25f3f0806acb916490293b417e628161c03","datavalue":{"value":"automatic theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q1186705$8B514FB2-E081-4E34-AEA5-7E16FE268B44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"435ffea6b4cda281d7fb4530f3e5542d1c4e069c","datavalue":{"value":"completion algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1186705$EF4C17D9-8005-4B1B-82C5-D4862FFF65EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9168a78ecc72716f6c4bac412ea5f930139f49bf","datavalue":{"value":"rewrite rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1186705$A9F2632B-6AED-4393-9333-08C43F07E983","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"91328e3ac5dfce9b45d01b607b8d8c272a5b6733","datavalue":{"value":{"entity-type":"item","numeric-id":14670,"id":"Q14670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186705$CCCFEF1B-AC15-45CE-91E3-092752C02CEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2dd2b9122264aadcbfe3f8a915ad1b206e944175","datavalue":{"value":{"entity-type":"item","numeric-id":22073,"id":"Q22073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186705$3A1A757F-C787-415F-A16D-B3D4F27F5579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3f1ebf2accc5d6c6b3c7a81ee7493fd53a6bf250","datavalue":{"value":{"entity-type":"item","numeric-id":40618,"id":"Q40618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186705$061D8B38-D206-4AF0-868F-7FCB86C03221","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":"Q1186705$8BF74125-CFEF-4DCA-A33A-B08287842364","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"eb477206f1ad88aa2c8064c66644b5b7eade0482","datavalue":{"value":"Q55393318","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1186705$A4028CF9-092D-4355-B065-AAAC05887869","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"292875cc990f8e39d566b0d0a4c597a7d5513762","datavalue":{"value":{"entity-type":"item","numeric-id":1225669,"id":"Q1225669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186705$1067AD62-2044-4226-B14F-36A046C7C765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"349a11d618599286c335e9f43324ffef59d1a9b8","datavalue":{"value":{"entity-type":"item","numeric-id":1103414,"id":"Q1103414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186705$FA53E803-9308-4A6D-809A-05362810B3DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2ef08c05f7171d6c79444a3a030b7821e0d0ecf","datavalue":{"value":{"entity-type":"item","numeric-id":3943670,"id":"Q3943670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186705$9C32F72A-7AA3-4C16-A80B-378C52493D88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6d3f5f0e6d39b0610560c479018fc71a2adcd20","datavalue":{"value":{"entity-type":"item","numeric-id":1098624,"id":"Q1098624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186705$7B9DCA33-E9B6-42AC-9557-D07F6C80124D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0daf2106887ea7a5767bfb6feaedacf73ecec9a","datavalue":{"value":{"entity-type":"item","numeric-id":1192222,"id":"Q1192222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186705$F5B5DEF2-45B8-4F60-8629-1B21E759E649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbc4ab4c49ceaa025dc1e0ab613193396b97a5c4","datavalue":{"value":{"entity-type":"item","numeric-id":5055717,"id":"Q5055717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186705$1F0F8394-6D6B-46E6-AD87-9FF47BB35C49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5989e7b642a281e076cb0a5451b4d9c25f50f39c","datavalue":{"value":{"entity-type":"item","numeric-id":3253828,"id":"Q3253828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186705$181832DA-1882-4EA7-901D-CDBF3B8166E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b342dee3e7715a2697c7ed14cb78bf9297e8769","datavalue":{"value":{"entity-type":"item","numeric-id":3708984,"id":"Q3708984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186705$CFAA815C-95B9-4904-994B-F50A475BE600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc0886d36346d444d9303d390124e6f2308844ed","datavalue":{"value":{"entity-type":"item","numeric-id":3735946,"id":"Q3735946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186705$53DF6EE6-F4B2-427E-93FE-595003799D69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e46f0326b647ba2cdf08d8baa3f51cd6a58f37f4","datavalue":{"value":{"entity-type":"item","numeric-id":3994922,"id":"Q3994922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186705$F00EF824-E880-4500-824F-2C904FC61B9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e0aba128bb83f7500e2d33c903be73f7e14f954","datavalue":{"value":{"entity-type":"item","numeric-id":3877854,"id":"Q3877854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186705$749A49AA-A38A-40D5-9839-A80EE6E8A96F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186705$089DB841-4F14-4C4C-9D24-7353F28C6CE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c62cacc56e47334f90eebd11b9a735bce785b8a6","datavalue":{"value":{"entity-type":"item","numeric-id":1108815,"id":"Q1108815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186705$9221B23E-E907-491C-B305-E58C2980C1ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5f0648df3e013415550bbff913328f9ac928874","datavalue":{"value":{"entity-type":"item","numeric-id":3338229,"id":"Q3338229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186705$6B534B42-A26F-4651-BFF5-59E961A65452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"825ad5e1584856adc438840de4f45e8ad1521487","datavalue":{"value":{"entity-type":"item","numeric-id":3336738,"id":"Q3336738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186705$8A5E792C-B2AB-49BC-8762-1068B504AED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6baea53d5eeda526725e650bc2476babb2493e8","datavalue":{"value":{"entity-type":"item","numeric-id":1113281,"id":"Q1113281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186705$E5A50F35-4D2F-4EF4-AF79-3C46E021F3AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15a6104f00d96fa808ce0a739fbbe7c6e8d46826","datavalue":{"value":{"entity-type":"item","numeric-id":5829817,"id":"Q5829817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186705$03972FB1-B352-407C-94DB-121FEB40568D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5fc07b7c5ce1e3b53482f506d849425f31851f9","datavalue":{"value":{"entity-type":"item","numeric-id":3704061,"id":"Q3704061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186705$8428FEBD-BE3F-4B7B-A0CD-32422CFF2DD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a06cfdc41080856c4ccde9d8eefd3e90c7f7d46","datavalue":{"value":{"entity-type":"item","numeric-id":580975,"id":"Q580975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186705$574B7E1A-2C80-47BC-B328-DCDC51759B05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b95e0859892925c24a801c12e2050cf651aec149","datavalue":{"value":{"entity-type":"item","numeric-id":1105012,"id":"Q1105012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186705$52C03D6B-A08D-460C-B0C1-C17F0C9283B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0620e875ace4454552471ddc26f3c19b333694a","datavalue":{"value":{"entity-type":"item","numeric-id":3994754,"id":"Q3994754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186705$308F8B62-3436-4422-AD02-57FC16DC6A00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4724efffc850daf4754d455de6e91abef1b13210","datavalue":{"value":{"entity-type":"item","numeric-id":3681966,"id":"Q3681966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186705$343E9A54-2B60-4B33-8C1C-8FD840F30C56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d13024988e434604ab5d64b9bbca49e41dbeeff","datavalue":{"value":{"entity-type":"item","numeric-id":3489486,"id":"Q3489486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186705$9A93D94A-DA1B-4FBB-BCEB-AC733AB9F0A5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"44eb4f43a28274743c656f00e5dc7bb13048e554","datavalue":{"value":"https://doi.org/10.1016/0747-7171(92)90007-q","type":"string"},"datatype":"url"},"type":"statement","id":"Q1186705$FA95AF78-4044-4DA5-9C23-867FA6A0DF78","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"13b38704ab0415b021f91f9c1468e881f2bcc22e","datavalue":{"value":"W2063664916","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1186705$27075D55-FF9E-4287-896F-38AB0C9D88FF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02e72ce205e44c74f26275c67887be458b9d545b","datavalue":{"value":{"entity-type":"item","numeric-id":1815855,"id":"Q1815855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85929746808c86c12eb1ea5fb71666a26cbf9518","datavalue":{"value":{"amount":"+0.8393484354019165","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":"Q1186705$E4FE0942-AF1C-4D6D-A5CD-F99000314496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"476fe3f0e8e43d5b254436da221b1a949a215665","datavalue":{"value":{"entity-type":"item","numeric-id":3336738,"id":"Q3336738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c7b0fe335f4ce3f13e91e6da44467de4e0e5d0b","datavalue":{"value":{"amount":"+0.8228062391281128","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":"Q1186705$6245AB5E-F7A8-40A1-928A-6CC9A6D3498D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a38861aa8c5ba98116a45571edd8abc1a857d15","datavalue":{"value":{"entity-type":"item","numeric-id":3993260,"id":"Q3993260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4373515d7454050884e46f32152a6c0e012d3afa","datavalue":{"value":{"amount":"+0.8096827864646912","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":"Q1186705$B3707C6A-4CDA-4435-B3CF-A60BA45FDBDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec4394babb35832f5230c078c472b211cfc3f7c4","datavalue":{"value":{"entity-type":"item","numeric-id":3325075,"id":"Q3325075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d3a489665a528d92fae4b633caba6f0c7ad5bb2","datavalue":{"value":{"amount":"+0.793002724647522","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":"Q1186705$D3DF5B21-96F3-44B9-B2BD-3AB63456D8A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"795448d8f7584a59a850755f3cd3fd2681db4584","datavalue":{"value":{"entity-type":"item","numeric-id":5055783,"id":"Q5055783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e069cef56f1203fa5e5082bcd53d0d1022bd5c64","datavalue":{"value":{"amount":"+0.7902626991271973","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":"Q1186705$FD1AC9D1-0480-4420-B646-C0E856F58036","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Some experiments with a completion theorem prover","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Some_experiments_with_a_completion_theorem_prover"}}}}}