{"entities":{"Q3146302":{"pageid":3157018,"ns":120,"title":"Item:Q3146302","lastrevid":86553083,"modified":"2026-06-04T00:28:56Z","type":"item","id":"Q3146302","labels":{"en":{"language":"en","value":"Linear Tense Logics of Increasing Sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1799541"}},"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":"Q3146302$F8AE9BB1-D27C-4F04-A539-E59C318E97F3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6529841a09cddc55f421015f79f847dbc3d51a89","datavalue":{"value":{"text":"Linear Tense Logics of Increasing Sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3146302$A731A1D9-202D-4268-B3B3-DCA3E7BBB7C6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4e8524f558e63f42468852202fa917d136e65eaa","datavalue":{"value":"1005.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3146302$C092F99D-BAC0-4E8C-A5C4-E523810B85D2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2e96a8166b825564aa7d3e45e288dcc7e8fe930","datavalue":{"value":{"entity-type":"item","numeric-id":190300,"id":"Q190300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3146302$32316ECD-B441-4219-9F55-0253FD1084A8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d938f7e86a16fca407a88e08e757329bded54291","datavalue":{"value":{"time":"+2003-02-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3146302$1EA2261C-7B77-4B84-875B-92B72D0B20FB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4104c2423cbc5a4c7084664a16ba8b59a5d542f6","datavalue":{"value":"https://semanticscholar.org/paper/cc7141f74ebf02b6c1eefbf2c0b0370efff38e36","type":"string"},"datatype":"url"},"type":"statement","id":"Q3146302$BDAC7432-48B8-4712-980F-D95ED8FA6C9C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3146302$137FA43C-0230-4EDB-9C73-9B6B53E62904","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"853f3df095c6fc36e03e0b458a5f386e95ce617f","datavalue":{"value":"1799541","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3146302$F7CFBA7F-4FAA-4CEB-ABF5-732343704E82","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53eef58615f027b6027e364cb066d3d7469bdd18","datavalue":{"value":"temporal reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3146302$622214D0-ED74-43BE-93B4-2A6CCD0E8503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2dc45b13af92a8836c43cba19921f6106f14c4c0","datavalue":{"value":"modal logics of time","type":"string"},"datatype":"string"},"type":"statement","id":"Q3146302$F813C07E-55D0-4136-AFD2-F4B2DCA9D794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c9da809decdfc3446c709767b1fbd5160bed9fe","datavalue":{"value":"modal logics of set spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q3146302$C1196534-82CA-4B38-A29B-7048F79B603F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6f19bb406d1e7b07c77527381ebdac6fe73ace6","datavalue":{"value":"linear tense logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3146302$8B60D431-3435-4B9A-AF43-4415E1AF966B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a99b58bfdabc0ed2fb8d011dad70265a039019e","datavalue":{"value":"growth","type":"string"},"datatype":"string"},"type":"statement","id":"Q3146302$02280261-132C-4AD8-B223-1B8104CED62D","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":"Q3146302$67631DE9-4C91-420A-A0B2-CF27A752296D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"be9d4f2e018232424e70fa5c82ce72fd564d21b4","datavalue":{"value":"W2068956778","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3146302$45BD55FD-AC22-41CE-8232-FCD4C57A797C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cd39430ed341aefbf8122904ea2302d30c269ce5","datavalue":{"value":"10.1093/LOGCOM/12.4.583","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3146302$D72C77CD-6EF6-4C98-B6C1-5D3B6BA6F3B7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3146302$EC0CB154-F87B-4E90-8F82-F22197B0B090","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95a9ba5e94655a498d66739a2d094514842c1d6b","datavalue":{"value":{"entity-type":"item","numeric-id":2767162,"id":"Q2767162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"161459aa1d28af66367548258075ddbdc1f62f0e","datavalue":{"value":{"amount":"+0.8079541325569153","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":"Q3146302$7A446412-0FD3-4164-B8E1-BF5E088DC2E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdc38017e1f26f7bd25f706a681883ebdca2b1c9","datavalue":{"value":{"entity-type":"item","numeric-id":4501687,"id":"Q4501687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3529a5bdc0e442618aa95ca07fd54ff497b6349","datavalue":{"value":{"amount":"+0.7480247020721436","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":"Q3146302$20602BC1-66BC-4002-825B-1D30C1954B47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54bb7971fdeff74914a74c13b0249b0e54ecf176","datavalue":{"value":{"entity-type":"item","numeric-id":965860,"id":"Q965860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb85226c7426fc881a69e34fdb80f9f287a0db65","datavalue":{"value":{"amount":"+0.7440853714942932","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":"Q3146302$D112AB3C-899E-4CC7-B181-A91E7C376F52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b6d5a855d251654f4ae567de552341724aef686","datavalue":{"value":{"entity-type":"item","numeric-id":1038658,"id":"Q1038658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d02e3adc1d4044c57a1478befb628347b8e6fef1","datavalue":{"value":{"amount":"+0.7378911972045898","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":"Q3146302$8130E66F-BF71-4F0A-84B5-F789E14D5C49","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":"78736099f1defcf69549b4f51188f8b52b3e8a96","datavalue":{"value":{"amount":"+0.7374423146247864","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":"Q3146302$C044833B-0046-4058-BA6F-96E962D03DD6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Linear Tense Logics of Increasing Sets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Linear_Tense_Logics_of_Increasing_Sets"}}}}}