{"entities":{"Q6067747":{"pageid":13202055,"ns":120,"title":"Item:Q6067747","lastrevid":58660146,"modified":"2026-04-06T05:32:25Z","type":"item","id":"Q6067747","labels":{"en":{"language":"en","value":"On Heyting algebras with negative tense operators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7767289"}},"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":"Q6067747$027F0DF1-A129-4FEF-9F23-305F2B3A2BC5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"67bb73ee0bee36827f5c5d4b0238a7720602388d","datavalue":{"value":{"text":"On Heyting algebras with negative tense operators","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6067747$1A4213E7-F788-4DB1-A60F-5A21573DB976","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da7ead96426e4907488a0e3585e03d6fb5933c4b","datavalue":{"value":{"entity-type":"item","numeric-id":2122480,"id":"Q2122480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6067747$966467ED-A229-4927-BE54-15172E80D5E6","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":"Q6067747$ED1F7305-5B64-4919-B2D2-C0281999E7EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"701119b32f839c2c9a724b714e772805870757c1","datavalue":{"value":{"entity-type":"item","numeric-id":6067746,"id":"Q6067746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6067747$B71D0BE4-BA08-438B-AD9E-350E98B8A640","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":"Q6067747$A1A7ED35-3B4F-49BC-B430-B31A185CE74B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"544ebe7ba78ec3be2c7fb58d49c3702fd9b9eed1","datavalue":{"value":{"time":"+2023-11-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6067747$6EA575DE-BD28-4F41-9EE2-566DC648EFDE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"97f60529492df2017d3230a66ad5a4dc784418f9","datavalue":{"value":"https://arxiv.org/abs/2212.14756","type":"string"},"datatype":"url"},"type":"statement","id":"Q6067747$67EEBC45-D5A1-4A7C-8F03-00E0AA4106DB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6067747$794A2E31-20A2-43B1-90A5-EF7D83E9EA9C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3a6d8b9d2fc042a7afc89e8f91426370c6eec231","datavalue":{"value":"7767289","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6067747$6C76BA51-57FC-4C96-8D1E-F9E33E12361C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fa90d9b43357ac49f07caba3b29b66354b3e6fb","datavalue":{"value":"Heyting algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q6067747$76A55A03-E869-411C-9321-B4D9786D26A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c62e3298ed0c91c77b41ca1ad2fdac331df0f7d4","datavalue":{"value":"tense operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q6067747$9AAD5827-3693-4453-8B62-923C38739E33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c1ab420d4694afabe5cda304066b4222a638d8d","datavalue":{"value":"negative tense operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q6067747$CDA87E94-B379-40CA-BE1A-1E1264A1B333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98f0cffe60f2d19d8f6077b5eac9a8a502603fb9","datavalue":{"value":"Galois negations","type":"string"},"datatype":"string"},"type":"statement","id":"Q6067747$EB1DC8F8-9256-449D-957A-D420169398F0","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":"Q6067747$3A89067D-7EC5-4DA4-8AE6-9C9CE889F940","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":"Q6067747$DAD9AF6F-F20C-4146-829E-F9E9FADBBBA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"365e43523f9f6b45dc2577202697ff91a6659a61","datavalue":{"value":{"entity-type":"item","numeric-id":3815297,"id":"Q3815297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6067747$698DBD04-F4BD-451B-BCD7-9D4D49AE767D","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":"Q6067747$BF69C0BA-136F-418C-989E-C14F12E526EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82f2255888215c4cab87b3c8b123c123bdb932e","datavalue":{"value":{"entity-type":"item","numeric-id":3653796,"id":"Q3653796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6067747$D9BF3A63-06A4-4EB4-8A5E-C0A18B9B6C60","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":"Q6067747$995F81E8-DDC7-424B-83C4-18502E4AC381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"912d0682c116b883e8739123fcba6277cdc14bc4","datavalue":{"value":{"entity-type":"item","numeric-id":5293965,"id":"Q5293965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6067747$4EE1358F-E982-4684-A710-F6A48E432068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4a05c228854581fccb67c618d557fe036a8add3","datavalue":{"value":{"entity-type":"item","numeric-id":2799965,"id":"Q2799965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6067747$C0B87B45-91CB-44F0-9E1F-4135ECFE1E07","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":"Q6067747$5DA4F871-5176-49B1-8B4C-BA8037F8E791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5029fdc7695bdf3985888a4b5c1a2196a9545d2","datavalue":{"value":{"entity-type":"item","numeric-id":3218105,"id":"Q3218105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6067747$AA498D81-719A-41FC-B3CB-34DC05ACC2FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53a88fc8586a5cae43b06fb74a3bdd1fb1076e68","datavalue":{"value":{"entity-type":"item","numeric-id":813083,"id":"Q813083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6067747$CF78C17C-9775-4B88-B20E-3AB45E6AD365","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":"Q6067747$05073B84-A5B8-42AE-87E3-BF9DB735B7C8","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":"Q6067747$9AD97061-6144-48B9-A902-1F94E85682E5","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":"Q6067747$D353E249-7AE8-4A06-8A93-48BD9FC59088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edecce7526186fffa3706317e4520eb1477c91fd","datavalue":{"value":{"entity-type":"item","numeric-id":894527,"id":"Q894527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6067747$F060C950-8A4C-4E26-9C3C-83E9833F64E2","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":"Q6067747$5046EF76-FB8B-4AD3-899D-6A1D36372005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"673bf7ede7b2468e2be0409f532d7b3c7608b953","datavalue":{"value":{"entity-type":"item","numeric-id":2720324,"id":"Q2720324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6067747$9F39764B-739E-4058-86BB-3EA456C0435C","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":"Q6067747$6720F27F-0F53-4AD6-B9E9-1F7DF0432016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f3753820e87d887f2165a252e9cdf47a5fcc86d","datavalue":{"value":{"entity-type":"item","numeric-id":2699013,"id":"Q2699013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6067747$4FD02E55-4442-442F-BBFA-C5646D7B8FEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"104ede8e3146aaf70aed1cfc10ab2790fa5f4473","datavalue":{"value":{"entity-type":"item","numeric-id":2253035,"id":"Q2253035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6067747$E6A132E4-222B-4A26-B322-8B5A23B697F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cc407297c52090de603378237bacb8fe170dae2","datavalue":{"value":{"entity-type":"item","numeric-id":3705494,"id":"Q3705494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6067747$6C370465-79DB-4463-BD25-D5544C6F8556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7ea0881c77e4d0b9d6776176e4e54584572dec3","datavalue":{"value":{"entity-type":"item","numeric-id":3467535,"id":"Q3467535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6067747$E4EC5C0E-C3EB-4793-B369-F6E856703905","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a7af276ac8009fbd8bfc90c083fd9380bceec069","datavalue":{"value":"10.1007/S11225-023-10053-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6067747$68D1A73C-5573-45AA-8D66-BF81C0171988","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6067747","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6067747"}}}}}