{"entities":{"Q4323008":{"pageid":6352609,"ns":120,"title":"Item:Q4323008","lastrevid":47302534,"modified":"2026-01-01T07:09:22Z","type":"item","id":"Q4323008","labels":{"en":{"language":"en","value":"Short Conjunctive Normal Forms in Finitely Valued Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 722159"}},"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":"Q4323008$9A3F0C0A-D831-4C91-A755-BAD2C321C083","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1762ef6241771e4f047bf17b839422ab16ced456","datavalue":{"value":{"text":"Short Conjunctive Normal Forms in Finitely Valued Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4323008$5C44D7BE-36A5-43C5-863C-6474084B37B6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"65268dc0f125170e559ba47036f9c2655da22403","datavalue":{"value":"0818.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4323008$BC44D20D-8855-4FEA-ACC8-4540531AEC56","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7743279316f8ce0cdbb2e6d0842ac12b618ecbfa","datavalue":{"value":{"entity-type":"item","numeric-id":679246,"id":"Q679246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4323008$8CC20CEC-EF39-4868-981F-8B439565285B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"715720f561aea0eab4b625798722468837096427","datavalue":{"value":{"time":"+1995-08-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4323008$3C1C1B0A-D303-4412-9F37-7403FDD0ECD1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4323008$97EAB889-01A7-4F4D-9428-B19EC82A5357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4323008$52CFDF2A-816C-4E32-B9F3-562F071C611B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"49526bacffdadf141a5ad593e6f59b443a3051aa","datavalue":{"value":"03G20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4323008$E09214B8-3574-4AA4-89AC-CA29DA83788D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4323008$6A541699-6BF5-46F6-9357-4457E616EBB8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fcfb7e6dcd85e7a92101af04964a18da8c14ee56","datavalue":{"value":"722159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4323008$E4F9015A-5F02-49C6-A454-C3C723C68743","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ffdd825c0c981650a40f890273e79382627030b","datavalue":{"value":"\u0141ukasiewicz logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4323008$AD1124C4-2AB3-4244-A636-4380C9066BCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03158307b01a6e2de96f5585d7a65d8e1a522aae","datavalue":{"value":"resolution theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4323008$C9DDC020-040A-409B-ADB8-D90D738371AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b838261c78c4ae7442badafeb6cc147e9d09de5","datavalue":{"value":"many-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4323008$76834482-AAB2-4535-BE72-783D3869DD3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e23f0f6e60c089b8bbab9ac5a963c851811bc5b4","datavalue":{"value":"satisfiability preserving CNF reduction of formulas in finite-valued calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q4323008$4E56299A-B5C9-496E-A94F-A25511847D10","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c845b927c7c8299e3e10848fbe9373f51ae3559b","datavalue":{"value":{"entity-type":"item","numeric-id":13461,"id":"Q13461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4323008$8B90AB65-7026-48EA-A0E9-BAC1B6D73B14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"70c51cb69cf83ba52d30c7a2c9abf4fc48a6f8a5","datavalue":{"value":{"entity-type":"item","numeric-id":18707,"id":"Q18707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4323008$7A02A923-4BE4-4DE1-A1D1-E7533020BA43","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":"Q4323008$2CC6CE1D-55A9-4535-B603-F74A5EEC7FE9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"26a54e6d7afa763bb734ab91574773ce318bfd85","datavalue":{"value":"https://doi.org/10.1093/logcom/4.6.905","type":"string"},"datatype":"url"},"type":"statement","id":"Q4323008$DB331FCD-A326-41A9-A4A1-899E1719CB44","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"47d3aab0310794f6e143418076e794c50b2a4816","datavalue":{"value":"W1978050007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4323008$E68E1FFF-C014-409B-AAEF-5A2653FF9026","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"67f09074bdab80ff92cf56d028dddb8beda6bc09","datavalue":{"value":"10.1093/LOGCOM/4.6.905","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4323008$08676AA5-B66F-4541-8776-8043E7954210","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":"Q4323008$340C6A33-9B6F-44A1-98F6-9D42FE4F6969","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6021f70475ec456907b1059df7b91dfa79a09357","datavalue":{"value":{"entity-type":"item","numeric-id":1897558,"id":"Q1897558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42949552779dec9342e2fc7c342741886006cfc3","datavalue":{"value":{"amount":"+0.8235375881195068","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":"Q4323008$61980CE6-15FF-4F11-BCB2-682A1946110C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2beb854416f4949c87bbeb601f4032f694da71a6","datavalue":{"value":{"entity-type":"item","numeric-id":4360107,"id":"Q4360107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42d6a9c4e55c8a527fe2db690ece69d779e4f5e4","datavalue":{"value":{"amount":"+0.8173242211341858","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":"Q4323008$65AECD2D-8E38-4902-97D1-C42DC1784E09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6e5bb7ea79d58c5271f1615cc3d8d9d8d59fdb0","datavalue":{"value":{"entity-type":"item","numeric-id":4255505,"id":"Q4255505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"873c6bc4faf74638855971127e2cf27ed9f2a51d","datavalue":{"value":{"amount":"+0.8159834742546082","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":"Q4323008$442713D0-EA54-4634-A05D-4D1E9C15B12E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d556c45247620500ddf64477701e2a84f5fcad4","datavalue":{"value":{"entity-type":"item","numeric-id":4534923,"id":"Q4534923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e0f2dd4be755aba750130dc9c6477287f010825","datavalue":{"value":{"amount":"+0.7865363955497742","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":"Q4323008$B9A69B6C-8B4A-4964-A5E4-72F2C7A17FE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ef9dba338c524179d8b1e882e76071bd162a7ca","datavalue":{"value":{"entity-type":"item","numeric-id":4202949,"id":"Q4202949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e346ba9defab15e46bf4871a0100ef2781a21eca","datavalue":{"value":{"amount":"+0.769421398639679","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":"Q4323008$AE3CA561-67EF-4EC2-8D02-D3EA900F62C2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4323008","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4323008"}}}}}