{"entities":{"Q1100203":{"pageid":1110955,"ns":120,"title":"Item:Q1100203","lastrevid":66683412,"modified":"2026-04-12T11:54:55Z","type":"item","id":"Q1100203","labels":{"en":{"language":"en","value":"No non-trivial quasivariety of BCK-algebras has decidable first order theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4041916"}},"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":"Q1100203$0DD7B760-2FA4-45FC-8801-08C76F09A82F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0e569d9d1acfc6e2440810c24a06b35f0f07ed03","datavalue":{"value":{"text":"No non-trivial quasivariety of BCK-algebras has decidable first order theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1100203$C85257FF-7A2D-4EF3-9761-12F03B48F61C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"074ec0c45f4f5fd904067fb97a210e7a3ab25ff7","datavalue":{"value":"0639.03064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1100203$8F46145D-9C63-427B-8DE7-EBBCA74997F7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5cbc0ea64d00572415843810bc5ebf7af2fd0851","datavalue":{"value":"10.1007/BF00370645","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1100203$373BB1BB-D6AC-4560-ADC8-676BE3C19190","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7d25d236f4e6581a094f8511575813a81f47161","datavalue":{"value":{"entity-type":"item","numeric-id":593512,"id":"Q593512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1100203$20606977-BD8D-48BA-818A-6396D1231FFD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1100203$AE0768CD-C922-4C60-B30E-17FFA1848C33","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1100203$38AD1EEC-3B6C-4BEE-8AF0-A2B84313B900","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ad351d774ddf3d8bc758e0a243830b6df47fc14d","datavalue":{"value":"By means of the semantic embedding method it is shown that any class of BCK-algebras containing the two-element BCK-algebra and closed with respect to the operation of finite products has undecidable first order theory.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1100203$AB0DD79F-D693-455F-AE34-11F8F454C123","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"83061ce9ff866ae18eef8243f29aeb05789c8987","datavalue":{"value":{"entity-type":"item","numeric-id":593512,"id":"Q593512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1100203$FDB5A388-A6AE-41D1-87E9-F0F7F318A45C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1100203$1032FC90-31F2-4F42-9447-E0CA010B3592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1100203$0A588662-9062-40D0-B52C-3132CEBA71F3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0b0bd29bfb4a360c5a3f0ca91cdb20e41b2bc6dd","datavalue":{"value":"4041916","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1100203$D59EB46E-8B7C-4AF1-BC78-2E1033E494A0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86ac904024b3a2f60df49eae20743747f4f72f25","datavalue":{"value":"semantic embedding method","type":"string"},"datatype":"string"},"type":"statement","id":"Q1100203$9E756A34-2A37-4F7F-977B-860CDC5870D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12ac83653fc3267e731ae24b5b2c4b80a331c55e","datavalue":{"value":"BCK-algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1100203$13C59A15-CC22-4606-98D6-B480F78A9E1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"738efbf28b655e152c7715ace139feb8d0423199","datavalue":{"value":"undecidable first order theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1100203$96E1B5D1-2F1F-4D61-BAF4-03E074164DCF","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":"Q1100203$A3CA05C6-D1DC-4167-816A-EA677700C4B6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc1d79132a7ff6bd4c9f7ecdd27343ffd9a0068f","datavalue":{"value":{"entity-type":"item","numeric-id":4165379,"id":"Q4165379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1100203$A40ED519-06C5-4ABE-83EA-A46D79DE7B4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0819324bd506803b495a19a7d780cc9145a758e","datavalue":{"value":{"entity-type":"item","numeric-id":3206929,"id":"Q3206929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1100203$BBCEC430-2459-42A0-B611-8EF41150EE0B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4aef52921727a357bf849ae4a9121696f55547fd","datavalue":{"value":{"entity-type":"item","numeric-id":1821098,"id":"Q1821098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e100817c23bb8950b0fd6af0199c0315874ab889","datavalue":{"value":{"amount":"+0.7754309773445129","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":"Q1100203$B0FFD014-8AE2-47C6-B1D9-911EDD1744F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b4ba0fe2d0c192466ff9b15a85be73ba653dd80","datavalue":{"value":{"entity-type":"item","numeric-id":1344842,"id":"Q1344842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16b98b3659e9019fc4cbdc1467c6cdc7ddf00462","datavalue":{"value":{"amount":"+0.7688729763031006","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":"Q1100203$6D5B8752-2155-4F4A-8FA5-28A03C09ED38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ece1bc568f910e0a7aa7437a3b8204efcb1016d","datavalue":{"value":{"entity-type":"item","numeric-id":1075310,"id":"Q1075310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"455aa4e4922dcb22f1357703acda560058ef57e0","datavalue":{"value":{"amount":"+0.7656551599502563","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":"Q1100203$819F6A58-1BE6-42BB-966A-97F1BE52C832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"403a6ca566e31f2a2d5ca9d985281d25d48dd7c3","datavalue":{"value":{"entity-type":"item","numeric-id":3437044,"id":"Q3437044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53a1c786b80fa68338908ad53f8485770d439cd0","datavalue":{"value":{"amount":"+0.7655023336410522","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":"Q1100203$F84E5B55-2C4B-4C5A-B17A-4AA52765A904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a3168428e57b3b94e6de63fe2e1dfdbc6a024c7","datavalue":{"value":{"entity-type":"item","numeric-id":1771949,"id":"Q1771949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba9d19223aba12284f8f7fa5bcfd7a6c9d9710a3","datavalue":{"value":{"amount":"+0.7632846832275391","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":"Q1100203$0B864097-14ED-48DF-BFBE-8EB63EA9569D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"No non-trivial quasivariety of BCK-algebras has decidable first order theory","badges":[]}}}}}