{"entities":{"Q2891462":{"pageid":2902187,"ns":120,"title":"Item:Q2891462","lastrevid":44709771,"modified":"2025-11-25T10:36:12Z","type":"item","id":"Q2891462","labels":{"en":{"language":"en","value":"An Asymptotically Correct Finite Path Semantics for LTL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6046619"}},"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":"Q2891462$16133017-07D0-4B7B-AD4A-0793DB744B45","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8f05492d99f4d192f1234dd1b4fdf82b34f2a861","datavalue":{"value":{"text":"An Asymptotically Correct Finite Path Semantics for LTL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2891462$C3D7EAEA-740B-436D-BEA4-38B319B9ED15","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"99e701242df83a36ac4aa783259ccf83435eb2a6","datavalue":{"value":"1352.68160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891462$F4381E1A-7DA5-440E-B4A3-245ED013ADB0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"acd16a39d1f16820d4211451540571652dbb55a8","datavalue":{"value":"10.1007/978-3-642-28717-6_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891462$C3B12316-0BC1-421F-BC84-BBFBDF406D38","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d165861740298b1670a538f4db0c6823b65828d","datavalue":{"value":{"entity-type":"item","numeric-id":2891460,"id":"Q2891460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891462$E5BBBDC2-D0E1-4634-AE9A-98D2026DDDCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f167998ef7b53e73b44c5dd915eb842201866a9","datavalue":{"value":{"entity-type":"item","numeric-id":2891461,"id":"Q2891461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891462$7535C157-4450-4754-A355-93CCFC43D441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db5e218f716ca700616397a6cbd9d737bd82acf0","datavalue":{"value":{"entity-type":"item","numeric-id":1334902,"id":"Q1334902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891462$EEA93B25-A217-4690-BD1F-670AB43E0D59","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891462$177935F6-7E2D-453F-AF81-340A38625964","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3e77e8a5f31c3c130201e11da285f79066a6e7f3","datavalue":{"value":{"time":"+2012-06-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2891462$CF5336D0-57C3-485F-B8CD-B4EF04A12577","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891462$B8CA1D99-2C13-4472-B0D4-649744286D2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891462$24638C89-55D8-453B-89EA-3BCAAB008E77","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3e9c29e1559e9a9f7270b34bed388e367c9e5ea1","datavalue":{"value":"6046619","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891462$E0099292-04A8-46EA-A9C0-E1570ABCBB3E","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":"Q2891462$15CFD4AF-BEA6-4DBA-B051-FB137A004581","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6faaa69a9e73acededc901a9f8318adf018448e4","datavalue":{"value":"https://doi.org/10.1007/978-3-642-28717-6_24","type":"string"},"datatype":"url"},"type":"statement","id":"Q2891462$FEC5CB81-55DA-4DB9-BC7F-324CE2988852","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"204ebf62749015d28d696d394d15dfd65fdcdc01","datavalue":{"value":"W1583251282","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891462$C12007C4-E6E4-4B7C-B666-C18D4E13D8CD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8e09fa57aeb1f55298b6eec616fc70403b45775","datavalue":{"value":{"entity-type":"item","numeric-id":4558796,"id":"Q4558796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ae5269c7d39668cae2e556e8c00dbecb34d2b88","datavalue":{"value":{"amount":"+0.8848959","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":"Q2891462$8135FC9E-BBDE-45AC-9D85-769A87BA7FA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4f4010920bd191f8a291c27d1d67c30e4dc1c69","datavalue":{"value":{"entity-type":"item","numeric-id":4415249,"id":"Q4415249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d964a418efb9db454b578940e263fef95ef30fd7","datavalue":{"value":{"amount":"+0.86949354","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":"Q2891462$AAD55EC8-45E1-46FB-8945-79C5A63C49BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b232b0c6858756f2d4c0c3d4d97129ff5e42078a","datavalue":{"value":{"entity-type":"item","numeric-id":870361,"id":"Q870361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d964a418efb9db454b578940e263fef95ef30fd7","datavalue":{"value":{"amount":"+0.86949354","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":"Q2891462$EB2BBA03-460B-4CFC-8C68-E651F1CE6F87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7de6e153b5969c090d61eb6bf4582a31803e6130","datavalue":{"value":{"entity-type":"item","numeric-id":4411974,"id":"Q4411974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfba9a68786488b70fdfdba803c20e1ca303d15b","datavalue":{"value":{"amount":"+0.8671605","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":"Q2891462$9639D542-0F23-44ED-BE9B-96936AEA10E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3383aee9a50302aa883ab2b30b18bea8e0a22854","datavalue":{"value":{"entity-type":"item","numeric-id":5283016,"id":"Q5283016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87b2ede331b9329b24f275314ae73a13c1b56b15","datavalue":{"value":{"amount":"+0.86347187","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":"Q2891462$4AA6F494-7CC4-4E1A-8BF6-17C9439092B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d086b21205e8ff05dfe3d242c1a32cfbf4927ab","datavalue":{"value":{"entity-type":"item","numeric-id":3648714,"id":"Q3648714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"299cf05d72977776cfd0ab856118a709693861ba","datavalue":{"value":{"amount":"+0.86201197","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":"Q2891462$E948FAFA-497C-4EAB-8DC0-F6590C458337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95f9f687a5297234e093a151d1c25779a08ca874","datavalue":{"value":{"entity-type":"item","numeric-id":2945133,"id":"Q2945133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aebf2fbb6422865ec06bc1173c4e9e303ebd442b","datavalue":{"value":{"amount":"+0.8591789","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":"Q2891462$B9D9FE06-6BEF-4F09-8A9D-A708A627EE95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d55558c882eb537dea8b4ed637072d46a41d3d4c","datavalue":{"value":{"entity-type":"item","numeric-id":1707341,"id":"Q1707341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3e35952d26e3ec878d04df72c42581eec195edf","datavalue":{"value":{"amount":"+0.85879815","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":"Q2891462$1C19E10E-AB3F-48DE-8C19-C0D3CFFC707B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2891462","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2891462"}}}}}