{"entities":{"Q1122569":{"pageid":1133318,"ns":120,"title":"Item:Q1122569","lastrevid":66174204,"modified":"2026-04-12T08:03:05Z","type":"item","id":"Q1122569","labels":{"en":{"language":"en","value":"Predicate transformations in a k-valued logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4106809"}},"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":"Q1122569$87052819-5002-4156-821E-E1AFC975A84E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aa24b387294b98a329d6a295b5bb1d3ce8c8a934","datavalue":{"value":{"text":"Predicate transformations in a k-valued logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1122569$E92A355B-F803-4326-A43C-86FF1D62CED8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0feb43b7a26df54e77b266e73e1883d20575316e","datavalue":{"value":"0676.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1122569$E40B401C-45F5-4FD6-96D9-7AF19F1C08B4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"773affcbf537543a559e1c7b91aa9bc2e84cdb79","datavalue":{"value":{"entity-type":"item","numeric-id":1109021,"id":"Q1109021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1122569$D31593DC-9DD4-4635-A50D-85EE551A16F6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"aa4e0e353121dae82cdaefca14a62dc9d4bb34af","datavalue":{"value":{"entity-type":"item","numeric-id":163582,"id":"Q163582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1122569$C37F63C4-D101-428E-BE40-CA11AEE8FE82","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q1122569$195AD9D6-0422-4600-AA63-7E5477F58147","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e65fb9d22e5a72f4fc7bd3c0ed884905bd418b7b","datavalue":{"value":"Let \\({\\mathcal M}_{R_ k}^{(n)}\\) be a class of (n-ary) functions over k- valued logic preserving the predicate \\(R_ k(x_ 1,...,x_ h)\\). Then the basic result of the paper states that the semigroup of endomorphisms of \\({\\mathcal M}_{R_ k}^{(n)}\\) coincides with the semigroup of endomorphisms of a certain hypergraph \\&\\({}^ nG_{R_ k}\\). It follows that also the automorphism groups coincide and that for specific relations \\(R_ k\\) the hypergraph can be replaced by a directed graph or a graph.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1122569$C643CC93-A819-431B-9A8F-EE94299A0A2D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1122569$6D1F7A37-0C97-4995-ACA0-CB71BD2EA7D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a09872c507729d29e1c1613e820db567c4517089","datavalue":{"value":"05C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1122569$17A7D9CF-A3A4-4E82-B2E5-9984BAB68416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25c8936003d39e41a9c8a541470f5aac0fe1fa32","datavalue":{"value":"20B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1122569$20BC690F-7DFB-4473-B801-E9A83118599F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fc75e8fc27aefd36624a9745528f795e8adb88a9","datavalue":{"value":"4106809","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1122569$086DF27B-73AF-4A09-9D54-FDF4EAFCC0E0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3779364ae0fa5ae4596ece173f0bb9c5b726edd2","datavalue":{"value":"functions over k-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1122569$FB3259D3-033C-4B35-B276-CD4465FD76FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be3ce0e4cbb884e39b79dd20c25f7694094ae2d5","datavalue":{"value":"semigroup of endomorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1122569$A18F4295-7E0C-4DD8-AB84-AD3698A903D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8db3395418ef97bd5a003e7dc8a17940fb14ddd","datavalue":{"value":"automorphism groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1122569$D486413A-4020-492A-B1D9-E8F2074D5EC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63a0b5bbdbffeb2f6d94dda6a7bccbc2173775aa","datavalue":{"value":"hypergraph","type":"string"},"datatype":"string"},"type":"statement","id":"Q1122569$B5EAFD27-0609-4ABE-AC03-E06C73B2946B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a70eb255db58b1b2b90f33f4fe4a154901c6aeb8","datavalue":{"value":{"entity-type":"item","numeric-id":590723,"id":"Q590723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1122569$C0668308-8392-40AE-935E-C66AABF8D2D7","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":"Q1122569$539EC47C-8DBD-4AA1-B3B3-4BE5EFC7FBC5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db0e7dca8b654331624bd523ec9eff359015263f","datavalue":{"value":{"entity-type":"item","numeric-id":3140296,"id":"Q3140296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f363dde40b4af11b80989c0ea61d8e3ab7e4d62c","datavalue":{"value":{"amount":"+0.7947458624839783","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":"Q1122569$19CAE7E4-92FE-40C5-B27B-37B33503797D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f43161c1a93c38f9992905335272cf9aa0b68910","datavalue":{"value":{"entity-type":"item","numeric-id":3360163,"id":"Q3360163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3a0b49075a0256b8df4188ace55a4b4d686b9b8","datavalue":{"value":{"amount":"+0.7942742705345154","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":"Q1122569$325FD883-EE7B-4D3F-A9D3-5EF85318F59B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a43a7e3e16d75cdea4786a6a4a76d9df36eb0de","datavalue":{"value":{"entity-type":"item","numeric-id":3720566,"id":"Q3720566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac5dbbb26628095bdc9eda54778d3b085b5146ef","datavalue":{"value":{"amount":"+0.7897626757621765","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":"Q1122569$2A8FCDB6-5FBB-44A7-9A1E-FDF80872F9D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d30674785bc8c37d8d33abbfa458b0691d1a4bf","datavalue":{"value":{"entity-type":"item","numeric-id":4316713,"id":"Q4316713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a53ca9e98361ab849d06d587d3637f1390db4f0","datavalue":{"value":{"amount":"+0.7686600685119629","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":"Q1122569$72AFF9E5-EB3B-47B5-B7ED-72D265DADA7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"316b84c182a84e321cdef8e8233b3241f4618246","datavalue":{"value":{"entity-type":"item","numeric-id":4840975,"id":"Q4840975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"817501d6420deb31f1a551790abbe616a50818b8","datavalue":{"value":{"amount":"+0.7681993842124939","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":"Q1122569$4B1BCADB-DB6B-4EA2-ADF1-261C9ECA7CF4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Predicate transformations in a k-valued logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Predicate_transformations_in_a_k-valued_logic"}}}}}