{"entities":{"Q5034230":{"pageid":7063807,"ns":120,"title":"Item:Q5034230","lastrevid":91126976,"modified":"2026-06-04T22:19:41Z","type":"item","id":"Q5034230","labels":{"en":{"language":"en","value":"Being Correct Is Not Enough: Efficient Verification Using Robust Linear Temporal Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7480995"}},"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":"Q5034230$F6A40530-B103-490B-9417-31B417840330","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cf88f1a1a387f0b65aefcb674d26cc27cdb5900d","datavalue":{"value":{"text":"Being Correct Is Not Enough: Efficient Verification Using Robust Linear Temporal Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5034230$899CD3B0-6FF8-4B74-8512-72E6E481A603","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4d620dc3bac2b828875836ba8efcfba6ebd88248","datavalue":{"value":"1502.68178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5034230$775A650B-27F9-422B-B7D5-62A0CDC9BEB7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dbc12f7de82c1eabee68876686c74f2db8957f2a","datavalue":{"value":"10.1145/3491216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5034230$4EE7BD7A-252D-4B36-A45D-2A2CA3C7ADB0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"75258d11caf36b4aa2b7c6f916ff2e2538283bb7","datavalue":{"value":{"entity-type":"item","numeric-id":5034229,"id":"Q5034229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5034230$B6327F31-08A6-4448-95E4-E8B58B618569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9f50b607ff55a711e5a7e27f3899e4b3ce08b84","datavalue":{"value":{"entity-type":"item","numeric-id":311966,"id":"Q311966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5034230$25FD8FC1-25C9-4BCA-A10F-9BFF6507E29F","rank":"normal"},{"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":"Q5034230$3C513F0E-E330-4316-8463-A1E90E79C0FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7832d0cb9d9908d99b0246c9f9004fd2c464f2e","datavalue":{"value":{"entity-type":"item","numeric-id":533799,"id":"Q533799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5034230$25FC4A08-5DAE-4BB5-AFE2-D63ECB15A14F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5034230$D9597FD3-8ABF-4093-AF8D-1DB142F17DE1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"196912be4672b459976a88ae8f7f9742202f7363","datavalue":{"value":{"time":"+2022-02-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5034230$37819A0B-FC14-4341-9FE9-B21440FD8EBD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4946540fa45b0330d5fbff2113f609e025609abc","datavalue":{"value":"https://arxiv.org/abs/2102.11991","type":"string"},"datatype":"url"},"type":"statement","id":"Q5034230$AD126BDC-A0C4-4773-8F76-81480A667965","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5034230$6C53613A-43D4-4A03-B5B9-7BD7891DDD78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5034230$0213BC0F-33E1-439D-8260-30E4480FA630","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"536f3729bb4b3113a60a93f315cdb31035460579","datavalue":{"value":"7480995","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5034230$0CB66DFA-47F0-41B3-AEBE-7CD709A4D881","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13bf0c533aca003fe94f2a75508cf6f2721b7569","datavalue":{"value":"robustness in temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5034230$E8E19C15-F4CC-4056-9834-9B6287AC14D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75a822d45ff630eed6e1e1d1ccbc70e390760cd4","datavalue":{"value":"robustness in verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5034230$BFD03DD0-5935-44EE-8844-B6F3CFBF9236","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":"Q5034230$144E09C7-192B-4972-9E77-41CCC05BE3C6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6831e7284534d456dead38bf7352974a7a9fad41","datavalue":{"value":"W3133387630","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5034230$FADD4F37-2213-4346-B7D4-38BFC8CB4245","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"1aaf9babad1fdf339e18852e997209e74850f001","datavalue":{"value":"Q130818537","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5034230$0FADD476-6373-4141-96A3-590987A2003E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d73b38ccbae103af343ec26ab9dd269f852cf4f","datavalue":{"value":{"entity-type":"item","numeric-id":4493881,"id":"Q4493881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"346b246f003615a09b60d0d22c72206a580e1eb8","datavalue":{"value":{"amount":"+0.9229651","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":"Q5034230$C9208553-C451-492B-98D3-CDDCB805030D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdd6430ddc07f666412f326375efcae8ea7ce9a5","datavalue":{"value":{"entity-type":"item","numeric-id":4508313,"id":"Q4508313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"320c1946625316995abb49759d2e06f0039bb226","datavalue":{"value":{"amount":"+0.9007464","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":"Q5034230$CAE6A6A3-BF13-4560-A6D9-12A0880D11DB","rank":"normal"},{"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":"eb9410db93c129a43c01a8f2a3c2228fe7d78cc2","datavalue":{"value":{"amount":"+0.8925492","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":"Q5034230$994ADDE7-ADDD-4A9C-8854-7EF72C2433AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1883c23305d8a1b064ea2be02f161af8aa5e618e","datavalue":{"value":{"entity-type":"item","numeric-id":1192606,"id":"Q1192606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc950cd7965021cba1d4f47361a55b3eda938d49","datavalue":{"value":{"amount":"+0.88820356","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":"Q5034230$2DA32069-FA4D-43DF-A3D8-E7C525176EA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59794ce866fcce34268e65630d3559b3e3405dc4","datavalue":{"value":{"entity-type":"item","numeric-id":539223,"id":"Q539223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ef76639db1ce02936749ade83d021082ba58bf4","datavalue":{"value":{"amount":"+0.88613665","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":"Q5034230$E6D386F4-C4E2-4454-90DB-4ABAE4DBD684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f33acdc1522ef9980680929c8850a95b4d3f744","datavalue":{"value":{"entity-type":"item","numeric-id":5145353,"id":"Q5145353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98cfd12cc724411dfe54b1977f2dbd107b581df4","datavalue":{"value":{"amount":"+0.87678504","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":"Q5034230$D3F195A8-31CB-48BD-A790-BCD80A5FEF5F","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":"93f8ec1f8e67b5dd2e2c4fde80d85cacdf035188","datavalue":{"value":{"amount":"+0.87648547","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":"Q5034230$30AE5AD2-3497-4D43-8EA9-1E66C36F3F7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2aa6ff4031809a73b3b8caa6b582ddffe648fe42","datavalue":{"value":{"entity-type":"item","numeric-id":2026783,"id":"Q2026783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73f2d37c54fb0f8801069738b86d60238f7d3f48","datavalue":{"value":{"amount":"+0.8763289","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":"Q5034230$1FA7544C-673B-4010-AF9B-92D1D5821722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d67d5da9ed25eddfe35548c942bf3395cadfcba","datavalue":{"value":{"entity-type":"item","numeric-id":3525763,"id":"Q3525763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72af092df953497eac04480b2594187e2e4973f9","datavalue":{"value":{"amount":"+0.8751748","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":"Q5034230$9C332F41-8C63-4438-852E-A999CEEDDCDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e658fa9fb0af4df6d72ddd7f084c7dd3c6b025c","datavalue":{"value":{"entity-type":"item","numeric-id":4824484,"id":"Q4824484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a615ea09770ce6585cb8eecc3a91c36783561fce","datavalue":{"value":{"amount":"+0.87493044","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":"Q5034230$70DFA5D2-2B9C-48DF-9E34-98A524FB4BFB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Being Correct Is Not Enough: Efficient Verification Using Robust Linear Temporal Logic","badges":[]}}}}}