{"entities":{"Q7016767":{"pageid":21603522,"ns":120,"title":"Item:Q7016767","lastrevid":77689133,"modified":"2026-05-06T09:50:49Z","type":"item","id":"Q7016767","labels":{"en":{"language":"en","value":"Congruence closure modulo groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8005252"}},"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":"Q7016767$B4BFFDB4-852A-46CA-AC3E-80CB9129AB94","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"285d8f939256fd303426c06afa5ed0d4d03b4333","datavalue":{"value":{"text":"Congruence closure modulo groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7016767$BDBE4D72-E05D-4612-8001-2ADF76AFD068","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"84ce82b8f6274fdb0abce7d3ecc72aa69aa0325e","datavalue":{"value":"10.46298/LMCS-21(1:20)2025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7016767$2BECAAA8-3426-4344-A7EE-42E3664E4D41","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ade9119cab8f3b0cda4296771f9c62766eb0b791","datavalue":{"value":{"entity-type":"item","numeric-id":233131,"id":"Q233131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7016767$10479F11-1AF1-43BC-B675-45C9BD0F4B1E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7016767$563E4794-E4B5-47CE-AE9D-88645E115460","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"67e4ccb3c8e393f9241485303bf05c4583bf2cba","datavalue":{"value":{"time":"+2025-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":"Q7016767$F85AA48B-807A-4595-9E62-D23F5E6A3525","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"20bb5571a1bc4300de51d23c463eb631840cb343","datavalue":{"value":"08A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7016767$03C04D0B-C5A2-4FEA-A591-EF0320F35CF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5fa7ffa9c6726226cf097dee17723d8718aca59b","datavalue":{"value":"20A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7016767$CDC2E155-4974-49F6-BEB4-C204A0023B0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8acfec936c9f92116ab04a417b25b0b6b0e8ab90","datavalue":{"value":"20F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7016767$B57985FB-F54F-444F-8040-0B90DA19A055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7016767$684B7E81-8298-4067-89BF-8684E1FAB614","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"376da0e1ef439de8336a6554ff7238413fa64ff7","datavalue":{"value":"8005252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7016767$A593E7CC-EBBF-4000-89A4-CF434417A564","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":"Q7016767$B610638C-8553-4312-8859-72C07301EBBC","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":"Q7016767$B5E80557-624D-4B8C-AC38-990F5287E7BE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f463d2fc68b751147d657b7d88f441cdf392409","datavalue":{"value":{"entity-type":"item","numeric-id":4000281,"id":"Q4000281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7016767$1DC37E88-0D2D-4713-9ED8-BA6D3F8E1365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41fd04728c35578b9492b10e8a18c6eb34280a87","datavalue":{"value":{"entity-type":"item","numeric-id":2096444,"id":"Q2096444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7016767$95BE1457-20C4-481C-BE60-835199CB7354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9010e1ec050e4f0a064c98971b3a290e4c706a3e","datavalue":{"value":{"entity-type":"item","numeric-id":2090128,"id":"Q2090128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7016767$7E02F89A-E70A-4B97-A603-4CDDC9CCD4A7","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":"Q7016767$4E68EB70-20DA-4A6E-AB50-22DEF711A882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c525319ed7a0622a258a9434358c0414c7f08540","datavalue":{"value":{"entity-type":"item","numeric-id":4846257,"id":"Q4846257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7016767$ED688E05-B54A-45ED-B810-D0F657C1354D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a351897245977aa0d098a2219b09f6d20cfa230","datavalue":{"value":{"entity-type":"item","numeric-id":2751360,"id":"Q2751360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7016767$02BE6765-366E-425E-B585-3D1E74E64CFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a5f7ec14119349332290c2a3236ae73e2231fc2","datavalue":{"value":{"entity-type":"item","numeric-id":3176369,"id":"Q3176369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7016767$220BA007-2FD1-481E-816A-89958419B188","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":"Q7016767$8D24406E-5CBB-48AF-824A-0CD7B0E18DFA","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":"Q7016767$D3BBE9AB-9924-4915-90C6-54A4EC12F5BE","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":"Q7016767$5B7FCD57-4A07-43C5-BB73-325D3F00EF8E","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":"Q7016767$43B285A2-B757-4C8E-8C5F-B59DC76F5249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04ebfc64c26251f855bbc99a1ad428e1ea55c0d7","datavalue":{"value":{"entity-type":"item","numeric-id":3142053,"id":"Q3142053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7016767$4E56ECED-A28C-44F8-88AD-4A5DF8157D4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c7e7db3e2329ab994204e4d3a3e5ba2485968b0","datavalue":{"value":{"entity-type":"item","numeric-id":4650358,"id":"Q4650358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7016767$132A3176-B64B-4585-9E2B-B1185E207936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"599c5dbf52817fbbe5f2f15e33a96dc6ac97514e","datavalue":{"value":{"entity-type":"item","numeric-id":3908463,"id":"Q3908463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7016767$86DE80A6-B948-45D7-A21B-858E9EB3B5DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a5fb500e5989efe6c44c26cf34675ad9ae76e06","datavalue":{"value":{"entity-type":"item","numeric-id":3884021,"id":"Q3884021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7016767$79209B40-E2F2-40C0-892A-304F863DF78A","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":"Q7016767$6F06838A-2D05-43DF-BC62-019D3DD06D30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f43f79ac5b44e70e22b3fddbf208217de1c327d","datavalue":{"value":{"entity-type":"item","numeric-id":6159930,"id":"Q6159930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7016767$485CCE17-E40C-452F-9ED5-54788C099BBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab612c87aa25adbf0188a87ca6dab0a934d14da9","datavalue":{"value":{"entity-type":"item","numeric-id":6135743,"id":"Q6135743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7016767$D861E158-56B9-4642-81BE-09E1B335EAB7","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":"Q7016767$81807FC9-37C8-4AB7-A72B-6B6BCEE042EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bb7e17689f7a32c0ad80890bf5d055b34c49978","datavalue":{"value":{"entity-type":"item","numeric-id":1073016,"id":"Q1073016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7016767$67102F3D-A3D9-446F-B5AA-453BA0517691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f05572b50a1424510b2c012d8400646ac6d18d5","datavalue":{"value":{"entity-type":"item","numeric-id":3696494,"id":"Q3696494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7016767$A9B11962-539C-43C6-9149-E3FDB6B78438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07d0777e830433e0900baf8da5e83b789312b8e0","datavalue":{"value":{"entity-type":"item","numeric-id":2563692,"id":"Q2563692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7016767$844655FE-3FD7-40EA-AC39-91CE244EA1C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b233c2726927e295d7e844e3ede544e8417db3ee","datavalue":{"value":{"entity-type":"item","numeric-id":1312155,"id":"Q1312155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7016767$8EA5C57F-D4E8-4D12-B018-1A2BC6964411","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":"Q7016767$07A2826B-2DF0-439D-98A9-66345F601F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"480aa292913fd8766908eef3cfae15b19f52af9a","datavalue":{"value":{"entity-type":"item","numeric-id":1824041,"id":"Q1824041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7016767$B8AA3C1B-0C53-4FAB-81D2-E4E1CC3D8C35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f24c9f0634a3b40f1d86c3af8f38a5977fa8ec2","datavalue":{"value":{"entity-type":"item","numeric-id":1349693,"id":"Q1349693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7016767$5A92FE94-B790-4D70-9E58-DF152D7C9762","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":"Q7016767$E6514485-9B48-4855-BD80-A4024A559FB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"776db562aa27a5a9554b9f888f1022ff635831e2","datavalue":{"value":{"entity-type":"item","numeric-id":6560183,"id":"Q6560183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7016767$8F6FDFA2-A71E-4DDF-B0F6-B987E33B0F4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe8c39dcf1cd87a28b508e3c9832adf61306c47c","datavalue":{"value":{"entity-type":"item","numeric-id":1108785,"id":"Q1108785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7016767$074EEA46-0F3E-4E1B-95B0-25573D534FA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac113a0b574f6c299f5ff6d1455571a6350b03d7","datavalue":{"value":{"entity-type":"item","numeric-id":4285784,"id":"Q4285784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7016767$28133D27-FE55-4042-B4CF-3BF20288ADE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efe6c7975b9d29007f81ba1a0bee5e1e5d56fde2","datavalue":{"value":{"entity-type":"item","numeric-id":1168754,"id":"Q1168754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7016767$7C8F9156-63D4-4622-A9A1-2F2398115562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f200160446d148cafd5d00a6019decf4a2be6fe","datavalue":{"value":{"entity-type":"item","numeric-id":4225071,"id":"Q4225071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7016767$33D23B5C-6CA4-48EE-B3E8-5A239C7160A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2fc2a8f6bc1fdde2be781fe39a5873777354c69","datavalue":{"value":{"entity-type":"item","numeric-id":2819823,"id":"Q2819823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7016767$8DB8A078-FF6F-4934-888D-80C809221B49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"776ab2ff945c52396f6e0d21fa9758c667df50b2","datavalue":{"value":{"entity-type":"item","numeric-id":5503212,"id":"Q5503212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7016767$1F7DD9B6-20CC-4DEB-B4EE-56F063209B92","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Congruence closure modulo groups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Congruence_closure_modulo_groups"}}}}}