{"entities":{"Q2366147":{"pageid":2376890,"ns":120,"title":"Item:Q2366147","lastrevid":46344111,"modified":"2025-12-24T14:53:15Z","type":"item","id":"Q2366147","labels":{"en":{"language":"en","value":"Sheaves of implicit operations in weak varieties of partial algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 223310"}},"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":"Q2366147$C9785069-2A47-455F-850F-EAB1315D4DBA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"09232cca3de401200ed5b1efbf4789ed462e24ed","datavalue":{"value":{"text":"Sheaves of implicit operations in weak varieties of partial algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2366147$67963915-5FC0-48A6-B03D-4B2F2F011658","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cca7949d4bc3372e7e5f5fb3a85d566057871dba","datavalue":{"value":"0784.08004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366147$BDBB1214-2F2B-498D-9441-188F19768CF2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"32e79cce369ca826ad2d6b0bd5c5b565b91403c4","datavalue":{"value":"10.1007/BF01196551","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366147$2F0831C0-991D-4BAB-81C1-FA43BF0A610D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d6519b97446fb3efa6820e23955c851f2259c7d","datavalue":{"value":{"entity-type":"item","numeric-id":685397,"id":"Q685397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366147$6C6BD535-87B8-4A28-9172-8F9F3B7AF822","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":"Q2366147$3A9FAA10-DE4D-4E45-A437-1814FE04D3F8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be4381b75afe2df0dbe37cd1a66e006418c0c5aa","datavalue":{"value":{"time":"+1993-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2366147$36E3A3B4-B743-48CB-A683-806FE0F0D886","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5d86bc0a6418e54a0ee0525c498108f9ae28fe3b","datavalue":{"value":"\\(n\\)-ary (partial) implicit operations in a (weak) variety of partial algebras \\(V\\) are defined as ``almost natural'' transformations from \\(U^ n\\) to \\(U\\) for a naturally defined forgetful functor \\(U: V\\to Pfn\\) into the category \\(Pfn\\) of sets and partial functions.   This concept generalizes the notion of a term operation in the sense that both concepts coincide provided \\(V\\) consists of total algebras only. The notion of the spectrum of a weak variety (introduced in an author's earlier paper) serves as a base for an inner classification of implicit operations. A logical description of implicit operations is given showing in particular a relationship between them and term-operations.   If a weak variety \\(V\\) is elementary (i.e. it has a first order description) its spectra may be endowed with a suitable compact and total order disconnected topology. This leads to the main result of the paper which states that locally finitely definable implicit operations with fixed arity form a sheaf on this topological space (Theorem 3.9).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2366147$8A3EB966-3E82-4BFE-ADB6-F7651F35A960","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"88f26c5e5c8e9b1a1b9fcd1e726cfac3efaf2593","datavalue":{"value":"08A55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366147$E61BB241-2AFC-4007-95E3-5FF01C2F3357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cb2fc5c8257a7b98fa92dc176d9ed2acc92fad3b","datavalue":{"value":"08B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366147$C9504490-FA68-436F-9874-8F400E246C68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8e11c3b849997ecc24b1ba169659dfe9d73b854e","datavalue":{"value":"18B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366147$754688DB-6126-4B77-8244-C9515F405F9C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3a66e9568519fff753be7125c671fc96b536cb4e","datavalue":{"value":"223310","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366147$CE83733A-28C6-4F72-950E-BA3F01D310A3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d89507687ef1c548dc487dc04f7d5603aa5c8fb","datavalue":{"value":"implicit operations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2366147$88C5FD4F-9D9A-42D6-BD95-9AA15130DC6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f478bf7da124b347b5a611b9d46e97db93d600e3","datavalue":{"value":"term operation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2366147$F946B8B7-7F10-410E-B27D-FC8B24B460EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f822ee25fa23673afec2f968ff6bf30b770cf3b5","datavalue":{"value":"spectrum of a weak variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q2366147$E8799770-4D78-4D39-99E5-4ADC359599B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef4fb6209743a386ca52200ab2232f94b76c3c29","datavalue":{"value":"spectra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2366147$161FF12F-B256-4535-9BDD-3C2A42C74B17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8720c1918f13ab6dff6f75ec32ebe52d68ef4ca5","datavalue":{"value":"total order disconnected topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q2366147$4232F3EC-73C7-439D-B915-70D9B7078C2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4206566d0afa53bb7a16bd7889863239df871a1b","datavalue":{"value":"sheaf","type":"string"},"datatype":"string"},"type":"statement","id":"Q2366147$B73DC180-E6AE-4D93-B88C-1FB923405F33","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":"Q2366147$B4FEA94C-643A-4167-8B10-7B1AEE9F53E1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1174921d2198a7a0d271408b7f7ffece05cb14ff","datavalue":{"value":{"entity-type":"item","numeric-id":3666908,"id":"Q3666908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366147$AAE5117B-BBD0-4A73-B5CD-984C7E59F21C","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":"Q2366147$1967E07E-B750-404E-93F3-F1BFE4F94259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9ad1ca0c030444e5bd3d91e22695ff17d7ccef1","datavalue":{"value":{"entity-type":"item","numeric-id":3898534,"id":"Q3898534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366147$E5A7B647-3849-4EEC-9221-66B94DB9AE36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a649c39a50236ff7a05abfc5f2382ec77be6d456","datavalue":{"value":{"entity-type":"item","numeric-id":1112080,"id":"Q1112080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366147$F4B93029-7584-46EE-A2F3-7D7D9ECC361B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f78e5a4a2c2ae6252ea546a2c819dce4f8ea29a","datavalue":{"value":{"entity-type":"item","numeric-id":5720214,"id":"Q5720214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366147$8BF8EAFD-AFF0-4F72-B3FC-C2AE363F3465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5710c2aba8ef4c542de483ebfca6cf7849ca633","datavalue":{"value":{"entity-type":"item","numeric-id":3222242,"id":"Q3222242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366147$6F12DF5F-BF1B-434A-A020-59C2B793015C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36443093769a6cbdb09ed8569ecd63f4d20d7725","datavalue":{"value":{"entity-type":"item","numeric-id":1163585,"id":"Q1163585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366147$243F421E-8D86-4455-A926-A887334D7ED8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0146b62b893a508ce184ba4b444819b243c6c486","datavalue":{"value":"https://doi.org/10.1007/bf01196551","type":"string"},"datatype":"url"},"type":"statement","id":"Q2366147$D6834EC8-A16D-4E89-A241-C629521421A5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"773f6ad2a7605276013915da8830c8f721404815","datavalue":{"value":"W2061702047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366147$FA9683BB-710D-44ED-BD9C-F7878D7D558D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc1538849fc790f0f7d3c31ce659dbbe0ff3ec96","datavalue":{"value":{"entity-type":"item","numeric-id":1119673,"id":"Q1119673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79870df9df3b3527234171582ef66769b72af0f2","datavalue":{"value":{"amount":"+0.7960805892944336","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":"Q2366147$F0A03FFE-5902-4EAF-A8B0-FF8268F005A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db42184d0c4ba9006819f4b60789bff5e7abda84","datavalue":{"value":{"entity-type":"item","numeric-id":685398,"id":"Q685398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"568d394889fe5c6fb502f8de6b9edfb94140db5d","datavalue":{"value":{"amount":"+0.7840032577514648","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":"Q2366147$7A58A5E5-E83D-471B-9D4F-B417D47BEA9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81d04d6c8d34a3c44c4bef4dc3b6e014f10ad346","datavalue":{"value":{"entity-type":"item","numeric-id":1937750,"id":"Q1937750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe2fdcc0b174a919d8360b0cf36246f184e2c2e3","datavalue":{"value":{"amount":"+0.7724364995956421","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":"Q2366147$17631E59-035D-41C9-8C05-6D3792E92836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b567de85e51393f8d5df6d786ed4edbd437c58c7","datavalue":{"value":{"entity-type":"item","numeric-id":1112080,"id":"Q1112080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af9d76a3359d7b93de49eb7191ee1cf38d9e1776","datavalue":{"value":{"amount":"+0.77181476354599","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":"Q2366147$F7517A79-A9C9-49F9-B5CD-AD1D0B87A178","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2366147","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2366147"}}}}}