{"entities":{"Q1778060":{"pageid":1788802,"ns":120,"title":"Item:Q1778060","lastrevid":48491851,"modified":"2026-01-05T00:04:48Z","type":"item","id":"Q1778060","labels":{"en":{"language":"en","value":"Standard completeness theorem for \\(\\Pi\\)MTL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2171981"}},"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":"Q1778060$8BD74E86-F29B-48EF-BB98-6AC062D16663","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bf04b2ef57b3ba0698da82d64659ec3cf0d063d9","datavalue":{"value":{"text":"Standard completeness theorem for \\(\\Pi\\)MTL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1778060$907EFD50-2C74-4992-85C1-681988B81DBF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"39634dce15a7d34f93a8bd9eff1041615829a752","datavalue":{"value":"1071.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1778060$28313D6C-4A5C-43D8-9CBE-5E44FFC801B9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed884d62ba335a3bb4fbf19b212e496a3b37d0cd","datavalue":{"value":{"entity-type":"item","numeric-id":549719,"id":"Q549719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1778060$A5A52ADB-BC42-4051-B081-A31607498501","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1778060$721D6BD0-4F18-468D-8E7D-371E5AC727F0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"883cf1b866b714c43fcf9988533850ce4229a20f","datavalue":{"value":{"time":"+2005-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1778060$0F393471-D9F1-49F4-91A5-AB021ED05704","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7ebdc2d6788f41acfad18af2bd0f13a3f6d61b97","datavalue":{"value":"\\(\\Pi\\)MTL is a schematic extension of the monoidal t-norm-based logic (MTL) by a new connective that is in \\([0, 1]\\) interpreted by the ordinary product of reals. It is proved that \\(\\Pi\\)MTL satisfies the standard completeness theorem, namely, that a formula of \\(\\Pi\\)MTL is provable iff it is true in a degree 1 in all \\(\\Pi\\)MTL-chains in \\([0, 1]\\) with finitely many Archimedean classes. From the algebraic point of view this means that the class of \\(\\Pi\\)MTL-algebras in \\([0, 1]\\) generates the variety of all \\(\\Pi\\)MTL-algebras.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1778060$C0082ABD-4043-4D34-9F06-69CB7BC81DEF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4b94695dfa82835fe743dcf7fcbe410a40ce7658","datavalue":{"value":{"entity-type":"item","numeric-id":279322,"id":"Q279322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1778060$BF303EE3-36F0-445E-AAFC-9C56B713F1CB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1778060$5051586C-31B1-4139-B03A-4A6521F21BBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1778060$B83FCDC2-0B9F-4B2A-9B87-078B3105CAD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1778060$4E8E134B-3A64-4C1E-AF4E-F5C21A2FABED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aa5575cc4e274f61a9b0f02695c7957a7399da56","datavalue":{"value":"2171981","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1778060$F252599F-5BD9-4AD4-858C-65E102718F56","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f81dd8d93c2b9a1116456ab5587b21a1f3102847","datavalue":{"value":"fuzzy logic in narrow sense","type":"string"},"datatype":"string"},"type":"statement","id":"Q1778060$AE1A1D8C-30A4-4E0E-8019-3E5FF3F994FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e6c2d535e525c1e1d5ea7187efa822fbf373465","datavalue":{"value":"product logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1778060$E8FB1B48-12D3-4A70-BFA0-CE6A86124D80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7228064415a9e94b94477230de6ce9cbbf6cb164","datavalue":{"value":"MTL-logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1778060$CCC7B8A6-CF72-45DC-9D2E-4B47BF720878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9c9a99490b97cb007a19dc300cff35ee2e9cab5","datavalue":{"value":"left-continuous t-norm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1778060$96F4B564-9446-44D5-B099-8788C3CB3ED6","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":"Q1778060$816B924D-6628-48B4-9B3B-0B2D618CE2F9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5ba0cc1c090a2619fa3d54b4bedd2d8d0028a6b5","datavalue":{"value":"https://doi.org/10.1007/s00153-004-0254-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q1778060$10A93A9A-EB72-43E0-9BCA-793E5DDE71DD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2508e7fe37da13cbc7bd36e0aa06bbbec95fe08c","datavalue":{"value":"W2100783870","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1778060$CA20A604-7C88-40C1-9A3C-6242BD9CCD7E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"01f2bc507607ffddcaaffe1b4c02781fd7322297","datavalue":{"value":{"entity-type":"item","numeric-id":5841991,"id":"Q5841991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1778060$AA4F08F8-A1DD-43CB-AD80-83CFC255981A","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":"Q1778060$76538CD4-FCB3-4259-8852-5CA5C28A9ABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc8acc8675845e1374ddcb2d21ec124a48fdbda5","datavalue":{"value":{"entity-type":"item","numeric-id":1612690,"id":"Q1612690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1778060$E8BCE877-104C-46B3-80C0-33976FB3EC1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62b48c532a247c27214086098cf9ed71ec25a644","datavalue":{"value":{"entity-type":"item","numeric-id":5509706,"id":"Q5509706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1778060$3210F9C1-9495-4C5F-91BB-6FA17ED2BC56","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":"Q1778060$A8D56A5C-C209-40D1-8A03-96E7079A7D77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69c98ce1cde86982aa2ac057597dcecc7545b3e7","datavalue":{"value":{"entity-type":"item","numeric-id":1867661,"id":"Q1867661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1778060$48581804-5341-4DF1-900B-EEB99EB6A758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66dc5e0def89d29d50e2faebc8f9ce17e86fd467","datavalue":{"value":{"entity-type":"item","numeric-id":4836218,"id":"Q4836218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1778060$1B5D0CE4-D480-4AB7-90F2-4211040B288A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2f10c330d752e5090a2fd7c32459045a9353cac","datavalue":{"value":{"entity-type":"item","numeric-id":1604791,"id":"Q1604791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1778060$736F4D0C-2E70-497E-A8AF-1EFE812D7625","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4e3c9fceaa0217b68da1247fd86b3a0bf5d9b5f1","datavalue":{"value":"10.1007/S00153-004-0254-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1778060$F1E453F9-ABCA-4136-BDC4-2B52DDC4F949","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c73b9aa5164a9c38aa588fcce2ad11c7741c9ff9","datavalue":{"value":{"entity-type":"item","numeric-id":876492,"id":"Q876492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9ebe59165f55edd017d0b0ac15de84c6652242a","datavalue":{"value":{"amount":"+0.8713405132293701","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":"Q1778060$C2B44FBA-2D94-4E9D-85F5-CDDE6BA35DD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63f31b637c88ef61093461385c3ae5c6974502b1","datavalue":{"value":{"entity-type":"item","numeric-id":855228,"id":"Q855228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2795c8fbef538efebb200333d9e1cc2896bb6212","datavalue":{"value":{"amount":"+0.8446322679519653","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":"Q1778060$EA0B7991-5B9E-4444-9C26-3D095FCBB520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db218fcc3bab2b35c8939c01c8be5a2f15bf4c5f","datavalue":{"value":{"entity-type":"item","numeric-id":1612690,"id":"Q1612690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c50ab1fd747a28f4430635dbb7eb97be17d6ea05","datavalue":{"value":{"amount":"+0.8383340239524841","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":"Q1778060$ADB1717D-B15C-419D-B5F9-A2755E41092F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fe43020aac40741313d435fb2e35188a7f6a387","datavalue":{"value":{"entity-type":"item","numeric-id":1604791,"id":"Q1604791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2aae625cbf09a76a753a0384838456fbcc5d0c09","datavalue":{"value":{"amount":"+0.8367283344268799","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":"Q1778060$AC80D078-40FB-44C9-AC94-2A93793F0611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa3c7127b4712778ef874d210ca3db25e96346e9","datavalue":{"value":{"entity-type":"item","numeric-id":454982,"id":"Q454982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eeef3977506aa63378e4fd3141d1d75ecaca3426","datavalue":{"value":{"amount":"+0.8133780360221863","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":"Q1778060$23EE8439-4137-46F2-9124-478B35CDB156","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1778060","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1778060"}}}}}