{"entities":{"Q2887678":{"pageid":2898403,"ns":120,"title":"Item:Q2887678","lastrevid":51482129,"modified":"2026-01-18T11:10:20Z","type":"item","id":"Q2887678","labels":{"en":{"language":"en","value":"\\(\\alpha\\)-resolution fields of generalized literals in lattice-valued propositional logic \\(L_{n\\times 2}P(X)\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6042050"}},"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":"Q2887678$20125081-FDDA-4194-B744-0BB0EDBA0005","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1576698ba6f8d56b75f45f9e515dffc0d46e4f75","datavalue":{"value":"1249.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2887678$96BF61B8-AB28-4687-A91A-3B1F11AD5F9B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddbfb71025306b5c6e4fabba2832fffef906c552","datavalue":{"value":{"entity-type":"item","numeric-id":2198911,"id":"Q2198911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2887678$CD7CE86D-F9CB-429C-8CF0-39B7A3A5DA6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee6429993c4b83380d2aa1a3eca2b98f393effbe","datavalue":{"value":{"entity-type":"item","numeric-id":209286,"id":"Q209286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2887678$49305F52-DBBF-4496-8AF6-6342E4E6EA46","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"551a6f900a46a3a457eea381c5a639d070eb099d","datavalue":{"value":{"time":"+2012-06-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2887678$8000C804-DC61-4A8E-9879-1E16DE1AE017","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2887678$5B01BD90-C000-418C-940C-0EDCFB371F3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2887678$A1F353D1-6781-4AC9-AEA9-CF749D9A584B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"625495dc8cf796ad780e9da29b6a4a78ebce22b1","datavalue":{"value":"03G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2887678$3EC28543-846D-4B79-B690-54461DFB08BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2887678$2782809E-6C74-447B-8834-D9BABCB7C9BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2887678$85CB23FD-E29F-4F5A-B9A8-CA9DB3EEE58E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c3bd61cb7e22f47fb13405d0d128c54ec341fecb","datavalue":{"value":"6042050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2887678$5FA0E04B-8DB6-4A3B-BEDF-CCEEE3FE2960","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2887678$86862CAA-104B-411D-9C0B-A70BA8A4CF64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cb072c37c883685e6aa139afbd5875ab5d302ab","datavalue":{"value":"resolution field","type":"string"},"datatype":"string"},"type":"statement","id":"Q2887678$F92295A9-7550-4564-81C2-AF94AD22ACF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2a7dd0956504d6251cf14bdf16057825dd19908","datavalue":{"value":"lattice-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2887678$9E52C79A-B772-489E-A322-F461E9465BFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85c8a1e5d19bc755eab48a90ee5c94c240ad9c3e","datavalue":{"value":"lattice implication algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2887678$C31D3BBC-15E3-419F-8FC8-47387DD85E76","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":"Q2887678$9F621718-D6EF-4794-B0F7-8A86F57FEE95","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"040f15f1b420466c02b4e9957344350581d6d72c","datavalue":{"value":"10.3969/J.ISSN.1001-8395.2011.05.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2887678$2518A35E-8B83-4688-8FC1-6DCF7B92A98E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"72e990854fbf4f858d61b520e2c21d984872c59c","datavalue":{"value":{"text":"\\(\\alpha\\)-resolution fields of generalized literals in lattice-valued propositional logic \\(L_{n\\times 2}P(X)\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2887678$A2B84876-59AB-4A85-A384-159366957055","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bd5ebfad62e203d45741147d5f74cc22df522f7b","datavalue":{"value":{"entity-type":"item","numeric-id":6768041,"id":"Q6768041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2887678$2180E80F-E956-4413-98B8-F6BD4236D60A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00042c233b81b4279dce4622b40467a06d7d3495","datavalue":{"value":{"entity-type":"item","numeric-id":545319,"id":"Q545319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2627b9ecc5bc99aa778387b8a1a014782a88a99","datavalue":{"value":{"amount":"+0.8836135864257812","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":"Q2887678$2E0309D6-6A26-4878-8C7F-8A33DD759DDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95d22ab492ef8f7ccda9c9deb1d2d404b9a7e4fd","datavalue":{"value":{"entity-type":"item","numeric-id":3180197,"id":"Q3180197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d1e021f2041aad0e7aa7c8f4c5825fa399ac56a","datavalue":{"value":{"amount":"+0.876937747001648","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":"Q2887678$EC4C059A-3F43-43AC-B16A-1F159045E52A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d8a042c4981412855ace19614269ea5a439a0dc","datavalue":{"value":{"entity-type":"item","numeric-id":4932304,"id":"Q4932304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47c40a4317b7b2e95afa0622c8af4a023db8fef8","datavalue":{"value":{"amount":"+0.8720774054527283","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":"Q2887678$7CC78169-E2E0-494D-96B6-755BC9232226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"511abf87addaa7692f957e5a410aba8b21a31b8d","datavalue":{"value":{"entity-type":"item","numeric-id":2905643,"id":"Q2905643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59340142332a3801be3e5f30d84aeb7a14f74ed8","datavalue":{"value":{"amount":"+0.8671408891677856","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":"Q2887678$FBDE020E-F961-4F37-9B93-328606DBEDE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34cfbd5d1d06df54e731f2ec173bc29da8bca13e","datavalue":{"value":{"entity-type":"item","numeric-id":3415129,"id":"Q3415129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0826b5ee224aeefd0874a444951984c9e6ac9fab","datavalue":{"value":{"amount":"+0.862423837184906","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":"Q2887678$D81647B9-A79C-4A9B-9BFE-3D953C88D929","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2887678","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2887678"}}}}}