{"entities":{"Q1402587":{"pageid":1413327,"ns":120,"title":"Item:Q1402587","lastrevid":67358469,"modified":"2026-04-12T17:05:25Z","type":"item","id":"Q1402587","labels":{"en":{"language":"en","value":"Categorical abstract algebraic logic. Metalogical properties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1972200"}},"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":"Q1402587$B1CAC8A5-16F2-4CA4-9F89-63B2A9152A02","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"472a4a070006b97e38e6437d275375fa5a216122","datavalue":{"value":{"text":"Categorical abstract algebraic logic. Metalogical properties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1402587$EDA3B9AF-A2BC-4C74-960D-E853A9422F35","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"52e97c2c10d90165c6eedf03fbdb2f61ef85c246","datavalue":{"value":"1030.03049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1402587$1F58E2B0-697D-4DFD-9079-98FE658BDE9A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"826d045e92680768badbe264f1a32a5d7f982eee","datavalue":{"value":"10.1023/A:1025167200338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1402587$AEBB0ABC-B957-433E-B73D-9E4A94FF5EED","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":"Q1402587$57A7E1F0-42BC-4B9A-AB38-F03172D56C16","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":"Q1402587$C00E617A-10C3-4159-B869-A75C3F117CD6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c32244d5bf7763be38ef1ab093764c99c644cc51","datavalue":{"value":{"time":"+2003-08-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1402587$BB58B3E0-ACDB-4090-84DE-0B147C1C953B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1402587$969619C4-2FF1-431C-B0B7-3EA46729F6A4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"33687f9384b2507ae62a5d1e9af4e98c07a569e2","datavalue":{"value":"1972200","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1402587$6E0A7AE7-6147-45C4-A1AE-E9DA35D96FA8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49430a8799e2ec0c8d08709920b845b0aea0f9f9","datavalue":{"value":"equivalent deductive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1402587$E1FD4419-1A8D-4E8A-9E41-85A9F8EE8F7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"001b851ddff316609206c04cd333e0b8b1643725","datavalue":{"value":"algebraizable logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1402587$B4DCE7B3-72A2-4C51-99FE-9327934FBFE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b526b9548ea1d63a42ee3ff08153b70694378ce","datavalue":{"value":"\\(\\pi\\)-institutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1402587$ADCF9166-C8A1-4461-B5CD-973225C145A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56bcd297ad594c45640514b26ff1f93aff75c16d","datavalue":{"value":"equivalent institutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1402587$3B8A8643-C1FD-48C7-9AE1-49FE8EABD526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b67cbc756f5cf6ef304d758432002f60e28e3e8","datavalue":{"value":"adjunctions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1402587$A3719B75-3569-483E-9448-90D0926ADF58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"923b37c4b90b2f1452f80b464b63b7e17bf3f3b3","datavalue":{"value":"deduction-detachment property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1402587$6EF153E3-5302-4E97-9B39-C5E0164FC8EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"314688b2f661a859b5261b3089cf24f23bdfb4b7","datavalue":{"value":"conjunction property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1402587$FF282E64-8B61-4491-ABDD-EDB41B1A25CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3020c5a082e5813cedace6da7c6bdd6690dd9fb5","datavalue":{"value":"disjunction property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1402587$F28A0600-045A-4928-98F0-58CD0555D469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03f1ce721ffa5b2f36084f57048f17032077e128","datavalue":{"value":"Craig interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1402587$9727AFF8-9D54-4078-8B58-2706D5AFEDEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a5439a100475f00aa9af0904c67bb02882336f6","datavalue":{"value":"Robinson consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1402587$613E40B7-9BDA-421A-8343-A640AB7A6FA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e85f6ec2d26baf4175b9f668a0803f93d07e740","datavalue":{"value":"Lindenbaum property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1402587$1AC6AD72-6C91-47DF-81DF-D7180A2804D7","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":"Q1402587$881493CC-0D1E-4B13-A404-CF4CF438AEF6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"651f0410dc79525c61fc0cfa06ae3d0a0ef44737","datavalue":{"value":"https://doi.org/10.1023/a:1025167200338","type":"string"},"datatype":"url"},"type":"statement","id":"Q1402587$DCC7BA96-9DF4-46D4-87EF-0F1B171883B0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c632ae6e33fb2f02e0c18c6f5d13a6b6cbd6de82","datavalue":{"value":"W1506976087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1402587$FD2E5F0D-4849-48FD-96D6-F94EF0DE6A13","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":"bcf9bc2f2b9812dcde12486ed57a42b0ef381b8f","datavalue":{"value":{"amount":"+0.8691274523735046","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":"Q1402587$6775F467-F5FD-4AAC-AD47-4D699AC0B180","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":"d82001f5b631f5a5f563ee05e61059a597598c99","datavalue":{"value":{"amount":"+0.8617565035820007","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":"Q1402587$61DAF25C-B8FD-4EB0-B2A3-9766D2C07423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3108b52140ab9b4f21b6322dde9edb857b99dd86","datavalue":{"value":{"entity-type":"item","numeric-id":2372683,"id":"Q2372683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55e90b7c8855d25579fc8658fe22dda03f42a62e","datavalue":{"value":{"amount":"+0.8582239747047424","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":"Q1402587$C3DD0316-0AFB-4600-A08D-CE34C5716378","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":"9704a182e592f856be9f74b44f1df7fc1550fa26","datavalue":{"value":{"amount":"+0.8574751019477844","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":"Q1402587$ABBE23C9-6B6F-416D-B860-DD9E13A20D24","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":"6f2fa710508f27579a6a519d6caf461ea1ad4c55","datavalue":{"value":{"amount":"+0.857082724571228","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":"Q1402587$7105D859-A45B-455D-96FA-417501AFC58D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Categorical abstract algebraic logic. Metalogical properties","badges":[]}}}}}