{"entities":{"Q514517":{"pageid":516284,"ns":120,"title":"Item:Q514517","lastrevid":62439060,"modified":"2026-04-11T06:06:00Z","type":"item","id":"Q514517","labels":{"en":{"language":"en","value":"Cofinal stable logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6690922"}},"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":"Q514517$C6CA906A-D666-49F3-95C9-A20355FD09E8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"da33e6ced90a333068dba9376aa4b6f8e8ae112a","datavalue":{"value":{"text":"Cofinal stable logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q514517$DCEF49F7-B63B-433D-A616-AD50C0DA3514","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"97337aec95d1c0b0052d3c165d0a2a9333e3216d","datavalue":{"value":"1403.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q514517$D35BFC48-E4FA-47D9-A515-6B877E7C5A0D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cd0181cec7d1f76e1aacb12b9c24fe7f2af1735","datavalue":{"value":{"entity-type":"item","numeric-id":195368,"id":"Q195368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514517$CCC38F27-342C-4896-A022-96CECDEFB4B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0f6f19702daf8407dcc07e967ba92a1b9bb20a1","datavalue":{"value":{"entity-type":"item","numeric-id":284227,"id":"Q284227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514517$0881F578-09B6-47E0-BA4B-E6C8FE39B480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"afe3297ff08401926483dd78d1ecdd546114a861","datavalue":{"value":{"entity-type":"item","numeric-id":514516,"id":"Q514516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514517$BA019308-B0F7-434C-9CCC-62B387DE861C","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":"Q514517$B0407061-BEF4-49E6-9891-516110712F99","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a8460bdb64b4b5e4361d553b383ac843f49ee0c","datavalue":{"value":{"time":"+2017-03-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q514517$179A4313-28C1-4316-8610-200542732554","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q514517$E4B7AE13-9750-4FD2-A7C1-C3BD457A1193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q514517$B8F25C3B-BC0B-43A8-9F48-077FB242E25E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q514517$48B83724-D8D8-4DB8-B611-353499729E9D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"79163c333ee47c2de758ae8dceeb8f2a834d5ff0","datavalue":{"value":"6690922","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q514517$C2313141-BA1B-4CCE-818A-97810FF41945","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q514517$B423CA95-E368-45B4-8E9A-897F18BF82A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83ebb19b957c9a1e49aa4a0bdf1b5b8e1c5d982e","datavalue":{"value":"intuitionistic multi-conclusion consequence relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q514517$FB235B0D-A35B-4A01-8686-6BE76861EA9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q514517$E42119DA-D421-47BC-AB42-AC81C54E5533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24696e017151cd00d04776e928a537548df4df0f","datavalue":{"value":"Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q514517$2BE5E595-E416-4FE4-97BA-EC25950B3FDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3c02ec5426e6d0393234b872b20ebe7c5158e71","datavalue":{"value":"variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q514517$BB4FD7A5-F173-4AAB-88F5-A3662A54E0F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"008271cbec60d50c025b8d3e422e8c57975de2d8","datavalue":{"value":"universal class","type":"string"},"datatype":"string"},"type":"statement","id":"Q514517$74993795-790B-4B8F-BD68-EE7314B4A04E","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":"Q514517$B8392F21-0215-430E-A3CC-5339DCCFD471","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ab79237938ae8c460d16acf5557462d81a1383f0","datavalue":{"value":"Q59478453","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q514517$8D0B24C6-C5AF-4D7F-9F12-6369916640CF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"866d856e1b0546735c86080e2eddf8385f167c95","datavalue":{"value":"https://doi.org/10.1007/s11225-016-9677-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q514517$9A039BAE-40E3-4AB7-94FF-E7844F76DA54","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b2c46809f0d7f383b0fca0293febe2d10de8e31f","datavalue":{"value":"W2461576207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q514517$90A8AFB5-3DB0-43C9-9018-8D9D1DDD6395","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ce47aaa57ed062610df59dbf8e315e80f656a8e","datavalue":{"value":{"entity-type":"item","numeric-id":4083730,"id":"Q4083730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514517$07FA600C-63C1-4187-8788-3781204CED45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36dc67082ba9d9143358226f3b7c64bbcc9561fe","datavalue":{"value":{"entity-type":"item","numeric-id":1771891,"id":"Q1771891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514517$F64A3AD2-EACD-4C3E-8092-4EBF9DE6412E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a73c74d930d7a7a0ab19d11647d9f975fd080bb","datavalue":{"value":{"entity-type":"item","numeric-id":953270,"id":"Q953270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514517$F3CA56C5-975A-4C11-92BE-D5FAB801D709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9fc3f64e300a3d6c539bb15ee466fd021c2616d","datavalue":{"value":{"entity-type":"item","numeric-id":3644804,"id":"Q3644804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514517$8B881887-471C-4883-996B-F825FF9A6580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"792fef42b85a3ec25283a772a91cc556fe1ff056","datavalue":{"value":{"entity-type":"item","numeric-id":509602,"id":"Q509602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514517$523436E2-2FAA-4B5F-8F27-95BE36E82DFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"774c6d71ad61e73464419c15048bcae35c6c3bfa","datavalue":{"value":{"entity-type":"item","numeric-id":2805038,"id":"Q2805038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514517$CE9C00B7-5800-420C-8B1D-6307AB3A0746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514517$96EA36F5-8733-41E7-8D08-7B14B4F30B02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514517$BE80D320-7488-4DA0-8750-13F86CAAA7BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd8103770c42e94e76dbdbf36b7c5906650d40c0","datavalue":{"value":{"entity-type":"item","numeric-id":2342800,"id":"Q2342800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514517$F190E794-11F0-448C-A0F0-A9A2771A0C17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9672d1f90f8366b2aa3154bc15fee0e7593092b3","datavalue":{"value":{"entity-type":"item","numeric-id":5598363,"id":"Q5598363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514517$1BE89611-D01C-46CA-A528-D1389558E9D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"071d9b3b917239477baf25669fcf8f9ac83bc48b","datavalue":{"value":{"entity-type":"item","numeric-id":4049062,"id":"Q4049062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514517$480E2312-8E9A-4175-8234-26C3F5614F5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09b4735cc1f5a60bfef583599fdacac66c6ca8dd","datavalue":{"value":{"entity-type":"item","numeric-id":4063119,"id":"Q4063119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514517$B95F2027-A099-4F61-AAF0-97E80BBF65E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec61348cbc7897006cbf43596adc1b3a59cad5f3","datavalue":{"value":{"entity-type":"item","numeric-id":3691638,"id":"Q3691638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514517$6E7F4237-A2B3-405E-ABB8-6C7500BAB8F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b8b14ebf7b1633a83dec41ff63f00cdc2d1d62c","datavalue":{"value":{"entity-type":"item","numeric-id":5619070,"id":"Q5619070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514517$1D9EC9A5-A5E3-4BE9-8539-6C86F9E55679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5c8fe2dcf48c1f8ed0c52c2979908a15e26c3ca","datavalue":{"value":{"entity-type":"item","numeric-id":300835,"id":"Q300835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514517$1727E1F8-9900-4F6B-A619-140A62BF0284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91aed4ff7969ae62a864e7e6e6061b889189f091","datavalue":{"value":{"entity-type":"item","numeric-id":5519127,"id":"Q5519127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514517$699B4AF1-D7CB-4498-8A77-92B6BD90271E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b90e62a647d76324dd712fbc39d6d3cb2ce86e17","datavalue":{"value":{"entity-type":"item","numeric-id":5595146,"id":"Q5595146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514517$01446824-E87F-48F5-B137-FF7C862A6923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29e692d1f3461a21072f869e2fe17a61b37ee2a4","datavalue":{"value":{"entity-type":"item","numeric-id":3655251,"id":"Q3655251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514517$33FB7393-50DC-4445-B70B-CAA1B9407B06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"355d08d5e5c4643fed69139b854c7f31566ba807","datavalue":{"value":{"entity-type":"item","numeric-id":1097260,"id":"Q1097260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514517$63255898-47D2-4979-AA4F-6511BEC97B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d0943e126b844734d0e41e82ee07b2fa3388352","datavalue":{"value":{"entity-type":"item","numeric-id":4085773,"id":"Q4085773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514517$C61102CB-6CC1-4C91-81EC-2FB3AFF6B11F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4e161dfbe8ad9eb3f28069aeb511dd5969d55b9","datavalue":{"value":{"entity-type":"item","numeric-id":4085775,"id":"Q4085775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514517$9C808062-42D4-43D8-BA0B-B6642AB61716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3422a46904c0317ecd3a4dbc57c1bc180165ca8","datavalue":{"value":{"entity-type":"item","numeric-id":920079,"id":"Q920079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514517$1C8F057B-B5AD-4307-8D42-63892EAFBCEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc687154876af29438e40818d3c5a719d115f72d","datavalue":{"value":{"entity-type":"item","numeric-id":4032666,"id":"Q4032666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514517$B66CBD9B-B8CA-4B0A-A857-02F0F9FFF32D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"09bb16228006ec7a7a76f9eafe80bc5f039ec0dc","datavalue":{"value":"10.1007/S11225-016-9677-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q514517$674DC487-11CA-445B-93C1-0BE859BBA7EA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c45880e1b2e2130ed8233ae56deeee181aa7105","datavalue":{"value":{"entity-type":"item","numeric-id":2805038,"id":"Q2805038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29a666b02e079c81c77d6a3a39a5b21b4cbf56c9","datavalue":{"value":{"amount":"+0.8089487552642822","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":"Q514517$A8E108D1-D118-4304-B98D-EFB95DE33ACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f9784489afbf62f5a4b079b45385bd62913bcf4","datavalue":{"value":{"entity-type":"item","numeric-id":3120212,"id":"Q3120212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3df7018d63a6a0dda70f5f464673b394026f4ea6","datavalue":{"value":{"amount":"+0.7830632328987122","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":"Q514517$1BD5868A-907D-4A75-B00C-AD0676D20A8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d68f33b824554d25b85d6e6d8e2374a6cde511f5","datavalue":{"value":{"entity-type":"item","numeric-id":4894720,"id":"Q4894720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3946ef90053f5eb48c14151380662b44c8edd79","datavalue":{"value":{"amount":"+0.7777469754219055","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":"Q514517$F9ED7E84-E5AC-4209-BF3F-63D2553B1036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7c9d9292b166b85ad60425b6677774032635903","datavalue":{"value":{"entity-type":"item","numeric-id":4291869,"id":"Q4291869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3946ef90053f5eb48c14151380662b44c8edd79","datavalue":{"value":{"amount":"+0.7777469754219055","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":"Q514517$E8AFE02D-AE3E-40F0-9773-6B0FA7C1B0A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4d9ba2948a0fc434f5037526015efef16b4331b","datavalue":{"value":{"entity-type":"item","numeric-id":4961739,"id":"Q4961739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b80da830c75a571a602a924fe355bbd92ace7ce9","datavalue":{"value":{"amount":"+0.7600681781768799","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":"Q514517$2020650D-4929-41E9-9D1C-15B0E51F5F83","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514517$15089F32-1AC3-4A4D-91AA-A109266C292F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cofinal stable logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Cofinal_stable_logics"}}}}}