{"entities":{"Q3647220":{"pageid":5677126,"ns":120,"title":"Item:Q3647220","lastrevid":87564629,"modified":"2026-06-04T12:00:16Z","type":"item","id":"Q3647220","labels":{"en":{"language":"en","value":"Supra-logic: using transfinite type theory with type variables for paraconsistency"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5640502"}},"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":"Q3647220$49E39368-C2B2-4DB5-9EDC-FCAB386974CF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4503dac0eff6986690e5da486b78c881ff406cd0","datavalue":{"value":{"text":"Supra-logic: using transfinite type theory with type variables for paraconsistency","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3647220$4BBDF164-C91B-4416-B06A-0589BE17EF62","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f7afd6a4db19405a8e3a456a8a8577ce3713039f","datavalue":{"value":"1185.03051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647220$A8334E7F-4199-4BB3-97C1-BB314BD25189","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c0b3705dab3e613fed020a57376646104168a833","datavalue":{"value":{"entity-type":"item","numeric-id":766279,"id":"Q766279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647220$53581596-C258-4680-B606-293275378572","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"932edb623e9fc48fa0c14766bb48b251dc113bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2901187,"id":"Q2901187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647220$39043845-B6D8-460E-9D9B-81641A5B157D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0282e8a69b73ad7ee83a673994f773268a123e65","datavalue":{"value":{"time":"+2009-11-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":"Q3647220$773084EF-C9E4-4F65-A432-C36A0F0BAFC4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647220$F3BE59E9-6316-415C-87B9-8F5388200BF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647220$6225384D-B2E6-4E0A-B0AD-CC6398BD1FD5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"30bb0a43579b4e5914de02626e0c83e49801e4eb","datavalue":{"value":"5640502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647220$0862DDEA-353C-4302-A4CE-96D229FD611B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"720c3de76408c0968fd3d796d839c3822d3c5e57","datavalue":{"value":"paraconsistent logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3647220$25A4CC13-9F34-41F0-BB56-DD2D78DED5A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4f2f44802cb8abc993a66b4dc83e61e23e46113","datavalue":{"value":"transfinite type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3647220$B1483C2D-F61D-4368-A154-05697F313FDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39810ec381ba48fb5861c168391fa7d328efd8b1","datavalue":{"value":"higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3647220$D208CC52-50B1-4FF5-A8B8-60AE3D99588C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b838261c78c4ae7442badafeb6cc147e9d09de5","datavalue":{"value":"many-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3647220$2F6BA776-4A80-47AF-A698-B0D625E38242","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647220$21C7B260-A21D-4C6B-B744-7CE6C5B96D9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9c40cf9a35904f638a7cabef2bc178bad46391f7","datavalue":{"value":{"entity-type":"item","numeric-id":13717,"id":"Q13717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647220$E0A67F88-0134-4B4D-BD38-6FBBA40DBBDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647220$CCA8669E-EFE1-42F7-835D-F381479550D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1aec27d540e360c78ddad230e6e300ced62bdec3","datavalue":{"value":{"entity-type":"item","numeric-id":18433,"id":"Q18433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647220$05528B37-6AB5-49EF-A3D6-70ECE5AEC4B2","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":"Q3647220$00C691CF-2A5F-4017-93D0-CEA3909869A4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"461f4c81eec249f80d66409891664fa4da8a1fea","datavalue":{"value":"https://doi.org/10.3166/jancl.15.45-58","type":"string"},"datatype":"url"},"type":"statement","id":"Q3647220$8D289DA1-B910-45C5-8F69-7DE9C9973D4F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0cb9bb2850f834bd33d77cf5835452c4bd65209d","datavalue":{"value":"W1972314898","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647220$DB7B26D8-EA37-473E-9BC3-0294494322F3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cb9e3a6772849ff9a629cad139288838375d09c","datavalue":{"value":{"entity-type":"item","numeric-id":2395467,"id":"Q2395467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647220$77EB0E8B-B595-4846-B4A7-9E01C2618CE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec09860f6f4856a0bfa1fcbed713df420a357696","datavalue":{"value":{"entity-type":"item","numeric-id":4085699,"id":"Q4085699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647220$3ED52E50-7253-46D9-9363-8C80FA6DC396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3ad0eeac3b2d9aea59d4e0a75de4182d01753ee","datavalue":{"value":{"entity-type":"item","numeric-id":1923825,"id":"Q1923825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647220$59ADF0FD-4938-4114-9481-1794DDE0E839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98f21a4a0099d31e158836c7dcfba6aa43c852ab","datavalue":{"value":{"entity-type":"item","numeric-id":3342534,"id":"Q3342534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647220$A527B0E0-B326-4DD4-8B7F-68C029057BEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d7aaf9ffadc7f9942b442ff308fb45cfc8c51a8","datavalue":{"value":{"entity-type":"item","numeric-id":4211191,"id":"Q4211191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647220$9D7D9760-0026-45BB-9B50-189157F0FF56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca7e027091589776f78a6d7ad8457e805c17b28","datavalue":{"value":{"entity-type":"item","numeric-id":5777498,"id":"Q5777498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647220$22990217-33CC-435B-89F4-2BFE6EC69040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e49a12ba8646f3af5cd30ae8b83d1fdc9db22823","datavalue":{"value":{"entity-type":"item","numeric-id":4165089,"id":"Q4165089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647220$0DA403F6-37CD-4FF2-9C63-7D21CCD17FCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efb8206136bb1a3e3206c15b8c3fd64eecf1b0ab","datavalue":{"value":{"entity-type":"item","numeric-id":2757760,"id":"Q2757760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647220$B955AF08-5CCD-4EAB-A7DD-0298D53BC75A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b25a738f1ae81498c7ab556280d1bceb30630674","datavalue":{"value":{"entity-type":"item","numeric-id":4739887,"id":"Q4739887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647220$67905A20-AAFE-477B-8A08-78437CB3BDAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c89d163ec2cfe20cdcef09243a785a3cf35ab8f","datavalue":{"value":{"entity-type":"item","numeric-id":5573940,"id":"Q5573940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647220$2A3B03CF-8C77-4A89-BB71-4D48467A8566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17da60b7f6b4e22bbe7045d12697c8bb0702b06","datavalue":{"value":{"entity-type":"item","numeric-id":5604443,"id":"Q5604443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647220$B4D50693-DA31-4BA9-8389-224DFB154D6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647220$AE7A4BE6-6C1E-4CC6-B442-763F5062DAE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd3d8574e3336f27cd57df5df75def16113fc168","datavalue":{"value":{"entity-type":"item","numeric-id":701297,"id":"Q701297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647220$8A5FE018-BE42-42A6-8C79-6DEA8C388ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e5fdc7a388e99bd2ab8aeeef9f0d0e53fac4618","datavalue":{"value":{"entity-type":"item","numeric-id":4413894,"id":"Q4413894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647220$47BE3593-844B-4313-B94E-8CB4AA31AFEC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"11ef58b5ca2d7490ad35363b94f7442ad41a6812","datavalue":{"value":"10.3166/JANCL.15.45-58","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647220$4319BFB9-ED8B-4CF1-8186-509EA98A6739","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"722025a2ffb95a74308b754fe5152a2aa7470c1c","datavalue":{"value":{"entity-type":"item","numeric-id":5464717,"id":"Q5464717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69483ba554e638c5eda0718b93e9bf68d361c553","datavalue":{"value":{"amount":"+0.7271690368652344","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":"Q3647220$E43D0271-F122-46AF-BE6F-5C23F7A1FA3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71555a3198ca6ccf0804734c7fbe0d63a1610743","datavalue":{"value":{"entity-type":"item","numeric-id":4461714,"id":"Q4461714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfbcd69443c90b1aff9a9a482ba80d55e8b31c0b","datavalue":{"value":{"amount":"+0.7198550701141357","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":"Q3647220$A39A5D77-A9AF-400D-A765-62C2EB2B1894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da1579a6b1e86a945b2f338192e04f1f3eda0b42","datavalue":{"value":{"entity-type":"item","numeric-id":3490992,"id":"Q3490992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22d13e51e8082a092aec1656dfba327bed401bc3","datavalue":{"value":{"amount":"+0.7066059112548828","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":"Q3647220$079824DF-2BBA-4A1B-AE1D-DF661874F9EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"911a674ada1342013e70c2dfc11ccf95f8bed390","datavalue":{"value":{"entity-type":"item","numeric-id":5046719,"id":"Q5046719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5200dad6a8a7fa8baa154d5bf34c314d8772bb8","datavalue":{"value":{"amount":"+0.7043567895889282","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":"Q3647220$61D237D5-EDD1-41D5-9C8C-ED22BA114C53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd723ea83f8493d8fd1126c183dbb3daf0e3e2d5","datavalue":{"value":{"entity-type":"item","numeric-id":3982863,"id":"Q3982863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14a716c01dd687d4d94bfdaa46512d726446b9a8","datavalue":{"value":{"amount":"+0.6948294639587402","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":"Q3647220$3BCA3048-0B30-46E9-97C0-D3274DD05B62","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Supra-logic: using transfinite type theory with type variables for paraconsistency","badges":[]}}}}}