{"entities":{"Q289767":{"pageid":291534,"ns":120,"title":"Item:Q289767","lastrevid":56774268,"modified":"2026-03-23T13:40:54Z","type":"item","id":"Q289767","labels":{"en":{"language":"en","value":"Multi-sorted logic, models, and logical geometry."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6587903"}},"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":"Q289767$DA380169-E7A5-4559-BFB5-3A4415A3DA6E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d4cb72a81f62f3ae198068469fef902a50dbd18a","datavalue":{"value":{"text":"Multi-sorted logic, models, and logical geometry.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q289767$FEE6FFAD-D067-4FCF-BC82-D5E2CA20CE08","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c9007e5f0a832b40f0413bdd9dd52566f63f1593","datavalue":{"value":"1344.08006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q289767$21B51C4C-328A-41B8-8E93-0CD60C049960","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e5c8d48ef075047a5e440bf9ef4ba4fe9e513d7","datavalue":{"value":{"entity-type":"item","numeric-id":694232,"id":"Q694232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q289767$AF244249-86AA-4747-8E6B-344746BD8CEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b15dabe9e6498c2b71f0e107f28a3e70e73d8290","datavalue":{"value":{"entity-type":"item","numeric-id":1580646,"id":"Q1580646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q289767$19DF0CFA-4954-4DC0-A1FD-B31A2AAC4C7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd1ed29f216e4a66a82c05406222050a7c9cecfc","datavalue":{"value":{"entity-type":"item","numeric-id":1575531,"id":"Q1575531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q289767$26C8560C-64D4-466C-B7CE-56D2E682FC30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6f3db81d5f2cce575a6ab234cf416a4380a56c9","datavalue":{"value":{"entity-type":"item","numeric-id":6474172,"id":"Q6474172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q289767$8040C968-B2F3-4BAF-A59D-288F384FCB68","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"17c447c8e76a3a0e73a2c70a024d9ee2f8256c04","datavalue":{"value":{"entity-type":"item","numeric-id":195577,"id":"Q195577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q289767$EAC4B5FB-8310-424F-B1AC-E854CB2C37AF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a2a49183d98fdb45af485077728faee3522a457e","datavalue":{"value":{"time":"+2016-05-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q289767$1F120D36-24D5-4D77-B6C4-E5EE7D8D2F34","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eb88b4f99aa6e0a1c5c69550b062157441d30111","datavalue":{"value":"https://arxiv.org/abs/1506.06057","type":"string"},"datatype":"url"},"type":"statement","id":"Q289767$B47B1C31-7A7C-4AE5-9807-CB0E081B6AB1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"50c27419ccd615e82f78bf22989abb605700603c","datavalue":{"value":"Let \\(\\Theta\\) be an arbitrary variety of algebras. A model \\((H,\\Psi,f)\\) is considered as a subject area of knowledge, where \\(H\\) is an algebra in \\(\\Theta\\), \\(\\Psi\\) is a set of relation symbols, and \\(f\\) is an interpretation of each symbol \\(\\varphi\\in\\Psi\\) in \\(H\\). The Cartesian power \\(H^n\\) is regarded as an affine space, and a subset \\(A\\subseteq H\\) is presented as content of knowledge. Each content of knowledge corresponds to the so called description of knowledge which is a set of formulas \\(T\\subset\\Phi(X)\\), where \\(X\\) is a finite subset of an infinite set \\(X^0\\) of variables, and \\(\\Phi(X)\\) is one of the domains of multi-sorted algebra of formulas. Using these notions, a knowledge base \\(KB(H,\\Psi,f)\\) is defined. The authors say that ``the objective of the present paper is to study connections between isomorphisms of knowledge bases and isotypeness of subject areas of knowledge''. Sufficient conditions are given that provide isomorphism of knowledge bases.","type":"string"},"datatype":"string"},"type":"statement","id":"Q289767$69373CAF-40B0-4616-BFAC-98FF97F0F324","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b72b4b3715a103446d94bfd4a8a61f28dd953d20","datavalue":{"value":"08C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q289767$79622CF1-EAA1-42AA-8D41-7DCA00BF30A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q289767$93906878-6D1E-493F-AF68-D5944246ECF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q289767$3E945675-A232-4FC4-95DD-C79D01323509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"20bb5571a1bc4300de51d23c463eb631840cb343","datavalue":{"value":"08A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q289767$F3C8F7FF-DE74-4A66-8758-4930810F4E8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q289767$C8C6CDF9-954E-4831-8BCA-CB52E7B2AC89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"674153c9488f8b0f9e97858664bfaf3fbbbac9b1","datavalue":{"value":"03G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q289767$2AB6B7C4-933C-4510-8B2E-91A061322DA1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a6c4fbfc94a37c32a8c4b75a7063b3f17dfba50c","datavalue":{"value":"6587903","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q289767$4F501F10-5366-4909-8511-B6D6DF4E406C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a39d315b648b150944ead81c337df4c0a026ccc","datavalue":{"value":"knowledge bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q289767$D7882784-562B-40EB-A952-27B37B5A031C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a67601f276535bbafaaac9d64df9090276797ed","datavalue":{"value":"multi-sorted logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q289767$9BADC75A-9A6C-4F9F-B88D-BA11FD714265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a33bfb266517f37c2893982b2b0f9fde5f7330a","datavalue":{"value":"models","type":"string"},"datatype":"string"},"type":"statement","id":"Q289767$CFDA8D14-6C47-4F92-9E83-5B85BAAED6C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5665c228df0c4c4496ef6025995dab045eda572a","datavalue":{"value":"logical geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q289767$125B9EA9-0CBA-4AF9-8E22-A0F757AA9689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f797b31982eba09a45e9b2988f7b091761e398d2","datavalue":{"value":"universal algebraic geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q289767$D1451BF5-8129-4CC1-96E6-29E4D17DC05F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"60b20526b3992c61e7e11f11e30c26ba2b5c9a35","datavalue":{"value":{"entity-type":"item","numeric-id":1864450,"id":"Q1864450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q289767$CD24952C-5541-4A73-93E9-28F6CF097A82","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":"Q289767$5E78E44F-F289-4C64-BD98-3B4D85605E75","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5761a8c7f24fab116cb98c88899a3ffe2f8bd105","datavalue":{"value":"W2963086803","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q289767$C39A5A77-55C7-4774-B685-DB1FDC11D3B7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0780e70df693293d8f597dc9ee4d6811276aa79b","datavalue":{"value":{"entity-type":"item","numeric-id":2254092,"id":"Q2254092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q289767$1262DBA1-7C9E-484A-A758-4F6333464262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03ae39eda693e2f5cd94dda94bd90e4ad9be73a0","datavalue":{"value":{"entity-type":"item","numeric-id":3717296,"id":"Q3717296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q289767$6B7F62D1-A660-4730-ACA9-62689D94D645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f06da0733433b72cc38e384260530070cb37219d","datavalue":{"value":{"entity-type":"item","numeric-id":3282928,"id":"Q3282928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q289767$B71EBAA1-A079-4E28-9B4C-FBAEB2DE5E7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q289767$B002A765-3849-446D-8A41-DBD538A25BBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ad778688079d4a53aaf9e0e9300643f2b8969a1","datavalue":{"value":{"entity-type":"item","numeric-id":4779973,"id":"Q4779973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q289767$0651A4D5-77CA-4DCC-B802-D7C68C262CA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27ddf1667e95dd171c999f92331f26fff47caa39","datavalue":{"value":{"entity-type":"item","numeric-id":4547431,"id":"Q4547431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q289767$00007C68-CDDA-4612-85D1-D560FE0C340E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1193aa3d887e5bf1eb6e702a4cbd1abae87b22f2","datavalue":{"value":{"entity-type":"item","numeric-id":4284038,"id":"Q4284038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q289767$2668359C-C419-466E-ACA1-8958EC3D4740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a3b94ea68058f71c823e17fe6bf8841d371681c","datavalue":{"value":{"entity-type":"item","numeric-id":1972819,"id":"Q1972819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q289767$50E560A4-46E7-4578-A674-A7DEC86AFF09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21ecbd1468f2e3013418ee9934576c033f8288ff","datavalue":{"value":{"entity-type":"item","numeric-id":4681900,"id":"Q4681900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q289767$79D4CD0D-9BF3-4B55-9156-F9B8C4EECD2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"057e416d842bb98b4da44ead0bbf3e871eaf86bb","datavalue":{"value":{"entity-type":"item","numeric-id":1040258,"id":"Q1040258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q289767$3D413FD6-B17B-4C61-A799-3140159C3B6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aca9ea17504d370d921c8c704edbb7c5a5dd3df8","datavalue":{"value":{"entity-type":"item","numeric-id":4981752,"id":"Q4981752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q289767$FC3170C3-C45B-4755-B45B-137EC05DF2FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2e4aac76fcdaa7a5af01d217e360c5856eef566","datavalue":{"value":{"entity-type":"item","numeric-id":4909150,"id":"Q4909150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q289767$54512DB0-CFAF-49A0-A32D-C6A69409E3FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"060743ce9555bf6c9c3f4fdb596bfc98aab63148","datavalue":{"value":{"entity-type":"item","numeric-id":895878,"id":"Q895878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q289767$D1778F2B-15DD-4262-AE80-51BCCA0C698A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dad1e3221c04bb1db6fea530fa4d2c246f582d49","datavalue":{"value":{"entity-type":"item","numeric-id":1771865,"id":"Q1771865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q289767$97360917-8A43-4541-9E0A-0CB0939EF61C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be791f836309af6e3c9569d57cfcb2accaf5e013","datavalue":{"value":{"entity-type":"item","numeric-id":5452197,"id":"Q5452197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q289767$604656A9-53C8-43CC-BE6C-42ED5B13A787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e94c5c383dd8e7125b68588827687c50ca2b56cb","datavalue":{"value":{"entity-type":"item","numeric-id":3413649,"id":"Q3413649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q289767$81805A51-87DE-4264-A19E-46CF297B3240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"395ae434ab18eddba8a93f979bea04e8ddd489b0","datavalue":{"value":{"entity-type":"item","numeric-id":4611348,"id":"Q4611348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q289767$28A797FF-CF3B-4812-9BF9-1EBE5E38BE1C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d8ba298d84c836cac186e5fbf47bbe9d219487bb","datavalue":{"value":"10.1007/S10958-016-2811-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q289767$EA9396BE-6FE2-4ABA-9991-DE775B41AE28","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"766dbf662590a01fd44aa91acbb9ab4f2b1b0a9a","datavalue":{"value":{"entity-type":"item","numeric-id":895878,"id":"Q895878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20f2f1ba3be4b39e36e88be25a81d7237cb7da17","datavalue":{"value":{"amount":"+0.7592176795005798","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":"Q289767$0FB61591-B066-4B5F-9E50-15E97101509E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cde64f68f6e2d9d9dfa7a221207e6a8124640d6c","datavalue":{"value":{"entity-type":"item","numeric-id":1771865,"id":"Q1771865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd6e725744452d3de8bb3e5c24a95f1753ed3d11","datavalue":{"value":{"amount":"+0.745509922504425","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":"Q289767$99498490-016C-4A49-88BA-EB6C169AF248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a8d7ac0c6a365bcd11ed6e72e8bea1b9576146d","datavalue":{"value":{"entity-type":"item","numeric-id":4691922,"id":"Q4691922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29aa0fa7bed4cb57c98515b77da9cb364056ba29","datavalue":{"value":{"amount":"+0.7398446798324585","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":"Q289767$0FA14FF0-6EF6-45B4-A986-5F14EBE85E14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa0bc734dfce1714fc9927395cce6cfe08c1a278","datavalue":{"value":{"entity-type":"item","numeric-id":5157754,"id":"Q5157754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b72291ce95e8b35242faf42609e902f41d5af7a8","datavalue":{"value":{"amount":"+0.739197313785553","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":"Q289767$A45710B9-F261-49BF-82BD-F46EE84A333F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"767691dd7988f533912a9937b7fbea3e956195d6","datavalue":{"value":{"entity-type":"item","numeric-id":5748179,"id":"Q5748179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c84afefd11db7af6520674def39aa3cfb925d9b","datavalue":{"value":{"amount":"+0.7317750453948975","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":"Q289767$21093A9F-033B-419B-A4F6-F5008E29A33B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:289767","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:289767"}}}}}