{"entities":{"Q1076129":{"pageid":1086881,"ns":120,"title":"Item:Q1076129","lastrevid":66809421,"modified":"2026-04-12T13:01:23Z","type":"item","id":"Q1076129","labels":{"en":{"language":"en","value":"Functions on universal algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3953030"}},"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":"Q1076129$41DB1391-973F-49C3-9E16-E50A08B48AC8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9a536e197339e64bc5706b1d54c6456acff931cb","datavalue":{"value":{"text":"Functions on universal algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1076129$D734D3DC-7D67-40A3-8499-36538BE5FB28","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2d4b0f9c29dd9c157de00f14cedd3a8d970d2ba7","datavalue":{"value":"0593.18006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1076129$F17F278C-5DD4-4337-907D-9232330DAE4A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5f5497275b753b39b9d76e1d75a22ab58fad644f","datavalue":{"value":"10.1016/0022-4049(86)90056-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1076129$1A2AA443-5B0C-46FE-8229-655CBDAB5BA4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"be0c547959f56e22bcdd079e76bda78b5f7c3224","datavalue":{"value":{"entity-type":"item","numeric-id":195660,"id":"Q195660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1076129$CDAEAB9E-FDDF-41E1-A2EF-5A4B91438E03","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1076129$E6AB6FFE-A19B-4FA7-BAE5-5044C2259E87","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1076129$90C6B35D-00ED-4C1A-99D1-EFCC071E3031","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1c41f28019bd8c518d6818fcb35664e95ea619f4","datavalue":{"value":"http://hdl.handle.net/2027.42/26323","type":"string"},"datatype":"url"},"type":"statement","id":"Q1076129$D1A3D528-57C7-486B-98AD-534204F8B23B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fb1a89d6520248839f6404dc5c9e63a2285f9a5c","datavalue":{"value":"This paper contains a short proof of the result that the generic model (in the topos-theoretic sense) U of an arbitrary algebraic theory is functionally complete, in the sense that every morphism \\(U^ n\\to U\\) (in the topos in which U lives) is given by an n-variable polynomial in the theory (in fact by a unique such polynomial). This result has been known to topos-theorists for some time [for the particular theory of commutative rings, it underlies the earliest construction of a ''ring of line type'' - see \\textit{A. Kock}, Math. Scand. 40, 183-193 (1977; Zbl 0375.12029)], but it has not been explicitly stated in print before. An application is given to the theory of combinatory algebras.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1076129$4F9C13E5-D4A9-422F-8D45-1C9F9CC521FC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1076129$56F75D54-56FF-4B05-A2FB-5E16007E3792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"602d7e96b613d2f356db81712453cadad0417631","datavalue":{"value":"08A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1076129$A8D8178D-CA3F-47E2-8DAC-184987554A20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1076129$48C93875-08A7-42E0-95D8-D1BFBB9FED8F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f0d62df7869ed52f746fff844dcf91e179474fcd","datavalue":{"value":"3953030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1076129$9EB1CA00-B512-4F78-8279-74AEE8DAF442","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81dd6e4a4e885ef565973fa77c6bac44d8c25f7e","datavalue":{"value":"generic model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1076129$36ED1BD3-4200-4E07-8932-0DA0D2806BFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da2141c2af542496de0a82cc344f7d7615583bd8","datavalue":{"value":"algebraic theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1076129$AC921F87-452A-4EF8-AD59-F99C598D62A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"337c780afb58987aa70d7f65e9531a0abdf68e2a","datavalue":{"value":"functionally complete","type":"string"},"datatype":"string"},"type":"statement","id":"Q1076129$A8A2B1FA-A4A1-4166-949F-F4D435A893D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"385ec5ee567d17bbd2e6c7af4270fade5c5f2e55","datavalue":{"value":"topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q1076129$6D914A3E-4BBA-44DE-86EB-A7FE4CA5D61B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5d2fa24c579b2baeef4d0446de7aa9ba4289043","datavalue":{"value":"polynomial","type":"string"},"datatype":"string"},"type":"statement","id":"Q1076129$DBC8236A-58F0-4A37-91FC-D5D494B3AAA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb2c55df917bdad563c4b79dd95a198dd3de1e08","datavalue":{"value":"ring of line type","type":"string"},"datatype":"string"},"type":"statement","id":"Q1076129$F9060CEC-E9DA-49A0-BBFB-B1F9966D493F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7905c5703e19d29b46e130a724ca1f90963325b6","datavalue":{"value":"combinatory algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1076129$05A381BE-28A7-42D2-A3DC-C48D63E628D8","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"9596d005c29801249c01b9d1288aea39b7db279d","datavalue":{"value":{"entity-type":"item","numeric-id":702196,"id":"Q702196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1076129$1668CE02-8D08-4916-88C4-8D51DAE4ABB7","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":"Q1076129$15DD9217-CAD1-4C18-AB47-0FCEA22784EF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"256eae3bb7307bdf5f00d306be3891e1466c8345","datavalue":{"value":"W2005521703","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1076129$0D2896A9-0413-4056-B7F6-4D610DB25621","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7659d50b96557c8abf012230fc56cf4665079e8e","datavalue":{"value":{"entity-type":"item","numeric-id":1052317,"id":"Q1052317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1076129$0A8E9E62-32D1-45DD-A7CF-8253138D60E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1076129$0C3CE3EF-F072-4D45-B0A2-E565EF4F906B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a44abcddc39d6e09b3268b9b082d2594b8677707","datavalue":{"value":{"entity-type":"item","numeric-id":5686017,"id":"Q5686017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1076129$1F93EE44-517E-4D0A-A1AE-6B71A9293147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fce9517eaffda9162f57983a2e69733579a3ad9b","datavalue":{"value":{"entity-type":"item","numeric-id":4173541,"id":"Q4173541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1076129$0EEFAC75-5199-4828-AE2A-E01DDE90BABD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5afe440b07b81f885bbbf035518c32ca61ef38b7","datavalue":{"value":{"entity-type":"item","numeric-id":912587,"id":"Q912587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1b66d3d6af11e7b49a142a82db87a0c5250278c","datavalue":{"value":{"amount":"+0.7560440897941589","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":"Q1076129$09190951-EFAF-4AE5-8D7D-8A808DECD8A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5cddce10e195f0dd99466c2121031e92b747ad8","datavalue":{"value":{"entity-type":"item","numeric-id":654017,"id":"Q654017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad7a00a6daab5e4247aab257a7ca9f9ebeabf287","datavalue":{"value":{"amount":"+0.7371274828910828","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":"Q1076129$B9BD5D5B-02BA-4563-867A-EF925C72E6D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cddd8bedd2004fe834702351a9d8b4a76b7b8a17","datavalue":{"value":{"entity-type":"item","numeric-id":1589022,"id":"Q1589022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"840ec2a0ccd690d2119e0f786f0f842c0fbdffec","datavalue":{"value":{"amount":"+0.7335864901542664","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":"Q1076129$6D97797F-ED06-4D38-8303-EED72FFCA517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6bc537e3295027291e97124419f36a66797f826","datavalue":{"value":{"entity-type":"item","numeric-id":4030068,"id":"Q4030068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d1ec98253c1768c3eeeff7b4a7b1fadc497c6fd","datavalue":{"value":{"amount":"+0.7293193340301514","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":"Q1076129$57AE9B94-D0B1-4BB4-8B6E-9BCCD8001750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de34893abb542b5bbf68a6678d212464a08a479d","datavalue":{"value":{"entity-type":"item","numeric-id":2191385,"id":"Q2191385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3ec6bfc9231a27fcd61e1c0bbdf4c96ab473f5a","datavalue":{"value":{"amount":"+0.723625123500824","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":"Q1076129$9E6C15CA-78FF-4258-BE32-4708C2186ED7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Functions on universal algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Functions_on_universal_algebras"}}}}}