{"entities":{"Q6869925":{"pageid":20716141,"ns":120,"title":"Item:Q6869925","lastrevid":75237757,"modified":"2026-04-18T07:27:40Z","type":"item","id":"Q6869925","labels":{"en":{"language":"en","value":"Computing ground congruence classes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8149372"}},"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":"Q6869925$7945783E-9ED5-4EB1-92FF-755812CA23A4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ad8c2d2e39e6a02bfb1d324bdca9a057a8502f2e","datavalue":{"value":{"text":"Computing ground congruence classes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6869925$3E1955A5-254C-44B2-8340-C88B98C15032","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cedb35951193b7ff96ab870b64694685c3530c6e","datavalue":{"value":"10.1007/978-3-031-99984-0_31","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6869925$A0F05A18-A04D-4693-B728-D544BC98EC43","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6927e57f3ad5ccc79e10034c75490fbced5814bb","datavalue":{"value":{"entity-type":"item","numeric-id":2104510,"id":"Q2104510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869925$98E4A6F9-A0CF-4C3B-936B-D1518C26F032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e858e644a5f8f9e799cff3da307c11b687abc60c","datavalue":{"value":{"entity-type":"item","numeric-id":831914,"id":"Q831914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869925$836B6EE4-5E10-48CF-9004-BC7C29E54AD1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bd0535754d1571e407a6ce2636467dab5aaebc85","datavalue":{"value":{"time":"+2026-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6869925$12EC8212-5EAE-4ABC-BA5B-53E0AEE7E51D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6869925$2C7D663B-79B4-4139-B286-B6BE121A93F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6869925$140D1B7A-5DC8-41F8-A629-507EC268BB1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6869925$FF661821-C334-4D82-B4E8-9E127D267568","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"455e0a6361d2bc85e839ae482937655cc6970be6","datavalue":{"value":"8149372","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6869925$D8449F7C-5B2D-4444-9983-D99792CBF99C","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869925$0FD0A90C-DEA2-403C-B34F-3F85F05E46E1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85f840ce5119480b895ac664a10de6f0a19316ae","datavalue":{"value":"congruence closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q6869925$F0030EA8-AE54-4340-B19D-4608A08B2471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca82b8126faca2bdab3ffa77f0c22600be2e10e6","datavalue":{"value":"equational reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q6869925$66CB09F9-ED73-46B6-BB55-DDA00E679C16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96808823921f4e08b82df5b69bc400b8a8982e96","datavalue":{"value":"first-order automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q6869925$5C4425E2-F88B-48C2-8EBC-3D08CD51C09A","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":"Q6869925$174F104A-2016-4B96-839A-2166ED53A866","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computing ground congruence classes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computing_ground_congruence_classes"}}}}}