{"entities":{"Q2520682":{"pageid":2531425,"ns":120,"title":"Item:Q2520682","lastrevid":74168868,"modified":"2026-04-14T18:46:12Z","type":"item","id":"Q2520682","labels":{"en":{"language":"en","value":"Monitoring bounded LTL properties using interval analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6664854"}},"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":"Q2520682$B796CBCC-2367-4C59-B473-0C3F10E1D8F3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ddee3897a7440ca8505dcbb8571590abc4d7be86","datavalue":{"value":{"text":"Monitoring bounded LTL properties using interval analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2520682$A10A1620-30CA-46E4-8151-4A08FB0B07B0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"00f9d79816dc27ac8e327da0becc5001c3d48fac","datavalue":{"value":"1351.68163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520682$9F2749BE-C2FA-446C-8823-C4B443566DD5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c403b45ea91c8baa847940fbd2cd2eefcecd1666","datavalue":{"value":{"entity-type":"item","numeric-id":487642,"id":"Q487642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520682$4A1E8B96-1DD4-47FE-ACF4-3D535AC98CE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6f9bf560707208012ae4de6042822d4b20c2d91","datavalue":{"value":{"entity-type":"item","numeric-id":1674866,"id":"Q1674866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520682$44744831-181E-4069-89F4-AFED6B5BDE7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"843e68fb91273a02e3aefe39f60a12a78d1531c4","datavalue":{"value":{"entity-type":"item","numeric-id":487643,"id":"Q487643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520682$7A4C9BE2-3F96-44D2-8C42-D3E33BE25AC6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"81dc7daf8e9d74fc43b1651d3815e34e62e970ab","datavalue":{"value":{"time":"+2016-12-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2520682$126FD4B6-3764-4687-B176-91B1D3877486","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3a5e6dc4d9557c55f9f222681a3796e11dc086ed","datavalue":{"value":"https://arxiv.org/abs/1506.01762","type":"string"},"datatype":"url"},"type":"statement","id":"Q2520682$EAA93C24-ED7E-4531-9D31-56F68B57C6AE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520682$4C9CD5A9-09E8-48A8-A549-B77EB6329B12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520682$6CF02FAA-EBC3-469A-99C9-1378B59D3338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520682$AE02592C-14C2-4C1B-973E-CC6EE7DE9074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520682$D2FE9125-6F33-4385-9392-B7BE78402FFD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"84833559e72848023c128ac9a64f6f70bd5e862e","datavalue":{"value":"6664854","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520682$713F99F8-AA9F-4912-A45A-B37D71E475C9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b03439e7dedf0c27568d228c7244768e0713fd5","datavalue":{"value":"hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2520682$A8E54179-C7AB-4400-B7E4-289009046144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27f9664a92e1dda2e675ee3135774b494cc63b1f","datavalue":{"value":"interval analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2520682$4B5C8907-D8F3-4D89-BBBB-8C2A46312BF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2520682$985E7CBD-8822-425B-B5AC-734728504E12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6ab41959fd9494b5548d09c762ca90a9336e1c7","datavalue":{"value":"bounded model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2520682$18BDF4AC-4ED6-4D1A-A370-3FDBB8E1AEC5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5f7aa12e80604fbe0376e7f2b6de250eb6c3d44a","datavalue":{"value":{"entity-type":"item","numeric-id":31980,"id":"Q31980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520682$047B451B-A1D1-4FDA-8C04-F8E462EE036B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"11c96e18516c1823d7f616d42dcb2cc707af8822","datavalue":{"value":{"entity-type":"item","numeric-id":23881,"id":"Q23881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520682$A8C29020-7483-4483-B183-2DBB4AD10AA5","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":"Q2520682$87CEC4AC-3464-45EC-870B-3E0C90E4942C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"490bb43f9a4c62129f6fc07546e02d9859de5a50","datavalue":{"value":"W2964352321","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520682$1CB5E8D7-4A0C-418A-80E7-F58A2756F210","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"952c1a8bfe1b37c9e5746854107ee9ddad8a9898","datavalue":{"value":"Q113317761","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520682$643BC750-40E3-402A-91BD-2DCCDB0672FB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4f341c6f254e4778fd7612981663d8b8703db9","datavalue":{"value":{"entity-type":"item","numeric-id":673868,"id":"Q673868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520682$C9F84820-D566-46F5-BA5E-F62DCD9052D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8e019e14c862ddaf7bcd66cd64d6515bc5dc195","datavalue":{"value":{"entity-type":"item","numeric-id":4371517,"id":"Q4371517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520682$8FC7DE6E-2F11-46CD-B911-86DC8519539B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c606c0637206890c863561f98a0350a3caba8254","datavalue":{"value":{"entity-type":"item","numeric-id":4982088,"id":"Q4982088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520682$411720C2-E553-4DC9-B598-4B5E447FD7EF","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":"Q2520682$6C3074C6-D756-4575-A91B-3CD5E44F62EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c364abc9f6e3795ee364ccb24440265ed3af41b","datavalue":{"value":{"entity-type":"item","numeric-id":3540072,"id":"Q3540072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520682$780C8DA5-BC79-4949-B549-9E6DE77515CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc0f8882472439e4d483d9a2815d6f442e9e6e44","datavalue":{"value":{"entity-type":"item","numeric-id":3511234,"id":"Q3511234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520682$786B7940-EBBC-4B6B-A04E-8075890AC976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4194824522dbaf37961b47d5d8142daaf8dd52a","datavalue":{"value":{"entity-type":"item","numeric-id":2986807,"id":"Q2986807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520682$BF4D04D8-1DB0-4456-8E0D-E15B4ADA82F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10693597ce0dc527085b50d3c6211f5d7c1bd4ea","datavalue":{"value":{"entity-type":"item","numeric-id":2986962,"id":"Q2986962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520682$8DCE7B21-5D08-4DF9-86D0-B3519F2F09C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f22d3df01326f2e4294447d2bf0677fe3580886","datavalue":{"value":{"entity-type":"item","numeric-id":5464744,"id":"Q5464744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520682$510C7C8A-F91E-4FAD-AB1F-D911971D26CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42edee989187062430fb95d373ff478e9c2e9ed8","datavalue":{"value":{"entity-type":"item","numeric-id":5566070,"id":"Q5566070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520682$A383C283-61E7-4DA5-B153-DF89C9AD0E53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4c6ec072a89146545e93445fd192f502b143ebb","datavalue":{"value":{"entity-type":"item","numeric-id":919061,"id":"Q919061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520682$28FCC761-D574-4C1E-A8B3-2B289B0CD0D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0af101ec2b4a57a5bd6580fb73a1e1551fc121e","datavalue":{"value":{"entity-type":"item","numeric-id":2985883,"id":"Q2985883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520682$8DB44FBF-4B49-4673-BF13-B1DB14C985EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5b682a7759c78d8128ea2ef59d90cbd98256969","datavalue":{"value":{"entity-type":"item","numeric-id":3617769,"id":"Q3617769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520682$1126D94E-36D4-4567-AEBD-4B3E0A478C4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c563860f739c4bf7a3cb0074bffad21c50245f8f","datavalue":{"value":{"entity-type":"item","numeric-id":5899000,"id":"Q5899000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520682$6F2DC56A-A4E9-43E1-B69A-58E1677924C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d117024a620092a13c4a67c08382134610f2e98e","datavalue":{"value":{"entity-type":"item","numeric-id":547885,"id":"Q547885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520682$A3698E55-A44C-4B2E-B6AE-CDD201244F61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6c2b7fc33a475beafbd49feaf7bbfdd236aafd8","datavalue":{"value":{"entity-type":"item","numeric-id":1402734,"id":"Q1402734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520682$C7E5B3C8-D66F-487E-812E-5E7DCA714B55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0343ef019d5d4c03aea4c10b0fdf0c7d7292b4f2","datavalue":{"value":{"entity-type":"item","numeric-id":2248081,"id":"Q2248081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520682$E1AB5B6F-2734-4A5A-9239-016CA47699C2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cf263c832f43054022d5ecbe0d704054294faa2a","datavalue":{"value":"10.1016/J.ENTCS.2015.10.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520682$2E5F640C-3E14-45EF-9829-3DF7B6C86FA5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae63d6c8447a0a39cf3d39408c0467f134b5a16b","datavalue":{"value":{"entity-type":"item","numeric-id":5206959,"id":"Q5206959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e62b715e0ddb1fd06f1a8e9c5abd820de2a80de","datavalue":{"value":{"amount":"+0.7583997249603271","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":"Q2520682$03BE72E2-43D5-4403-BA6A-53BC7101BA12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6b8b012aeb60c5a87d330347f8fb589a2658a98","datavalue":{"value":{"entity-type":"item","numeric-id":5047167,"id":"Q5047167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54c43785efbf152c8a85f1765b03d7c3a57f3f8b","datavalue":{"value":{"amount":"+0.7465018033981323","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":"Q2520682$39B0BA42-C3DE-4D49-B89D-2D157F7D1A6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"173e21510194dad0aa5c5e48274dfbb8878b088d","datavalue":{"value":{"entity-type":"item","numeric-id":5464744,"id":"Q5464744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1639463caea7544fbe73560912cbd8282a487a5","datavalue":{"value":{"amount":"+0.7434831857681274","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":"Q2520682$33407ED4-73F6-4F6B-A3CF-AB17919A7013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e01117554cf20c9215b45a52e97248033fa135d","datavalue":{"value":{"entity-type":"item","numeric-id":3426788,"id":"Q3426788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ab782b90b27028daf5fd50d09156f4f146c85a0","datavalue":{"value":{"amount":"+0.739540696144104","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":"Q2520682$AE1CF3FF-E874-4087-B045-0DD7633E775C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a11bd1fcb85f60cb9a48898f6ca76162412a40ab","datavalue":{"value":{"entity-type":"item","numeric-id":4418864,"id":"Q4418864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a55183cb645d19fd4e1549340f9d7a72fa5e86e8","datavalue":{"value":{"amount":"+0.7366917729377747","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":"Q2520682$7A4E8AA0-6FA7-45E8-B25F-287440CADB17","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Monitoring bounded LTL properties using interval analysis","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Monitoring_bounded_LTL_properties_using_interval_analysis"}}}}}