{"entities":{"Q1186611":{"pageid":1197360,"ns":120,"title":"Item:Q1186611","lastrevid":66446085,"modified":"2026-04-12T10:08:27Z","type":"item","id":"Q1186611","labels":{"en":{"language":"en","value":"A criterion for proving noetherianity of a relation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 36850"}},"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":"Q1186611$CFECD27C-3D6F-48E9-8BBE-F24E2280FE5D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bc1b65346aedca4c549bcbc3ff9cf9ef92b060c1","datavalue":{"value":{"text":"A criterion for proving noetherianity of a relation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1186611$E2CEB7AC-300F-4A1F-B367-6A2FBC5550AA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d62b6b83ef161caf911233c6e3236ca85fd4dcd8","datavalue":{"value":"0802.68072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1186611$0F66A7D7-74E4-4F67-A68C-946027A12D11","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d6a90ee7b2200a7e33b01b795e03cf6e9a370634","datavalue":{"value":"10.1016/0304-3975(92)90336-E","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1186611$BAA16818-5301-4334-B99A-10AD6D9A5D1A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c06aa3c4dc97754b3a90c94fdcbba2fb94420c5","datavalue":{"value":{"entity-type":"item","numeric-id":185419,"id":"Q185419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186611$F9696181-24F2-47BC-8CD2-845DFB7EABC6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186611$F20F3657-C9D6-49B7-9025-7F4561F9EFD2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"120787504bea9565def539fb4bfb19084956028b","datavalue":{"value":{"time":"+1992-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1186611$25BAE94E-E77C-43A8-996F-E63B5AC43BDD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"54638644fad708e32a11cbb49335581c957213cc","datavalue":{"value":"The usual proof of completeness of a binary relation \\(\\to\\) uses a mapping which decreases along \\(\\to - \\) paths. The author shows that a locally confluent relation \\(\\to\\) for which a terminal object in any connected component of \\(\\to\\) and a mapping strictly increasing along \\(\\to - \\) paths exist is complete. The result is applied in order to prove the completeness of a relation occurring in distributive algebras.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1186611$359A8F43-E0E1-4F82-8247-E1B18C1DEA8F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1186611$D855509F-9D42-4394-8480-2B7E2F9C9339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1186611$FA881D9B-D98C-481F-B3C6-0F5630817084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da00c812255bd7f02dddc14c65a56e042cf0446e","datavalue":{"value":"03E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1186611$AFE64FC9-5DE6-493D-9331-B3B56542E570","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"235ccaa665b1dc45dcc651c6ff0a4868974dc3a0","datavalue":{"value":"36850","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1186611$781D5C32-B935-482B-B357-7227276ED4A1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92866b1654af1a662b0f26d63d8a7f6a99d8a2f4","datavalue":{"value":"binary relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1186611$C5DD9BBC-0BF7-4399-9F23-CE59445F5228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20229403695c82b3048e3c1829e9eed5805f2b27","datavalue":{"value":"locally confluent relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1186611$603C73A0-B563-4858-949F-B3202BD706DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1186611$2E5D8772-5400-4878-BF17-A7A1D7A447A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e80b85d8827fc5602238a862f9446509bb4076b4","datavalue":{"value":"distribution algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1186611$40A81C57-78E7-434B-B999-0D6E442A424C","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":"Q1186611$3F4B96EE-729B-44E9-8C52-727670D5C463","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e004ad7c53d1b6136d8c12b096d8cc2682099b5","datavalue":{"value":{"entity-type":"item","numeric-id":1099642,"id":"Q1099642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186611$9D227FE7-DEF2-46E0-B0B4-8A4AED03174B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80a89183889f6ced4d3e02b4bb9293f2d569e1fd","datavalue":{"value":{"entity-type":"item","numeric-id":4206948,"id":"Q4206948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186611$559C3F79-A367-4CAE-9F6C-A3C12FE5BA54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"194553c199a7bdf4f60dbe160321b413d5d0bab2","datavalue":{"value":{"entity-type":"item","numeric-id":1262396,"id":"Q1262396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186611$7694D313-9713-4650-A70E-69733A681FFE","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":"Q1186611$7F4BFC5E-EA07-481E-ACD0-C2451EC50EB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be604f9726a120d8606eea2ea8bf40b25f834421","datavalue":{"value":{"entity-type":"item","numeric-id":3918095,"id":"Q3918095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186611$C69D8E21-46F6-4254-8782-1F65976B318C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39efa77a89038f7aa8cb5eda7cb808777bfc1d2b","datavalue":{"value":{"entity-type":"item","numeric-id":3817590,"id":"Q3817590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186611$5652D369-7D1B-4315-B62E-586AA9AA2D18","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":"Q1186611$1C3A2395-A74C-43EF-9220-DE5E38C51BBC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f49c24ed169371268207dbe802cff982f923b3c0","datavalue":{"value":{"entity-type":"item","numeric-id":3638097,"id":"Q3638097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfe54d689f24157be50e04250114241f73701e29","datavalue":{"value":{"amount":"+0.7263306975364685","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":"Q1186611$097A5856-1F99-4CEC-9CB7-B61486D9B70E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8d7bdd7da2b4d25caac601b210dde2e72739753","datavalue":{"value":{"entity-type":"item","numeric-id":4383698,"id":"Q4383698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1a9f43f32d701cdb002e3607c6869256d2bdb74","datavalue":{"value":{"amount":"+0.6978586316108704","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":"Q1186611$062BB688-DFEF-4A26-9A1B-BBA692DEA69A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c1c8784fa4f0a359093f719060d176faecd05b0","datavalue":{"value":{"entity-type":"item","numeric-id":1106659,"id":"Q1106659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"627c9518929d0e5355d037812f1d8a5610040cf7","datavalue":{"value":{"amount":"+0.6970360279083252","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":"Q1186611$F48BA226-AB1B-4876-958C-871B4DC6171C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58fd391857709a1825aaf51abf8d91be995f87d0","datavalue":{"value":{"entity-type":"item","numeric-id":3347863,"id":"Q3347863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1af583ab664f582c1dc71653d962a692b7469fd9","datavalue":{"value":{"amount":"+0.696708083152771","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":"Q1186611$DE158DF8-1142-4EBC-8B0F-224AAA9ADBDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53a21359624e3bd0c92e3e228cdeb138f4bbcfdd","datavalue":{"value":{"entity-type":"item","numeric-id":3816048,"id":"Q3816048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de1c79fed11427991a0381e89c4eefe5296401e2","datavalue":{"value":{"amount":"+0.6947856545448303","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":"Q1186611$095E8F83-0881-4971-A9F5-5BA3D245F176","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A criterion for proving noetherianity of a relation","badges":[]}}}}}