{"entities":{"Q1759277":{"pageid":1770019,"ns":120,"title":"Item:Q1759277","lastrevid":51599939,"modified":"2026-01-19T00:31:11Z","type":"item","id":"Q1759277","labels":{"en":{"language":"en","value":"Implicit algebraic geometry on categories of universal algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6108812"}},"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":"Q1759277$F4018C26-5700-4D06-BB6E-AA59F746AF05","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3e9a4b11825585f75360668681469eedbbf2aa24","datavalue":{"value":{"text":"Implicit algebraic geometry on categories of universal algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1759277$3AEC46DD-4C02-4D5B-A21A-9654D5985F2A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"280b99125b9739feb460b70108cb09a3c179a4a6","datavalue":{"value":"1263.18002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1759277$51A816A9-3DF9-447D-A231-66347A9C81A3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c3fcb1256604279d60c6b6283c36cd2672f2ea7f","datavalue":{"value":"10.3103/S1066369X12050040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1759277$E5FD13CA-4A0F-44A6-842C-FC64D68534DE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"62318960435ff4e0b6f0bda102e1b989b0fc569e","datavalue":{"value":{"entity-type":"item","numeric-id":268929,"id":"Q268929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1759277$66819E55-6852-4611-85E2-CDA85B9AE9B4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5cb1220cb4e1c4c12c8a88a3866d2c74b4982dfc","datavalue":{"value":{"time":"+2012-11-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1759277$6381F1EB-2A66-4E66-AF1A-3C0161A6D0D9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"23639b3c44b467d2d71eee59438ab73a4dd885fb","datavalue":{"value":"In previous papers, the author extended basic notions of algebraic geometry for universal algebras, as developed in particular by \\textit{B. Plotkin} and \\textit{V. Remeslennikov}, to what he called \\textit{conditional} terms and equations. This paper now considers replacing (conditional) terms by implicit operations. An implicit operation on a category \\(\\mathcal K\\) of universal algebras is often defined as natural transformations \\(f : U^n \\to U\\), where \\(U\\) denotes the forgetful functor \\(U : \\mathcal K \\to \\mathcal Set\\). The author adds to this the condition that \\(f_A (a_1,\\dots,a_n)\\) is in the subalgebra generated by \\(A\\) for every \\(\\{a_1,\\dots,a_n\\}\\) in every \\(A \\in \\mathcal K\\) (Note: This is presumably to cover the cases where \\(\\mathcal K\\) is not closed under subalgebras. However the main theorems of the paper are for subalgebra-closed categories). The main results in the paper extend previously known concepts and results on geometric comparability of algebras for pseudovarieties and pseudo-universal classes.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1759277$F7DE528B-8B06-4430-968C-CD1662989F6F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"396e0fd7e3b723e770d62f37cd362b49808d08c1","datavalue":{"value":"18C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1759277$F7983BED-A687-4730-8D2B-84B634919C0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09e3f6f9f4515e501bb92fb9409bdfc9c697dd7b","datavalue":{"value":"14A99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1759277$E0082B26-0179-4C50-A8D5-C383B9306B7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3d53f4f8504531dc1d4f34947ee793dc8e8b2ce8","datavalue":{"value":"08C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1759277$92AEE3C9-1859-41AD-A892-80E334F93A12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6ed618702b057009a2070ae378cd09839bebae6c","datavalue":{"value":"08A99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1759277$E2A89268-F7A5-4EB9-84E2-B2FEFB04BB2E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d86c8dbc32fd3d46d3c6929f9a9e0253adcf16b4","datavalue":{"value":"6108812","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1759277$D1CCACA4-48A5-451F-96A7-8D925C78F9F2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31ceb54759c178e577542b6a88e680e2e1617e41","datavalue":{"value":"conditional algebraic geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q1759277$33C0E3EC-555D-4F06-9A5F-530F84E55069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56c8d3db59bc95092912bdb709b9157481dd5adf","datavalue":{"value":"geometry of universal algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1759277$7281E084-E018-49AF-A20F-65600940D48B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d89507687ef1c548dc487dc04f7d5603aa5c8fb","datavalue":{"value":"implicit operations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1759277$D4BA125B-0B8D-4584-9066-A77231C949BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9db4eff65f85faebf8411107ce9861f94744fb08","datavalue":{"value":"pseudovarieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1759277$EE22F8B5-338F-4CBC-8A8F-4FD1CA789940","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e37b70c1c156ca795db15295b6a9eec87e7b4908","datavalue":{"value":{"entity-type":"item","numeric-id":307878,"id":"Q307878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1759277$482CA7B9-FBB7-430E-8DB5-D30B760AB6EC","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"db3a1994945c9059c27b37df87c537414d98edd9","datavalue":{"value":{"entity-type":"item","numeric-id":1374079,"id":"Q1374079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1759277$5F01A690-3028-47F6-8176-185ECAEA7EC4","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":"Q1759277$5E80574C-D836-4EC3-9B99-B702E8079600","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a09f8c7d6d46114e02264899abc734e80292a05e","datavalue":{"value":{"entity-type":"item","numeric-id":4396672,"id":"Q4396672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1759277$3D3227DE-6637-4DD7-B91E-27EA9B3A971C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"515590b040ccdb7508ee95878b9ea817bc889823","datavalue":{"value":{"entity-type":"item","numeric-id":5386960,"id":"Q5386960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1759277$1F2798C4-7F3C-4949-AACC-373BED34713C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54cd5924f9676fb469b6e12b9519ee35d1a0a863","datavalue":{"value":{"entity-type":"item","numeric-id":1306828,"id":"Q1306828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1759277$61FCA099-D303-4706-9093-58B886BA2333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fe56e86d9e56fc618223db2ba6593bba0ac4443","datavalue":{"value":{"entity-type":"item","numeric-id":2880493,"id":"Q2880493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1759277$44454603-9F52-431F-AB34-3631A6695D82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4327eec5fa8cb4a9a7f5ab176e4ffc6ff8d5ec4f","datavalue":{"value":{"entity-type":"item","numeric-id":764686,"id":"Q764686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1759277$D68F52C9-4DC3-4FCD-9C7C-41E4DED65AC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"974ce3955539a2fde8421d8195a3ee2f63eacebf","datavalue":{"value":{"entity-type":"item","numeric-id":695766,"id":"Q695766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1759277$F3EFBDDB-BF22-4217-B185-956DEEA59F53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac4f0aff8141327e984d889fc14bc85f59abbb7e","datavalue":{"value":{"entity-type":"item","numeric-id":4709920,"id":"Q4709920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1759277$B3F3F008-42D1-477E-98AC-D5DDBB422E49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f819b8b4a8662019185c0063e7a72dcd02c25f85","datavalue":{"value":{"entity-type":"item","numeric-id":5315079,"id":"Q5315079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1759277$AD5A5ADD-E888-4326-A851-2B42FD51A6C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc52c8f48c2befce17796209954fd457a7b2cb18","datavalue":{"value":{"entity-type":"item","numeric-id":5294732,"id":"Q5294732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1759277$BB0303D9-1840-4BED-93BE-72D8687C8C9F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"756ffe765f1158b90d91d6e48de5c5973e140bba","datavalue":{"value":"https://doi.org/10.3103/s1066369x12050040","type":"string"},"datatype":"url"},"type":"statement","id":"Q1759277$E12B2C70-6F1A-46F4-B068-2E4A361DBEB1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3200ee42c58ff0bb307f33059ff5c4199fdb0999","datavalue":{"value":"W2103406767","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1759277$CC44B6D3-C0DA-46ED-BACB-17DA3AAFFB39","rank":"normal"}],"P1643":[{"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":"842820255110d72bce2d91ee30ab471a4ef85e4a","datavalue":{"value":{"amount":"+0.8407048583030701","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":"Q1759277$0AB957B2-6855-43F7-AE99-67BFB03269A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5f3449de4513def88a0380465f0b0737e53037e","datavalue":{"value":{"entity-type":"item","numeric-id":5391536,"id":"Q5391536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94bc762310a4c654fcaee80a2412caa6d95cb2bf","datavalue":{"value":{"amount":"+0.83091801404953","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":"Q1759277$350425F2-0AC1-44B2-8A77-A00CD3193B7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fa011735d801165dfdfa64ae366a26872144cf3","datavalue":{"value":{"entity-type":"item","numeric-id":1930236,"id":"Q1930236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90f74a8258cfad623bf77168a6fe00035de0148b","datavalue":{"value":{"amount":"+0.8000343441963196","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":"Q1759277$90C96D98-16EC-4B25-9C13-F4B47AE623EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94faa649382b4adf7ddc8cd3dedb50e68588ae6e","datavalue":{"value":{"entity-type":"item","numeric-id":3201122,"id":"Q3201122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb930414cb343abac0f397586ce7fc4df17790ac","datavalue":{"value":{"amount":"+0.7614376544952393","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":"Q1759277$2E64158F-52B8-461D-816A-44AEF58E5A4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d737463e2626971dde891872470d1ec2c25a8674","datavalue":{"value":{"entity-type":"item","numeric-id":695766,"id":"Q695766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf1eeff8ab019101f80a4321c055ff7a7248e143","datavalue":{"value":{"amount":"+0.7552244663238525","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":"Q1759277$56F35259-E024-4220-878A-BE9A29BCF36D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1759277","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1759277"}}}}}