{"entities":{"Q1425161":{"pageid":1435901,"ns":120,"title":"Item:Q1425161","lastrevid":68672556,"modified":"2026-04-13T01:20:11Z","type":"item","id":"Q1425161","labels":{"en":{"language":"en","value":"Abstract congruence closure"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2057784"}},"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":"Q1425161$345F98D6-8253-4D04-BFB1-360ECFFEEB6A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5e9fbd5e68eb09cbadc3acbb7af64e0785cbd796","datavalue":{"value":{"text":"Abstract congruence closure","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1425161$4FEF8CD2-CF3B-4864-BC7D-AC3341A52826","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"955c6b352bf3f1c6efbfc316984818ac17d4b480","datavalue":{"value":"1040.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1425161$EEFFC412-8366-4248-BE74-22764F665A89","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7f5db338b3a97f94e45597045a967749cfa5c65b","datavalue":{"value":"10.1023/B:JARS.0000009518.26415.49","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1425161$27B3DD3B-3189-446B-A919-B99A1C15509F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0cf815526c4f2604ee47e98322610a52470dc8b3","datavalue":{"value":{"entity-type":"item","numeric-id":1072370,"id":"Q1072370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1425161$A6AEF95C-B18A-40FE-8808-9DA4AAE3A098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6859fc6fdda561ce847e5098101dd47b5d4060af","datavalue":{"value":{"entity-type":"item","numeric-id":1340507,"id":"Q1340507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1425161$8AE11F39-C098-4AD7-B7B4-2B7F0A5B8381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"78912daa4c2f606a86d62c664c42ea944a74fc3b","datavalue":{"value":{"entity-type":"item","numeric-id":1611409,"id":"Q1611409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1425161$98D39015-B6A0-4686-9AB2-4E8B470427EB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1425161$3AA5B5A7-AFC8-47EF-BB8D-5F0B239A7334","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47829e28918d048336111de08a0f0c93aec92d0a","datavalue":{"value":{"time":"+2004-03-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1425161$A5A8A9A9-0699-46A1-BA8F-A13BA08A7FC0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1425161$BB22D8CD-CD65-45C5-9945-117271C4A659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1425161$F640C29D-C5E9-4401-AD2D-401A82546C27","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f70fac82abbe55d1d7e3cb7a4bdb57bb0d717d55","datavalue":{"value":"2057784","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1425161$D805B890-1BEB-495B-9291-AE21DDCD96CD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q1425161$24988E2C-D314-48BA-81DF-67D831AD3717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85f840ce5119480b895ac664a10de6f0a19316ae","datavalue":{"value":"congruence closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1425161$71F3A256-A608-4295-BF69-FE2F6A5E9BEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f88bb33047203f49d84701b5ad3ca0ef611197af","datavalue":{"value":"associative-commutative theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1425161$73B42546-A2AF-4B6D-8776-34EB7142F20D","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":"Q1425161$D302B81C-7729-4B09-BA31-7FFF5E7AA880","rank":"normal"}],"P1643":[{"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":"38e1c6914160f5afd111cb93e08f25fe8b31535e","datavalue":{"value":{"amount":"+0.8896535634994507","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":"Q1425161$E6E78537-44E5-4EE0-94E8-E772A2680D3C","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":"99d4c654cb828d87aff1bac8f783f8542812fe3a","datavalue":{"value":{"amount":"+0.8344461917877197","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":"Q1425161$79E14F37-ECE9-4D63-8616-2F820DA3A716","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":"3c1f9190a25ed29c7be11d511eb4660718f923ae","datavalue":{"value":{"amount":"+0.8336594700813293","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":"Q1425161$9007C009-98F3-45BD-815A-4CD0F139563B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15d15edc0b7aeb89b3f77f099e036d9db0b1de5d","datavalue":{"value":{"entity-type":"item","numeric-id":4518873,"id":"Q4518873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dfe3c44cc69eb90f7e68872823dd69fc75cebd2","datavalue":{"value":{"amount":"+0.8213627934455872","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":"Q1425161$B1726580-7FFF-4C98-B422-BCC5ECE3239F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f62b7c2282089c922b22eb2aa9cf1456c5bbb67d","datavalue":{"value":{"entity-type":"item","numeric-id":1124338,"id":"Q1124338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dfe3c44cc69eb90f7e68872823dd69fc75cebd2","datavalue":{"value":{"amount":"+0.8213627934455872","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":"Q1425161$2D9E274A-BCE8-436F-979C-543B0E5095C2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Abstract congruence closure","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Abstract_congruence_closure"}}}}}