{"entities":{"Q1162503":{"pageid":1173252,"ns":120,"title":"Item:Q1162503","lastrevid":66318657,"modified":"2026-04-12T09:15:00Z","type":"item","id":"Q1162503","labels":{"en":{"language":"en","value":"Algebraic and relational semantics for tense logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3756450"}},"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":"Q1162503$D4F61D9E-05D3-40A2-B481-B4603BCA468F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d16a296bc05e328b69698e84b3ec083fa68584b8","datavalue":{"value":{"text":"Algebraic and relational semantics for tense logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1162503$B1253E6E-E52E-4C94-9F5C-B4D099413C5C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6b63386dcc565ab5334a5f515d031b7d1aa2172b","datavalue":{"value":"0482.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1162503$762C8F6D-C2F8-42B2-95D7-F8A3A84EB4FE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"13a33ffa022f88b78bd3eb00dfafa107209b4ebe","datavalue":{"value":{"entity-type":"item","numeric-id":1162502,"id":"Q1162502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1162503$45CFE563-7831-4AA3-B3E2-900CC7667292","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"816e97a1cfcdf018f87d172411a8ab21b6bfff04","datavalue":{"value":{"entity-type":"item","numeric-id":361729,"id":"Q361729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1162503$CE2D0500-A819-405B-984F-CE29A5D8CF83","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50fad0db7dc87cb4e51866acdb5ccbaa54ec857b","datavalue":{"value":{"time":"+1981-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1162503$1DD2ACAB-1C7A-4243-B92E-FF86DC7A96E0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0522f290c6bf92e6589c685124853388535f6006","datavalue":{"value":"http://www.numdam.org/item?id=RSMUP_1981__65__119_0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1162503$F0D8CE77-A3FE-4615-8755-B037D66A319A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"c0a92e39c00076cbe95ae2abb8d44990321444ed","datavalue":{"value":"https://eudml.org/doc/107808","type":"string"},"datatype":"url"},"type":"statement","id":"Q1162503$E2028FD3-9632-4A52-9F93-199448339D1A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1162503$1CA81357-3BC6-4386-B339-4B373C8808DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1162503$90461BA7-FAA8-4868-965D-003C5E963A29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1162503$0D44815B-EBD2-4A57-A69F-FD41B3C42BC8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"46c01a9673ca661092a0ca6395ab14cc79501d1f","datavalue":{"value":"3756450","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1162503$11FCEAD5-A571-438B-8FBF-B0BFCF3DDDA3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc3cef3b418717ae6a91dd1df645790b37afa0e1","datavalue":{"value":"tense algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1162503$465907F2-1B68-4DCA-BECD-AE2A0A83A97B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f5d63d3b298b3b856e4ed1a1b19e8c0d65f8ddd","datavalue":{"value":"category of tense algebras and homomorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1162503$81A07A41-37A9-43B4-8033-8ADFF758D5B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c67be3a792589f290b71b58e3906fc0858d1245d","datavalue":{"value":"category of tense frames and bicontractions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1162503$A47DF7F1-8A1C-4DCF-86F1-AF29A00955B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ee2b6a8cf5bbb5586491390b25d1ac2ec9674da","datavalue":{"value":"duality theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1162503$1FE72041-205E-424E-B3D6-6AEB0031A4DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9d760ba9a65f4fef134ecf90974630d496ddc14","datavalue":{"value":"completeness of first order semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1162503$FE34D28A-60D8-4AA5-AEC3-11D7F19FEFC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e458da0cf45de363da02a079f7e7fd1a637e8199","datavalue":{"value":"transitive nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1162503$702B55D2-53D4-4253-B2E4-13186655D9DC","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":"Q1162503$741E8C9A-6573-441A-9E10-55C50B305B5B","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":"Q1162503$8DF3F45F-75A2-4AB2-9378-8FDAEA4023FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9210648c2da7d5773e848b729398c42f3567a36c","datavalue":{"value":{"entity-type":"item","numeric-id":4196401,"id":"Q4196401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1162503$6DE0173C-7635-4993-9F4F-B57187CFFAA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f512d3044d87913829cd345dbca09d60481c7fa","datavalue":{"value":{"entity-type":"item","numeric-id":5572358,"id":"Q5572358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1162503$A442B51F-289E-44C7-BF80-380D47880442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f898a236e8a2ae4e36da9dab850b67fb635ce60","datavalue":{"value":{"entity-type":"item","numeric-id":5810598,"id":"Q5810598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1162503$559ED7A9-DDD8-4076-933F-20057932A827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb2b05a7bce71aa28da8da767e6dcef8492f4a2b","datavalue":{"value":{"entity-type":"item","numeric-id":3858239,"id":"Q3858239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1162503$36F2CE8E-DCAE-4AE9-BD2F-D7A9867E61B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fd709fceb1a281d06cb76545caa5d47b309722f","datavalue":{"value":{"entity-type":"item","numeric-id":4081211,"id":"Q4081211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1162503$C8D138FA-4BD8-4B84-8599-DF1F06C87EEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f4791a496c448b32eeaa1ffa8df0415b7121421","datavalue":{"value":{"entity-type":"item","numeric-id":1150597,"id":"Q1150597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1162503$2F0C3AC7-7935-4B58-9D19-C215C4B8B57A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29a1b82cf4871faf69538f3161df586c7c8cbdea","datavalue":{"value":{"entity-type":"item","numeric-id":5648343,"id":"Q5648343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1162503$4D67AE75-CF77-4130-B1E0-7C7A1EEA8E96","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algebraic and relational semantics for tense logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algebraic_and_relational_semantics_for_tense_logics"}}}}}