{"entities":{"Q1156790":{"pageid":1167539,"ns":120,"title":"Item:Q1156790","lastrevid":66989586,"modified":"2026-04-12T14:11:12Z","type":"item","id":"Q1156790","labels":{"en":{"language":"en","value":"Model theory for tense logic: Saturated and special models with applications to the tense hierarchy"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3735783"}},"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":"Q1156790$AC3A4FC6-45A2-4198-B8D5-31A33862A33B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2fe139b6788759df01c0054395de96bbeb226106","datavalue":{"value":{"text":"Model theory for tense logic: Saturated and special models with applications to the tense hierarchy","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1156790$B64065CF-7AE2-4364-8010-3444BA397024","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c2c619b399a6d5b7559e5f95ae7410e9a0d8f782","datavalue":{"value":"0469.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1156790$681D49E9-B9D3-4192-8345-408FF874A22A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a40ca03f756699fdfddd248ea1d531b89f365222","datavalue":{"value":"10.1007/BF01874701","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1156790$A2857734-4254-46D3-9C2E-90D9D02EE655","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"acfd903f25c08705b6ade1a7b25f4cb8ea3bd4e9","datavalue":{"value":{"entity-type":"item","numeric-id":195143,"id":"Q195143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1156790$4CC2AE6E-AE54-415D-ADE9-C8051C9C9054","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":"Q1156790$CC1E39D7-5083-4D7C-B3AC-1D65558ADD22","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":"Q1156790$150E0641-9EDD-4D43-975F-4B64AADF274D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e4acb947bbb93aef022d2652e8dc30ed364d53d7","datavalue":{"value":"03C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1156790$38BCA197-3BCA-44BC-A7D5-81E1D141B7DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1156790$13189250-85D7-412F-A5E7-68BE940FA860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1156790$BAB3E9AB-C08A-4675-AD7A-F2F4A15D0840","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ea5f1cceff0aa321c263dc715c731159feea3d5b","datavalue":{"value":"3735783","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1156790$01A92C10-4F57-4425-93E9-0BCDD6E1905E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9085217a3e522ac963a303423b3fdb8abcea585","datavalue":{"value":"saturated models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1156790$C283ABA5-BB89-468D-80B9-EC706F9EDA88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3fd6010c38adc7fc10f4dd1ccf3d46af1eec890e","datavalue":{"value":"special models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1156790$CDB90D9C-038E-484F-9796-61A358FD8013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6fe462b4856c03faa7d4a7267a19e268f5bc7191","datavalue":{"value":"tense complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1156790$E8E5BE64-9AA9-4E5E-BCE7-230CBC457408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c098f20c3abfab10c3f7cf95d9c12b29a9e16dec","datavalue":{"value":"preservation theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1156790$A76BE548-7636-4CC6-9118-EECCFC4D05F5","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":"Q1156790$6B11AC85-9861-48C8-B172-AFB8EB4B8625","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d97f04eb8ea62903fff1fd6a77e76243174abdd","datavalue":{"value":{"entity-type":"item","numeric-id":1221738,"id":"Q1221738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1156790$84A598D6-0D46-4D13-ABE5-5FF95DF7359E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de05db23343398d035e6d96c7c94d7fda01b4584","datavalue":{"value":{"entity-type":"item","numeric-id":5537602,"id":"Q5537602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1156790$6730D2F7-579B-43DB-BA90-DCF6852930FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99d95fd08b286c2d75935da3bf6ece957a863d65","datavalue":{"value":{"entity-type":"item","numeric-id":1245107,"id":"Q1245107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1156790$07A0CA57-BCDE-436A-BA35-65CB2B52C8F3","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":"Q1156790$40D2205F-A0AE-4855-8471-6F6DBDD3F1F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61b82f9b29fdf1d516bb2cc7fb83ab9fb762475b","datavalue":{"value":{"entity-type":"item","numeric-id":1245214,"id":"Q1245214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1156790$00FE905F-FE6C-452D-93A7-9EFAD7FC0DFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"016c26073336456ad938f5b7e58a2ad66e4632b0","datavalue":{"value":{"entity-type":"item","numeric-id":5556395,"id":"Q5556395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1156790$D4A62CA0-58BB-477B-98AA-41AE7CAA9878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a4e10b4f29a81fca6ef84c43e9249a3d4fba6ae","datavalue":{"value":{"entity-type":"item","numeric-id":5636857,"id":"Q5636857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1156790$034DA862-7F44-4A38-9B17-9FAD26C85EA3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c7cba8dd9634aafa18a9eb6454b9017f4c065094","datavalue":{"value":"https://doi.org/10.1007/bf01874701","type":"string"},"datatype":"url"},"type":"statement","id":"Q1156790$B01FB824-ED5C-4970-BC01-538D02235035","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"92707f914e57ed066c4b8a9924d9623c0d0e6efd","datavalue":{"value":"W2043770150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1156790$33DB89A8-06A7-4B4E-AC7B-09818AD6D1D3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model theory for tense logic: Saturated and special models with applications to the tense hierarchy","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Model_theory_for_tense_logic:_Saturated_and_special_models_with_applications_to_the_tense_hierarchy"}}}}}