{"entities":{"Q1730315":{"pageid":1741056,"ns":120,"title":"Item:Q1730315","lastrevid":72865698,"modified":"2026-04-14T08:21:13Z","type":"item","id":"Q1730315","labels":{"en":{"language":"en","value":"Conditional congruence closure over uninterpreted and interpreted symbols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7032440"}},"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":"Q1730315$58EBE4A1-8FFE-4D05-B823-29B5CAF7CA4F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"519bcfd00e5d4fec7dd2178e6aead17e19641e68","datavalue":{"value":{"text":"Conditional congruence closure over uninterpreted and interpreted symbols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1730315$51FA0D3A-BE4D-47F5-A3CF-E7ED1311BB44","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"596714d00c7b4131527b11e84171c65752ab0280","datavalue":{"value":"1417.68077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1730315$ED32C801-5931-486E-B612-327A2A6E83E7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a60a38320311da18eda10821922742954865726","datavalue":{"value":{"entity-type":"item","numeric-id":394492,"id":"Q394492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1730315$9F041AF0-E9BF-456F-984B-FB05770E108A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b71eb180126bfc863b84d620c8d007ebc4f3c390","datavalue":{"value":{"entity-type":"item","numeric-id":199332,"id":"Q199332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1730315$135B167B-F2B9-4168-8ACE-7379F12DFFF1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"21d06c5f76fb66348577023713dc543c2934e806","datavalue":{"value":{"time":"+2019-03-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1730315$391FFAFD-79E2-49D3-A56F-834AD0717703","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1730315$0E3F01AE-F902-4308-A460-F0D4445C2C40","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9328b76c1933844e954e3fc96e94cf49e49171be","datavalue":{"value":"7032440","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1730315$C9A0A0DA-132D-4219-9AD6-FE2465AEE10B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41b8ab866f2130f494e3b07bc4d1da4f4429a9e0","datavalue":{"value":"completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1730315$F9C62D60-4688-4D88-830B-93152519C84C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85f840ce5119480b895ac664a10de6f0a19316ae","datavalue":{"value":"congruence closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1730315$3FFF314B-2478-41E0-A22B-A066DDF53036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09bd7535c7da57d091629f5ad76ea0457d56c07e","datavalue":{"value":"conditional congruence closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1730315$109E49B8-1392-488F-851E-C50A8B039AF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d2b0ee6dc047b0da3c417d3eca1a35ac5ba99e5","datavalue":{"value":"intepreted symbols","type":"string"},"datatype":"string"},"type":"statement","id":"Q1730315$B58F14FD-DE4B-4810-8397-D8FCEB4E8B4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"476e70cc5d552d5cdc76575cc73d40a8bfb4b86e","datavalue":{"value":"rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q1730315$8E1DBC05-23F8-4AE1-B029-C4C3BE4C3682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ac451526a91a878e03e9318d3037d491600534c","datavalue":{"value":"uninterpreted symbols","type":"string"},"datatype":"string"},"type":"statement","id":"Q1730315$5D6FC1AA-6788-4F0C-894C-653110F90141","rank":"normal"}],"P1463":[{"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":"Q1730315$49F5C0EA-F444-4EB9-B4E6-9BBC10E6563D","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":"Q1730315$B8C48150-8BA2-4C2E-9A78-849061F1C481","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"07103bb1e05e19e27fb733c6a0e8b0873a3afdd4","datavalue":{"value":"https://doi.org/10.1007/s11424-019-8377-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1730315$00221198-F7B0-4F5D-95A4-63C53740D06F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"741c6157b31f5d6ce88dbc16b0ef83870768de8d","datavalue":{"value":"W2911667399","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1730315$76FF5214-8F06-4DED-9DE3-3B5D04A83E0F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae19a70a8616a64987bb08271f6f085e5255b8c5","datavalue":{"value":{"entity-type":"item","numeric-id":3908476,"id":"Q3908476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1730315$DBE82FE6-9EF5-483B-821C-B16C199D591D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d09db88e7db8de8a699f35dd014c509760be4233","datavalue":{"value":{"entity-type":"item","numeric-id":4157961,"id":"Q4157961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1730315$FDEACEBC-60A6-4FC3-A02E-767F297A0EC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"975126c2667d6964e52988e556bf8223ff836bfd","datavalue":{"value":{"entity-type":"item","numeric-id":3883564,"id":"Q3883564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1730315$4F2F54F4-39FA-47BB-8D24-B34DE26F0197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"823877466ffaaf00e3854a2ec95798a71d679b8a","datavalue":{"value":{"entity-type":"item","numeric-id":5881200,"id":"Q5881200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1730315$1135269B-0B8B-48C9-89DA-76D40B3075AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eff442bb51274bc0176a42c9962ccce88bdf511","datavalue":{"value":{"entity-type":"item","numeric-id":604394,"id":"Q604394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1730315$5B810742-5E33-4DEC-94B0-59F4DFAECA37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f4964d7813db95b59d880c148321ae9fd8c270a","datavalue":{"value":{"entity-type":"item","numeric-id":1100933,"id":"Q1100933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1730315$F28E9EE7-E4ED-4C07-9EBF-DFC26005DD54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a73f079fad88596351ff709cf186cec234a2805","datavalue":{"value":{"entity-type":"item","numeric-id":3723723,"id":"Q3723723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1730315$3AEFC3DB-4C01-48E3-97B8-BB18400A6051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ff043886c15344e26a5762a58f1c95f9724f12c","datavalue":{"value":{"entity-type":"item","numeric-id":4594216,"id":"Q4594216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1730315$EF87D752-BF02-4399-960A-AA699177D789","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":"Q1730315$F9E77A77-F46D-4A4C-B9CC-B6B7880EAAFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"932383d1ac997ed208ef47dcb574b592efaf75b3","datavalue":{"value":{"entity-type":"item","numeric-id":4065031,"id":"Q4065031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1730315$479C0169-7B36-4725-BB79-78F846D71BF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3f8f0b4240ad43b4400a2b1a7057f13444b1e8a","datavalue":{"value":{"entity-type":"item","numeric-id":5337563,"id":"Q5337563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1730315$919DF9DF-7AF6-44D3-9E0D-139B0D8F5213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57ee4b3dff32df37da8a420ca50710cdb5fb22f6","datavalue":{"value":{"entity-type":"item","numeric-id":5657644,"id":"Q5657644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1730315$62F4421B-0907-4493-8A81-047E6E12849C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a09716697edb234ce77c2288fe827cd22e3a8915","datavalue":{"value":{"entity-type":"item","numeric-id":876046,"id":"Q876046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1730315$9DD053AD-8124-4325-8EE5-1D9C046F835F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8670a1cb5138f59a7607a06c6c33e9eef7f2c9ea","datavalue":{"value":{"entity-type":"item","numeric-id":3938536,"id":"Q3938536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1730315$43C70660-39F4-44D3-AF4D-7251E3CFB09B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a00d494a72da53d5edc71ee57582c397b68b035","datavalue":{"value":{"entity-type":"item","numeric-id":3789100,"id":"Q3789100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1730315$3837D637-8EC4-403D-A52B-A8A1D0A24CA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e38c2f2e2ea48fd30061f5b3a3a8d0dacb950761","datavalue":{"value":{"entity-type":"item","numeric-id":4264723,"id":"Q4264723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1730315$1D2212B0-C9FB-4095-AE80-106C0B19DA4F","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":"Q1730315$B06A3915-97CB-41D0-9759-520AB7A888BA","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":"Q1730315$B26E9237-8C23-4060-9C76-EE6265148E8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f2eefad08f445d5828ca880db484eaddd20fc85","datavalue":{"value":{"entity-type":"item","numeric-id":1425161,"id":"Q1425161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1730315$EF2F209C-5040-40DA-A33E-2A19F57E611B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be4dafc54f71b3ccd796706ada540b8979e083aa","datavalue":{"value":{"entity-type":"item","numeric-id":4036569,"id":"Q4036569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1730315$3098450A-F195-4CC3-9333-642FF3E84E41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c5bf7b380940890b19717c2861f861d9cf52fc6","datavalue":{"value":{"entity-type":"item","numeric-id":4916071,"id":"Q4916071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1730315$F1682AE8-1852-40F3-8CEB-9CEADD8ADD14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40c5c9cdb6cd3f1038d3bc19f6f1bd7e7a7f182b","datavalue":{"value":{"entity-type":"item","numeric-id":4647541,"id":"Q4647541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1730315$466279EB-396D-4E39-82BE-31C61A56D745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6714b82967d2235b6a92e71fd13ce822c8d74ad9","datavalue":{"value":{"entity-type":"item","numeric-id":4518873,"id":"Q4518873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1730315$585FD3BA-2BA9-4CCE-B20E-F442CB108969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10f3c8da72a81dee234f4b63f5e0583ee7657e77","datavalue":{"value":{"entity-type":"item","numeric-id":5055779,"id":"Q5055779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1730315$923CF8F3-7B01-46D7-B4C4-B37A390303FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dccf1d346c09e3ff74cb962a3ae96a718bd8b7fd","datavalue":{"value":{"entity-type":"item","numeric-id":3703293,"id":"Q3703293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1730315$86742ED5-2306-4A3E-A5C5-5C29BFE54C7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"662f20bf140ab4dcc547b620fa203d92a51df7b0","datavalue":{"value":{"entity-type":"item","numeric-id":2352502,"id":"Q2352502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1730315$E53504FF-DE90-413E-9A1D-535939A690A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95f9808bd78955f8e4b247b4fbae29463a990603","datavalue":{"value":{"entity-type":"item","numeric-id":5458397,"id":"Q5458397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1730315$B1AD06A6-5325-448D-AF0A-7884CEDA47C3","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":"Q1730315$39C0C1EF-3099-4850-96D0-0CF67EB46BC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e57dada08276bdfd975413149fdc809775588d67","datavalue":{"value":{"entity-type":"item","numeric-id":1147232,"id":"Q1147232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1730315$051F535D-9908-4AD9-91B8-2F2F28576B6C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"6b7b61841a8f128d09d11b9157ec769744772c5b","datavalue":{"value":"Q128393049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1730315$1D310D80-3573-4A6A-8B72-6877F0513C1F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"37c9790d01bfe0c8e3280bd631c713da7afcb7c3","datavalue":{"value":"10.1007/S11424-019-8377-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1730315$1696F93D-2FE4-480F-8145-C2FC9234B88B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"533a8b77e8a99e85fa42a571379c69b8c18274f3","datavalue":{"value":{"entity-type":"item","numeric-id":1425161,"id":"Q1425161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab543f51da5bd9a7d267aae7d7bdf59bd0c6faa7","datavalue":{"value":{"amount":"+0.8158659934997559","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":"Q1730315$008FC01C-F2F8-4228-AF51-4BA837BFE372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a067f7998c2d38475474823aad3051d945cd609d","datavalue":{"value":{"entity-type":"item","numeric-id":4594216,"id":"Q4594216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8d8a91b1ac3d15040d0992e100d52ee78f5c908","datavalue":{"value":{"amount":"+0.8059165477752686","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":"Q1730315$499AFABB-FCE6-4F16-82AB-0E2E735CB749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30337d26ba6b5d33cb4176f2a080ff9d9c543f8f","datavalue":{"value":{"entity-type":"item","numeric-id":876046,"id":"Q876046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"013e8eb2d328b36b2d62ad4cdac2588767a3df75","datavalue":{"value":{"amount":"+0.7902466654777527","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":"Q1730315$3BC1024F-839C-4E37-82B0-4D57FC1E3623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2956acbdbe54113a2ce780f06803ca8d04c1f41","datavalue":{"value":{"entity-type":"item","numeric-id":2723409,"id":"Q2723409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5f39c6d1767865f485f6a6c1cfcc05695e4a1fd","datavalue":{"value":{"amount":"+0.7765794992446899","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":"Q1730315$0BCECEAF-1517-4399-AC8E-44E585A036C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7afe0aa39e3a39c95b219fad3f48adb7e5f74a5e","datavalue":{"value":{"entity-type":"item","numeric-id":5464694,"id":"Q5464694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83d1dab39a1242c439a59aaa97afcc864eb5f3ca","datavalue":{"value":{"amount":"+0.7623948454856873","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":"Q1730315$5C5FC0A0-A00D-4876-A43D-A173E02B0D36","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Conditional congruence closure over uninterpreted and interpreted symbols","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Conditional_congruence_closure_over_uninterpreted_and_interpreted_symbols"}}}}}