{"entities":{"Q4858814":{"pageid":6888394,"ns":120,"title":"Item:Q4858814","lastrevid":47377861,"modified":"2026-01-01T13:48:37Z","type":"item","id":"Q4858814","labels":{"en":{"language":"en","value":"The finite model property in tense logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 827464"}},"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":"Q4858814$515BFA25-6973-4D67-822C-C86DA3B0C36F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ed5c497c497bcc288c5c68cacb0c916d0aeac512","datavalue":{"value":{"text":"The finite model property in tense logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4858814$B6A1B63D-1AC3-4CFC-824E-3AD67D690D4C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e7597b201c616625f55432b2d11f1aea6fa39665","datavalue":{"value":"0836.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4858814$71FD2FE2-19C1-4ED4-B834-195EEB2E1FEA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0628d0ee9d71bec385216da44195de2ef3454e70","datavalue":{"value":"10.2307/2275755","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4858814$E17B8E25-B562-48CD-84AA-63E10346B0E4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"76722ee993ef1bba5eff4ce8b9dbe5e1d07862be","datavalue":{"value":{"entity-type":"item","numeric-id":239516,"id":"Q239516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4858814$5ED8AF49-0980-4D5E-94E3-3915D1EC210C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4858814$2F670C92-7F24-46E9-A65D-967BA15C1404","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ee59901d69866304abafcd743e3ac34b98e250a0","datavalue":{"value":{"time":"+1995-12-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4858814$C10A8125-48F2-479F-BD01-F816DA9DA8F8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4858814$72D44563-12EA-4183-B893-D97D35030E04","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bfa3a6bbcadaf9e6bafb10d498cb9cef681fe227","datavalue":{"value":"827464","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4858814$4D3685EE-9785-40A2-9641-C9BFA62FFD2E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4858814$8DD7A2D0-A5F2-4B39-8D2A-5567E86D405D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8717f17cef4e8a320bf62389a002495a361a7ccb","datavalue":{"value":"bimodal propositional language","type":"string"},"datatype":"string"},"type":"statement","id":"Q4858814$54C9BB31-2F2F-4738-B9A8-94125A4281EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"902bb96bd7b013d323eaf0bd22f175083ba1743e","datavalue":{"value":"tense logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4858814$4174433E-7D08-4CE7-A386-0605DBD5A59B","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":"Q4858814$1461F5AC-F41B-493E-BC1C-A1D9A9261E0D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d90e639ca9fab9847c9c288d6b439040e4bc475e","datavalue":{"value":"https://doi.org/10.2307/2275755","type":"string"},"datatype":"url"},"type":"statement","id":"Q4858814$7193619D-DA77-4BB8-9404-E3AAEDA17A9F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6f10b406f66abc2c1cb76da137e0a70bf7ec4e52","datavalue":{"value":"W2160171357","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4858814$7B448B9D-FC36-4322-9AA4-C0667CAB448C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d8e0c5cc3575d6be27e025fb497f951125e4854","datavalue":{"value":{"entity-type":"item","numeric-id":3984418,"id":"Q3984418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4858814$7B6BE959-612D-4C83-928E-623982611F4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc687154876af29438e40818d3c5a719d115f72d","datavalue":{"value":{"entity-type":"item","numeric-id":4032666,"id":"Q4032666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4858814$10C8A72C-E443-45B2-8BDC-40D69D94A32E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec61348cbc7897006cbf43596adc1b3a59cad5f3","datavalue":{"value":{"entity-type":"item","numeric-id":3691638,"id":"Q3691638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4858814$BA918B9B-2684-493F-BF03-AAB539EA2D01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5027a3eaba33b9be22f282f6e7a4f20eed22af9e","datavalue":{"value":{"entity-type":"item","numeric-id":1204117,"id":"Q1204117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4858814$2792B482-8BCD-4321-8A20-6F9F1788F160","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb3142dac90fd20b631fb151b91f1f0adaee3161","datavalue":{"value":{"entity-type":"item","numeric-id":1288959,"id":"Q1288959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08bae447f1c5ea717899a25ed35754793d2c8adb","datavalue":{"value":{"amount":"+0.7905955910682678","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":"Q4858814$240657A4-D41F-41BC-B1C0-F6D765C3293B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4a10a811d54b394540726160ab89e8107e1069c","datavalue":{"value":{"entity-type":"item","numeric-id":4834484,"id":"Q4834484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e3e8420983caa751789eec624ae8537dfa2be10","datavalue":{"value":{"amount":"+0.790482759475708","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":"Q4858814$940634F5-9684-41F6-90FC-8CE8077DCA1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29efd4329c186845df060ec97f836a6ec58b340c","datavalue":{"value":{"entity-type":"item","numeric-id":4315298,"id":"Q4315298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5862ba7c04abf5647d7c3fa5bddc94e25b31262","datavalue":{"value":{"amount":"+0.7890539169311523","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":"Q4858814$2F288735-B77D-4DD7-8F3D-3DC88AE03FB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5406290498b32c7e3e9536d989f66d74bf4b7ff6","datavalue":{"value":{"entity-type":"item","numeric-id":1366764,"id":"Q1366764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd475ba10b90907da38078f2e6904a53add58eb3","datavalue":{"value":{"amount":"+0.7827304005622864","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":"Q4858814$67DEC847-1CBF-4457-9C95-08E0928C9744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db755e0e57483d43d69aae43fb741771bc1f6161","datavalue":{"value":{"entity-type":"item","numeric-id":890969,"id":"Q890969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa231ffaf2d4df3cf5c3f01d49e07fcf310902bc","datavalue":{"value":{"amount":"+0.7823047041893005","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":"Q4858814$21FEEA93-E805-4ED7-A360-B509A2CB74CC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4858814","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4858814"}}}}}