{"entities":{"Q6909833":{"pageid":20960887,"ns":120,"title":"Item:Q6909833","lastrevid":75613279,"modified":"2026-04-20T09:12:12Z","type":"item","id":"Q6909833","labels":{"en":{"language":"en","value":"Tense logics based on posets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8111877"}},"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":"Q6909833$27199F18-FAE4-4F6A-9745-97E52A2CC0E3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7bb2d5657b14644b9e1a7779ae1dca000239a79d","datavalue":{"value":{"text":"Tense logics based on posets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6909833$2D015711-7101-4687-BF8D-795D2B9F7E79","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3fbfbfab466bb1df3fe78896fcdee3533a9e54c9","datavalue":{"value":"10.1093/LOGCOM/EXAE081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6909833$78C451F7-59EE-4ECF-BFD9-5DCCEA79659C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6df8e8ef43472738ac01c452fe02fb68cd3d706","datavalue":{"value":{"entity-type":"item","numeric-id":334969,"id":"Q334969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909833$5B3CC08F-F2F6-4302-A2EA-A39F5E242E4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7162e547d241b1c8d9309bd3535cff7ea502835","datavalue":{"value":{"entity-type":"item","numeric-id":190393,"id":"Q190393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909833$C95F6D46-69D7-4802-8A14-981728B4B3F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"831ebde1d772ba8e4bc69b9b64a21d3f6be31090","datavalue":{"value":{"entity-type":"item","numeric-id":284970,"id":"Q284970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909833$5D987EF1-F891-43FC-B82F-6B7D542AF5A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1009b76ff83985243f529dc96d2417a3ae270b3a","datavalue":{"value":{"entity-type":"item","numeric-id":277550,"id":"Q277550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909833$58003A29-FDE1-4E68-B562-2A28025DB8C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9760fafab97a2ef0f4a24d2d0b96aeeddab2646","datavalue":{"value":{"entity-type":"item","numeric-id":6734447,"id":"Q6734447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909833$2C52ADD6-C4B4-4E50-839B-A8EDCFC7A08F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4e284497c1d95ed03031b32369f55bf404c9e002","datavalue":{"value":{"entity-type":"item","numeric-id":6768690,"id":"Q6768690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909833$ED1322DD-97E1-455C-A898-CDFE987802D8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b77d6a4382bc7a32fc14d82772e7dcb343e03ac6","datavalue":{"value":{"time":"+2025-10-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6909833$2711DC9B-E26D-4D23-989A-ADA1B03C84AC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6909833$6055D680-789C-447A-AEEB-F675110FFA2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6909833$F790AAE7-643B-4E1B-A185-63633BB047FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6909833$79072483-BE81-4934-BF5C-621A73EF5605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37d47921a58c85c2a107636e2df4b5e33bf07bbe","datavalue":{"value":"03G12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6909833$F033A096-8436-487B-99E7-8E59599C8D4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6909833$12D4B3AC-1391-499E-BB3C-4795C7CCAE35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"55784bde12c4e3e975ad2c89a161a4a5dacf49d1","datavalue":{"value":"06A11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6909833$294CAF62-1B68-425A-8BCA-45202F15A265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"88f26c5e5c8e9b1a1b9fcd1e726cfac3efaf2593","datavalue":{"value":"08A55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6909833$2B87BBE4-33FD-4B8D-980A-5353D06E92D6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8a3f8081d83944f07a17b5fb0eef315005a3c6e3","datavalue":{"value":"8111877","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6909833$34E9D252-8D24-49E8-8A40-D2948B78FD39","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"762a112ef0429a3655234c3e246a242461dca9bf","datavalue":{"value":"poset","type":"string"},"datatype":"string"},"type":"statement","id":"Q6909833$A23BB989-38C0-4463-AFEF-340649F95B7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fb8e9282a9b8e4eae28e13166085a61f098c5a8","datavalue":{"value":"orthomodular poset","type":"string"},"datatype":"string"},"type":"statement","id":"Q6909833$32A48753-2C5B-484B-AB0A-A13723961008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5660bfa6b5631af4004c9a6bccd2868c4741e6f","datavalue":{"value":"Dedekind-MacNeille completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q6909833$C78D221E-8ADA-47ED-95CB-A228E1BEB9D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19ffe387100c9d49a3e2011c6542d8e65fcc50bd","datavalue":{"value":"implication","type":"string"},"datatype":"string"},"type":"statement","id":"Q6909833$802A2DB6-1482-47FD-BBD2-072524807E99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb5920c9b5083594f7faf5c04f49aa777b90a67b","datavalue":{"value":"adjoint operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q6909833$0C363013-F742-40E1-891B-E3D135036F73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d265d477ff3565cbac13e8244f0fc1d1387417ac","datavalue":{"value":"adjoint pair","type":"string"},"datatype":"string"},"type":"statement","id":"Q6909833$E3A86169-182E-4006-822C-4039921F865A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffb2b54a0a4f1333cea60f37f4a264b38cf0f68e","datavalue":{"value":"tense operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q6909833$EFEE16F0-4D96-4702-9216-B51EA29B00EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"902bb96bd7b013d323eaf0bd22f175083ba1743e","datavalue":{"value":"tense logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6909833$FC1D7FF0-6F85-478D-915F-7CAF63F2E2B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5586c32933617270949abc1ea8dea97813129b65","datavalue":{"value":"time frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q6909833$16DC7932-8773-458F-A37F-D0F3B5E49D70","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":"Q6909833$22071E7A-00CF-4518-AB95-5843A1FF1625","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Tense logics based on posets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Tense_logics_based_on_posets"}}}}}