{"entities":{"Q1854487":{"pageid":1865229,"ns":120,"title":"Item:Q1854487","lastrevid":69361860,"modified":"2026-04-13T06:29:44Z","type":"item","id":"Q1854487","labels":{"en":{"language":"en","value":"An infinite hierarchy of temporal logics over branching time"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1853225"}},"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":"Q1854487$F7714574-F496-4118-9123-DE5961E132F3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cf7de8f08dfb8128da2f5c052cbe49eaddab2c3e","datavalue":{"value":{"text":"An infinite hierarchy of temporal logics over branching time","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1854487$364D3B96-450B-4314-B332-9EBF5382D1CA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ea509f5254a2253eab6cc0fdb2c2f767b14f975b","datavalue":{"value":"1005.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854487$6DB33D21-562C-4266-A7DD-00A2A12DA2B9","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":"Q1854487$14807526-8A18-4696-BFD3-900D5490AA81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb097d151a143491d9ee97fc8f8ee6819309ce76","datavalue":{"value":{"entity-type":"item","numeric-id":1854486,"id":"Q1854486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854487$C7BBB413-A553-48D8-80D4-9DE620A6B49A","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":"Q1854487$B64ED972-C012-44B9-9D57-CAB9780A0997","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6a7e8d599a17c373ba2d71fc88b3043673b9f45a","datavalue":{"value":{"time":"+2003-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1854487$50FEFEA5-8ACA-42B9-B2B2-03ED0E6850B2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6f1c7e75fe878e098a7ad659a2329bcaede41165","datavalue":{"value":"https://semanticscholar.org/paper/332aabcea322e5ce078647b1d4583d170da21350","type":"string"},"datatype":"url"},"type":"statement","id":"Q1854487$5CED9D49-50FC-4868-A86C-4AAF2244DECF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854487$D54FB0B8-06F6-4D7E-B169-C2E3BD34013A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854487$83BD6E76-616C-4574-961D-38DC4BC14A2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd1ebd9dd665e7350d17a40eafa30f7b99b8c1e0","datavalue":{"value":"03C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854487$15E89638-DAFC-4AAC-90B4-7BE8EFD2C970","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"28216f92fccdfb6911027f15f7691884a3c8436f","datavalue":{"value":"1853225","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854487$C08A5A06-E093-455A-8273-A7AE5E6236D2","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":"Q1854487$B15D476C-82A3-4A94-A818-02651CD71B77","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"39ef2e1097724b1b8b26490b92ef2be27a37fb7a","datavalue":{"value":"W1965230791","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854487$345B3012-3A1C-4040-98E1-AF11167C77D9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ef4165cdc01f313b12040c9657a14ef341fa2d9","datavalue":{"value":{"entity-type":"item","numeric-id":789895,"id":"Q789895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854487$A063C963-6F4A-4EB0-B016-2B9EF60A152E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854487$20173EBD-44F8-4726-ADBC-51E4E8F150EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854487$0D416857-941A-423D-8EB1-40256CFA58B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d2c32b298b09103f7cc9eabedf752dc67f406d3","datavalue":{"value":{"entity-type":"item","numeric-id":4850061,"id":"Q4850061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854487$2D902633-84D3-4169-A4EF-6BF1868EE10A","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":"Q1854487$0DF90AD1-83FD-4ED6-A899-BF33E9E43E5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a059efc4a1f49c1ef5ee155acd97eb4522ead2f3","datavalue":{"value":{"entity-type":"item","numeric-id":3906386,"id":"Q3906386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854487$B2ACD6CC-B87B-4319-8F0D-B6E640F84801","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":"Q1854487$76C54134-E9F4-4C64-A7F1-96C76CAE5097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bed96517ad5ba1babe6b302ab098c89d0358319","datavalue":{"value":{"entity-type":"item","numeric-id":1820578,"id":"Q1820578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854487$677A3CF6-E1A5-47B7-8AA0-A58980888616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2a799a37d06aed9fd253638bccf88acff400670","datavalue":{"value":{"entity-type":"item","numeric-id":1854353,"id":"Q1854353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854487$638B25C0-6970-4718-87E1-55A3CB7EB4F1","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":"Q1854487$9D169230-86BA-4593-BA08-FEEBAE820C5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"892cd8c8a85cb9d6724b48bbea3e1483e3c424ee","datavalue":{"value":{"entity-type":"item","numeric-id":3708772,"id":"Q3708772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854487$2D31A133-00FA-4959-A777-E54C69C3E47E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a9940c0e06b26b1101c84817c76f74d0dadecc1","datavalue":{"value":{"entity-type":"item","numeric-id":5817866,"id":"Q5817866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854487$652DC1FE-DB2F-4523-ADDD-26E4426B9BF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4d63fad87ee9ef86f723aa7605967cbf5545e39","datavalue":{"value":{"entity-type":"item","numeric-id":3768883,"id":"Q3768883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854487$BDB8679D-56FF-436D-B107-D7365F7E7892","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":"Q1854487$57297E67-9F94-4F3A-A430-4351753AFA69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccf44416f275c86e5b4293c141df3f2e4bf7eccd","datavalue":{"value":{"entity-type":"item","numeric-id":4336034,"id":"Q4336034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854487$6E4AD947-9F95-45A0-B495-C1409A1DBC88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e92fa251a9028512ca3077887c6a4b6f77d124d0","datavalue":{"value":{"entity-type":"item","numeric-id":4247261,"id":"Q4247261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854487$F2EDA426-7A38-4A7F-AAA9-4DECEB1A11A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38070a2324f6956e553f48ee431a7b1911e3140b","datavalue":{"value":{"entity-type":"item","numeric-id":6104378,"id":"Q6104378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854487$2E87D0B0-BB2D-4475-9F03-11CAA2A09A71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1657fefe9b1e5a99d1f100464f7065f98e322a21","datavalue":{"value":{"entity-type":"item","numeric-id":4895547,"id":"Q4895547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854487$201FE51B-FE0E-40E7-BE87-01575555B0A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b13a3907dd9b24f0e81f79fac80c280ffc60cbd","datavalue":{"value":{"entity-type":"item","numeric-id":1854487,"id":"Q1854487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854487$3E8AC579-F909-48AF-9049-6E9F19BA3915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854487$9D37FE6F-741F-4F73-8BF5-D7FCD1DE8CEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854487$4521008E-2ED4-4FD6-AEC0-FAB577DB7D2F","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":"Q1854487$4D58EB37-879A-445F-9CEF-0A8CBBD5F4ED","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":"Q1854487$5797CEE1-47D0-4857-894D-D3A97DB258E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534730d39bf1b2fb7e127c00d7c04e03699b9f80","datavalue":{"value":{"entity-type":"item","numeric-id":3949052,"id":"Q3949052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854487$9E7205A4-8049-4BEB-9CBD-A8FC404CCB81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3796d9f03b4ae0103a65fce1ee3fb718e92184f","datavalue":{"value":{"entity-type":"item","numeric-id":3341881,"id":"Q3341881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854487$990DE70A-2079-46EB-BA4A-0FE9331C293D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8b6d2a8128f28a6b94102694bb3a2c644ccf757c","datavalue":{"value":"10.1006/INCO.2001.2970","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854487$E36461B3-6D55-4DA8-AA33-44C942BEC785","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f52c44e8a04282dc67511f397f76b3fe393a66f","datavalue":{"value":{"entity-type":"item","numeric-id":4536399,"id":"Q4536399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e0a3ce84e3c12a1652a15822674f12a2c251f0a","datavalue":{"value":{"amount":"+0.9463772773742676","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":"Q1854487$7A7867F9-171D-4523-B60A-B212A99FB4A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b01c80268aee810072055b12089515babfd57c7","datavalue":{"value":{"entity-type":"item","numeric-id":4733384,"id":"Q4733384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6598984e0c9ec8ae431a70b2c02a8de38f35b248","datavalue":{"value":{"amount":"+0.8495557904243469","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":"Q1854487$2E977590-1564-4270-9432-270D9C6DD9EE","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":"b570c77af1ffa98c7cba8be2a308e397c9b0bf76","datavalue":{"value":{"amount":"+0.8316091895103455","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":"Q1854487$DA8DDF07-8A91-4E81-8CCE-E1464C56CBD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fccc82afcec1063201652827c9e75f100e6e4b84","datavalue":{"value":{"entity-type":"item","numeric-id":672329,"id":"Q672329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22670e2616a89db8dc4f0445e70fe44f306fc673","datavalue":{"value":{"amount":"+0.8255093097686768","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":"Q1854487$7F1D0AB5-148F-490D-9913-F7DEF84002E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95088f6b0fa04854d1a933f0cc29712892b2bfb9","datavalue":{"value":{"entity-type":"item","numeric-id":4917027,"id":"Q4917027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c330f9cea388871a51a6ec5f68ce4b999ac13a44","datavalue":{"value":{"amount":"+0.8164953589439392","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":"Q1854487$E2F0B849-DDC9-40FA-9D80-F83249D8AD5B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An infinite hierarchy of temporal logics over branching time","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_infinite_hierarchy_of_temporal_logics_over_branching_time"}}}}}