{"entities":{"Q751684":{"pageid":753533,"ns":120,"title":"Item:Q751684","lastrevid":49441018,"modified":"2026-01-07T04:07:33Z","type":"item","id":"Q751684","labels":{"en":{"language":"en","value":"Hypervarieties of a given type"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4177139"}},"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":"Q751684$55EDC7C2-F147-465D-AC3D-162DBD62A020","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ff46ae7b0b55d10be93f5d3a258dbb98b75be7d0","datavalue":{"value":{"text":"Hypervarieties of a given type","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q751684$49BA82D9-613D-4DA1-8C6A-07F5926A1E0E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"05cb3737e95e5823996da1e707f5853c30ae018e","datavalue":{"value":"0715.08002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751684$24705D21-0230-4357-B67D-3A9E1A90BAD6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"95d48af80146a8341475c9cda142c247eb93ec41","datavalue":{"value":"10.1007/BF01190711","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751684$1A0E7155-BC09-4162-95CF-426D0FE61BE5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8588ec913dd4f8053c54b3bed94f40ddd9f126b5","datavalue":{"value":{"entity-type":"item","numeric-id":749562,"id":"Q749562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751684$6314A4CA-62C0-4B8C-AFC2-D5C6D2E56FBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e19d9290c7c998626a9192d3f88309fae930242","datavalue":{"value":{"entity-type":"item","numeric-id":584734,"id":"Q584734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751684$4381F37A-C9C7-4138-BC5D-34E49005A3BA","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":"Q751684$990BE318-30DF-45B0-AFFD-645279794703","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q751684$5E8C76DE-9C80-4251-9402-B2F57C67370C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1df4dda4de168df9e5fc7587f867e6b0c6ae4bf7","datavalue":{"value":"The paper concerns the notions of hyperidentities and hypervarieties. In particular solid varieties are defined and studied. An algebra A is solid if every identity satisfied in \\({\\mathfrak A}\\) is transformed into a hyperidentity which is satisfied in \\({\\mathfrak A}\\) (i.e. it is satisfied in the variety generated by \\({\\mathfrak A})\\). The authors study the logic connected with hyperidentities and prove a completeness theorem which combines this logic with solid varieties. Further a slight reformulation of Birkhoff's completeness theorem for identities is proved.","type":"string"},"datatype":"string"},"type":"statement","id":"Q751684$FBA00695-37B0-4CC5-BA92-1EF53FA68C2D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c648e268c28ec150fb5ed45778a818ce497d91f","datavalue":{"value":"08A45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751684$3B2FC4EA-2064-4F65-80C4-32266A8F31EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751684$1E7DC36E-2EEE-48D6-842A-0B732824BAB0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"598b1ddcb024c658542348b5706efe5902d344b1","datavalue":{"value":"4177139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751684$14B80BB4-3114-4676-8DBB-54A352037F3F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b5ef52bedc0db72dc2f4f18042199799bed1ceb","datavalue":{"value":"hyperidentities","type":"string"},"datatype":"string"},"type":"statement","id":"Q751684$FF3035CC-445F-4AD6-BF10-514E37D95205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d43aeea253ed242ae5c9561aa51a2694fbf7c67c","datavalue":{"value":"hypervarieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q751684$AC22A4BE-F5E1-4405-8961-927C4B58CF74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db98bd40296687924302e6041820464ea038613d","datavalue":{"value":"solid varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q751684$898C1764-D0C2-4862-B99E-5FC293BEB013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"669e1ab0be3b0e96a51a2ef7e433c212210f37a0","datavalue":{"value":"completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q751684$313196B3-149F-4242-B277-F7B1C60A7494","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"17bbdbf95c31d821baf8c3c834f2f465951d50b4","datavalue":{"value":{"entity-type":"item","numeric-id":587143,"id":"Q587143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751684$5C565A35-4CE0-42E8-94AA-A4753B2EA8DD","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":"Q751684$10F90015-047A-4CD2-877B-97883FA72417","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"57e3b712690fac722e804dfbb363de15e091b484","datavalue":{"value":{"entity-type":"item","numeric-id":2546895,"id":"Q2546895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751684$BF69C411-358B-409D-9AEE-72D3CCCFA87C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2999991a9e34dadcc8a7c2b3e971d60f274c7577","datavalue":{"value":{"entity-type":"item","numeric-id":5507586,"id":"Q5507586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751684$FF2CF82A-2905-4D82-9A8B-2D80AD4AFFC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"187f248d8745efd95e77c46a6bf423575ee180e8","datavalue":{"value":{"entity-type":"item","numeric-id":1147233,"id":"Q1147233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751684$A963719D-8D70-4C2F-9AFE-6502B4331C79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1494d6d76fd11a5cf58562b6f08ad2894e7351c4","datavalue":{"value":{"entity-type":"item","numeric-id":4159116,"id":"Q4159116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751684$C53EDB97-5421-443B-ACE8-3B2D525D05FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31cace3137e2c8899a968bb317022eaf88de3219","datavalue":{"value":{"entity-type":"item","numeric-id":5586428,"id":"Q5586428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751684$D64C3F39-192F-4347-AEB7-5ED7FCEF0F1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5738e6320e373f1cd04778d845ca02095b9a5fb9","datavalue":{"value":{"entity-type":"item","numeric-id":4200260,"id":"Q4200260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751684$FF580361-5957-4645-BA84-0137D2AC71FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7fa8d9a184d5293325e16e8eaffd476f22ce17f","datavalue":{"value":{"entity-type":"item","numeric-id":795074,"id":"Q795074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751684$CFE876EE-05C7-478C-BBA0-A2C01BCF627D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e67c2d50414713bb66053243ca5b43c13612bcba","datavalue":{"value":{"entity-type":"item","numeric-id":1820801,"id":"Q1820801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751684$7B38B87A-0455-4096-80BA-8FE4294307D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7edc5312d88916368f8eadf09de07117abd6d26e","datavalue":{"value":{"entity-type":"item","numeric-id":3289040,"id":"Q3289040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751684$32CDE7EB-B8AA-4BE1-B6E1-5D2BD1B6513C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f56002d345159e0e62b6a4ea1d93de274ef7110","datavalue":{"value":{"entity-type":"item","numeric-id":4168957,"id":"Q4168957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751684$92DCF9AA-F1CE-4029-8E21-EA403CC6A2B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb73de570a791a16a0f2b48e73ca7c63e2cc2ba8","datavalue":{"value":{"entity-type":"item","numeric-id":3934447,"id":"Q3934447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751684$A7329E1E-E4A9-4059-9D45-59D145139BCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e2d266fa68a8ccd73501a75638b75c803b59c43","datavalue":{"value":{"entity-type":"item","numeric-id":3322157,"id":"Q3322157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751684$268D2E53-0C57-49BB-AD85-3EBE6A1368F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4afde07cbf68224e28d790b9f0a8f95c7d7b023","datavalue":{"value":{"entity-type":"item","numeric-id":1160153,"id":"Q1160153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751684$C65FC394-1C58-4EB3-B550-36A1DCA1FF06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8858fc58547a323f2139a135787e33aa5b44bce4","datavalue":{"value":{"entity-type":"item","numeric-id":5579047,"id":"Q5579047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751684$D6D17171-E4F5-40FA-8F60-0FE20B1954C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24ee0bc5811f1b3508ad8f9e80ea23c5903076e8","datavalue":{"value":{"entity-type":"item","numeric-id":1053725,"id":"Q1053725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751684$D3907444-9377-4E03-8528-D946E552672E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fdeae4b32f732a4a0e0888c3d9d9cbad6d4f5cc","datavalue":{"value":{"entity-type":"item","numeric-id":1820184,"id":"Q1820184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751684$BEC0B492-3DA6-4721-B8E5-6D19585EBCEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f43645a68f02a761842016cdd513e67366168a0f","datavalue":{"value":{"entity-type":"item","numeric-id":1167196,"id":"Q1167196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751684$0D46CF7C-AE36-431D-80E7-548A2752DE44","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0ab5169f8f9f71084f8bedfb24910180505b361","datavalue":{"value":{"entity-type":"item","numeric-id":861607,"id":"Q861607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"308c4edde0273f78ab2ace935c01923b577b8a09","datavalue":{"value":{"amount":"+0.9237417578697203","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":"Q751684$9E13AD14-80C9-4A7B-AF0C-8DAF2B836DA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fee78caedbbfbd70763d9368934288d00e2b187a","datavalue":{"value":{"entity-type":"item","numeric-id":3820660,"id":"Q3820660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b03fa546edbad7ca4cc9e92903dab432fb1f7d5","datavalue":{"value":{"amount":"+0.8978707790374756","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":"Q751684$5844084D-5626-4CF9-A8E7-F6F42C7AB24F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b4229ef3d70f1fde07d9f7b7234538dde9720e7","datavalue":{"value":{"entity-type":"item","numeric-id":4531621,"id":"Q4531621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e9874debc682b5517768d42c8e457721ba650f6","datavalue":{"value":{"amount":"+0.8871631622314453","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":"Q751684$FCEB2456-18DC-411F-B240-5BEFA2C79B18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"981b7e0994dae40e2adcc46fb2b021ce08603d02","datavalue":{"value":{"entity-type":"item","numeric-id":1318964,"id":"Q1318964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9685fbb69cee85ec640b859314981bd9d9207dfe","datavalue":{"value":{"amount":"+0.875862717628479","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":"Q751684$E2593CB8-BE05-4AD3-BB21-0BEC5AE3B2E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a79c370042adfaefb620cb214e3d1380aa9f5eac","datavalue":{"value":{"entity-type":"item","numeric-id":2369280,"id":"Q2369280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2e811d6ffcf1bbdd01407dd39fe9d6120713326","datavalue":{"value":{"amount":"+0.8702825903892517","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":"Q751684$CD54BA05-0CD4-41D4-8316-EC4F3CF7EA7B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:751684","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:751684"}}}}}