{"entities":{"Q3629235":{"pageid":5659141,"ns":120,"title":"Item:Q3629235","lastrevid":87461933,"modified":"2026-06-04T11:44:30Z","type":"item","id":"Q3629235","labels":{"en":{"language":"en","value":"Categorical abstract algebraic logic: equivalential \\(\\pi\\)-institutions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5558174"}},"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":"Q3629235$A0DC806C-1693-4560-9E76-3256CF0669B7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1571f0a2625fd0a8d586327ed1f5693f20595122","datavalue":{"value":"1166.03041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3629235$6C1455BD-510A-4673-90F2-FACDFA335B8A","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":"Q3629235$6C512ECC-C51D-448B-8C24-E8513CCA4611","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9ce65d071e7340c2588abccb76c05f02030105cc","datavalue":{"value":{"time":"+2009-05-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":"Q3629235$9784BC5B-E324-41DC-8625-F00255290BE0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3629235$97114B66-565E-45F6-865B-C91F3E97D9AB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2dbb3f4ab2c47acf49e9419dbb6f0a3752a2fdad","datavalue":{"value":"5558174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3629235$5B9C54D9-20E2-4E76-A1E9-94D81BDBD7A6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"001b851ddff316609206c04cd333e0b8b1643725","datavalue":{"value":"algebraizable logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3629235$F65728FC-F74C-454B-8AB9-90A110B8658A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2b4e6eb73b5958980e371fa19dd5ed515db82af","datavalue":{"value":"institutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3629235$1DE9A43C-F47F-42AC-9A04-B19C930EE777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afde0028919082e9f7a293d23871d0e6f88276dd","datavalue":{"value":"equivalence systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3629235$90E34532-4901-442C-AAB9-53A37E4B014B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a744869b38a88a01787fc52aae26dd37bca63919","datavalue":{"value":"equivalential deductive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3629235$6D457145-ADE5-4E7D-9956-7B903A3B23AA","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":"Q3629235$A14F2D15-F60D-4B30-AC58-B72CBE105201","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":"cd91a8d2cb0e7db81da147b89722efa6ebc34825","datavalue":{"value":{"amount":"+0.8991679549217224","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":"Q3629235$48EE43C2-AE8D-47E4-8464-E6BAED291BF8","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":"f06851e0e7e6e82b43042b21328a831fd26e1ffb","datavalue":{"value":{"amount":"+0.8768566250801086","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":"Q3629235$D311609D-BD8A-406D-8F0F-25EC4DF7CF3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3713a8315db0623dafa7d4d89de2e03fa859d0d","datavalue":{"value":{"entity-type":"item","numeric-id":4419263,"id":"Q4419263"},"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":"Q3629235$173BD244-92D4-4CA5-893F-EDEEB5FB8CA6","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":"d33bbe6e3a8f1d76d287bf540da7cd38522eaee6","datavalue":{"value":{"amount":"+0.8701694011688232","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":"Q3629235$247BC598-3004-42EE-AFC5-C18FA3B31996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0677fbe02ff40e18c409a601e85fce55975f909","datavalue":{"value":{"entity-type":"item","numeric-id":4928968,"id":"Q4928968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ea774e76cd3ae35a3e5cb6788226008f80f839e","datavalue":{"value":{"amount":"+0.8601088523864746","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":"Q3629235$B128B24E-B5DB-42A9-80BE-7139472C29A7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Categorical abstract algebraic logic: equivalential \\(\\pi\\)-institutions","badges":[]}}}}}