{"entities":{"Q1877549":{"pageid":1888291,"ns":120,"title":"Item:Q1877549","lastrevid":73693776,"modified":"2026-04-14T16:56:20Z","type":"item","id":"Q1877549","labels":{"en":{"language":"en","value":"Future temporal logic needs infinitely many modalities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2092751"}},"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":"Q1877549$66A80A71-8F4B-4D17-B992-F639ACCFD9C6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e8a53983a9a9bcdd83f8b45c20850706ccbf14e5","datavalue":{"value":{"text":"Future temporal logic needs infinitely many modalities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1877549$9DD039B0-92B9-434C-8648-6501CC9750D3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e4b6bc84c6ec355360154fd7c55fc9c2a9972d44","datavalue":{"value":"1045.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1877549$C9B5DD15-D022-4575-96E9-4D152CCF3D00","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c37367f62fcc4782ecd0db1d47dbb024ac3df69e","datavalue":{"value":"10.1016/S0890-5401(03)00163-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1877549$CF43D389-0FD2-4C03-80DC-DCF22AD4CC42","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"91a6d5b55b11b7c5072badc33d9b23eaf1c7a459","datavalue":{"value":{"entity-type":"item","numeric-id":259067,"id":"Q259067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1877549$19551BC2-F6E1-4158-B31E-556EAED059A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7288cf75c4f286e546d946f7da603be7aa5ea57","datavalue":{"value":{"entity-type":"item","numeric-id":1216296,"id":"Q1216296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1877549$9378F993-3D3F-49DE-B914-E00CC5FE64E7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1877549$05CC9769-D8A9-47DC-A1D1-9153ADBDEDD1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dad9e6929b84d2aa86589bcc6be2d26ada8b5576","datavalue":{"value":{"time":"+2004-08-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":"Q1877549$EADA43EB-27C2-4095-9346-5C89A0439526","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1877549$FCA385C5-5961-4AA0-A16F-F869276745D8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2890e203c88281ab476ed529b83de22461dd4f6d","datavalue":{"value":"2092751","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1877549$1372EED0-5629-4AD0-B5FB-1D5A49D59642","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1877549$8F884677-C088-429C-9B46-2FC312E9FF4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d80476b6b9e529be9f9df65f045c58bf0e4b2bf6","datavalue":{"value":"future fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q1877549$55B3F52C-E692-4601-9A2D-D6E1D3E396D1","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":"Q1877549$054BA16A-7F6A-44B2-838F-BED0C109C75B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b5e4e67f98b9733e4373b9969a63d98a9ee27a0","datavalue":{"value":{"entity-type":"item","numeric-id":4542237,"id":"Q4542237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1877549$2E31D999-12B9-4E2B-8805-E3DEDABD23B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668a8637c081f79751e1e57f52557e1f7bc7f98a","datavalue":{"value":{"entity-type":"item","numeric-id":3274971,"id":"Q3274971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1877549$1062F0AC-91CB-4792-B339-17116CA8899E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd56f820547becaf1640ba57e415b67b2dccf11","datavalue":{"value":{"entity-type":"item","numeric-id":3766825,"id":"Q3766825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1877549$31A63E03-9489-43A2-9D0E-143D1E6EBBCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9f21257d8b20ccfecd3db595afbc8b2e1a0a737","datavalue":{"value":{"entity-type":"item","numeric-id":3835817,"id":"Q3835817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1877549$EB38B7A9-098C-4C7F-ACB9-BBA302AEDDC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bd2e069871eb3bf4232917297a8392cabd79fa8","datavalue":{"value":{"entity-type":"item","numeric-id":4251919,"id":"Q4251919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1877549$2B016E79-9793-41A6-9B0B-67478FEA35C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da4bb6f9cf8d59bb08e30fa860898c4d527ef942","datavalue":{"value":{"entity-type":"item","numeric-id":4945224,"id":"Q4945224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1877549$683465EE-5701-4798-9C38-EC499B08E9F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b476279f9ef74fddb27272ad70ec34f0a4ec2a74","datavalue":{"value":{"entity-type":"item","numeric-id":5625141,"id":"Q5625141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1877549$8202F25A-C3BB-4C65-99BA-6BC9372B18A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79594872f7549233d75f4a2d126bb3c8c6e156c7","datavalue":{"value":{"entity-type":"item","numeric-id":4484477,"id":"Q4484477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1877549$E33558D6-F1E3-42E6-B8E0-D5F2BE5FEC5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07b70eb8cb889848bdb5a93dc2ba61c84f0322c1","datavalue":{"value":{"entity-type":"item","numeric-id":4536399,"id":"Q4536399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1877549$8521C608-E36C-4BF4-85FD-18908606B4FD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"476613f5383fba1a8735db711f04601896505346","datavalue":{"value":"https://doi.org/10.1016/s0890-5401(03)00163-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1877549$63D82EEB-D618-4CE8-8895-9AB057EB7BC1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d2c05562ba420ecd43aa070f39e48d8e1c0e0931","datavalue":{"value":"W1999194742","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1877549$3AD9405E-5A96-4D73-84D7-904632F3338B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e97f7ce83533b5569429c58e154cbb2aae7dce4","datavalue":{"value":{"entity-type":"item","numeric-id":2947179,"id":"Q2947179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4c85e7dbd42f864a29a2cee5fde5c54b4798e68","datavalue":{"value":{"amount":"+0.9017086029052734","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":"Q1877549$F9326137-4AB2-4A05-B6D1-B525B947BEBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"542f8b526e87942e67619b417f0cd87fa45b25f5","datavalue":{"value":{"entity-type":"item","numeric-id":259068,"id":"Q259068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79caa85298af8f871f0416ec85a37a9a3aed1811","datavalue":{"value":{"amount":"+0.8949495553970337","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":"Q1877549$A23C934C-15A2-4311-BD35-9C551A922213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"611cc466335264aff12261003a533fdf914ad4f5","datavalue":{"value":{"entity-type":"item","numeric-id":2912772,"id":"Q2912772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"923c76fe7183c2e9e9fc258e8d25ea2e35c00961","datavalue":{"value":{"amount":"+0.8901587128639221","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":"Q1877549$98AC7199-0DDA-48C0-986F-723F6422C39C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b02fc15a62bafa14b0b36824e7388f205c26ff9","datavalue":{"value":{"entity-type":"item","numeric-id":944387,"id":"Q944387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f232921f800822c6eeb96b6bf1392992ba41440","datavalue":{"value":{"amount":"+0.8115617036819458","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":"Q1877549$B8B30907-14F0-46AB-93EC-3FBA8B269746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bf57b40a3d6d70242a96be34c2dff415ffe856b","datavalue":{"value":{"entity-type":"item","numeric-id":4542237,"id":"Q4542237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2aab6dd550905c893b925d8a4056a0166d270a09","datavalue":{"value":{"amount":"+0.8043062090873718","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":"Q1877549$E1F83801-4C79-45FD-BBAE-32056A996B9F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Future temporal logic needs infinitely many modalities","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Future_temporal_logic_needs_infinitely_many_modalities"}}}}}