{"entities":{"Q2372304":{"pageid":2383047,"ns":120,"title":"Item:Q2372304","lastrevid":50136224,"modified":"2026-01-13T06:21:49Z","type":"item","id":"Q2372304","labels":{"en":{"language":"en","value":"Formulas on the lattice of fuzzy subalgebras in universal algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5174604"}},"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":"Q2372304$9C7C09DE-D657-4C8E-93C3-1DF378F01C82","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"29bb8b1b51a9c67e4e335d25d40321bbfb16211f","datavalue":{"value":{"text":"Formulas on the lattice of fuzzy subalgebras in universal algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2372304$32869493-4E09-4D1A-B793-5D3C7EFB8F03","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4150afaad0aadc3fede5c16dea61ddb0a7cb7c0f","datavalue":{"value":"1119.08003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2372304$55115DEA-12E0-4ACF-B43B-35275D4BFAB1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"75ab73cc36f89e271a95ac4d9ffb64b1fb678b8d","datavalue":{"value":{"entity-type":"item","numeric-id":1197839,"id":"Q1197839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372304$9DDF534F-5B91-4460-BFF1-D5D3D072FB87","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"784d2dc06e2a3bb008e6a3a15801a0f0231d6262","datavalue":{"value":{"entity-type":"item","numeric-id":65161,"id":"Q65161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372304$D1DFFFD4-7370-4877-B4B3-3009C571EE36","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9850a72e39ccbc6a62f1dd3261d358be6eb27b51","datavalue":{"value":{"time":"+2007-07-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2372304$E3C3E50F-0FAF-4898-8014-F68AD638D49F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7f0b0b42c7befd08d97e7ac611c9d332bf54dd40","datavalue":{"value":"The transfer principle is studied. The notions of transferable form and strict-transferable form of open formulas are introduced and it is proved that the transfer principle holds both for universal sentences whose matrices are of the former type and existential sentences whose matrices are of the latter type, giving the equivalence for every abstract algebra. In order to study when a given general sentence satisfies the principle, the Skolem normal form is examined.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2372304$0006E795-AA02-4FA2-85A0-D2226E69FDA3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f315114bda520f32970f07c038b7f01adc0fd386","datavalue":{"value":"08A72","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2372304$0C6244FC-3E4A-42EA-949C-90B604B938C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2372304$8F57AFFA-BBF9-4BA8-A49E-0F3CCA237059","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1977c7d53b82ddd86ca38465535ddff3c7fcbee4","datavalue":{"value":"5174604","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2372304$CCE517F5-798B-496C-B54A-321DFBEF54F8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a19a7853fd60adfe0b4cdf45b8accacb4305abbc","datavalue":{"value":"fuzzy subalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2372304$4E6C7C04-30F5-4364-B57A-7F06B988954B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5e419648daee84246ea87ee9b915b28e3bdb676","datavalue":{"value":"first-order formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q2372304$847FF6A4-AF1E-49C4-885F-FF6F88E281F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5aec7afc1616730a527713cdef777f5d510a5432","datavalue":{"value":"Skolem normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q2372304$319F0A74-11F6-4451-B9C5-8F6E5EED77D9","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"9cc5f7effc0f7b49385411bb7354d3da876c65ec","datavalue":{"value":{"entity-type":"item","numeric-id":1160486,"id":"Q1160486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372304$A12BB88B-CB3E-4E88-BBB9-BE3655E315EB","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":"Q2372304$7732A589-A499-448C-BCA0-32B92D76AFAE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9325ec2e4fc80a1030bcefdad30c4176dda0f5fb","datavalue":{"value":"https://doi.org/10.1016/j.fss.2007.02.017","type":"string"},"datatype":"url"},"type":"statement","id":"Q2372304$C61CFB9D-C272-47DD-9FA7-26382833C47E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a23630b2159b961968e61ad975a79bc73df540d1","datavalue":{"value":"W2082608248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2372304$A3AC5F9E-5D36-45A8-AE1F-10EB9F263573","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b309df6eae9b894248cd223ce30723708ea545c","datavalue":{"value":{"entity-type":"item","numeric-id":1771915,"id":"Q1771915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372304$6EB12955-BABB-4F53-8B1B-41E19C38ACDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"098ff699ba8ecb8968a186bb6ccdc9652be1cf91","datavalue":{"value":{"entity-type":"item","numeric-id":807657,"id":"Q807657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372304$C868A367-23B9-4E67-88AF-F47A498D2B23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91a72a5cbbfc13f18b8e827e5ec39e5abe367f3c","datavalue":{"value":{"entity-type":"item","numeric-id":809113,"id":"Q809113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372304$6E282269-9336-43F9-9468-677FC62389C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b92ad55d423b35bc4c2f7b1fcbb8fc8ceb12dcf8","datavalue":{"value":{"entity-type":"item","numeric-id":3994458,"id":"Q3994458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372304$B8E5713B-5D42-4D5A-8072-83D4B8C3CF24","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"06fdd3805d6b24bf4d301d821c0df78e85d4a82f","datavalue":{"value":"10.1016/J.FSS.2007.02.017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2372304$D0E881F8-8068-4DBA-A6F1-F66DE331E5AE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2003e39c99d13ee9021747838a880914c22b60b","datavalue":{"value":{"entity-type":"item","numeric-id":1771915,"id":"Q1771915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b86ef443f4ff27ef92ac7311033d1d689c55127","datavalue":{"value":{"amount":"+0.8228257894515991","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":"Q2372304$F451266C-AD3B-47B7-B02D-0A6DD5CF76D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"317798fdb322599989e199a66516f9e08648f990","datavalue":{"value":{"entity-type":"item","numeric-id":2049265,"id":"Q2049265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39cf4c7d8897871b7040fd7dfa1ec11161cfd613","datavalue":{"value":{"amount":"+0.7976663708686829","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":"Q2372304$BF30B1C5-ABB6-4E8C-84B4-99F4B2B9A4DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"865be2546146daa79658433e6ae00d38e040bffc","datavalue":{"value":{"entity-type":"item","numeric-id":780280,"id":"Q780280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"687cfba2bfefd920aef996b9f3fee33218dfd034","datavalue":{"value":{"amount":"+0.789466142654419","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":"Q2372304$C1F03C11-3968-4BAA-A1E2-14DE06AF3E7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25939bd637cb766242c127346f6d82236c874dc5","datavalue":{"value":{"entity-type":"item","numeric-id":1292580,"id":"Q1292580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59782e723b35d4b5e3464ef34b93f16bff5983cf","datavalue":{"value":{"amount":"+0.753847062587738","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":"Q2372304$98BC7F3A-4570-4208-B875-41780B7DBCDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2524a08cf47c6c108be9a4ac97cd57e7a97d79b8","datavalue":{"value":{"entity-type":"item","numeric-id":4919668,"id":"Q4919668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f554996857a2b6137930cdf740ece2e3f1a2bb57","datavalue":{"value":{"amount":"+0.7537148594856262","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":"Q2372304$CA3E9C3E-7EE7-49EB-8B7C-2D2F77AABE9F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2372304","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2372304"}}}}}