{"entities":{"Q897476":{"pageid":899324,"ns":120,"title":"Item:Q897476","lastrevid":77690141,"modified":"2026-05-06T09:50:59Z","type":"item","id":"Q897476","labels":{"en":{"language":"en","value":"Trakhtenbrot theorem and first-order axiomatic extensions of MTL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6516810"}},"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":"Q897476$027C1533-BF42-43D4-A6B5-2951FF70F834","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a65f964650b7263eda0a3e8219df16860f33a5ac","datavalue":{"value":{"text":"Trakhtenbrot theorem and first-order axiomatic extensions of MTL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q897476$A305D89C-1148-44BD-AE68-770CE96B2E57","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8ee54b08b538317d6676d16573f0816df9dc3a7c","datavalue":{"value":"1330.03061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897476$67FDF2CB-EACC-4ACE-B64E-959FB651FEE6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4debe34e694b0cffbf43031a6a567b2c79fd48f3","datavalue":{"value":{"entity-type":"item","numeric-id":361852,"id":"Q361852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897476$EB9B6775-0F85-4B3E-8933-7E3AB7BC2DA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"70b479ab481d7ee1dcf779ab78c0b800106fa990","datavalue":{"value":{"entity-type":"item","numeric-id":167897,"id":"Q167897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897476$F595D850-3A1D-4B3A-8B1F-34DDF05BDFC3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897476$6C9BAAE8-A0FE-4C59-B64A-46AA9AD212AB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cafd9cf1ea33c2ca629714ee3a1d874af717ffb3","datavalue":{"value":{"time":"+2015-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q897476$4BA26A28-BB84-4B2C-9A88-5FB49FD75C89","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1bfb81f86c66ba67dd42e15567f8cfcbe97c575c","datavalue":{"value":"https://arxiv.org/abs/1403.0812","type":"string"},"datatype":"url"},"type":"statement","id":"Q897476$17717292-64DC-486A-8F82-B5A23B5E2518","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897476$CA12BB3C-3811-4B62-A059-6FC98F7A9265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897476$DE29BD62-2F56-4FFE-BE17-A55B24341BE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897476$BDA5028A-0E0C-4D43-B816-E71985CACF1C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5353df1e641cb2c8760eb3f23643474b8a45b0a8","datavalue":{"value":"6516810","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897476$356DFC4D-5B7A-4202-8ACD-DEF9DB3FB662","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5dc16f8d1602e32ffd5fe49a9882a214ca96ccb","datavalue":{"value":"Trakhtenbrot theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q897476$FF3380BB-35A9-4A9A-8246-5FF7A8ADB787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dabf0147a2477f9d5b36f07617332c9ddcf9e122","datavalue":{"value":"many-valued logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q897476$4DDF13E6-C41A-4664-AADA-7726C6AEC5E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1727bf646e3438117f2128acfbadc6b58cdf589b","datavalue":{"value":"MTL logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q897476$EEDA811A-1C4E-4F1B-B6B8-96B457A20A82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"872e4a50f524a853d7093b2872ea866d3349bf61","datavalue":{"value":"residuated lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q897476$D97941CE-F07E-4626-862A-3031D4283FCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q897476$DF5F8AA9-DAFC-4A16-95D5-F3FD03F51449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12e104b74c7adc572dce26818cc0ea7191b77b50","datavalue":{"value":"arithmetical complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q897476$B0AE09C2-20DE-46FE-8A2B-B2339310D8A8","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":"Q897476$64DD4B2A-7012-4544-AC91-4F13088E52CE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"419eba7e0ecfef997913f82c636d8b7ac8fdb3eb","datavalue":{"value":"W1535630413","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897476$C3B1BA5F-ECD6-48B6-A4A2-7814EC7F8535","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a3303f83a18b466e69499094f11dad4c964ce81a","datavalue":{"value":"Q59321711","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897476$B8D152FF-3897-43E2-B7B4-B81AC4330B56","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7bc15f249726e286830d3ad1d34138fb5e2e3d4","datavalue":{"value":{"entity-type":"item","numeric-id":4893133,"id":"Q4893133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897476$5DD4633F-FACF-4145-95D1-031C38E8364C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c518c18f44c81af14e64f37602ee04f933d21cfc","datavalue":{"value":{"entity-type":"item","numeric-id":3498458,"id":"Q3498458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897476$9FF9FEAF-FB7E-402E-A954-4E61CB314DE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8a8e7aa3826057e8a68a04faafb879ca50e3653","datavalue":{"value":{"entity-type":"item","numeric-id":2370370,"id":"Q2370370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897476$3998B2B8-C503-4EA8-B669-F3520C5F5B3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4deaf950e73a05811647608d8ceae4017073d3","datavalue":{"value":{"entity-type":"item","numeric-id":2377356,"id":"Q2377356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897476$7F8CDD4A-3AD1-4FB0-990B-E17A984ED98F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"365e43523f9f6b45dc2577202697ff91a6659a61","datavalue":{"value":{"entity-type":"item","numeric-id":3815297,"id":"Q3815297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897476$821C2A6B-0024-4069-B4D7-0DA70E904A4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c6f6a8df5c80c75352aecb2b5ce4ac199d3897e","datavalue":{"value":{"entity-type":"item","numeric-id":5944231,"id":"Q5944231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897476$03ECF990-97E8-485E-BF03-6FE9689E0900","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":"Q897476$C9A388E1-3B26-46DB-AB31-5D5306CC5916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54b5a082fa64992ebd54051a4deba16d01cc97f7","datavalue":{"value":{"entity-type":"item","numeric-id":5406033,"id":"Q5406033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897476$67A05EA8-9BD7-436B-9AFC-1748245C01F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ea01e61393c3869ed5a175e65459436e5e3d743","datavalue":{"value":{"entity-type":"item","numeric-id":2270233,"id":"Q2270233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897476$6E2AF3A3-DB18-4750-A362-CC8B2CADB1D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b21a46b53e0bc48233db6f19f8a64be4194c859","datavalue":{"value":{"entity-type":"item","numeric-id":1349199,"id":"Q1349199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897476$89B2F33E-DF7F-4975-852A-7761B9982DFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2393b24e4a16f9cc72a353f9fe927724d4f33c6","datavalue":{"value":{"entity-type":"item","numeric-id":4434613,"id":"Q4434613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897476$AEBE3BB4-8ED1-48DB-B1FF-FE310CE774CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3611689534df3e9746b0ff95870681f151324028","datavalue":{"value":{"entity-type":"item","numeric-id":4263789,"id":"Q4263789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897476$C4E5CFB9-D1CE-47C1-B7E0-72328A1127DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ff8f19ffb9058672af0fccdfe5b4acf6a8710be","datavalue":{"value":{"entity-type":"item","numeric-id":865044,"id":"Q865044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897476$8F451933-4F63-4565-B061-6A894C334EBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14921defd46fbd9f5f404edaa10f9e15e700499c","datavalue":{"value":{"entity-type":"item","numeric-id":3423151,"id":"Q3423151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897476$786D1DE9-D440-4210-8603-23C1693768FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cc407297c52090de603378237bacb8fe170dae2","datavalue":{"value":{"entity-type":"item","numeric-id":3705494,"id":"Q3705494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897476$BDB1F03C-3DB6-4384-8FD1-42F546E39C02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27c43b7e3610435da5759ec0170acf5a3e0de1df","datavalue":{"value":{"entity-type":"item","numeric-id":5797034,"id":"Q5797034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897476$34E44B2B-0709-4347-B65A-8410D08C874A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0642c6433eb0e2856b8e1c61578fc52e26cf85a2","datavalue":{"value":{"entity-type":"item","numeric-id":5731786,"id":"Q5731786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897476$89455CCB-5B2E-4804-B3D1-00B1BB1B7C4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f82e3f39dd1ca8be4d9302234cd13f0b67a4da76","datavalue":{"value":{"entity-type":"item","numeric-id":3843616,"id":"Q3843616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897476$AF553C25-5979-4424-B962-DC886896AAC8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"480b571725405a3672d45b3088d95fe1b442189e","datavalue":{"value":"10.1007/S11225-015-9614-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897476$2748B8E1-A4E8-402D-810D-C9EAAB7A53C2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9da464684c86488dbaa8fdda5c2c16e923f8b0d","datavalue":{"value":{"entity-type":"item","numeric-id":4263789,"id":"Q4263789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99459443c1ad3046a458c1d207b4033c84f4cfe8","datavalue":{"value":{"amount":"+0.8274518847465515","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":"Q897476$EE3D0858-8349-45AA-A056-E1110BB04338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"120bc11247eb6318aa1e2dfee23f8f7bd0411069","datavalue":{"value":{"entity-type":"item","numeric-id":2391235,"id":"Q2391235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49cf20aa38d91e5b09d673ed825d79c73d521e7d","datavalue":{"value":{"amount":"+0.7307307124137878","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":"Q897476$1F69C55E-B4CB-4F71-8097-60B056F11E13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"440b8d555ffcfaac13ce86776eba8c069548cd61","datavalue":{"value":{"entity-type":"item","numeric-id":744987,"id":"Q744987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dad9df6874c12974b6037214f59a47d7399a6601","datavalue":{"value":{"amount":"+0.7173734903335571","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":"Q897476$06904CE4-2ACE-4E0F-BB8C-C820E5D70AFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9e7620038cee71243bb2a66fe1424d941363b1d","datavalue":{"value":{"entity-type":"item","numeric-id":4825702,"id":"Q4825702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ad467d4836e4e991f2b78691380d2afa60f08d7","datavalue":{"value":{"amount":"+0.712101936340332","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":"Q897476$28222679-AFC7-48B5-A9BC-035C5C7BD5D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de04484ac7efe84ce866ef0f79be7e1aaabeaed3","datavalue":{"value":{"entity-type":"item","numeric-id":1123184,"id":"Q1123184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8f7e5a4bf016d65a0287e1615f5120bb446aa3b","datavalue":{"value":{"amount":"+0.7121002674102783","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":"Q897476$1A890864-E34F-45EF-A933-AFCD35B5BFDA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Trakhtenbrot theorem and first-order axiomatic extensions of MTL","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Trakhtenbrot_theorem_and_first-order_axiomatic_extensions_of_MTL"}}}}}