{"entities":{"Q4647557":{"pageid":6677138,"ns":120,"title":"Item:Q4647557","lastrevid":53320988,"modified":"2026-01-24T17:43:40Z","type":"item","id":"Q4647557","labels":{"en":{"language":"en","value":"Optimal axiomatizations for multiple-valued operators and quantifiers based on semi-lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7001946"}},"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":"Q4647557$8F68F880-3793-4627-A358-70F2299BFF2D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6ae2ab85c3b9c9ddd81cf87fbe3cb26e6de85f44","datavalue":{"value":{"text":"Optimal axiomatizations for multiple-valued operators and quantifiers based on semi-lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4647557$520B71AD-FBD1-487C-A2EC-2021FE736DF7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"79d78538c238ee60c51fbcf38cb8cea49ce3741f","datavalue":{"value":"1415.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647557$811E87A9-D601-4AA6-8A23-7C14B1B712DD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f9d65119c380966dc8d471f13ae4bf5b7df5381c","datavalue":{"value":"10.1007/3-540-61511-3_122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647557$AD2C3807-EE6E-474C-B5B0-E1CE378C4096","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7af07974ad8783087ab1b975cd3d810e876a707f","datavalue":{"value":{"entity-type":"item","numeric-id":671654,"id":"Q671654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647557$C732785C-7F20-4FBE-B95D-17A7BE55B61C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1c1c5ae1cd90ac8f2e7ae6528ac21a720bbd1fe8","datavalue":{"value":{"entity-type":"item","numeric-id":4647495,"id":"Q4647495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647557$F1E2909C-AB67-4118-9A84-6946A232345B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"250f083a2ef1e7a7df79afad0acdd22e5799ecf5","datavalue":{"value":{"time":"+2019-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4647557$364E62E8-BFCC-41EC-9CD4-4E2A4E281C23","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647557$CB16BF72-783B-4565-B7E4-D4449DF331E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647557$2983FFB8-363E-4519-967F-886C85F5799E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"085dbca5df7e82ef6c06c473041672cdab8daf11","datavalue":{"value":"7001946","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647557$8329F32E-07BE-4F0C-A010-F2C173F670C2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"828e479c39c5c64293eb95e0403dbef7bbf79066","datavalue":{"value":"conjunctive normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647557$FB00D99D-41F2-4AB5-87D6-462F90AC1086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d86666bce4e863fa22d076e113065531d77c2aa","datavalue":{"value":"propositional variable","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647557$A15335F3-8740-4597-8C20-8FB97C6353F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647557$41FB3F63-CDD3-44CB-9346-E5F258C708A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1b17f05e4289c7582cd773cdd4edb907a56b3cc","datavalue":{"value":"disjunctive normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647557$6845B2EB-7300-468F-8EB2-D48281E835BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31e9ac14cb148e9e23cd03446edd0a9adc994bed","datavalue":{"value":"propositional formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647557$F8FF3F56-EB80-45FB-BE0D-8C264357873B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1ccd5e68e3cdc3ef728b8f894bc92ed260d8d4ef","datavalue":{"value":{"entity-type":"item","numeric-id":18694,"id":"Q18694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647557$4117111E-BBCF-47C6-9CB7-785F9EC7BB99","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":"Q4647557$9787B047-B0E6-4A86-8FF6-ECAE55BC8C7D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7cf5cc71465c60a93c913570a76801dd7344313a","datavalue":{"value":"https://doi.org/10.1007/3-540-61511-3_122","type":"string"},"datatype":"url"},"type":"statement","id":"Q4647557$BBD2BD61-4610-4402-9471-1F444B8A8A77","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"812d4406f40ffd1227ad3b1b6394f353564046dc","datavalue":{"value":"W1761663315","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647557$FB203EEF-7AE0-4C96-BA21-366E1763E78B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"75695a8beeb327509bdf451e6c8d3a3f23213ec0","datavalue":{"value":{"entity-type":"item","numeric-id":1897558,"id":"Q1897558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647557$5CF27BF3-3CAF-4696-ACF3-3B27256839B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b9bc47516cfeded18ae6828b5f160cb8d180779","datavalue":{"value":{"entity-type":"item","numeric-id":4647516,"id":"Q4647516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647557$A0A72F1A-DA53-40C1-BD59-D31D9207B1DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd99276c611a0b07b3afe6756018507155148f8c","datavalue":{"value":{"entity-type":"item","numeric-id":3142560,"id":"Q3142560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647557$A526AE8C-9D47-48E0-B356-7CCB87550B0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"838411164f69c97962f39c7996d24f24a07a1fd8","datavalue":{"value":{"entity-type":"item","numeric-id":3770497,"id":"Q3770497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647557$A974ED0F-9A85-4670-A8A3-78027191B104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5251d862db37b18c0c514a0f92835960323642c2","datavalue":{"value":{"entity-type":"item","numeric-id":4289327,"id":"Q4289327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647557$755EBA7C-8793-4F68-AE8A-7100A74FC44B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae14e5d7ccd9d401edc3ddca1d5fdde08ca7bbfd","datavalue":{"value":{"entity-type":"item","numeric-id":1580665,"id":"Q1580665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647557$40A10F57-0A6D-41DB-9801-A0151AC0B666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e32bf44a89a3518bdab99e59431c4ecc0020886","datavalue":{"value":{"entity-type":"item","numeric-id":3245361,"id":"Q3245361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647557$9D36DB98-E28A-4B75-B5AA-AF7EDBAE10AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a322072d61e727264c22e3579c7d0b7212edd6f","datavalue":{"value":{"entity-type":"item","numeric-id":5814795,"id":"Q5814795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647557$CEA10960-BE4A-41DE-A590-6F99E24E70EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa887cf047e18ec6966d079a2bdee2d86d627b72","datavalue":{"value":{"entity-type":"item","numeric-id":5812189,"id":"Q5812189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647557$6BC8BB9E-3CD1-4F56-8839-30506008D8FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e02c8fd5a0c3234de52455be624291c050a5c6e6","datavalue":{"value":{"entity-type":"item","numeric-id":5534913,"id":"Q5534913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647557$D9587AC9-0EF5-4B24-8E1F-ECF3756D0588","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8d6684bf5248e930c58eb41c94a79718a93248e","datavalue":{"value":{"entity-type":"item","numeric-id":1854378,"id":"Q1854378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a4a30c81b80c9f3771b0b6719eb27b70a70571a","datavalue":{"value":{"amount":"+0.930099368095398","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":"Q4647557$D88FE852-8E99-4BB2-B29B-FEA9126379B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c720a317cdfaf2d47af5375d56c342b1f7aafdd8","datavalue":{"value":{"entity-type":"item","numeric-id":1580665,"id":"Q1580665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44714213aa3dec88a1178eda528d24a38f539148","datavalue":{"value":{"amount":"+0.8045438528060913","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":"Q4647557$3DEC8828-6F34-4AAC-86D2-15BA2E17EE39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afb9836b5354ac90e5db460bdec9acd6bbdb848c","datavalue":{"value":{"entity-type":"item","numeric-id":4282535,"id":"Q4282535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"660bbbd4ecbd5df318dcbccd120232f89869f835","datavalue":{"value":{"amount":"+0.7095357775688171","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":"Q4647557$70553C24-3021-4EFF-866D-27710F8E79B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7ccc83f4da17f3971bb80a76cb047637ff75074","datavalue":{"value":{"entity-type":"item","numeric-id":4885909,"id":"Q4885909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a515926e7daf74bdfe050488372b17125470594","datavalue":{"value":{"amount":"+0.6956537961959839","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":"Q4647557$3827421C-ACFD-4ECF-823F-41B32537A5D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1841e97141e7332e1e0bbfd8f844ff768263ac4","datavalue":{"value":{"entity-type":"item","numeric-id":3097869,"id":"Q3097869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f626edcae4224fea04f5658669d5af971f4d2d75","datavalue":{"value":{"amount":"+0.6923357844352722","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":"Q4647557$9499CD6C-5C27-4569-B77A-66798AE0BE66","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4647557","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4647557"}}}}}