{"entities":{"Q5485402":{"pageid":7514962,"ns":120,"title":"Item:Q5485402","lastrevid":92551856,"modified":"2026-06-05T01:59:24Z","type":"item","id":"Q5485402","labels":{"en":{"language":"en","value":"Categorical abstract algebraic logic: The largest theory system included in a theory family"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5050668"}},"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":"Q5485402$0DD5AD4E-2576-4EA1-BAC3-0D3EBEBF561F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"79b187392ce6e12a0d533e98fdb430f92e561433","datavalue":{"value":{"text":"Categorical abstract algebraic logic: The largest theory system included in a theory family","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5485402$122881E2-8D39-41C6-AAA1-5D50059F2993","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"da1c211c347232b90233d4706ef145b7ba98fdf4","datavalue":{"value":"1102.03066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5485402$9E754AAB-2918-4617-B109-184EDC2C5F1E","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":"Q5485402$338DB84B-5A81-47FC-AEA3-A5A2F1561597","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":"Q5485402$7D67C10E-1ED2-4400-9209-5DB890C006EE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce041d4734364c3a206df997bf620f42fb038366","datavalue":{"value":{"time":"+2006-08-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5485402$8A2A6FA7-BB8D-455A-8A41-82C3F5B3C4D3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5485402$95D47524-6EA8-4F28-A581-308E0F48FE14","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"58a283e5db4fc3015b5278077a1119ef7228b441","datavalue":{"value":"5050668","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5485402$D60D62FE-B6D3-4BB6-9343-9307BDE8500D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c121d0b4540e7ec170cfab417fe7f119976eb282","datavalue":{"value":"algebraic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5485402$FDF1B3C2-9378-419B-934E-E27DCC76FE18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49430a8799e2ec0c8d08709920b845b0aea0f9f9","datavalue":{"value":"equivalent deductive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5485402$54289771-F649-4E0A-9A95-8A6748DF8C4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56bcd297ad594c45640514b26ff1f93aff75c16d","datavalue":{"value":"equivalent institutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5485402$68C35FA7-8B86-483A-89D8-317BFBFC08CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"001b851ddff316609206c04cd333e0b8b1643725","datavalue":{"value":"algebraizable logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5485402$745D3860-237C-4BDD-A92C-BCBD931107D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73d2b78fc8099e2fd355e870b22335c156e19a9c","datavalue":{"value":"algebraizable institutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5485402$73799E31-6C37-4355-997E-EC5737702983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b19893fa70f219532df6193dad75c5101409f5d7","datavalue":{"value":"lattice of theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q5485402$4E72659A-2618-4469-810C-734CD33B9EF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfeb258942ae192415c813749d6b5221b271ebd5","datavalue":{"value":"Leibniz operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q5485402$71558EBA-84AB-4146-9E18-18544B7C71A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad1412aa0a7caee42c5231400dad2d41a9f5db2a","datavalue":{"value":"Leibniz theory systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5485402$E53B30EA-CD2F-4812-A83B-670484A92595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23b7e5458a7a5ae7b348650458881262cb368999","datavalue":{"value":"protoalgebraic logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5485402$4124CFC9-F516-48CB-9872-73E20408B79B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a83012a525ca6d1dde4d56ef3cf3c028c7ea11e","datavalue":{"value":"protoalgebraicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5485402$3B961B43-00CD-426C-8588-5BFA3E94E038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f1f61e30fccd6747ba2977cce8a59a5d55f0092","datavalue":{"value":"prealgebraicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5485402$4C168E9C-9E1B-4E1B-B034-F86839B53535","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":"Q5485402$74F74825-41C6-494D-BA4A-8AC7790EE3CA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5db9b5420788e1359ba31e2e70bd1fb556a317ff","datavalue":{"value":"https://doi.org/10.1002/malq.200510034","type":"string"},"datatype":"url"},"type":"statement","id":"Q5485402$A48DAC2E-A4E5-44D4-AFED-717B2065C202","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"79102df36c657fc2811c33b39b98bd7190f8b8a8","datavalue":{"value":"W2099218991","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5485402$18789249-9223-4E87-94A0-261FD01D19DF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5ad2710adb49b09c41e2ab3a0d263ab2cd525bb","datavalue":{"value":{"entity-type":"item","numeric-id":5932852,"id":"Q5932852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5485402$587E1C91-655C-4004-B1E9-E34961F55BDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"127e8b3572499d26a731093d4db1a10798620f08","datavalue":{"value":{"entity-type":"item","numeric-id":4715441,"id":"Q4715441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5485402$04B9845D-FF93-40EB-9DED-EA87F062B12A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5485402$594C8695-A9CA-458A-90BB-0A3F58A905BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52e183e8e7145c43c41f5ae4889b564985595ba0","datavalue":{"value":{"entity-type":"item","numeric-id":1866032,"id":"Q1866032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5485402$E66CD0D1-ECBE-4FE4-9338-64093B944F33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21d54c821dd1e2ce10142f0e9b0058199dbf32df","datavalue":{"value":{"entity-type":"item","numeric-id":1778066,"id":"Q1778066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5485402$7B4C24D9-FA3D-4C8A-B061-32E3E0F42896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"839c1ff2939dcb55ffca6b32e89a5ce562fd58ac","datavalue":{"value":{"entity-type":"item","numeric-id":5449284,"id":"Q5449284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5485402$759DBEB1-05E5-4983-84FF-1C2132B0D1BC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8a44a2c05740244907d9ece90c32173991ceccfe","datavalue":{"value":"10.1002/MALQ.200510034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5485402$A885ACAE-D3C6-435C-BADA-EF0F4D58253E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8edd46b1d6b4f3da70207c6f13c51f5bd2da269f","datavalue":{"value":{"entity-type":"item","numeric-id":816651,"id":"Q816651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21e925622cf6e43b4af19197594aa7160fd85df3","datavalue":{"value":{"amount":"+0.8982231","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5485402$9668B5CF-CC01-463B-ACB2-2B603901C9F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"568041278fbb24df331f4426a1e1183d2778eb54","datavalue":{"value":{"entity-type":"item","numeric-id":3431258,"id":"Q3431258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01256e5f15ecb881dc24cf4933e14c31aa4355d9","datavalue":{"value":{"amount":"+0.8976211","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5485402$C42E3BE7-879D-411C-A02A-2778CA97AB44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a09b175bfbdf6020318f5e972670adb548aeaa90","datavalue":{"value":{"entity-type":"item","numeric-id":2502179,"id":"Q2502179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3904884f322bee04d7d3a2c81719b06867146130","datavalue":{"value":{"amount":"+0.8924661","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5485402$803FD75A-38D7-4E70-8D26-B2890D021750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f432b3a0ada722ad07196bf5b2bb5d795a3c97d3","datavalue":{"value":{"entity-type":"item","numeric-id":3370811,"id":"Q3370811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"820ae89bb731e5c5ff87b55fbbf419d2e7eb77cd","datavalue":{"value":{"amount":"+0.8915636","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5485402$3E351129-6245-4CC0-A176-2BDDC1994766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a5ae0722589332e062a392227097428e3f551ed","datavalue":{"value":{"entity-type":"item","numeric-id":3525204,"id":"Q3525204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"460723b9c575adc7314843bb18e158c6c61f2644","datavalue":{"value":{"amount":"+0.88708407","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5485402$628E0EEE-6C13-4D8F-B391-CE200333AAE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07b652a17c47d7b23db2711b096ebf561fb6cf4c","datavalue":{"value":{"entity-type":"item","numeric-id":5441552,"id":"Q5441552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80fd9810af9e57a9b71d9e2597245f48b3e29292","datavalue":{"value":{"amount":"+0.88320106","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5485402$A5060951-9FEC-42D5-BF2D-AC44115F9AB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f2295ba18c75a02d8f19d09614d3ec79bd3a1c8","datavalue":{"value":{"entity-type":"item","numeric-id":1866032,"id":"Q1866032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d15242bb4eab3d40696e363ceedfdf6c9b4b860","datavalue":{"value":{"amount":"+0.8829705","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5485402$3A7578DB-FA4E-4250-9FDB-E33010D08602","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":"6535fd00112b67b2500ea356a0f52bd91dee1fc8","datavalue":{"value":{"amount":"+0.881332","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5485402$10A37646-D208-4AB0-8F71-779635CEE0C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91316d94e6e17dff318daae50fade5de64ce6e09","datavalue":{"value":{"entity-type":"item","numeric-id":355641,"id":"Q355641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1e8a02eada93d989a9711476d0fae6bd28e799a","datavalue":{"value":{"amount":"+0.8809135","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5485402$F64CEBEF-F77F-4CD2-BB94-39CB4C6F2BAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1d06e0464956267884cfb04fc78728c481c4c7e","datavalue":{"value":{"entity-type":"item","numeric-id":4659579,"id":"Q4659579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a50cafe01393578ff82008439f46e8c66b1da46","datavalue":{"value":{"amount":"+0.8800376","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5485402$CF1A23D3-06BB-4146-A743-7A22221C9CE2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Categorical abstract algebraic logic: The largest theory system included in a theory family","badges":[]}}}}}