{"entities":{"Q3406683":{"pageid":3417386,"ns":120,"title":"Item:Q3406683","lastrevid":50910326,"modified":"2026-01-15T17:21:51Z","type":"item","id":"Q3406683","labels":{"en":{"language":"en","value":"Herbrand's theorem, Skolemization and proof systems for first-order \u0141ukasiewicz logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5673415"}},"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":"Q3406683$027D9DEA-2C98-4F1C-A600-8090040C1A5B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2a58c6e5351ef92e269cf113f5dd851e57dd7c30","datavalue":{"value":{"text":"Herbrand's Theorem, Skolemization and Proof Systems for First-Order Lukasiewicz Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3406683$13AD31CB-AC42-4C50-A9D2-929E43F4076A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c440df65983231a5b312c31fa7c8e371a9ac2e11","datavalue":{"value":"1188.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406683$CC856E11-4DC3-4087-BE89-2CFDBA38A83C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec91c84374e1970ffeb850b5b07163b4a998968b","datavalue":{"value":{"entity-type":"item","numeric-id":167059,"id":"Q167059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3406683$3D93F85A-3331-4902-90C9-20C30E7C5985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0287ccefad5d85c7c53fa2410e6e3a92c27fb528","datavalue":{"value":{"entity-type":"item","numeric-id":287482,"id":"Q287482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3406683$923856A7-6D57-48A4-9E5C-EA330E5527EA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e2009cf31b04258b52435dca8e437f90280925b0","datavalue":{"value":{"time":"+2010-02-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3406683$A0E96831-59F7-4112-A23C-437AA4729193","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406683$54871CB8-BFF4-4262-AAA4-E315F1673A5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406683$03A8DA3D-D456-43AC-8D2E-06B042A9CE2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd19dc3d013c4b13f00e8fa7d8b28fd5bad6af5","datavalue":{"value":"06D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406683$AF3F4D0C-FC8D-4CE9-BCC2-B1287CBF8E4E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"95e5a4fe5b6dfae6599e75ae2f5b0ee1ec5184a9","datavalue":{"value":"5673415","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406683$AB9A6F7B-EA7B-4BDF-891E-8596359C4A72","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"558e32a0884c5233110fd5a023672e91351272ab","datavalue":{"value":"Herbrand theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3406683$2B0FE60C-9D9C-4E71-9C1C-8629EC6DF44D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b34e81c9be74c25aae2603a8dfa343c349c2721","datavalue":{"value":"Skolemization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3406683$A4448E49-4E8E-4C77-B00F-CCE0C991E176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ffdd825c0c981650a40f890273e79382627030b","datavalue":{"value":"\u0141ukasiewicz logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3406683$33345C48-ACBE-4B8C-829E-044ED3E89B5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3406683$F49EAB88-50EF-44C3-AB14-C5D95F966FC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c805f5020b605b68a317808d727275b520ef7c9","datavalue":{"value":"MV-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3406683$7C8C28ED-11D0-47F9-9DD9-FF8C73EF360E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e3b78f3149db7c0dcc97ef2bd019728dfc4b35a","datavalue":{"value":"hypersequent","type":"string"},"datatype":"string"},"type":"statement","id":"Q3406683$2AE14BCA-8B20-4DEE-B37D-5261AE09A6C4","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":"Q3406683$2450434C-9A6C-4AF7-97DE-83194ED02083","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"557dc10edb7c599fca1f81c9a900d4a4d680003d","datavalue":{"value":"https://doi.org/10.1093/logcom/exn059","type":"string"},"datatype":"url"},"type":"statement","id":"Q3406683$D8164BC7-9BEF-4B8F-B101-3A26ACFC60DD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"71d7f19b95f9f134954b2443f8f49c85fc115ac9","datavalue":{"value":"W1966718868","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406683$FA2F1C0A-5429-47D6-90E7-16C41D1BD9EF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d979b03453b45f8724a6c9f92365b6be79979a09","datavalue":{"value":"10.1093/LOGCOM/EXN059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406683$F1C52614-594F-4717-852B-E1FFA1F0E380","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3406683$5AEED1B3-3710-4DD9-8DB5-74F001B5F29A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4773d0aefc9fb6908bc7efdbc48cbf63cdf9b03b","datavalue":{"value":{"entity-type":"item","numeric-id":5434477,"id":"Q5434477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34e1e89c62756c57f71cbf58ce888445192ca99e","datavalue":{"value":{"amount":"+0.9590062499046326","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":"Q3406683$AEFA98B9-B699-4B79-A187-5C35D8158BE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b31a6ed5f8d8eacd6a891c1cf265f8c2563c9be4","datavalue":{"value":{"entity-type":"item","numeric-id":3507415,"id":"Q3507415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37e84f1623408350669ed77e25272586a27495b9","datavalue":{"value":{"amount":"+0.8593767881393433","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":"Q3406683$8F758A80-6505-4A77-8A57-AEE9CBF84852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a70da77aab94cad657f9c4dc7401b0cd1eb5bc8b","datavalue":{"value":{"entity-type":"item","numeric-id":1733060,"id":"Q1733060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97abd51239ea434f83a8f0714490d96bb5f68636","datavalue":{"value":{"amount":"+0.8381356596946716","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":"Q3406683$A1E820EC-212B-4F26-919F-D403EBA4B625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5ae2789436b5bbb0077aa29895bba51a141151c","datavalue":{"value":{"entity-type":"item","numeric-id":2870155,"id":"Q2870155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f90e2dd6032f41ee5f90be9e1de93bb5c39187ae","datavalue":{"value":{"amount":"+0.8245928287506104","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":"Q3406683$8370B1E0-8E42-48AA-AE6E-BEE49A9F98EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f3310361cfcb2b23a13888295d755a13dc114b7","datavalue":{"value":{"entity-type":"item","numeric-id":4558324,"id":"Q4558324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a751798e0f7b160ac9df3b2191b44691b5f7411d","datavalue":{"value":{"amount":"+0.7929750680923462","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":"Q3406683$B62A296E-4213-4E87-9FBB-C9F7B4E8DAA3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3406683","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3406683"}}}}}