{"entities":{"Q2366367":{"pageid":2377110,"ns":120,"title":"Item:Q2366367","lastrevid":78751202,"modified":"2026-05-06T12:21:13Z","type":"item","id":"Q2366367","labels":{"en":{"language":"en","value":"Filtering formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 223738"}},"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":"Q2366367$3B355951-5422-4D5B-82A9-3F11A4AF8898","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f10d60f8e0f976b838e04260c9ee763a00f17d08","datavalue":{"value":{"text":"Filtering formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2366367$454D3807-F6F7-4078-ACA7-C027BCBC6FC5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5a5291dc158e81ae0d4464fde6930bf49dc6be94","datavalue":{"value":"0790.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366367$D48776CC-1B20-4A47-A656-4F0EB209BB58","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ca876324f3e51e06ea78039a7153c0c1048b97ce","datavalue":{"value":"10.1007/BF02018740","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366367$1B805792-EA0E-4D84-ACED-6A75FCA007F0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b09b231ef88be551bd4c7283902878a420063bb0","datavalue":{"value":{"entity-type":"item","numeric-id":918542,"id":"Q918542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366367$63493F7E-0E03-4D63-8E39-3098E0C9EB4A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366367$BCA34080-C08F-468E-9870-A9F56C38384D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be4381b75afe2df0dbe37cd1a66e006418c0c5aa","datavalue":{"value":{"time":"+1993-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2366367$62608862-0293-4E18-9DEB-05B9B4DCA0DC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"69ce53ba3f61c9fabe13e3c92e56299afe4a9c04","datavalue":{"value":"\\textit{E. A. Palyutin} [Algebra Logika 19, 582-614 (1980; Zbl 0491.03011)] introduced a class of formulas which he called \\(h\\)-formulas, instead of this term the author uses the term ``\\(P\\)-formula'' here. In the first paragraph, the notion of a normal, weakly bundled valuation in a complete continuous lattice is given. It is proved that for filtered formulas the notions of truth and global truth (i.e. the equality of the valuation of the formula to 1 of the lattice) coincide. Moreover, there is a complete proof of the theorem stated in the author's paper reviewed above on equivalence of any filtered formula to some \\(P\\)-formula.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2366367$8500DD21-3618-471F-AB24-B0D47803328F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d2785a964739681e8231fee4de8f7d657fb50f4f","datavalue":{"value":"03C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366367$164D6B28-4B09-4344-9706-EB253A82020E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed0e9d16aabdfc4de2754948a872b6ceb30bba56","datavalue":{"value":"03C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366367$49EE97E1-6959-4A2F-87A9-B37BBB9A48C3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"308ce5bcd15c5158ea4fd38e611a72c50bace29f","datavalue":{"value":"223738","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366367$DD47A782-A41E-4B8E-8553-77ECA013DCB8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96a73aa11516544a7bbee509cc07f590b6b9b3dc","datavalue":{"value":"reduced product","type":"string"},"datatype":"string"},"type":"statement","id":"Q2366367$C217AA40-B031-4CD3-B3FC-E975948AECC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4796496247f6748989e90d30410a7f7c85bc9f86","datavalue":{"value":"\\(h\\)-formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q2366367$CB55941B-9B12-43E5-B743-8407369270DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7495d03c2fe838b56858638703b1b56b7bd8ac98","datavalue":{"value":"valuation in a complete continuous lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2366367$E7A98091-2415-4224-B052-C211BC088F52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4286e9794909fb63cfb5f8683cf351ffc1d0348f","datavalue":{"value":"filtered formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q2366367$304B8163-860B-4F79-ACB7-CEF41CB369E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"199ca666629179b2de654491c8d4f2877e882558","datavalue":{"value":"\\(P\\)-formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q2366367$192C30E9-F242-4050-BCBC-6BBC8C95DEBA","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":"Q2366367$3C837BCC-A3F1-422E-ACAC-B8B6424147DC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8acf06c5aabd865fd0727fb7db3a3d8aa4d0e4e5","datavalue":{"value":{"entity-type":"item","numeric-id":3739171,"id":"Q3739171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366367$ADFE5846-3C25-42C8-AAC4-E294D548D1FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36f76ba65987bffc0996fb6eb7e69b9988872eaa","datavalue":{"value":{"entity-type":"item","numeric-id":4198732,"id":"Q4198732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366367$27C1A635-ED94-4E15-BED8-B39C705C8826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e75277f9649fbd61b3a8098ecdde5d7fa3c976c","datavalue":{"value":{"entity-type":"item","numeric-id":4700633,"id":"Q4700633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366367$F2B3A3CD-83C3-475C-928F-D55552044895","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8796dd9eeb445536968174c59bbe96e5e02819ee","datavalue":{"value":"https://doi.org/10.1007/bf02018740","type":"string"},"datatype":"url"},"type":"statement","id":"Q2366367$42B074DE-53BE-4E36-97FB-BCDAEBD1B097","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"84e088b7d6a5240014f392d1326c9df05d0192a8","datavalue":{"value":"W4214510165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366367$18ECA710-9747-490D-A912-7A0ACED1CE26","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0057af28cad608f1e4f0a82d64ded13335e788c1","datavalue":{"value":{"entity-type":"item","numeric-id":4695944,"id":"Q4695944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"209667c5ef2fdd34fe93895f8ae0275a95264518","datavalue":{"value":{"amount":"+0.8350439667701721","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":"Q2366367$B97F84A0-E545-4718-86A3-971D475FE9E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66d242b07906d891c527fe24ccca44826823b03a","datavalue":{"value":{"entity-type":"item","numeric-id":1320693,"id":"Q1320693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8cef58da908f328d767e6aff9463636cd754ed1","datavalue":{"value":{"amount":"+0.7145711779594421","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":"Q2366367$CB908BC5-8766-4D0B-84DA-E1C83ABA3E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc8def9ca4cf55cd7f62719abd395c76a5a28b9e","datavalue":{"value":{"entity-type":"item","numeric-id":4886283,"id":"Q4886283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0bd29e32291f750e5b295bc3d003f0fb1e8c89c","datavalue":{"value":{"amount":"+0.6852912902832031","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":"Q2366367$4B33A5DA-4988-44A1-B966-C6C9A136DDD7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Filtering formulas","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Filtering_formulas"}}}}}