{"entities":{"Q3525631":{"pageid":5555535,"ns":120,"title":"Item:Q3525631","lastrevid":50458115,"modified":"2026-01-14T02:39:23Z","type":"item","id":"Q3525631","labels":{"en":{"language":"en","value":"Linear Time Logics Around PSL: Complexity, Expressiveness, and a Little Bit of Succinctness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5344918"}},"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":"Q3525631$735FD502-313C-419D-99D6-608B6DCB6820","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c169d08407fd47a6439646e552ac4239a7645f3c","datavalue":{"value":{"text":"Linear Time Logics Around PSL: Complexity, Expressiveness, and a Little Bit of Succinctness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3525631$CFA450D2-2BA0-4001-A473-1BA79829047C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"baba19fce05d73607564d82e59c2858ef1b4f70d","datavalue":{"value":"1151.68540","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525631$F8BE7B3D-F2CC-4F1C-B686-64700A0EE995","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3afabf592e02e0508edf1930a7a369ad7f47a31d","datavalue":{"value":"10.1007/978-3-540-74407-8_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525631$795AE6A1-E1D1-4141-9E5A-C5036F61540C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e9395c4897e056d54eaef255c0b18eeb46bea27","datavalue":{"value":{"entity-type":"item","numeric-id":386036,"id":"Q386036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525631$A2D4D002-DC3B-40F2-BCF3-FB7BECDFC40C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d33cde76bd73dc5ee329bf4c0e45fff7e5611f64","datavalue":{"value":{"entity-type":"item","numeric-id":3525625,"id":"Q3525625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525631$B4B51584-C047-44DD-A63C-5289945489D3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d1b92a0ce5c23dfe591778f902d0760e02cbbe13","datavalue":{"value":{"time":"+2008-09-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3525631$4DB96EFB-5E24-46D4-A6D1-F97EF2C3152E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525631$DB63A44D-94F7-4608-A8C1-61C37896EFD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525631$4CD0DFA6-A9E8-4499-A3C3-617A40FBCAF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525631$6044B407-9751-4EBC-AF74-38586755C211","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f469b72d8d3b746ac482b0b090dfc7650b95042c","datavalue":{"value":"5344918","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525631$90DA2B40-C932-4101-A14A-10D56BB0C2EB","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":"Q3525631$9896541B-20D2-4649-BF8B-EF830A19DD0C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2dc29287a717c3e09ded6fd5bc5d17902d16f0ed","datavalue":{"value":"https://doi.org/10.1007/978-3-540-74407-8_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q3525631$C405BBD6-840E-49B8-9BDB-BEAF6B9B1AE5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"db4a2f8a8429de76bb65dd49c377eb3f8a4d9c97","datavalue":{"value":"W1545924555","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525631$BEDAF401-0888-4850-A5E7-CC15494F7472","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40b7b3384de866ce38e781ddc305bea8005ad45e","datavalue":{"value":{"entity-type":"item","numeric-id":977176,"id":"Q977176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52e96847a5eb9901ce2a6e2e620116052cd19f6e","datavalue":{"value":{"amount":"+0.8060042858123779","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":"Q3525631$221FE0FC-CE0A-4590-8117-6AC584F4864A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a4cdc30fc0ab5a03dc9212495053882877b34ac","datavalue":{"value":{"entity-type":"item","numeric-id":5492991,"id":"Q5492991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96279095560cb515043159c0cf25e79cd7a6d0cc","datavalue":{"value":{"amount":"+0.8024292588233948","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":"Q3525631$426D82AA-9BF8-4E09-A4EC-5FE9CBB0B13A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"808970fdcdd100f78bc7a745530c1d015ec895af","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcd150be877f62c82ec589482feb5722d8bbea01","datavalue":{"value":{"amount":"+0.8007431626319885","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":"Q3525631$0A0EAAE7-B3AF-419B-8E3F-BB4FB300B1F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6efdaea7e6667e088715763d554b397b7d49fb83","datavalue":{"value":{"entity-type":"item","numeric-id":2366686,"id":"Q2366686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc31dcd7301a502b33f00d804940cc876ef4622b","datavalue":{"value":{"amount":"+0.7939045429229736","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":"Q3525631$E2FE1F3A-C966-4D0F-9597-C8BD67BE42E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8598f1843ab4781c8f5a3dbac4e6ceffefb55c67","datavalue":{"value":{"entity-type":"item","numeric-id":3317085,"id":"Q3317085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7297afd1a03390d84f4e2b37fa94baf86b6571f4","datavalue":{"value":{"amount":"+0.7929442524909973","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":"Q3525631$CBEB0892-0F15-4999-8E6F-A2C4A36B0B60","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3525631","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3525631"}}}}}