{"entities":{"Q5020519":{"pageid":7050096,"ns":120,"title":"Item:Q5020519","lastrevid":58400325,"modified":"2026-04-05T01:28:40Z","type":"item","id":"Q5020519","labels":{"en":{"language":"en","value":"Robust, expressive, and quantitative linear temporal logics: pick any two for free"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7453073"}},"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":"Q5020519$F3FD17CC-FD90-41A4-A984-732006E05FF5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"60c629b769bcbc98d9f3ac574e69c74c7e48126a","datavalue":{"value":"1487.68159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5020519$4EA0D104-A524-4EBA-AA3D-A2BB0C55C064","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"985ba93433527f6d082a450a60d069993898369d","datavalue":{"value":{"entity-type":"item","numeric-id":477196,"id":"Q477196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020519$6187C469-FF03-4C02-946A-5404B6D8EB92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7567a872b0a03cf45b9a24331f1f97ee1ad2d9ce","datavalue":{"value":{"entity-type":"item","numeric-id":1786615,"id":"Q1786615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020519$F2AF6E7D-53CC-4D8A-980A-223C722557AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"55747a80f3ab2fd6b2d6e1010dc381d0b7b1832a","datavalue":{"value":{"entity-type":"item","numeric-id":218365,"id":"Q218365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020519$97E28DDF-A2AC-4811-B07A-DC9205BF58BE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b5eeef85fccb3b9ec0f1e08769d6215b8e0218bd","datavalue":{"value":{"time":"+2022-01-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5020519$6A7A4907-5AD0-4389-8E49-1A561C74A36B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f429d683da85bb9effc85beff00cc296d725731f","datavalue":{"value":"https://arxiv.org/abs/1909.08538","type":"string"},"datatype":"url"},"type":"statement","id":"Q5020519$C1A10A85-9A18-43F7-B21D-E5867F358A0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"6faef517b253413688049a187ec7f64f2ad1150a","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?GandALF2019.1","type":"string"},"datatype":"url"},"type":"statement","id":"Q5020519$8A17204E-E8B7-4DFE-AA18-C61091CBC6EB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5020519$C1128418-5DB0-4467-81F2-6D17CA1DB842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5020519$EE3BA1B6-C7A8-40F5-A0CC-DBF1F666CB6C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c9f5410e13f133f9f8ee88308aa1df57dab34051","datavalue":{"value":"7453073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5020519$1E97D4CA-317C-43C1-83BB-DC710DB679F7","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":"Q5020519$102F69B9-DF5B-4FE7-96B9-4E3A7DA2E34B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"89d86939d9b9794f52fb929a0479751d9d0f6b81","datavalue":{"value":{"entity-type":"item","numeric-id":3549124,"id":"Q3549124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020519$3E56A194-5383-4908-B529-0EC782FD0A7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fecbe8498bea9dfe933ee3e08ca9d63d4f901531","datavalue":{"value":{"entity-type":"item","numeric-id":5900562,"id":"Q5900562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020519$C06E320A-7C15-412B-8509-FB042D053D3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b11f5746ea4bacdd7b399439ead75c0b127d95cd","datavalue":{"value":{"entity-type":"item","numeric-id":5277690,"id":"Q5277690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020519$A4F45F13-6B8C-47B6-9D4A-72B467341840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020519$B05D5A10-6817-4A40-8F0B-3290DBC56D6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f7dd1fd20704a5d11302e1d4bcf8fe3429246b7","datavalue":{"value":{"entity-type":"item","numeric-id":3588086,"id":"Q3588086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020519$ED15A1AB-D611-484B-860B-E760598F8B86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"207f1de1845b07de215059ac6a3493b148a1bf87","datavalue":{"value":{"entity-type":"item","numeric-id":732015,"id":"Q732015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020519$9C2841F7-A004-4040-AAA1-A4B895D01879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"813fff4a50327a56d55d510380ed2e072fd352b1","datavalue":{"value":{"entity-type":"item","numeric-id":515660,"id":"Q515660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020519$A6C7BCC2-2D9E-4236-BCC6-736E08BB38AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15d6bf8834e6341a7817a82324dbf57191e84de4","datavalue":{"value":{"entity-type":"item","numeric-id":3512437,"id":"Q3512437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020519$5BE19343-D849-40D4-9CD8-42DE116A73CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a346b0d1d8d58eca29ba3d568dd9754ed71fd2e5","datavalue":{"value":{"entity-type":"item","numeric-id":1866725,"id":"Q1866725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020519$2909958F-CA60-498D-9375-2D1E412300CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9316a3640aaf5447f69f5de485a7845644f32cb4","datavalue":{"value":{"entity-type":"item","numeric-id":1039845,"id":"Q1039845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020519$9D973D9C-6FCC-4960-B482-7E57599327F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01840145b645722449aa29d23c00ba5f807150","datavalue":{"value":{"entity-type":"item","numeric-id":3525092,"id":"Q3525092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020519$2711F4A8-240F-413E-88A4-A7C9553B5B91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"086cea8523ed1174345784fc14ca4c7750412bde","datavalue":{"value":{"entity-type":"item","numeric-id":5079759,"id":"Q5079759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020519$6E49542C-EBE2-4BE8-AD25-B19317982596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb3b9666e250b87c729eb1facbed102a95f53662","datavalue":{"value":{"entity-type":"item","numeric-id":2982916,"id":"Q2982916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020519$AE2BED9E-B5BF-474F-AACA-889D8C584A21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e2be1205f152dec80bff80cbf0be145193cfe5e","datavalue":{"value":{"entity-type":"item","numeric-id":5278396,"id":"Q5278396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020519$0AED147B-E0CA-4EA5-86BC-47C601317DCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be1d7bb0141c600a3415908525c502c9ffc451c","datavalue":{"value":{"entity-type":"item","numeric-id":1341752,"id":"Q1341752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020519$AD773DAD-459F-483D-82DE-E82B50A7895B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6a31e0cf3ff6a73ad4ee5a92d1ed62572bdd89","datavalue":{"value":{"entity-type":"item","numeric-id":3317085,"id":"Q3317085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020519$0019F060-006B-42BF-A19E-34062F604A40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6140a42fad55028ab35be908c58d4b6964b7180","datavalue":{"value":{"entity-type":"item","numeric-id":391106,"id":"Q391106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020519$0FCA8FC1-BA18-4E73-AC68-153C4F8E2714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"251400266117686745d3f882c4375a2a71694b36","datavalue":{"value":{"entity-type":"item","numeric-id":2413483,"id":"Q2413483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020519$390A9951-D6FC-47BE-A47F-085B85F53089","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56c1267fc9e25c0842e7cc91cf17982f671b43c3","datavalue":{"value":{"entity-type":"item","numeric-id":5278396,"id":"Q5278396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b3373f8eb8e801e921255f72d8be161d7d65737","datavalue":{"value":{"amount":"+0.803641676902771","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":"Q5020519$92BEC7C6-EF24-43A4-8391-8C1049BCD45D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70e2fe6104df3343b854e489aa765fe082425704","datavalue":{"value":{"entity-type":"item","numeric-id":5034230,"id":"Q5034230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f59d7b63a4532982b5f73be333a6d7ed81aef872","datavalue":{"value":{"amount":"+0.779430091381073","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":"Q5020519$B51E5498-404E-4311-BF28-B555D1FE1EDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4e6df00b16722b3024dcb03b1dac4c247af7351","datavalue":{"value":{"entity-type":"item","numeric-id":3525010,"id":"Q3525010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"232f2318114a1dce0ded89e096aeaf35f164d888","datavalue":{"value":{"amount":"+0.7589318752288818","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":"Q5020519$0C5E1845-98B6-4A82-84C1-A308115B5A89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4355423a76cd224f33b1ba7bf7f637f7b4746087","datavalue":{"value":{"entity-type":"item","numeric-id":3647243,"id":"Q3647243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee5dc3820d2b7b167ff5ddcb8926f0af124536b6","datavalue":{"value":{"amount":"+0.7585660219192505","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":"Q5020519$D2DC4AC9-A592-4F6E-8A27-681BDD94683B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa606853d64dbd06a1a39c12eaf1887f1356cbeb","datavalue":{"value":{"entity-type":"item","numeric-id":4221300,"id":"Q4221300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8641315b161312b13b9c76d8f8550e2c6659502","datavalue":{"value":{"amount":"+0.7562086582183838","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":"Q5020519$8D55B6F7-F04C-4FFE-A66E-281BC81CDD4D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5020519","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5020519"}}}}}