{"entities":{"Q933857":{"pageid":935705,"ns":120,"title":"Item:Q933857","lastrevid":65562849,"modified":"2026-04-12T03:27:08Z","type":"item","id":"Q933857","labels":{"en":{"language":"en","value":"Unsolid and fluid strong varieties of partial algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5304382"}},"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":"Q933857$6A865397-15D3-42AB-A058-01C88F452D35","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3f8eb4566989a81fe0590b6d648b70ccbe7bcd92","datavalue":{"value":{"text":"Unsolid and fluid strong varieties of partial algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q933857$CB119641-3C7D-486D-8D05-74D7450DBC63","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"904f64f57a8ce292489248b1d1ecdeb3ea83efd8","datavalue":{"value":"1141.08003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q933857$94B5A479-DCC7-48E8-B159-140250749A40","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"74a7e4e15da70f55a7de4fa52b584edc0da7bc76","datavalue":{"value":"10.1155/IJMMS/2006/68534","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q933857$A1CB94CC-8FF9-413B-BCC5-DEC970E6FBB2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c4d14f6de16fedb57ef2f0703ad32e93709741b1","datavalue":{"value":{"entity-type":"item","numeric-id":162459,"id":"Q162459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q933857$3FF9D1EA-0A11-40CA-BA33-0239C022D1F2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"60a248c52134c1d37399326068b8b43c7e9797e9","datavalue":{"value":{"time":"+2008-07-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":"Q933857$39269768-1B01-4D23-AA3F-526F931ADB30","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0e1cd068f1ec02bcedb73196c2019d8ae369fb3d","datavalue":{"value":"https://eudml.org/doc/54342","type":"string"},"datatype":"url"},"type":"statement","id":"Q933857$766A6548-D811-4AD1-A2A7-50A336290CCC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d16b62fc9a1286465b8a4930b6c6c573462bbc51","datavalue":{"value":"Summary: A partial algebra \\({\\mathcal A}= (A;(f_i^A)_{i\\in I})\\) consists of a set \\(A\\) and an indexed set \\((f_i^A)_{i\\in I}\\) of partial operations \\(f_i^A: A^{n_i}{\\multimap\\to} A\\). Partial operations occur in the algebraic description of partial recursive functions and Turing machines. A pair of terms \\(p\\approx q\\) over the partial algebra \\({\\mathcal A}\\) is said to be a strong identity in \\({\\mathcal A}\\) if the right-hand side is defined whenever the left-hand side is defined and vice versa, and both are equal. A strong identity \\(p\\approx q\\) is called a strong hyperidentity if when the operation symbols occurring in \\(p\\) and \\(q\\) are replaced by terms of the same arity, the identity which arises is satisfied as a strong identity. If every strong identity in a strong variety of partial algebras is satisfied as a strong hyperidentity, the strong variety is called solid. In this paper, we consider the other extreme, the case when the set of all strong identities of a strong variety of partial algebras is invariant only under the identical replacement of operation symbols by terms. This leads to the concepts of unsolid and fluid varieties and some generalizations.","type":"string"},"datatype":"string"},"type":"statement","id":"Q933857$CDF6CC74-FFA5-4021-9AD3-903AAAF13D09","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"88f26c5e5c8e9b1a1b9fcd1e726cfac3efaf2593","datavalue":{"value":"08A55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q933857$704C73E2-DB4F-4C10-9B9A-0F9818CA195E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cb2fc5c8257a7b98fa92dc176d9ed2acc92fad3b","datavalue":{"value":"08B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q933857$20B16372-170E-46DD-93CF-F2AC6CCC39B4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"888645dff071fc6f1c367b65be32e3498596d143","datavalue":{"value":"5304382","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q933857$BF797644-313A-48C3-B1D4-387955C2D235","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a2d5827cd131a61bcf16534f2772a9020266437","datavalue":{"value":"partial algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q933857$C1A3236E-686F-4BF8-A14B-115BAFA1C260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c62ba4e93fb9238ca0c743f42146a1701f328305","datavalue":{"value":"partial operations","type":"string"},"datatype":"string"},"type":"statement","id":"Q933857$B082D71D-DF88-43D7-818C-7356F505945F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95dcc09e58e1fddf896bb0a10c7228c5e2053bb4","datavalue":{"value":"strong identity","type":"string"},"datatype":"string"},"type":"statement","id":"Q933857$129478A1-42C2-49E9-A10D-4345A9E63804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7046ab93c1f64979db2b4880942660747ac6b3c","datavalue":{"value":"strong hyperidentity","type":"string"},"datatype":"string"},"type":"statement","id":"Q933857$09307623-AABE-40E1-929A-3E9089FD5F1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff3a293ab7f80f2703b63638e732cce92bae1c30","datavalue":{"value":"strong variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q933857$C2B7EF90-F1AC-4FB5-82AF-E10E615A90F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"485daca71be23cb71877a7b583e7c6f0b0c235b9","datavalue":{"value":"unsolid variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q933857$FA11839A-5A73-45D6-8A4E-E633F700F716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7302ce146b7474903cbbeb17b0edc2ca969abbfe","datavalue":{"value":"fluid variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q933857$B01E5BEB-D562-4CDD-B078-153A7DF378D1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8dcbc6bbeebe0f0d62e9463917d1473430cdcd81","datavalue":{"value":{"entity-type":"item","numeric-id":286949,"id":"Q286949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q933857$BFFE4B92-55FE-4228-8251-008060406E21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"48a3ff1d817d1b69c87ea41d273be250b65bac94","datavalue":{"value":{"entity-type":"item","numeric-id":345246,"id":"Q345246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q933857$61F73EE9-1B79-43B5-A987-67783A611DD5","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":"Q933857$D205E545-5367-4952-AB64-B7DDDF263E01","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f528f53ea93cb92a436110dcbe2504d806ab791","datavalue":{"value":{"entity-type":"item","numeric-id":2365249,"id":"Q2365249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q933857$245520D9-2630-49BA-95D7-DC7A2BC0938A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a07700503ce4299f2b802ac0bfc01f5648401a4c","datavalue":{"value":{"entity-type":"item","numeric-id":3731650,"id":"Q3731650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q933857$E319C3E9-A4AF-407F-8982-3A40897C1D80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"308d0a43b2112246f4ae00ce8e0a97eb2f04a38f","datavalue":{"value":{"entity-type":"item","numeric-id":2569316,"id":"Q2569316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q933857$C2E62D67-E190-4508-94DB-1507C59081C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e921bff958b31f5d9f1d763f6373694294ac1387","datavalue":{"value":{"entity-type":"item","numeric-id":3032234,"id":"Q3032234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q933857$CA65E219-263F-4251-84B9-B0917A9C6594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4c2764553c03a19b1c6b7b4100933bc390d8117","datavalue":{"value":{"entity-type":"item","numeric-id":3203006,"id":"Q3203006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q933857$0D512729-6191-48A9-A268-6F5EFDE19532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b39b2a2decd5fe44359081fd902bf8df2616591","datavalue":{"value":{"entity-type":"item","numeric-id":4510394,"id":"Q4510394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q933857$1B0DE4F6-2380-44B6-AEF4-CB61802E94CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8922cabb7843d1428c664397060d2887e7c438eb","datavalue":{"value":{"entity-type":"item","numeric-id":2784580,"id":"Q2784580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q933857$E5AAF175-98EE-4A5D-9D40-E03FF3D04499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1a4a1395dc9d9f51a1853ce64a6c7f9f943c09b","datavalue":{"value":{"entity-type":"item","numeric-id":5183562,"id":"Q5183562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q933857$3249696D-C8B1-48DB-8746-1CDF508BCE0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ead0739bbe4b1d28a9f236eac595b15ac9c3666","datavalue":{"value":{"entity-type":"item","numeric-id":1319050,"id":"Q1319050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q933857$EE4E2DA5-C4AF-4D02-A66A-980A1D72D100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abe59e4ae6171a5097fd33c49d4d098b83fbae0d","datavalue":{"value":{"entity-type":"item","numeric-id":4351280,"id":"Q4351280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q933857$F6637690-9577-4E0A-80CC-4894B2F42B2E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"381d1f6ec6593afc2c0b4abb56e30dae4b02d906","datavalue":{"value":"W2146950476","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q933857$88BD9B4D-C180-4D4E-8B85-5B7897B1AE20","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83ffc1dd8edf5220091ffde2b6236dc3d6f7069f","datavalue":{"value":{"entity-type":"item","numeric-id":3626029,"id":"Q3626029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4a87dbe7646fbf3bc1fe6dd4ed33dbe32b5fef2","datavalue":{"value":{"amount":"+0.8403514623641968","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":"Q933857$630FC9CF-2317-4DD6-9A9C-CDA2D96727FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a5b214678deee4c8e8b340debc24216d0a53dbc","datavalue":{"value":{"entity-type":"item","numeric-id":5413432,"id":"Q5413432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"782d1ee72730f1a12bcc3350da0ec1d01a3331fd","datavalue":{"value":{"amount":"+0.8352195024490356","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":"Q933857$C3EA5989-057A-4900-AE9A-0BD60B88CEE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ad07cec1bf4a4ea8d401e23fcdcb9108915a92d","datavalue":{"value":{"entity-type":"item","numeric-id":1177859,"id":"Q1177859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3707ba6ff47d8f6a38d6560c9c60e7ded0dd94ad","datavalue":{"value":{"amount":"+0.8310028910636902","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":"Q933857$AC27799D-1E9C-4AED-924C-BBB5F9C404EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b146dabe5980e4ce000bbc8ed1071ce4456dc99","datavalue":{"value":{"entity-type":"item","numeric-id":2569316,"id":"Q2569316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55d6eee3d8c7b8180b97f389c24b3e703383c259","datavalue":{"value":{"amount":"+0.8247106075286865","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":"Q933857$5553A65A-3BA9-4E7F-A216-6CC17C6EEE3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"357ee40889d67f5703464c84cf0d209b8388b06d","datavalue":{"value":{"entity-type":"item","numeric-id":3645736,"id":"Q3645736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74c7c54a4adc66e7282b5a3c5b3fea567e9098bd","datavalue":{"value":{"amount":"+0.8142889142036438","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":"Q933857$D8AD4156-5935-4673-9A05-36267BB05E5C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Unsolid and fluid strong varieties of partial algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Unsolid_and_fluid_strong_varieties_of_partial_algebras"}}}}}