{"entities":{"Q855228":{"pageid":857076,"ns":120,"title":"Item:Q855228","lastrevid":64851738,"modified":"2026-04-11T22:39:30Z","type":"item","id":"Q855228","labels":{"en":{"language":"en","value":"Alternative proof of standard completeness theorem for MTL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5081686"}},"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":"Q855228$D7699DCE-6BB5-4D59-A1AE-455EA585EB64","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7316da065ea6a76d0ccc7b2a2d2aecea2be83afd","datavalue":{"value":{"text":"Alternative proof of standard completeness theorem for MTL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q855228$E4E2E618-525F-4215-A614-02C70CB54AF1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"705d78f6a46cd48fa77bd9d76ef7d74fd6f0bd8d","datavalue":{"value":"1108.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q855228$37E8BC45-9DD6-4005-B67C-A37E21DB841C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9984799a85550783e833bfe04283fc5e29ec3af6","datavalue":{"value":{"entity-type":"item","numeric-id":65072,"id":"Q65072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q855228$F337AF9F-2288-4370-BFF7-77C011032D6C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"27b4e4a51bf604d70e174840a6623a8922651fb0","datavalue":{"value":{"time":"+2007-01-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q855228$148E3EB9-B9EC-4952-8791-366B53EC48D9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q855228$CE67E8BE-1D8D-485E-A37E-CFEBC33F9BB2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4ca10f8446a78d4d2dfcbda95883b9b06876e255","datavalue":{"value":"5081686","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q855228$A7C800F1-F90F-4E6D-BDE3-54E28BBE75D8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e5f5ab1207b9fd294f3639aa053fab7341e8569","datavalue":{"value":"Monoidal t-norm based logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q855228$AA490A48-47D3-483E-A45F-6A26D90C1300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"973c019812391c016fc30ce0a6d53779eceb6ab6","datavalue":{"value":"Left-continuous t-norm","type":"string"},"datatype":"string"},"type":"statement","id":"Q855228$2237CA29-D395-44A8-B9EB-36D6C06B220F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acb58fce8055612012afbecfe235e29444fc4058","datavalue":{"value":"Fuzzy logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q855228$B62C9736-50FB-4C98-AD94-9843761C826A","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":"Q855228$E2ECB884-8575-4CDC-8096-BE2CC3DC5ADD","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":"Q855228$1482EA90-7840-41A8-B565-186EC83C3397","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1316da01fa204c4e0a55aa314f54248f09c64899","datavalue":{"value":"https://doi.org/10.1007/s00500-006-0058-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q855228$4C336634-F246-4637-B105-7122B3BE87EA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"47b4d68e2bea261df58929b2e8d715a56a0148bf","datavalue":{"value":"W2013999314","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q855228$302821DD-86FB-4E16-BB5C-F1FFF871210B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"60286d36984eaf65882c51a5abddcc0df15a9a5b","datavalue":{"value":{"entity-type":"item","numeric-id":1771949,"id":"Q1771949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q855228$2B3A6FBF-EC50-4185-B75F-34D2D365D53D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cd83a0e0c158e73a35d24382dd524323f3a8f2d","datavalue":{"value":{"entity-type":"item","numeric-id":3043517,"id":"Q3043517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q855228$50FE505C-7FC2-472F-B861-41B322CA741C","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":"Q855228$65D0B276-EA5D-4384-9FFE-77B23B3C63C9","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":"Q855228$81E669B9-E175-4344-B6AB-3EDA25CE6662","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":"Q855228$A2CDD0FA-8CD3-47AA-B8F9-B91307493913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"198e22adb0c28f237b0a6a117669c0934e1199bf","datavalue":{"value":{"entity-type":"item","numeric-id":1778060,"id":"Q1778060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q855228$DAE87CA7-525F-435F-8162-58CF8B9C7AE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24b5ce9e6f04f47796fbfd5606e7d7b40e04d445","datavalue":{"value":{"entity-type":"item","numeric-id":4256417,"id":"Q4256417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q855228$4DC4F218-9B6F-421D-85D2-11C618812CA2","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":"Q855228$E54B9486-5990-433B-B323-C56E4721C314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5774289da01a364e753a8f9f11afcdd0197edfd1","datavalue":{"value":{"entity-type":"item","numeric-id":1575112,"id":"Q1575112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q855228$F0D5E4A1-8473-4962-B198-6E1FFA641C7F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3af37bb7442872ff4f9bde57fd39e76bb412d0be","datavalue":{"value":"10.1007/S00500-006-0058-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q855228$4440B106-87B8-4B60-A8F0-B7C750B461B8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8235b298bf3c4ce3faa2a5ba9c63ead0f7e5dfb6","datavalue":{"value":{"entity-type":"item","numeric-id":1778060,"id":"Q1778060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e2c0a031a3374a7f9d177621b91d102c4ccd26c","datavalue":{"value":{"amount":"+0.8569449782371521","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":"Q855228$03865600-91A3-43D9-AB5D-A0F770A2915A","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":"bc8393fb05e987dad1d48d71da10c7e31d5acb29","datavalue":{"value":{"amount":"+0.8461170792579651","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":"Q855228$7EC719D8-2F67-4D3F-B522-B735E402A4EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e361eac8402df708c7564f6f7a9697b0d7876b12","datavalue":{"value":{"entity-type":"item","numeric-id":2829669,"id":"Q2829669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc8393fb05e987dad1d48d71da10c7e31d5acb29","datavalue":{"value":{"amount":"+0.8461170792579651","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":"Q855228$CBF593C2-DD2A-4B34-A5A0-49BE51CDEA78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4085a3beb10f5c03fef7c8ce09590ff0e047ab1d","datavalue":{"value":{"entity-type":"item","numeric-id":1349199,"id":"Q1349199"},"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":"Q855228$F6951A24-A166-48DD-A481-4ECEF90DEF0F","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":"657f883f037a18a01133db6d77dd39cb590ad899","datavalue":{"value":{"amount":"+0.8319191336631775","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":"Q855228$880F23D3-2EA2-4225-9826-B5BAF15054E3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Alternative proof of standard completeness theorem for MTL","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Alternative_proof_of_standard_completeness_theorem_for_MTL"}}}}}