{"entities":{"Q4419263":{"pageid":6448862,"ns":120,"title":"Item:Q4419263","lastrevid":48144676,"modified":"2026-01-03T18:53:03Z","type":"item","id":"Q4419263","labels":{"en":{"language":"en","value":"Categorical abstract algebraic logic: The criterion for deductive equivalence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1958266"}},"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":"Q4419263$0469AF23-9F43-4742-B400-DD6986667096","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"187ad5f986cae2d61fe69ef46d451535e548a089","datavalue":{"value":{"text":"Categorical abstract algebraic logic: The criterion for deductive equivalence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4419263$7CECF59A-5610-4606-BC73-6469EB3CA779","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7c28fb0a29d6d65c13d0531a21ed5d4d47e8387a","datavalue":{"value":"1022.03051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4419263$766BBC6B-5D03-45DB-BB4A-B409DF3A8BAA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1350be694b11b191dfdb4ee292ebca47567b3263","datavalue":{"value":{"entity-type":"item","numeric-id":355640,"id":"Q355640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4419263$3C127FE9-A47A-4C78-95E0-7B83FB04EADB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4a6458f05f6f6374b3dafda2fe141b0e0926b499","datavalue":{"value":{"entity-type":"item","numeric-id":3159398,"id":"Q3159398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4419263$B02678D7-CC50-4444-B07D-78DCBC3B29BB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9e5efd6fac58dc2b0f5c6858806b68aa522c192c","datavalue":{"value":{"time":"+2003-07-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4419263$5F721005-A847-44B1-8E29-D911C8D15D73","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4419263$9F9BC8D4-6C32-4AD1-B7CC-FC1B93EA8511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4419263$7B6F6082-CC9F-4757-8F13-6B5F0AF7C400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4419263$81CA11D5-CE12-41A3-82E2-FC7EA67158B5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"24d10629a730561938ed8ab17ade5ac36dc52066","datavalue":{"value":"1958266","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4419263$E42AF8E5-BC10-46C9-BD22-4D7F6D78D904","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49430a8799e2ec0c8d08709920b845b0aea0f9f9","datavalue":{"value":"equivalent deductive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4419263$91060EAA-97CB-486D-AED5-69604FDDF2F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"054500799b79f77109cb42de9891e67701606fc7","datavalue":{"value":"algebraizable logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4419263$58F976C7-3562-450D-87DC-B9F00322A08E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b19893fa70f219532df6193dad75c5101409f5d7","datavalue":{"value":"lattice of theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4419263$4F14D102-89C6-4EE5-A9FD-9580DA2835A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56bcd297ad594c45640514b26ff1f93aff75c16d","datavalue":{"value":"equivalent institutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4419263$CAEE65E3-7761-4760-9EAB-79538A5460B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3cd0a044c213243b22478023b119447920f32aaf","datavalue":{"value":"algebraizable institution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4419263$8CA65E78-7417-4EAE-9827-216904FB6440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32706d3cf5c0180dcd1b9d83daad32cee9c1125f","datavalue":{"value":"adjunction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4419263$04BF304F-F5D8-4E4A-8A89-018B35543B82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f92cc527656b9dd150c8d61b9a582db5466a21c","datavalue":{"value":"category of theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4419263$F941A921-F1CF-4425-965E-ECDD47664DD9","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":"Q4419263$54DE6AEF-7416-410B-8DBA-38863F62E7BC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0f08d649ae9998c925dce846ca4f65076d62c051","datavalue":{"value":"https://doi.org/10.1002/malq.200310036","type":"string"},"datatype":"url"},"type":"statement","id":"Q4419263$8627038D-1C9B-4485-ADD4-920716AD361C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eabd0d0425e80839596e474a3af0a595f926c18e","datavalue":{"value":"W1977650433","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4419263$01A8DC5D-75C1-40CD-988C-682E53CE0D01","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"74976b2c064d741a95adbd43558b981e94de5796","datavalue":{"value":"10.1002/MALQ.200310036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4419263$0B4AC65B-A3B3-4731-8AE5-93F8EB600BB7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"842dce29853d9e4d68e7ca71988b1fb60d417390","datavalue":{"value":{"entity-type":"item","numeric-id":1422453,"id":"Q1422453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfc361f1700e78e701e421a94035fe1b586966b0","datavalue":{"value":{"amount":"+0.9037939310073853","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":"Q4419263$8B115C9D-5315-4F6D-9323-BF1C31296177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"182a0afa930caf0f1b453980e8c871e877c65b1a","datavalue":{"value":{"entity-type":"item","numeric-id":3629235,"id":"Q3629235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bfc78a99e0e4d136fbfbe0d0f0c54d3b7f8c902","datavalue":{"value":{"amount":"+0.8739110231399536","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":"Q4419263$B33AE9D0-E726-4C35-A1E9-B74253CF9EB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34b026a681a39ac78d5ac210f503c45b1fc71001","datavalue":{"value":{"entity-type":"item","numeric-id":2354626,"id":"Q2354626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c11fb4b14b84e3d7e772f019f07ad4e307cc1f16","datavalue":{"value":{"amount":"+0.8418512344360352","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":"Q4419263$87F80578-0024-48CF-9677-9FED376D9F56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb024705ab35603673dfcc80509a049b2456c5d4","datavalue":{"value":{"entity-type":"item","numeric-id":1402587,"id":"Q1402587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d71a18639745a716c441d5cdbda18a50564dea3e","datavalue":{"value":{"amount":"+0.8238704800605774","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":"Q4419263$A5A5EDD2-D5EF-4883-B0D2-232D53DE77B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"779bce2070496fb85110562135ec729c1656b20d","datavalue":{"value":{"entity-type":"item","numeric-id":2906959,"id":"Q2906959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fe878924b94bb2dca723964c2a2d389588582f9","datavalue":{"value":{"amount":"+0.8167691826820374","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":"Q4419263$BBD692FA-93EA-4A7E-85A7-2485B848A242","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4419263","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4419263"}}}}}