{"entities":{"Q695272":{"pageid":697121,"ns":120,"title":"Item:Q695272","lastrevid":63694194,"modified":"2026-04-11T14:54:37Z","type":"item","id":"Q695272","labels":{"en":{"language":"en","value":"Elements of model theory in higher-order fuzzy logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6117673"}},"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":"Q695272$761ACC0F-E466-40F6-8BC5-6FC9231914D7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"13f7c546c5b565594f9dd80a27141894bf18342d","datavalue":{"value":{"text":"Elements of model theory in higher-order fuzzy logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q695272$2EBD3B3E-1E24-454E-A79E-36F991D62EC9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0f32c45e236e794e60e2d42c78e0d258f9c77bce","datavalue":{"value":"1283.03052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q695272$5F3FDE4A-B9B6-43BC-BB90-8E7DF0C78CCA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb720d9be176b2ef12cdfd20ae546aa8a15a7c96","datavalue":{"value":{"entity-type":"item","numeric-id":279322,"id":"Q279322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695272$30B96A30-0ED8-4110-BC66-D5563F8DC101","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"784d2dc06e2a3bb008e6a3a15801a0f0231d6262","datavalue":{"value":{"entity-type":"item","numeric-id":65161,"id":"Q65161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695272$4D76E154-B9E5-4745-9F41-F27FBEF4C033","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"373b215c430e37eecbed9d77fcfb93ac4db05f90","datavalue":{"value":{"time":"+2012-12-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":"Q695272$A051704C-1E5B-4CF9-8AFD-5BE5FF79DEC0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a3015ece0b4cee6ccd89eebb95f34b6304cf6612","datavalue":{"value":"For his fuzzy type theory FTT [Fuzzy Sets Syst. 149, No. 2, 235--273 (2005; Zbl 1068.03019)] the author develops some basic model-theoretic notions and proves some elementary results. The core topics are homomorphic images, submodels, elementary equivalence and elementary substructures.","type":"string"},"datatype":"string"},"type":"statement","id":"Q695272$67735497-2B60-4E19-8F8A-FF2B8A2E54DC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q695272$547ACD8C-659B-4D45-98B2-81C7EB106AAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e671cb9a7cd5542f21890d12b2e8ee004a8c8889","datavalue":{"value":"03C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q695272$84C9B5DD-BAA9-412F-800B-357ACFE913F2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"90be9a44985fbb1b82944cdb04f10a3a443a75e4","datavalue":{"value":"6117673","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q695272$EE37E14A-3C9C-466C-945F-91555CA20A68","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c5e8667a3a4c5ccc5fba54dc5f145cf6f7538ee","datavalue":{"value":"fuzzy type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q695272$9D79E749-C45D-45E1-B40C-6C87868DBF12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf07c49ba2b347441ded94239358b7faa6b16d16","datavalue":{"value":"model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q695272$9EB7BA84-5E1B-494B-BF81-E36DA0A50ADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4519c3443c54013f6507da19ac5e75742c645d98","datavalue":{"value":"EQ-algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q695272$73B2C219-785D-4E4C-A1EB-8C1649B4F230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4eb313d3005a5865e8a1b33f13a1c66f607feb6","datavalue":{"value":"elementary equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q695272$D809B477-555B-4F47-8673-98DBC82997C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0e5e46c66a51b7b82556f760894b704fbf1308c","datavalue":{"value":"submodels","type":"string"},"datatype":"string"},"type":"statement","id":"Q695272$47E5F307-9114-459A-B51B-1D43BCC5A724","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d657b6d3412c75416b1faf0735572c94c2285816","datavalue":{"value":{"entity-type":"item","numeric-id":586246,"id":"Q586246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695272$2CCCCD14-D834-42FC-B701-6CBF29508CCE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1aec27d540e360c78ddad230e6e300ced62bdec3","datavalue":{"value":{"entity-type":"item","numeric-id":18433,"id":"Q18433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695272$889AF9B9-CFCC-45B6-8F72-1F39B41E2C55","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":"Q695272$792321B1-E431-4C54-9C19-EF1704B08B6E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d7baf286bcfe1a9d94b80739a6cce85b2ec7129f","datavalue":{"value":"https://doi.org/10.1016/j.fss.2012.03.006","type":"string"},"datatype":"url"},"type":"statement","id":"Q695272$71DCA563-74C4-4244-A145-8E5ACF836E67","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5c6e477481fd433d73c27b66f239b3987ddf3cb0","datavalue":{"value":"W2090663975","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q695272$2ED1991C-AA88-4C49-8A2B-2D5A480E0A74","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd9a23733869cdf6d59b70b142e18db86efa96d6","datavalue":{"value":{"entity-type":"item","numeric-id":5680122,"id":"Q5680122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695272$92DE6E81-41EA-4BDD-AAD6-24C15893D9D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b11646dfc2677d6614fa16128dbbd7844776606d","datavalue":{"value":{"entity-type":"item","numeric-id":1847766,"id":"Q1847766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695272$9F874D32-7F40-42FE-9947-286C34E1B5DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbd46e00e025849b54a0892b5e385ef0d563478f","datavalue":{"value":{"entity-type":"item","numeric-id":1393228,"id":"Q1393228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695272$87F8723D-6DC9-4726-B7BC-CD38EF150CDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fb17c3ec23f7db1652717b13437eb3142a54285","datavalue":{"value":{"entity-type":"item","numeric-id":1024552,"id":"Q1024552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695272$3790532D-78F9-4942-81EC-DA25594763E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4047fe79a046a0035e35a0de53459e063111ea8","datavalue":{"value":{"entity-type":"item","numeric-id":2463481,"id":"Q2463481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695272$215345C4-7865-4169-BCE2-8B09B34DEE31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89d1f8876a0e638b43f8b67431189b148d6a3209","datavalue":{"value":{"entity-type":"item","numeric-id":4902311,"id":"Q4902311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695272$E9045FB7-38D1-447C-B878-BAAF5C061A61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a1dc5372688f51dba15cc7d762bc3a4571b68bd","datavalue":{"value":{"entity-type":"item","numeric-id":1935367,"id":"Q1935367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695272$AE2E01A7-0639-48B3-B864-BC4818619139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d15cacfca59fb90c1ad35d05a95e3bdc0d7115f","datavalue":{"value":{"entity-type":"item","numeric-id":409738,"id":"Q409738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695272$2D89E9F4-E809-4F5B-90AD-AF856B637FF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c408531798202a8856f1577d55c4dbee05dc21fd","datavalue":{"value":{"entity-type":"item","numeric-id":946569,"id":"Q946569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695272$008A20D9-797B-44FF-BCBB-7185605DFF2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f421884f879ae4e0048a14b487c578b45714b0b","datavalue":{"value":{"entity-type":"item","numeric-id":1307301,"id":"Q1307301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695272$372E14E6-2F39-4305-A219-58EB75E28DFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8be0f7c81004227114f5bee606cc547dbf0099bc","datavalue":{"value":{"entity-type":"item","numeric-id":3410679,"id":"Q3410679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695272$7F291777-A9F5-4B29-93AD-66C4E79E3D15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dbdd618fcd9894cc43913fda0ef46a6ceb0f2e1","datavalue":{"value":{"entity-type":"item","numeric-id":5798021,"id":"Q5798021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695272$8C81C920-CF30-4357-81F1-EAB46342A6F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"111f0eb16bef0501ce0fc399f1827e597f8b82f4","datavalue":{"value":{"entity-type":"item","numeric-id":5332209,"id":"Q5332209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695272$C0BD78C7-D588-46F2-99CD-4CB711E86A0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"967fb55b31b6e02bb24043a438b43c2e3c9e09dc","datavalue":{"value":{"entity-type":"item","numeric-id":4003410,"id":"Q4003410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695272$41E8BA89-2C8C-43FC-B8F1-24506917EB2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7b889fffc602d273287af6fdc7a8757eb6db69d","datavalue":{"value":{"entity-type":"item","numeric-id":1405321,"id":"Q1405321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695272$83F3DBB6-5D65-4E4F-96D6-5940C23AC1DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c235fe271f3e1bec351e7c5fb1961af1fe0df5eb","datavalue":{"value":{"entity-type":"item","numeric-id":5485399,"id":"Q5485399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695272$D9FA9A2F-B6A6-48BA-A6E1-18FC9CBB336F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"228dbdcca4afec7cac2684088cc2167634853f36","datavalue":{"value":{"entity-type":"item","numeric-id":3484812,"id":"Q3484812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695272$6AA1BEBF-481E-4550-9C4B-1D370052BC01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59ace31db1f296da1ce366e00315b63f7c024ee5","datavalue":{"value":{"entity-type":"item","numeric-id":703370,"id":"Q703370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695272$EB05DF74-9BA1-42AF-B6EE-868B7982301C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"069d8060736e01b98be848110189d20b4f6eb8fb","datavalue":{"value":{"entity-type":"item","numeric-id":3398628,"id":"Q3398628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695272$1F7E34D1-EBDC-43B5-A6F2-CCFD0CBF0C7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f73a1e831e1a8e1335a3f67f4e2b06f7735e3bb8","datavalue":{"value":{"entity-type":"item","numeric-id":3145134,"id":"Q3145134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695272$6195D18D-9526-4E62-B882-C0F049655A53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33339f52b6fca12c3ec126bbd697db1ad6ca94fe","datavalue":{"value":{"entity-type":"item","numeric-id":2885176,"id":"Q2885176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695272$1C551E3D-5D4A-49B4-866A-D3A83FF01764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"364127aaa8aa7a37a24d8a892ef4dcd4cc99b788","datavalue":{"value":{"entity-type":"item","numeric-id":1043290,"id":"Q1043290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695272$53D34CCA-7AF0-41D4-B173-4E49400B64D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4971710e4358cd9ca63b9a295e880af2959f4d","datavalue":{"value":{"entity-type":"item","numeric-id":4269081,"id":"Q4269081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695272$F153C4F4-A198-4CD6-A033-7D851D84A787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c8578012b3b86ed983646275e6747df9ccf1c35","datavalue":{"value":{"entity-type":"item","numeric-id":3874181,"id":"Q3874181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695272$3591D9ED-803C-4849-93A2-B070774AB3C8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3d7bf8cc162b372c0fd22501032c1ec903fa5975","datavalue":{"value":"10.1016/J.FSS.2012.03.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q695272$840B57E2-2E67-44B2-A68F-6B0641C56DC0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebe5d538ae064cb8473829a4bdef9b7550333a92","datavalue":{"value":{"entity-type":"item","numeric-id":5476582,"id":"Q5476582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89445f74561670b9e7c703dcdbc74ddda60e7c8e","datavalue":{"value":{"amount":"+0.7899125814437866","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":"Q695272$D578374F-1160-408D-9C13-26CC141BDFD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"913c2a0a36ab6f748f2fa3fb7aab9adc3f7c0d79","datavalue":{"value":{"entity-type":"item","numeric-id":1935367,"id":"Q1935367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61169492ad511f45d3877905e392317775df19dc","datavalue":{"value":{"amount":"+0.7827784419059753","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":"Q695272$6A32E895-B20B-4C75-A879-F94CCA89C541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ee378ebc957fc38f07949056d88bbffdea3778a","datavalue":{"value":{"entity-type":"item","numeric-id":3454816,"id":"Q3454816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70239858896d627e909edf6714ad43295303a83d","datavalue":{"value":{"amount":"+0.770793616771698","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":"Q695272$13D8D0A7-90E4-4B11-AFB5-779657C92E42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3aa772b970bb549c02e6fad00618e9a59a247d90","datavalue":{"value":{"entity-type":"item","numeric-id":3718686,"id":"Q3718686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3737ac50c9352ed6c79e3786064bfddc5778b2a","datavalue":{"value":{"amount":"+0.7682268023490906","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":"Q695272$BF33161A-DB10-46CE-9F21-C2B6318BCD60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1888c651b7faadb1ca2a576fca8237d7c2a093a8","datavalue":{"value":{"entity-type":"item","numeric-id":3410679,"id":"Q3410679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca602140fc8a0ec8d861836fbad800968d194896","datavalue":{"value":{"amount":"+0.7668208479881287","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":"Q695272$D988D0C1-98C3-4259-97D0-1DBCEC7EC6DE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Elements of model theory in higher-order fuzzy logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Elements_of_model_theory_in_higher-order_fuzzy_logic"}}}}}