{"entities":{"Q3066295":{"pageid":3077011,"ns":120,"title":"Item:Q3066295","lastrevid":51160361,"modified":"2026-01-17T00:14:21Z","type":"item","id":"Q3066295","labels":{"en":{"language":"en","value":"Subquasivarieties of implicative locally-finite quasivarieties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5834274"}},"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":"Q3066295$20759434-5F15-4A39-964A-E7CB024A6348","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9ca0ec90db78898e9c208a02115388367bb22814","datavalue":{"value":{"text":"Subquasivarieties of implicative locally-finite quasivarieties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3066295$48600F05-9E06-47D2-A899-DD24EBA85B5D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"14e5ea0ed6790f89b33e121aec7d31df9361cb38","datavalue":{"value":"1213.08003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066295$93ED2377-7CD8-46D6-8961-B37FA4711DC3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf46b424f34bc75ff7efa1123c3981a48794242a","datavalue":{"value":{"entity-type":"item","numeric-id":189427,"id":"Q189427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066295$BC514CEA-CC97-4079-8C34-E3935A200F54","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066295$6B53C46F-1A6E-492D-BBA1-995E68170C70","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"740e49878700078887fbe9d119b7ad1f67f22eba","datavalue":{"value":{"time":"+2011-01-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":"Q3066295$7856C03F-AC03-4AC7-BC1B-778E3656F675","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ba40962b9b1c6cc590e99c35b83dff6377a190fb","datavalue":{"value":"08C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066295$21DB6FF3-4251-44D2-A894-C317CE265FC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066295$81C96009-CCF0-4189-9179-154D8AE26606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"798cc93af1af672fcddaa0ab93cef1e0a30d7b36","datavalue":{"value":"06A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066295$1CC26D2C-1D68-4D77-B7EC-BD5685CE748A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f02d830558649ff6e404d9b5f074d7ff067f06c0","datavalue":{"value":"5834274","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066295$7EA82A27-B925-40FF-95ED-D8DE432F91B4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3066295$4F2CCFE7-FDE3-4684-B8ED-82D6B3AE0203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5bbeca918e822b834ce779c3c27892da853615f3","datavalue":{"value":"finite-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3066295$437EBE4B-281B-4170-9FAB-8F3E0A262CAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b598d397dd76de4d9819e8c38a6ffdd10ea58456","datavalue":{"value":"equality determinant","type":"string"},"datatype":"string"},"type":"statement","id":"Q3066295$5907F920-758A-497F-825D-F89FF98BA9E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26b43d879f6ad89d85edb85af43e0f14cd501c1f","datavalue":{"value":"quasivariety","type":"string"},"datatype":"string"},"type":"statement","id":"Q3066295$924C847F-A5C6-430C-8613-04DC161BABB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7e792761f21dffa9d132c7b11c67d2e692f462d","datavalue":{"value":"implicative quasivariety","type":"string"},"datatype":"string"},"type":"statement","id":"Q3066295$35A7188B-DC31-4BB2-A884-3AAEC4A13251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88d350351edcda3059ffb4aa138f001d1ddffc23","datavalue":{"value":"locally finite quasivariety","type":"string"},"datatype":"string"},"type":"statement","id":"Q3066295$A465A6F8-F41A-4234-BC0F-627E8A9042FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2dac403bb9d81d756dca2544faaa837361f96cb0","datavalue":{"value":"relatively simple algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3066295$F4A4C41B-4E6D-49D4-9F9D-6E78E8D94974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b880f192b9ed41679e81364864888746f0a210c4","datavalue":{"value":"discriminator quasivariety","type":"string"},"datatype":"string"},"type":"statement","id":"Q3066295$F42C7068-956E-449B-8C48-AF1486F38D80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7578b038a259e5bc1908dc999ebeaa3bdad3b25c","datavalue":{"value":"Galois connection","type":"string"},"datatype":"string"},"type":"statement","id":"Q3066295$1E435F1E-C8E7-43D2-AA9B-9D47B82218C7","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":"Q3066295$42E23767-A831-4928-8997-D7502658493A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"76fb2090087ac248645afa529ea0012d69c4debc","datavalue":{"value":"https://doi.org/10.1002/malq.200810161","type":"string"},"datatype":"url"},"type":"statement","id":"Q3066295$8016F8F7-C76A-43ED-A512-77804872F052","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e670a0ed0d78b1db771ad7a6a60c938e412dfbbc","datavalue":{"value":"W2007522466","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066295$63AD40BF-511E-40C4-A752-1983D7B91191","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"682ca3d938867ec3ffb5a919a90d11a6dff5bb75","datavalue":{"value":{"entity-type":"item","numeric-id":2555490,"id":"Q2555490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066295$5A26D618-091E-4942-A4F6-3ADB45C418C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83827eae0f2aa8917fcb262755d3344938662863","datavalue":{"value":{"entity-type":"item","numeric-id":5933428,"id":"Q5933428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066295$BD2DB0CF-45F1-409F-822B-61447BDD777E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5b21a0cbd9d202c4d858892712685ade0d68231","datavalue":{"value":{"entity-type":"item","numeric-id":5638267,"id":"Q5638267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066295$8C9CFDBB-FE87-4BBE-89D8-FD9018762D52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"beb256a1ca7b0416148aaddd809e3e6cedc696bb","datavalue":{"value":{"entity-type":"item","numeric-id":2625991,"id":"Q2625991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066295$685BC657-F3E9-4198-A31D-C33EA83F4016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89a71f796b0fa0f21efef8d794381e3bce3ee300","datavalue":{"value":{"entity-type":"item","numeric-id":1255485,"id":"Q1255485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066295$9B4E3BA6-893B-44F4-927F-4FF8BB759D84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df3d63947cf7a8a7175ec2e00cd76505ef8b0435","datavalue":{"value":{"entity-type":"item","numeric-id":1301839,"id":"Q1301839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066295$D5CD9B5A-C06E-4D91-87E8-4D1F0454B18E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf353a2523f11425ffb25e836f9f766a59af5a87","datavalue":{"value":{"entity-type":"item","numeric-id":1302288,"id":"Q1302288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066295$1CB313E3-9ED7-44A9-8192-FAB5499DFA86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"210a89e221973209a20ca40a5ceface4b0421bc5","datavalue":{"value":{"entity-type":"item","numeric-id":4443421,"id":"Q4443421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066295$FC264314-1E6B-47D6-8638-9A0D81131B80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dcf7f7f4f27cf0afc5ce2d6c320ff1708ad0727","datavalue":{"value":{"entity-type":"item","numeric-id":5937445,"id":"Q5937445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066295$0D978F19-110F-454E-AADD-69E090E92925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f90182936b0209d5898e630ced86471b767c2407","datavalue":{"value":{"entity-type":"item","numeric-id":1407542,"id":"Q1407542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066295$A796E54E-B070-44E0-A0A0-DF6422781937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7d8e74844769fa915c222ebc2b478cea54c881a","datavalue":{"value":{"entity-type":"item","numeric-id":4822149,"id":"Q4822149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066295$DDC6C7AA-3303-4132-B05F-483385ECDD20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cf0809b647ec1d4bd8efa7a719111cd1a42b445","datavalue":{"value":{"entity-type":"item","numeric-id":818926,"id":"Q818926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066295$52CCC3E3-DF8E-4E42-A809-4C7B412AEFD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8045f27533203c49a8d5c9ee1d50950cdabe7ebe","datavalue":{"value":{"entity-type":"item","numeric-id":5752544,"id":"Q5752544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066295$1C6EB7B6-9665-485F-864D-785CFAB4856C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e6b149bcad0942de02f7693986d2a6ba5b377cdb","datavalue":{"value":"10.1002/MALQ.200810161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066295$79A9B37A-C6D8-4DDC-9375-34492FC7C645","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7458649c285bc525003602fe8550e79ea133ed0","datavalue":{"value":{"entity-type":"item","numeric-id":3728965,"id":"Q3728965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dad63587075a26f5c119fa0530ac134820a9276c","datavalue":{"value":{"amount":"+0.7639589309692383","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":"Q3066295$B5739400-D722-4B4B-B1F3-09F743ED2B96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab7314947d730ca0c5886f56dec11c0cfc9cc013","datavalue":{"value":{"entity-type":"item","numeric-id":1744617,"id":"Q1744617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4df4cc13735700cb26d966f123aa524e46164e97","datavalue":{"value":{"amount":"+0.7542811036109924","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":"Q3066295$20F88BCE-2C54-4175-AD14-85394AF9C02C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ca596a5f659595307bbbb233bbb29b7af2cce3a","datavalue":{"value":{"entity-type":"item","numeric-id":3519801,"id":"Q3519801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aef82c3eacee70e8dc79b9ea4fbf82c2c8e44110","datavalue":{"value":{"amount":"+0.7506735324859619","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":"Q3066295$FCCAEEEB-D2FE-4E53-8E2F-D78523D56735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"657c8e7e12efdd628cc878598f7ea679a470d430","datavalue":{"value":{"entity-type":"item","numeric-id":1342130,"id":"Q1342130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"881ff5c4256dccc81870c62b5945cbe0389a97b2","datavalue":{"value":{"amount":"+0.7501550316810608","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":"Q3066295$9B03CEBF-3F7A-4BDF-995E-A1175FDC5345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d1c891f7dfe6f7c075f1dfbb1026d5e205a02d6","datavalue":{"value":{"entity-type":"item","numeric-id":5119904,"id":"Q5119904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e075ab8a9ec0fb4a1884b0a481e666520315276","datavalue":{"value":{"amount":"+0.7459677457809448","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":"Q3066295$2159FE11-7385-422E-A0CE-200B3A7FC74C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3066295","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3066295"}}}}}