{"entities":{"Q932624":{"pageid":934472,"ns":120,"title":"Item:Q932624","lastrevid":65443995,"modified":"2026-04-12T02:38:27Z","type":"item","id":"Q932624","labels":{"en":{"language":"en","value":"Extendable local partial clones"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5300633"}},"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":"Q932624$098F0198-5C87-44A5-9667-5193A1CE646F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"076a6316b6920e9ce54fd12e697894070ad98516","datavalue":{"value":{"text":"Extendable local partial clones","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q932624$0CEBBAE2-18A8-41F2-91F2-0CBAAD68B90B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"255b4817e8c5cdfb3e2dedc843a3f43eb6737397","datavalue":{"value":"1144.08005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q932624$74E8CA21-6E17-4BA2-B543-F6BA10D8D97B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"38665fe4ed2b835132254a58832c329597060029","datavalue":{"value":{"entity-type":"item","numeric-id":175483,"id":"Q175483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932624$1E86ED66-8D95-48E6-8E78-AD86141E862A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"37182800059ed633e356c0f78cd13f10c8c7f234","datavalue":{"value":{"time":"+2008-07-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q932624$DE73FA12-1FE4-4461-B072-8DF8B3584928","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7ab2c7112abf95cd0813cb94063fdadbdb88bfa0","datavalue":{"value":"Let \\(E\\) be an infinite set, \\(O(E)\\), \\(P(E)\\) be the sets of all everywhere defined (respectively partial) operations on the set \\(E\\), \\([F]\\) be the clone (partial clone) generated by a set of operations \\(F\\subseteq O(E)\\) (\\(F\\subseteq P(E)\\)), Loc\\((F)\\) be the local closure of the set \\(F\\), defined by \\(g\\in \\text{Loc}(F)\\) iff for every finite non-single subset \\(A\\subset E\\) such that the restriction \\(g|_{A}\\) is non-void there exists \\(f\\in[F]\\) such that \\(g|_{A}=f\\) on Dom\\((g|_{A})\\). A (partial) clone \\(\\mathbf{A}\\) is local if Loc\\((\\mathbf{A})=\\mathbf{A}\\).  It is shown that a local partial clone \\(\\mathbf{B}\\) is maximal in \\(P(E)\\) iff for every finite non-single subset \\(A\\subset E\\) the restriction \\(\\mathbf{B}|_{A}\\) either is the full partial clone \\(P(A)\\) or (at least for some \\(A\\)) is a maximal partial clone on \\(A\\). Let Pol\\((\\mathfrak{R}\\)) denote the set of all partial operations which preserve a set of relations \\(\\mathfrak{R}\\) defined on \\(E\\). A partial operation \\(f\\in\\text{Pol}(\\mathfrak{R})\\) with finite domain is called extendable in a local partial clone \\(\\mathbf{B}=\\text{Pol}(\\mathfrak{R})\\) if there exists \\(g\\in\\mathbf{B}\\cap O(E)\\) such that \\(f=g\\) on \\(\\text{Dom}(f)\\); a local partial clone is extendable if every partial operation from it with finite domain is extendable. It is shown that for a single relation \\(R\\) on the countable set \\(E\\) the partial clone \\(\\mathbf{B}=\\text{Pol}(\\mathfrak{R})\\) is extendable iff each relation constructed by a \\((\\exists,\\&,=)\\)-formula from \\(R\\) is equivalent to a relation constructed by some \\((\\&,=)\\)-formula.   All partial orders \\(x\\leq y\\) on the countable set such that the partial clone \\(\\text{Pol}(x\\leq y)\\) is extendable are characterized and a description of all extendable maximal local partial clones on the countable set is obtained.","type":"string"},"datatype":"string"},"type":"statement","id":"Q932624$BAC10AE4-F671-4C64-851C-8CBA6749823F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4e1df29911c330da2d8d89435a35b182dae9e523","datavalue":{"value":{"entity-type":"item","numeric-id":589408,"id":"Q589408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932624$C8A5B1B9-75ED-4AE5-AEA6-3D7CCF7D1FEC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"602d7e96b613d2f356db81712453cadad0417631","datavalue":{"value":"08A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q932624$0FA8952E-6D34-4563-9324-B37E3148816B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"88f26c5e5c8e9b1a1b9fcd1e726cfac3efaf2593","datavalue":{"value":"08A55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q932624$7EEA549D-D65D-41EE-8A12-8894C0BC7B71","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"919cbc76931bdf388e262ecdfcc2565176976f73","datavalue":{"value":"5300633","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q932624$2579D2B4-DDAA-4AA9-AD68-26DEA835AF8F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b75778d7292c074c748ebf7aee7d8e929780da46","datavalue":{"value":"local partial clone","type":"string"},"datatype":"string"},"type":"statement","id":"Q932624$A4CC0402-7FED-405C-BB35-BAE1BC03A33F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac7cf189284be14301bcb814101ad7650e2604e6","datavalue":{"value":"maximal clone","type":"string"},"datatype":"string"},"type":"statement","id":"Q932624$6FD8D6CE-27AC-4D3F-9AC0-24330BB2D3F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"414361560c4aa23a024425399a79b1296bd294ee","datavalue":{"value":"extendability of partial operations","type":"string"},"datatype":"string"},"type":"statement","id":"Q932624$50B333E0-B5E0-414C-A3B9-5E0A5E330B7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"005c8a721a17929897fdafd846795abe2169948e","datavalue":{"value":"extendable partial clone","type":"string"},"datatype":"string"},"type":"statement","id":"Q932624$A1C4EBF5-D2B0-4E06-96CA-5DF345011B9F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1cba6446107195042f50d207787b41a4dbd4c19","datavalue":{"value":{"entity-type":"item","numeric-id":271697,"id":"Q271697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932624$665950BE-9284-4B79-B1B9-B71B386C1541","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":"Q932624$6E8A0761-22AA-4478-8E94-BE83BE4B2C8D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5bb61001cb06b9138a67fd7157a319cd1aa5b1e3","datavalue":{"value":"https://doi.org/10.1016/j.disc.2007.07.080","type":"string"},"datatype":"url"},"type":"statement","id":"Q932624$C454733A-1ABA-4214-8831-7C67ED2D8CA6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"75c533954d2dd426313e4514b15a738508ac38ee","datavalue":{"value":"W1968084296","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q932624$57CCB08C-6268-4344-B5FB-C1D8C855049F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a96965e4b24de2b00663d74df6a735a9ed88bcae","datavalue":{"value":{"entity-type":"item","numeric-id":5613923,"id":"Q5613923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932624$8EBFAB1C-BC0F-4B1C-B9C3-C9BB4E480391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d49d96a9389dc464cf7afcb91013bd72b790e00","datavalue":{"value":{"entity-type":"item","numeric-id":1383161,"id":"Q1383161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932624$439AAC81-86ED-4B9B-BDBF-456CD422EDD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a7740cfc6072b49b113f76e886af169e5536e6b","datavalue":{"value":{"entity-type":"item","numeric-id":5515373,"id":"Q5515373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932624$51CCDC65-1E95-4477-9F23-4FE0C4BF0307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25ac9b94479986b4cb02b2e68fcb05c7f04e2a7b","datavalue":{"value":{"entity-type":"item","numeric-id":3491589,"id":"Q3491589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932624$23ADB85E-4073-44D8-9E26-3203002B52AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d13cb990db00e1167e0eb8766abdf0146fcc7e66","datavalue":{"value":{"entity-type":"item","numeric-id":1205169,"id":"Q1205169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932624$60D883E1-F7D2-45F3-8653-D60FAA51B0AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f9fb13b32d10c81d1f4db4ecc1808d7853fdde6","datavalue":{"value":{"entity-type":"item","numeric-id":3890691,"id":"Q3890691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932624$249EAFE6-DC94-487F-88A5-BA4F8518C5C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bebedbf13874b9ef42ab57c21d511466dac18346","datavalue":{"value":{"entity-type":"item","numeric-id":3918109,"id":"Q3918109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932624$459B93DB-80FC-4F88-8FC3-DFDFE0F1617D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47d25726c80d06eed121b8a8d3bc7bcfb80da686","datavalue":{"value":{"entity-type":"item","numeric-id":3754597,"id":"Q3754597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932624$F57C5888-6D48-4F14-B8ED-660B6580D896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"576da6db824e98ee0535a30132da21c4d74385e6","datavalue":{"value":{"entity-type":"item","numeric-id":4732444,"id":"Q4732444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932624$FD2844F4-E5C8-40ED-BF41-C833CDBCC243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ff3114013ec3471dff6e4bf2f618a105f5cf740","datavalue":{"value":{"entity-type":"item","numeric-id":4007503,"id":"Q4007503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932624$30DDE7CB-3BC2-47E1-9F32-48A26BD6DD8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c201a6eadede010c62e4afcdfba156b3b6d58cd","datavalue":{"value":{"entity-type":"item","numeric-id":1816327,"id":"Q1816327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932624$09FE3AF6-0D7B-48E5-9655-4EE54C013B8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f4a2df9f611739dedb0650be1713403de5266e0","datavalue":{"value":{"entity-type":"item","numeric-id":1899532,"id":"Q1899532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932624$874E579E-C93C-4BF1-88C7-4FF3D4E46F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7726ad0eb73fd83ea3b1352297e443a627f05dd6","datavalue":{"value":{"entity-type":"item","numeric-id":5597508,"id":"Q5597508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932624$4FE8DEB9-60AF-464A-B21F-DFCC03384121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d111a0fb430f0d49c10af5a8e040a794b266389e","datavalue":{"value":{"entity-type":"item","numeric-id":3659773,"id":"Q3659773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932624$CD5D0ED4-5AEC-45AD-904F-CDA507D6E4F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92fed054b692951a23d9c05dd5fd512748ebd060","datavalue":{"value":{"entity-type":"item","numeric-id":759784,"id":"Q759784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932624$04C35748-3341-47BF-BC1B-23CCD4A250B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb60ac7e8f10faa46b0f8475c4e5e611f3808fdb","datavalue":{"value":{"entity-type":"item","numeric-id":4168658,"id":"Q4168658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932624$0E24B558-85B0-4427-9AC9-5B25B274DA46","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"78a8f526eb4a3035b61987bda21677605e52f55a","datavalue":{"value":"10.1016/J.DISC.2007.07.080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q932624$4763EE1F-7CC4-4CD0-90A7-AA8E7FB8E42B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e84866994e06b820abf70bbaca7c2dc5366d157b","datavalue":{"value":{"entity-type":"item","numeric-id":271698,"id":"Q271698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e730b149bca34b3a443b5d43b30841291e32a5d","datavalue":{"value":{"amount":"+0.8202585577964783","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":"Q932624$30C10EB2-7FC2-439A-857B-9293EB9D2AED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e47ffd40d45ec2563429ae5d7c8e9652320c46a1","datavalue":{"value":{"entity-type":"item","numeric-id":4963137,"id":"Q4963137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eca359ea0c8d77774d84b787a61a5f3cbbc74da1","datavalue":{"value":{"amount":"+0.815650224685669","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":"Q932624$087DF836-468B-4EE9-B342-40C3F1B86F11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26c540d9d8f17168546acad4afc6393924c5610c","datavalue":{"value":{"entity-type":"item","numeric-id":3204521,"id":"Q3204521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aeaa10185f2129af2c6467f831f48ff03d6623f8","datavalue":{"value":{"amount":"+0.8155122399330139","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":"Q932624$B6045133-580D-477F-AE93-EAE7B87993F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b84be86741d8e8eb8da572d5ce0ee93456a4e79f","datavalue":{"value":{"entity-type":"item","numeric-id":3515201,"id":"Q3515201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57803fcc59cad1d9dd69720af290cd4e34afa500","datavalue":{"value":{"amount":"+0.8040071129798889","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":"Q932624$1835BAEB-CD17-4F03-8AD6-727184944324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b17bd15b350310f5fac5f2ada8bbe26f95e69aee","datavalue":{"value":{"entity-type":"item","numeric-id":4380581,"id":"Q4380581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3ee9e26e110ba755d31324b3483c1109d562396","datavalue":{"value":{"amount":"+0.7959890961647034","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":"Q932624$41FD876D-3804-4CA8-A705-615F596685E7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Extendable local partial clones","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Extendable_local_partial_clones"}}}}}