{"entities":{"Q1121301":{"pageid":1132050,"ns":120,"title":"Item:Q1121301","lastrevid":66802158,"modified":"2026-04-12T12:57:50Z","type":"item","id":"Q1121301","labels":{"en":{"language":"en","value":"Every Hamiltonian variety has the congruence extension property - a short proof"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4103152"}},"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":"Q1121301$1AFC7BB0-1D90-479A-83B8-0D4D1DBE1C22","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1b474e1dfa43b3ebf768d1738fb9c249cf66f0cd","datavalue":{"value":{"text":"Every Hamiltonian variety has the congruence extension property - a short proof","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1121301$84CC3208-DD7C-478D-8968-C81466613B6F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f29adc7c860b5a786605c801eac45a3b769b260c","datavalue":{"value":"0674.08001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121301$D55360E3-60D3-4203-9822-4499F7347D21","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"758261f7db6dd06beb53f5459b00e52d31e6824c","datavalue":{"value":"10.1007/BF01236863","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121301$70A479F2-8D26-486D-B466-D05A2E73F866","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"47bf248e9743c97a013f0458ed30a0664f014eb9","datavalue":{"value":{"entity-type":"item","numeric-id":244460,"id":"Q244460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121301$D3DE4A2C-72B1-4FD2-ADD6-EE546500277D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d8edc5904dd2851735677fd4946153329bf4566e","datavalue":{"value":{"entity-type":"item","numeric-id":418893,"id":"Q418893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121301$BE45453A-FEB6-48BB-B9F6-A066A8460E26","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121301$1F35D3C4-E026-4F25-AC58-07E1DA5E5CCC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1121301$0BC47796-617D-4FA5-B0BA-7B18C9D79FD1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d14d7c8b096b44210933617db28873039812912b","datavalue":{"value":"An algebra A is called Hamiltonian if every subalgebra B of A is a class of a suitable congruence on A. An algebra A is said to have the strong congruence extension property if every congruence \\(\\theta\\) on an arbitrary subalgebra B is induced by a congruence \\(\\psi\\) on A such that each \\(\\psi\\)-class is either contained in B or disjoint from B. It is proved that if A is an algebra with Hamiltonian square \\(A\\times A\\), then A has the strong congruence extension property. From this, there follows the result stated in the title and discovered earlier by \\textit{E. W. Kiss} [ibid. 12, 395-398 (1981; Zbl 0422.08003)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121301$2287DFC0-1652-460B-81BB-A99D15ACC27C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121301$835AC984-1CD9-4EA7-937B-29DD68DDCEBC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e90601358d5fb51c878d2bdbc3fffaf4a9baaeb","datavalue":{"value":"4103152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121301$3DA13D11-956F-4963-B2E2-B0B226E6B040","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a00d6e5c6c9bd093538cd5f4ded3b101edc3f672","datavalue":{"value":"congruences of universal algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121301$0C5D5B96-1823-47CE-8181-E37F56FD453F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff76b5e293373bdeb8ed6ccc61ac4af5e2de8595","datavalue":{"value":"Hamiltonian variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121301$D7FE037A-4069-4BB2-805D-06E71643C5D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d989aa75aafb518b9cfecd32103702ca8d0ac848","datavalue":{"value":"congruence extension property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121301$EDCB7E1D-4B8C-4580-B942-6F61ECA0787E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8a4269540e775ce717310028f86928e9eeea39c7","datavalue":{"value":{"entity-type":"item","numeric-id":241780,"id":"Q241780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121301$54724C6E-4CB9-4246-B2C2-2B247404B1E2","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":"Q1121301$DF5340D1-6B1E-4A3D-9AB8-2CB41C0D2D37","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ccbeb4b74e95a8359a4dec5cf17bc93aa5795e2c","datavalue":{"value":"https://doi.org/10.1007/bf01236863","type":"string"},"datatype":"url"},"type":"statement","id":"Q1121301$76E450DF-01FC-4419-BBFB-F918CA9A74C9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c8ef2d8b3865cd3b2603a584e17586295c101fdf","datavalue":{"value":"W2029092934","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121301$30C4D455-55E8-4F6B-B729-F69B33625E9B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0d87e5602f1f9d255d3be4016c08651ac3db074","datavalue":{"value":{"entity-type":"item","numeric-id":1180705,"id":"Q1180705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa908a5a3942846e66420c0f6c1b709754b154e3","datavalue":{"value":{"amount":"+0.8876613","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1121301$27AC3166-1B53-4971-A75E-A8F07C05939A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac876fb6199e4480636e21a05f70e27363807a02","datavalue":{"value":{"entity-type":"item","numeric-id":4890981,"id":"Q4890981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d6eca6d51ca3e6eda7d7810cae107378b8a8f5b","datavalue":{"value":{"amount":"+0.83743244","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1121301$17E7AA3E-6AC0-4C3C-BEA2-BD1F49B2A4BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d98c07cfbdfe26427117441c133b056116ca9dd5","datavalue":{"value":{"entity-type":"item","numeric-id":3356348,"id":"Q3356348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be5031acfecef765405d41d37278276ef0b7eca3","datavalue":{"value":{"amount":"+0.8347662","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1121301$96683E57-B773-4C4C-979B-B7847519AA3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"054c5a1a8c71f2602c510d3845b3d4bf55e84e3a","datavalue":{"value":{"entity-type":"item","numeric-id":2421915,"id":"Q2421915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69a5e62bfc3e862de3f7090ed92f6859d7905bc4","datavalue":{"value":{"amount":"+0.82421285","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1121301$F4671F9E-AEBB-4870-9B0D-1273DBEDE013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f633cc9d7ed04672275de028bb4ffaf117777a4","datavalue":{"value":{"entity-type":"item","numeric-id":5164041,"id":"Q5164041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"743b8f6e96d1a3a6163a6c5be070cd388c22d1ba","datavalue":{"value":{"amount":"+0.82137215","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1121301$C840C297-14A4-4F44-8809-5F52179F42D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1573a483f93074adee9dfb7b85934e5b9b382c5","datavalue":{"value":{"entity-type":"item","numeric-id":3748325,"id":"Q3748325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98836976f54eafc912783a43f7099d9bfa2e902f","datavalue":{"value":{"amount":"+0.8195398","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1121301$68601FAF-A8AD-4DA7-8DB1-1948FA27C619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59640cbfb0269bc10f7568722026893e6c4667e4","datavalue":{"value":{"entity-type":"item","numeric-id":3695318,"id":"Q3695318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98836976f54eafc912783a43f7099d9bfa2e902f","datavalue":{"value":{"amount":"+0.8195398","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1121301$1DE4C098-0C03-4191-A069-19E7D299B130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1b92469f7e0973d654c7512c5e2a621590572bb","datavalue":{"value":{"entity-type":"item","numeric-id":3751722,"id":"Q3751722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acc84438257ccfb85c928920d9722b3ea33de601","datavalue":{"value":{"amount":"+0.81786764","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1121301$27996CEC-B744-4DE5-B9C7-52F6CB5C64D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07ac933c55428cb336088a3f0d7391408acf8dbf","datavalue":{"value":{"entity-type":"item","numeric-id":6178306,"id":"Q6178306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9203ef49543629b0768db8c7dc4ae6748efbe835","datavalue":{"value":{"amount":"+0.81774914","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1121301$F8EE3B1E-A958-415E-B8D3-7A817E4B3C87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f927f78e7c39ec15482a33bd1f983955d4bcff5b","datavalue":{"value":{"entity-type":"item","numeric-id":3679327,"id":"Q3679327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"161cdcba32886a8aba627e0ccb1a90387552736b","datavalue":{"value":{"amount":"+0.8168427","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1121301$874F885F-058F-4481-B97D-6A4CA454819E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Every Hamiltonian variety has the congruence extension property - a short proof","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Every_Hamiltonian_variety_has_the_congruence_extension_property_-_a_short_proof"}}}}}