{"entities":{"Q884948":{"pageid":886796,"ns":120,"title":"Item:Q884948","lastrevid":50112605,"modified":"2026-01-13T04:22:41Z","type":"item","id":"Q884948","labels":{"en":{"language":"en","value":"Normal forms for fuzzy logics: a proof-theoretic approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5162352"}},"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":"Q884948$3C19AEF6-0237-4B75-AFD9-CC7DA00BFC4F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f3fc8477bdb37c4daeaa6913cf7a6a9981652d1d","datavalue":{"value":{"text":"Normal forms for fuzzy logics: a proof-theoretic approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q884948$30CEF941-E5CD-48C4-B5A1-BF90ABFBB1CC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b5837203785eff7b78362c7cb1b5b56c6d90d1dd","datavalue":{"value":"1114.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q884948$B006D727-9F75-48AE-8248-F7D6ACEE30DD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6139d3e9b2f228812d7d36d36822ac586de8728","datavalue":{"value":{"entity-type":"item","numeric-id":368485,"id":"Q368485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884948$0594424F-0B06-481D-96BD-9105015E836F","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":"Q884948$10B85B50-A3E2-4D5F-ACFA-2308BD85FFCD","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":"Q884948$DEC0A8A4-A1A9-4D2A-AE01-736F4639CA40","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d81384269237f7c171ce9e25726671d8695c125f","datavalue":{"value":{"time":"+2007-06-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":"Q884948$49063E3A-C671-4E8F-8FF7-9D2DA95C0704","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q884948$CE2BAB22-C3C9-4C17-8E8A-7A3C22AB68B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q884948$83FC6E5B-2930-45C1-8589-A8B4A23F84B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q884948$F3223CEA-F387-458A-A3E2-B4EB679B0143","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cb303bc8fdcdb9fd65f1b0dfb58b175b185ebb98","datavalue":{"value":"5162352","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q884948$678AAC97-8B5C-481D-812C-7B4B28237CF0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd7f7273b8e7f89d50335f2519dbd31cec7b734e","datavalue":{"value":"fuzzy logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q884948$99368213-FAFE-439A-BCCF-0F57BC3D2BA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q884948$7892A6B5-5598-4B0B-A669-56DB85E29FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2aabbe54d97e34d9445e12d68b92d32d3ea748c","datavalue":{"value":"conjunctive normal forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q884948$DE481545-2BDD-4E51-903A-21CBBFAF169A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed9d0f5c94ce9a9896fc61229212ec7309b9987b","datavalue":{"value":"strong invertibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q884948$00C6E36A-5374-410D-B073-1BF5A0E07190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6c90b7e95bda3bc41e2843a74b0cd81c6d721e9","datavalue":{"value":"hypersequent rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q884948$E2DBFFE2-C9CE-434F-9B69-BEA38A0021F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee344c3548a503eb5d485e085a844a11976c4636","datavalue":{"value":"McNaughton functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q884948$9C9AF0F7-9990-4477-85D8-C89671DFE801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ffdd825c0c981650a40f890273e79382627030b","datavalue":{"value":"\u0141ukasiewicz logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q884948$A2C32AF9-A527-4545-B4B1-732B0B0AE6B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f57e7923ffb20be382fa3f67cd9a02764204c34","datavalue":{"value":"G\u00f6del logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q884948$16E6BE93-7ECF-4282-90CD-C0A999484A48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e6c2d535e525c1e1d5ea7187efa822fbf373465","datavalue":{"value":"product logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q884948$FC3FEC96-4495-42F1-99DF-609297F9F3A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c099ce32ea5090915b845701578d306779c37b21","datavalue":{"value":"cancellative hoop logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q884948$0490FE01-DFA2-485E-BCC8-4D55AADF1DD2","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":"Q884948$87C0AFD1-B516-46F4-8A2E-7FBEBB1C032B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"52a2bb2928bfd52764acd40ceca3946d614932cb","datavalue":{"value":"https://doi.org/10.1007/s00153-007-0033-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q884948$F09C2F06-41F5-4306-A748-F72B1289FF1D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5eabd3afea869a5e55a579e033b6b9c2120c8a9c","datavalue":{"value":"W2044844988","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q884948$A43EE36D-5221-4FE1-9568-D3E7104AF045","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"01112245eaf2e24943c8eb6d237671281939c29c","datavalue":{"value":{"entity-type":"item","numeric-id":3781069,"id":"Q3781069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884948$BBBF0695-1D0B-41F3-B9AD-5814247751E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc7e628ce645756ff215e1270e8a57b64a1dd02","datavalue":{"value":{"entity-type":"item","numeric-id":5955614,"id":"Q5955614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884948$29D4F1A8-22E0-4ECF-B2FC-D75B93F4A5A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8da866ea10bf4b91a02468fd2c7b3694ea947fe","datavalue":{"value":{"entity-type":"item","numeric-id":4263005,"id":"Q4263005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884948$A4CF5E6C-4CBD-42E0-B967-9CC6DB191325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c93a2774b4cbe7788f6094a50a42299262cb8a67","datavalue":{"value":{"entity-type":"item","numeric-id":1818593,"id":"Q1818593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884948$32F6E814-BB28-407F-A815-36F9B0CEA653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fa80e47f8c0afcf3ba05ea2d9b3adfbbc7bab31","datavalue":{"value":{"entity-type":"item","numeric-id":1817694,"id":"Q1817694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884948$EE58FA11-F7C1-4C16-B4FD-7698593DF272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d26f2c2d499b25daadb93ee76f9a69f4b50a86e4","datavalue":{"value":{"entity-type":"item","numeric-id":1428676,"id":"Q1428676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884948$379F2C7D-2B67-4149-BB78-ECC9137FFE37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b27d44a0e50fda314668a36654efb04ab5135cb3","datavalue":{"value":{"entity-type":"item","numeric-id":3868730,"id":"Q3868730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884948$229E1482-514B-4C9C-88FA-F6CC5C679837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a89fd0be18afa90e446b36d03a2dddcfc66154e","datavalue":{"value":{"entity-type":"item","numeric-id":1882628,"id":"Q1882628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884948$2948D620-2B5C-4FFA-8A38-AB329B0FD188","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":"Q884948$561FFF89-850A-45F0-8C40-619730C3D3ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2252e0d4911d8949664bc26fb8c31876ba3f4db8","datavalue":{"value":{"entity-type":"item","numeric-id":4434610,"id":"Q4434610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884948$4CB59719-95E3-4672-847E-392DFDAAEB34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d16e8dfcfe65d86684bcabe5136abe2826fccd4d","datavalue":{"value":{"entity-type":"item","numeric-id":5804993,"id":"Q5804993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884948$512B8EA7-07E0-4522-B913-44FA3EA8596F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f442e40f56a8912ffb1f09904007c9397a293cc1","datavalue":{"value":{"entity-type":"item","numeric-id":1762728,"id":"Q1762728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884948$5F3879CA-06BE-4A95-81AF-583431241858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22f68e8c5196583ece57f0faac6ebe25d5853959","datavalue":{"value":{"entity-type":"item","numeric-id":5277732,"id":"Q5277732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884948$6751837F-2F58-4F30-A415-596EF5FFAD1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b69cf6e350090a83589b32b35f7400ebfe8dfd8f","datavalue":{"value":{"entity-type":"item","numeric-id":4302355,"id":"Q4302355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884948$70A38009-D868-46C2-ACF1-02EF846B6E58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"309a715ecfe3fe3e4ec0e698ae13dce021cfc93e","datavalue":{"value":{"entity-type":"item","numeric-id":2724150,"id":"Q2724150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884948$FEABF8FE-7469-4C72-95AC-56D20E3C38A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"582f6afa0c98cd4512049be58f12cf48ea4c5d16","datavalue":{"value":{"entity-type":"item","numeric-id":3256302,"id":"Q3256302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884948$EBF430E6-4710-4422-811F-AAB80AF9A977","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b127b0d997a11f99afeb9b2c34892c43cf449070","datavalue":{"value":"10.1007/S00153-007-0033-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q884948$4C58C996-D21B-47A4-BB93-D87716B7728D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"397a0caf37500ab546e84eb2af89c9ff56d76549","datavalue":{"value":{"entity-type":"item","numeric-id":1349207,"id":"Q1349207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"712e62fb5c1221a339382fb04ccdb6a94685102f","datavalue":{"value":{"amount":"+0.804560124874115","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":"Q884948$E5C5006D-EF2D-43EE-8F9A-85824244F02E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd80f52ba21495e5fd3aac3fad0c47fa307207dd","datavalue":{"value":{"entity-type":"item","numeric-id":1428676,"id":"Q1428676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b098c432089f7de9628655a0a19eca63ecae404","datavalue":{"value":{"amount":"+0.7960678935050964","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":"Q884948$AB510972-C373-4A1E-9FFA-7FC37D12EA3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56cd0a830c556e55eb12f2f9fd5eb3365dcc211f","datavalue":{"value":{"entity-type":"item","numeric-id":3021911,"id":"Q3021911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19ba7db75ae74657dca7b4ed889c517f33171137","datavalue":{"value":{"amount":"+0.7923294305801392","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":"Q884948$D4ECB7D7-BFAD-423D-96D5-5F23928F9CB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac61054c8b0a52ec96d686557bc3e762a437e0ae","datavalue":{"value":{"entity-type":"item","numeric-id":4670560,"id":"Q4670560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af7612f767210d460161f20168ba16c210a8d80a","datavalue":{"value":{"amount":"+0.7847817540168762","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":"Q884948$C40FC304-4F5A-4E16-9C25-CCDE6A013F01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dfb3524863d263aeec0c22372a51b4c1d743bff","datavalue":{"value":{"entity-type":"item","numeric-id":3143835,"id":"Q3143835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9ad2d2705dc886d5c6b6ae3e34c91eab7e7c466","datavalue":{"value":{"amount":"+0.7843150496482849","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":"Q884948$ACD35EAA-E7AF-4541-9F6F-D4A8A67C9C4A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:884948","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:884948"}}}}}