{"entities":{"Q4635593":{"pageid":6665174,"ns":120,"title":"Item:Q4635593","lastrevid":41623868,"modified":"2025-05-06T12:15:20Z","type":"item","id":"Q4635593","labels":{"en":{"language":"en","value":"Asymptotic behaviour in temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863068"}},"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":"Q4635593$EDC0E2CB-AAB2-410B-9826-F74F3AF31781","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"be0df4de93fc04f02879849d0a7a456c6fe65d4e","datavalue":{"value":{"text":"Asymptotic behaviour in temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4635593$44828FD7-D0AC-436A-93A6-D31948DC4874","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e562e6b1ab7b085e481f9529dec67d95e6cd1fb3","datavalue":{"value":"1394.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635593$42046D84-FF41-4A3E-AE97-B8FE1AB9D8BE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d73442157006987af4eb9b5de240c5ef3ce25965","datavalue":{"value":"10.1145/2603088.2603158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635593$38F93DEF-9503-48E7-ADE9-E71E0057DE1E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"63340cd02b3dacb5365f90854ea53492575e06e0","datavalue":{"value":{"entity-type":"item","numeric-id":418138,"id":"Q418138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635593$EFEF512B-7C80-4980-A7EC-F0D155038695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e90e0464b21bf85705710371712509c864a99c5c","datavalue":{"value":{"entity-type":"item","numeric-id":897879,"id":"Q897879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635593$F4DCAE00-15E6-45AB-9A55-A783883F831F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"879fbffd6050832603bad16ace4bc19a77133384","datavalue":{"value":{"entity-type":"item","numeric-id":1631229,"id":"Q1631229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635593$4A4DB6A3-DDDE-45FD-8210-93B127FF510E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a06e5ef1bece8fdb4fdd3515de35bf8fe9d93b2d","datavalue":{"value":{"entity-type":"item","numeric-id":282108,"id":"Q282108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635593$6742735A-0668-4692-B5A3-7E82720CFBF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf48331e99beece8d70dc67a0e4198fb5a46a4f4","datavalue":{"value":{"entity-type":"item","numeric-id":4635592,"id":"Q4635592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635593$EE730B81-F121-44F2-8300-F1887310F3BE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6572bdac0e197f580103bb5e9b289936a884acc4","datavalue":{"value":{"entity-type":"item","numeric-id":4635585,"id":"Q4635585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635593$69DCE0ED-F4E4-4146-9F89-BC652624579D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-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":"Q4635593$7EB86C55-B9A9-4A00-96A1-FC184167F827","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"25a78a6e4722c4b026a597735feb2f73a136cfd1","datavalue":{"value":"https://research.tees.ac.uk/ws/files/7764250/621238.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q4635593$76F92055-5852-4C27-A1EE-6935FEF012EE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635593$D86EBDEE-734E-4095-BF89-88B4BD7E6E66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635593$E9139EA0-1B36-41F2-BF57-F3B4C91DC6DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635593$6CBA1B07-1A7F-440C-97D7-2BD0A9C93319","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"15a8347aa4e0f582c356ebccb1fd2ecd98e3c09e","datavalue":{"value":"6863068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635593$D5D6773C-3C60-4774-A301-6E0B3915B7F5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c2e069b1a2184cd3b0f52ffa83b5fcb89125e86","datavalue":{"value":"entropy","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635593$930DF895-8F3C-44AF-A71D-353576239083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635593$919003A3-1182-4640-A4C3-0321EEE6E01C","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":"Q4635593$086E9F72-5C1E-4B32-AED3-87150D0B2441","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3347da7def8874bb225115f9fbe0d4a87f985b3b","datavalue":{"value":"W2040511383","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635593$3564DFD2-89A1-43CC-9C9B-88B405EAC0F3","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c85d2dbb506164a3d1302a7b5cdd2b7dc979e1d3","datavalue":{"value":"Q130850219","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635593$6D2D0F4F-008D-4DA6-A1D1-6BF33D93E795","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ea108dc4d3486b75416193e20af0acb78b75a2d","datavalue":{"value":{"entity-type":"item","numeric-id":6165037,"id":"Q6165037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bb75adc487c37f926aaf43a43744d4acdfe2fb4","datavalue":{"value":{"amount":"+0.8876264","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635593$D59C4D2E-C6ED-48FE-8476-0EDF67B5BE23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2782ca6af719f90715187e70afe4c9afb53ea26","datavalue":{"value":{"entity-type":"item","numeric-id":5217304,"id":"Q5217304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d170039b6cc0543e90d94eaaaddd93ab9a0bcbe5","datavalue":{"value":{"amount":"+0.8870424","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635593$46D55FC2-A63E-482B-8021-E1D4DC56364E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f2fd32e463d03137b21bb2fe383e1943074793b","datavalue":{"value":{"entity-type":"item","numeric-id":2147173,"id":"Q2147173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0d055f47d4256d6c00522e66e0fdcc077961ab7","datavalue":{"value":{"amount":"+0.8857154","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635593$D4D07991-A511-4F68-97A9-F95AFB068AC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d98489b5f412860292b9f6d032228702cfd6acfb","datavalue":{"value":{"entity-type":"item","numeric-id":4580328,"id":"Q4580328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b91e4f6012a84cb2ed1ef8e1eea5b609c689c6ce","datavalue":{"value":{"amount":"+0.8852115","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635593$0845E8BE-D2DE-4128-921A-A79BCC24EE91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0a4eede209a58d01f1f661ad4dc08965f78cba5","datavalue":{"value":{"entity-type":"item","numeric-id":4733376,"id":"Q4733376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2edd0654876132bc0323eda0f0e6ea637dc550c","datavalue":{"value":{"amount":"+0.8829112","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635593$DFB205A4-480D-4AC6-8971-67F3EAD1DD80","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":"8ad4a872345c7c5bd3eefb821a1070cbabf95b52","datavalue":{"value":{"amount":"+0.88247114","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635593$EF65CEED-4954-4FAD-857F-C9BC9ADDD04F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01c7b1cf1bf8781ff01f1b7fd6f6d35fc46a758f","datavalue":{"value":{"entity-type":"item","numeric-id":4635843,"id":"Q4635843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"079c6925c4db0b1d3b0a2514ae48a55d935bcad5","datavalue":{"value":{"amount":"+0.88206685","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635593$DCD43D76-E50A-46CF-B183-DF26F5ACC022","rank":"normal"},{"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":"ba6513d1e2706671980237c7414e3aab81280ec8","datavalue":{"value":{"amount":"+0.8793757","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635593$C780EA5A-52DE-47D5-982A-ACDC0951F6D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4500d149d6e08f4777983a3ea471b80e6a88a668","datavalue":{"value":{"entity-type":"item","numeric-id":5096734,"id":"Q5096734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0af92d25261bc9e61ee60b9d28d301332c677dc8","datavalue":{"value":{"amount":"+0.8771005","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635593$06215E06-AD82-4EEA-8864-3AF876E44364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dcdc152fc48b3fb14e9aa7237a5ab54d77803e9","datavalue":{"value":{"entity-type":"item","numeric-id":4484477,"id":"Q4484477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2d836911425942b6eff696de3d0a3a4e6e75fe8","datavalue":{"value":{"amount":"+0.8765835","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635593$F8661F83-AE21-4C6B-A7E3-ED1571D437BC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4635593","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4635593"}}}}}