{"entities":{"Q6869925":{"pageid":20716141,"ns":120,"title":"Item:Q6869925","lastrevid":84234164,"modified":"2026-05-14T00:23:21Z","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"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"db081a6ba37b413fd57cdd13b256d1f5696aed3d","datavalue":{"value":{"entity-type":"item","numeric-id":3303931,"id":"Q3303931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869925$EAB8D98F-8C2F-45B3-A20D-B0FD22088EB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f814032017aa40390d4c6f26a550d62bb08ff374","datavalue":{"value":{"entity-type":"item","numeric-id":5503674,"id":"Q5503674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869925$1B468AC3-A9B9-4220-B92F-1A11CFD81832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21640ae8e3aa02debe92970cf2184aca918b76e5","datavalue":{"value":{"entity-type":"item","numeric-id":5326318,"id":"Q5326318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869925$358775E1-DC04-48DF-9292-453307311502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db15afe119e4d8924199889dafaa491710809a5f","datavalue":{"value":{"entity-type":"item","numeric-id":2751361,"id":"Q2751361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869925$D65B8D46-C484-478E-B746-C046279A1555","rank":"normal"},{"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":"Q6869925$EB7A55AD-7C7F-497B-A9ED-871046BA9EB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da96dfa99f70c6b2b69c48b417a516b8fa851830","datavalue":{"value":{"entity-type":"item","numeric-id":5312898,"id":"Q5312898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869925$BF1F323F-9D59-4CFF-8E6F-2B9EC0DC8DB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5b6369434f388907477ab744943a20adf5719ee","datavalue":{"value":{"entity-type":"item","numeric-id":2708308,"id":"Q2708308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869925$F49090AC-5BCD-4CA2-8388-E06CEF0C607D","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":"Q6869925$BB8AB6AA-B416-41CE-A78D-0C4F4C7CFDC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"376cb9e8d1d68d2040bb2da152cc9823d4328d6c","datavalue":{"value":{"entity-type":"item","numeric-id":6111523,"id":"Q6111523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869925$0C4CDB82-2A85-4B78-988B-6EF2EEF9EF35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1fa8e099c59f8b6819b5b09b786ac872f2d64b8","datavalue":{"value":{"entity-type":"item","numeric-id":688554,"id":"Q688554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869925$AB808FDD-9C75-4F1E-8B1C-69D6E315AA12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"171f2f23484cc563361b9a949250d7cf0cf0889e","datavalue":{"value":{"entity-type":"item","numeric-id":2479551,"id":"Q2479551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869925$6CB22609-6966-4B7F-AA74-43AA8D7BE97B","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":"Q6869925$2461C125-E596-44A3-AB0C-89457D48BC5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cff8a314d9fb157a7d13b3fe1123cbf96f16e53","datavalue":{"value":{"entity-type":"item","numeric-id":4539610,"id":"Q4539610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869925$869B3F25-9B3F-43B1-B987-D47DDA759765","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":"Q6869925$AF8A3B26-588B-413F-9D27-B86E56ED8CE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79db93a0bb311f56c816d6ffc92dd7b60e23250d","datavalue":{"value":{"entity-type":"item","numeric-id":3455223,"id":"Q3455223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869925$FE16E3FE-E17A-4BC3-8219-9B10AE31D1ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"516924fffc5ccd06ddf357b776bed9baac4d2e69","datavalue":{"value":{"entity-type":"item","numeric-id":2324227,"id":"Q2324227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869925$97B02CDF-9238-4B92-8370-17A26AA52495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7d23d752af51468669438a65727e2f56ea73491","datavalue":{"value":{"entity-type":"item","numeric-id":3766889,"id":"Q3766889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869925$A1351030-A934-4A74-A0BE-73376578FEAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f82f0f40ab66cf033c5a229880b34de6b2284f9c","datavalue":{"value":{"entity-type":"item","numeric-id":1694574,"id":"Q1694574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869925$D1E46F28-6B1C-4EF9-B01D-E06B08FBA4BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64a44575586a212592aeb45bf53933d890e6bf0f","datavalue":{"value":{"entity-type":"item","numeric-id":3449631,"id":"Q3449631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869925$CCC69E0C-443B-4713-BFA8-EDF952C4B986","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computing ground congruence classes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computing_ground_congruence_classes"}}}}}