{"entities":{"Q2115290":{"pageid":2126033,"ns":120,"title":"Item:Q2115290","lastrevid":71364525,"modified":"2026-04-13T21:45:49Z","type":"item","id":"Q2115290","labels":{"en":{"language":"en","value":"A categorical equivalence for tense Nelson algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7490473"}},"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":"Q2115290$4918CFC1-0F0A-43CE-BFE2-3F08FA001131","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bebb3f8429bcaa5b1f48c815da4a1db22792890d","datavalue":{"value":{"text":"A categorical equivalence for tense Nelson algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2115290$2071DB3C-019A-4555-8329-35FDE3B0B11F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b3ac8cc5083d8edca19e2d209ed8bdb2b5f4e0ec","datavalue":{"value":{"entity-type":"item","numeric-id":780235,"id":"Q780235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2115290$5BF83D16-093C-4C80-94D5-ED5DAD6524D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5e2464ef1529482501582b4010b50bac70cea31","datavalue":{"value":{"entity-type":"item","numeric-id":2115289,"id":"Q2115289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2115290$B718C904-7888-48D8-972E-3779AA13F0B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"863cca2426d1137230fbd8ed6b21656783c6c734","datavalue":{"value":{"entity-type":"item","numeric-id":894526,"id":"Q894526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2115290$D8AEE603-DF64-4332-9727-4E0E2FC692F3","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":"Q2115290$65749006-58D6-4CE0-8E34-E0D13165CA10","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1470e37d0b940c5d9b54c63ce5027a99aca98db7","datavalue":{"value":{"time":"+2022-03-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2115290$58834201-4180-49B1-997E-63D1ED6319E9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2115290$88310B6B-68DD-4CAB-9F43-04F0D784DBDF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"688867da962df91f5b808d69a4e953c6c6b86b5d","datavalue":{"value":"7490473","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2115290$00DD87E9-A49F-4CB1-9B71-958E45E68E4F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"725a2b8bd893c7a12d48d859c67fe63328392e9f","datavalue":{"value":"Nelson algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2115290$8D59DED3-C12F-48CA-8067-B2C97FD08279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fa90d9b43357ac49f07caba3b29b66354b3e6fb","datavalue":{"value":"Heyting algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2115290$2C52BAC0-6E7F-4E99-8A9E-8541B6747F91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c62e3298ed0c91c77b41ca1ad2fdac331df0f7d4","datavalue":{"value":"tense operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q2115290$865548B5-1813-4468-BF90-E706D7822FC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11da0bcb31541cd3845c2859cde8e43aabd24d20","datavalue":{"value":"IKt-algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2115290$7B4ADCD5-0FE8-4EB6-9CC0-F70E130BBFAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9350dc4cdcf9b8e1fc5781ec4e6d440d80944683","datavalue":{"value":"tense Nelson algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2115290$37F448EF-ED2D-4606-AF0C-60463E0196E3","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":"Q2115290$818DABA7-32D1-4937-88F1-257E4F7E78B5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"36815b418fc459e7968b544a84997dc39d266a23","datavalue":{"value":"https://doi.org/10.1007/s11225-021-09960-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q2115290$14B481E4-D215-498E-A00C-00BFC128AF1B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"04480b7aa58d94dd158cfb20b114d2456a2330e4","datavalue":{"value":"W3195875021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2115290$2310B2C3-D275-484B-8A39-B846ADE077BC","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":"Q2115290$B0FAB084-CDC3-414E-91E4-30881EF9E3FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56bd74fddd63f8a39b34444eccf9669166a1d570","datavalue":{"value":{"entity-type":"item","numeric-id":1701919,"id":"Q1701919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2115290$E71565CF-CEF4-4F76-92BE-4763C73DE015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d4d547ca76e4b86d8cf82e89e649681bd87bf7b","datavalue":{"value":{"entity-type":"item","numeric-id":429927,"id":"Q429927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2115290$1CD92E4F-F9C0-494D-8587-95542731DEE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ff18823cd58e71184118647cb528d605e7d4110","datavalue":{"value":{"entity-type":"item","numeric-id":1697648,"id":"Q1697648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2115290$2BE54078-165C-46AC-B0C7-66BB0BE2FB87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"409217ce1647c2ba67189b9324c5e54d65cf0dda","datavalue":{"value":{"entity-type":"item","numeric-id":4342094,"id":"Q4342094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2115290$29E0337B-A1B8-4BB0-A9A3-C62741B9AD96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2699ac4758641bc83897dc4751a40e8b2500c4c","datavalue":{"value":{"entity-type":"item","numeric-id":657427,"id":"Q657427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2115290$21B266C0-36DF-411B-A9BA-FD5A43E1D576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e6cb8e5d189d145033442c74733fc9a8459f4df","datavalue":{"value":{"entity-type":"item","numeric-id":5445179,"id":"Q5445179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2115290$D12870D1-2210-4BBA-BC36-7478C2501272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"673bc4ab14d22e6e63d724fd52a52da64228b89e","datavalue":{"value":{"entity-type":"item","numeric-id":4644502,"id":"Q4644502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2115290$F5BEBEBF-82DF-414D-BA3A-12A0BE62CF87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"178097464b46161ef715af2d3f5fe3978ea3aabf","datavalue":{"value":{"entity-type":"item","numeric-id":3754596,"id":"Q3754596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2115290$A6537D52-D343-438E-8A31-27E213257E77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c92a602d7219c2fb90893aa9e31db7c119eb384a","datavalue":{"value":{"entity-type":"item","numeric-id":5413332,"id":"Q5413332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2115290$C0F1BFFD-9D6E-47C9-9D80-D11A42BE3F7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac2ff3aed24ae5528a8da0cb07da762158cec4ad","datavalue":{"value":{"entity-type":"item","numeric-id":1790608,"id":"Q1790608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2115290$7A74D64C-3721-45BB-8443-25EC410866C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a422d43e093bda18fe6984b2d5531785b0b0a05e","datavalue":{"value":{"entity-type":"item","numeric-id":1680513,"id":"Q1680513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2115290$83E1494F-D0B5-48F2-B98D-5638D188CAA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02196dc31ac94218c548f29afdfd82ecdc6e34ce","datavalue":{"value":{"entity-type":"item","numeric-id":2021568,"id":"Q2021568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2115290$D508047D-C516-419E-A108-446773CB9BDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b40211716e772b4a2f4dcb616dccc635488709a","datavalue":{"value":{"entity-type":"item","numeric-id":5582318,"id":"Q5582318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2115290$238A3765-B43C-426E-8A7D-5732179FEFAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"068c2180566322e7e6ae6561991d844472fe844c","datavalue":{"value":{"entity-type":"item","numeric-id":4063120,"id":"Q4063120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2115290$9CBFF5D3-5B9B-4013-B859-3B59AC206FEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"192daf53d4c3680ed22f2cfa7f25de3b226d2c5b","datavalue":{"value":{"entity-type":"item","numeric-id":3893928,"id":"Q3893928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2115290$ACAF7863-77C7-4148-886C-7C4A2BC23D9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edea5638220bbd93cdda5d40dd90be13349da7a0","datavalue":{"value":{"entity-type":"item","numeric-id":4943495,"id":"Q4943495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2115290$A3474E1D-07F7-41BB-BE70-F2666A12208D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18acd13838cbd2b8d817ea9459757c3a0df03ef0","datavalue":{"value":{"entity-type":"item","numeric-id":5525332,"id":"Q5525332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2115290$7B7BEB4E-044B-4EC7-A9CB-7F00C0FC18D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ef8a33d690dfbf3c0ebdf0286b762ce84729aca","datavalue":{"value":{"entity-type":"item","numeric-id":5789498,"id":"Q5789498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2115290$0E592A3F-89C2-4E2E-85B7-5FC413ECBA1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4aa26750d1e70afa42ec5a1b5844b0bc3ffbd5a4","datavalue":{"value":{"entity-type":"item","numeric-id":4273422,"id":"Q4273422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2115290$D8369E7B-C5E9-4AF3-B314-737A042AE25A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a54b9e308c7141029e5e3f531ea2cf0f5ed21631","datavalue":{"value":{"entity-type":"item","numeric-id":1214924,"id":"Q1214924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2115290$C0C8520E-81F3-4C35-8671-14D5FA8E136C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bf55e1f00d3d76691437c7e167ee75bb03b5819","datavalue":{"value":{"entity-type":"item","numeric-id":750474,"id":"Q750474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2115290$A60909FA-B7AF-4AF4-B831-8F8FB4BF69A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f311ce45b1595e141bd1b534a00e6fbe184eae21","datavalue":{"value":{"entity-type":"item","numeric-id":1249170,"id":"Q1249170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2115290$EE4E3648-30A1-44A5-BA1E-87BD5A7987F7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"03d880926dfd8a6ffe23e16ad20719062a1b973e","datavalue":{"value":"10.1007/S11225-021-09960-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2115290$7202829F-11E1-4075-8B7D-8A0CF1751F23","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f17ff2542b9ac2f0029becab25385a19110e7bc9","datavalue":{"value":{"entity-type":"item","numeric-id":2021568,"id":"Q2021568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4598f51feaddd3fc3d2c57c01d0332f43b9d9448","datavalue":{"value":{"amount":"+0.8613689541816711","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":"Q2115290$646E1D96-8F3F-43BC-A2E1-A578D47327B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"617387ae6e3d30302790d04ba0f3362243b029f9","datavalue":{"value":{"entity-type":"item","numeric-id":2100454,"id":"Q2100454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"308bba4b00380bfac88391127c6b9df2a58e032d","datavalue":{"value":{"amount":"+0.8030696511268616","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":"Q2115290$029D4F93-5365-4D39-AA5F-219A3A4FCF8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b48bc104dfa15ba1b993e3f506633aae0cb715d","datavalue":{"value":{"entity-type":"item","numeric-id":5095644,"id":"Q5095644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"613b923a62472c0d4d57a66507becde8ae100839","datavalue":{"value":{"amount":"+0.7860869765281677","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":"Q2115290$3CA281B6-AA7E-49EA-A949-CAF0326638C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecc075bae912b66abc11b2ef14c84ecc181e0f00","datavalue":{"value":{"entity-type":"item","numeric-id":5382580,"id":"Q5382580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ede9720a86ffffa259dbd6f201b2518b27a9c961","datavalue":{"value":{"amount":"+0.7331467866897583","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":"Q2115290$582DE106-DCE8-4C7B-AC47-2BB6E7803BDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e43d340f2dd2e5d94b76f1dd45781ac454d888ca","datavalue":{"value":{"entity-type":"item","numeric-id":5894705,"id":"Q5894705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ced90049fcfb2bf23184f582134c483e9a2d0bb","datavalue":{"value":{"amount":"+0.7262869477272034","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":"Q2115290$A3C6D2BE-CB97-4CB9-BD16-34EBAEEFC017","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A categorical equivalence for tense Nelson algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_categorical_equivalence_for_tense_Nelson_algebras"}}}}}