{"entities":{"Q1580304":{"pageid":1591044,"ns":120,"title":"Item:Q1580304","lastrevid":72242610,"modified":"2026-04-14T03:35:27Z","type":"item","id":"Q1580304","labels":{"en":{"language":"en","value":"Positive implicative ordered filters of implicative semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1505954"}},"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":"Q1580304$76A2F249-5EB4-40DA-ABDB-DE037AB17ED0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"df3091e6e2da37bad491c186fa95e13cc88f5c6c","datavalue":{"value":{"text":"Positive implicative ordered filters of implicative semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1580304$711165DD-A550-4875-8303-0F50D0EC1A3E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d2fc9add5f83876c01606b0e44fdc654ef1af4a2","datavalue":{"value":"0955.06008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1580304$317164C2-AC40-4C86-BEEF-C97C7379F3DA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"28aa7d3f059bd8226147244c6e943864f84e4452","datavalue":{"value":"10.1155/S0161171200003781","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1580304$5954D013-57C0-4426-ABE8-C3C59BB57D0E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c4d14f6de16fedb57ef2f0703ad32e93709741b1","datavalue":{"value":{"entity-type":"item","numeric-id":162459,"id":"Q162459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1580304$52607577-0D60-428C-B8B8-83804A7F533F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8d02d8cc00f12eca67af7a2b878da9d104452f1b","datavalue":{"value":{"time":"+2001-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1580304$CF084D50-9FB7-423E-8244-E1A23685E0FA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dcb99571c5e43e338b875c6af16f99f3f8a50bf4","datavalue":{"value":"https://eudml.org/doc/48636","type":"string"},"datatype":"url"},"type":"statement","id":"Q1580304$587A471C-65FD-4C2E-B5DC-56974FE37E04","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"aad8110d3e77ddbf2c0c9c5227b042b62537a8b2","datavalue":{"value":"Summary: We introduce the notion of positive implicative ordered filters in implicative semigroups. We show that every positive implicative ordered filter is both an ordered filter and an implicative ordered filter. We give examples that an ordered filter (an implicative ordered filter) may not be a positive implicative ordered filter. We also give equivalent conditions of positive implicative ordered filters. Finally, we establish the extension property for positive implicative ordered filters.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1580304$8374E2E5-A13D-47D7-B028-68C1A626BA83","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1580304$920A43FF-A675-471B-A226-8A475A24A1B6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bb0fd7fdb3ee8964d4def4131b2f325c2700891d","datavalue":{"value":"1505954","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1580304$30A1CEF9-C7EE-4B77-8378-8A926D52A82A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc0f30d9e2d55fa716e19b256afe79409553b40d","datavalue":{"value":"positive implicative ordered filters","type":"string"},"datatype":"string"},"type":"statement","id":"Q1580304$743A0AD1-DF21-4CE1-977E-A84108EF9590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea3ef8fff11e65cc25d6afc095c76e2762fc4f30","datavalue":{"value":"implicative semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1580304$3C2E17E7-F5FB-41B5-9076-32597DF35CA7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de4edce6889de187fe685062a53cbb17bb02163e","datavalue":{"value":{"entity-type":"item","numeric-id":162483,"id":"Q162483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1580304$52EE9CFC-12AD-454F-9338-5679A893E1F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3bd53e2b4f2e868b9f7b4709b94fdc5c933971ba","datavalue":{"value":{"entity-type":"item","numeric-id":162508,"id":"Q162508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1580304$73F5D41F-68B8-4C98-8233-32219E45A1D6","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":"Q1580304$13C7D819-97ED-480C-BCEB-B88053CAF345","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"560a7a821292f2980d9d16adebbb571c48136c18","datavalue":{"value":"W2163378184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1580304$F78446F5-E6B4-410E-A7C7-1D9026593BBF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf6c4c564b8f19db2db60ada750b2a5354df3a5b","datavalue":{"value":{"entity-type":"item","numeric-id":4954995,"id":"Q4954995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01c18a18d21801c7df84bdc08e1e19b3ce2f0c77","datavalue":{"value":{"amount":"+0.9083382487297058","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":"Q1580304$E3625C88-8230-4D4D-B2A2-ADBF0F072879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7d1ca6ec711c77253b4631cb9b74741e7c846c0","datavalue":{"value":{"entity-type":"item","numeric-id":5929669,"id":"Q5929669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01c18a18d21801c7df84bdc08e1e19b3ce2f0c77","datavalue":{"value":{"amount":"+0.9083382487297058","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":"Q1580304$67DADA77-D4E6-43B6-8506-8C6E68E3C587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c89a703dd57ce3eabf3e0a14b3fe49accb6f09b7","datavalue":{"value":{"entity-type":"item","numeric-id":1881608,"id":"Q1881608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00029a33b2316e3fb7d40dfdf18d6820fd100735","datavalue":{"value":{"amount":"+0.8989660143852234","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":"Q1580304$DC192CB9-36FD-4D0F-AFB2-3521EA2E3B54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf9d67f2e68b16b432556a43d592d6ecf2ad7b50","datavalue":{"value":{"entity-type":"item","numeric-id":4351506,"id":"Q4351506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c43ad9fb5800e4af24e8d4e9f2fbbe750e6f5123","datavalue":{"value":{"amount":"+0.8976045846939087","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":"Q1580304$EC0E2902-2E83-4D4E-ABF2-03AF90939109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47cc6c8adca717677a7084f11b3e1362d3b64003","datavalue":{"value":{"entity-type":"item","numeric-id":3640081,"id":"Q3640081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c43ad9fb5800e4af24e8d4e9f2fbbe750e6f5123","datavalue":{"value":{"amount":"+0.8976045846939087","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":"Q1580304$B43F2D50-0A30-45FD-8C9F-7C9B75BB8622","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Positive implicative ordered filters of implicative semigroups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Positive_implicative_ordered_filters_of_implicative_semigroups"}}}}}