{"entities":{"Q2988933":{"pageid":2999657,"ns":120,"title":"Item:Q2988933","lastrevid":52812080,"modified":"2026-01-23T13:37:58Z","type":"item","id":"Q2988933","labels":{"en":{"language":"en","value":"Statistical verification of dynamical systems using set oriented methods"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6721624"}},"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":"Q2988933$4EA943A6-5AA6-472A-AB11-700E60CC443B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"72efabf87d0ade7c49466f8374023ef07b194675","datavalue":{"value":{"text":"Statistical verification of dynamical systems using set oriented methods","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2988933$8E89C9B6-C72C-46DD-B47F-0587140BBD81","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eae4c152916bb2e3e1997dc1b0044bea555afcb9","datavalue":{"value":"1364.93753","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988933$A7B46697-01CC-4069-91FD-9055EBD0CEE3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cb978c8dffd525b96a5074b3fe2bce78897d0a09","datavalue":{"value":"10.1145/2728606.2728627","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988933$364EB66E-6752-49FC-8C4E-E942FB856FC6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d8840f649ba3ccabd05f8418331426d8ccffaafe","datavalue":{"value":{"entity-type":"item","numeric-id":2335898,"id":"Q2335898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988933$E69CF09E-3CFF-4424-80F0-78F4746F91E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19d8460a4509ab76e30002431a0dd2f4fb7dcd8c","datavalue":{"value":{"entity-type":"item","numeric-id":2272935,"id":"Q2272935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988933$58980AF0-C8A0-4A40-A582-F40FC8D4BFCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"83b32e8769bd808605646e6ce4a1378a5eea3cb6","datavalue":{"value":{"entity-type":"item","numeric-id":202307,"id":"Q202307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988933$C6897DB5-AD4F-4BDD-A3D5-3297A2A9AC1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"143b6b92bc6a16b35c1b93aef5aca0ebdc691790","datavalue":{"value":{"entity-type":"item","numeric-id":650913,"id":"Q650913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988933$CA08912B-6AEF-43D5-A9C6-AF10F6456EDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"43c0999ea618ed625f0a1de82419dd0724738106","datavalue":{"value":{"entity-type":"item","numeric-id":311968,"id":"Q311968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988933$E9B67F44-2C79-4D14-9D66-331407D4E0D7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a4d0278b851ddc53a7eb92ed995a1550e0e95367","datavalue":{"value":{"entity-type":"item","numeric-id":2988908,"id":"Q2988908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988933$EB899826-7EDE-41D6-AE85-081262A124FA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a59ae3429cdc3df09abb41b2b009b08d954a3dea","datavalue":{"value":{"time":"+2017-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2988933$A4586474-91FB-44B1-80A0-64AB1BCFA672","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b1a9a20c16e14977aabce86aca077afc2aca3644","datavalue":{"value":"93E03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988933$8981E83C-10CF-492E-8532-9545BF22B717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"559e9e993b5739992d837c78bb1ff74a483fa093","datavalue":{"value":"93C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988933$BD8985C0-6C02-4007-B20D-4F283812B543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"39a0025ac480893a6c3723330b06364463bbd01f","datavalue":{"value":"93C55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988933$571BC247-E879-4E1F-9E37-8158E845C666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"314e54fbb18d33f780194e79b8f7d977d400cb90","datavalue":{"value":"60J05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988933$9CABBA84-B352-47AC-9B9A-1AD341DBBAF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1cdf15533e26fc0c4c2e22d28e655c364dfe77a6","datavalue":{"value":"60J10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988933$81D59517-2F77-4BC1-B12D-638E25B45DA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988933$28C93FF2-0E34-42AF-BBDE-4DD5A5FDD734","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9aec5333b188135355ca3cd6cbeea6761891b4c1","datavalue":{"value":"6721624","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988933$3A3E1A0A-3CF3-4A71-9772-74A0C1114919","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78d3c6259b58913a193d027f5d54d095c8f9d3ee","datavalue":{"value":"linear temporal logic (LTL)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988933$A4DEF2E4-02E5-45B6-BB53-D0CD5B0381CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4b56c27fda56a93ec2c23378c35965976bfe3b0","datavalue":{"value":"discrete-time nonlinear stochastic systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988933$84ECAA25-02EF-4BF6-93C0-147677CCD9E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f47e4fdc183ef8beb69defca6943946e6f2cb91","datavalue":{"value":"Markov processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988933$0A8A392C-40D9-4E0F-920A-9822E9C62009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e37043ab81fdc2a9d67a0a91974ec1dc436f2619","datavalue":{"value":"discrete-time Markov chains (DTMC)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988933$E7DE196A-FAA5-4855-B72C-D02AA5DFA500","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"0789324fc4cad3e31a614f74201b1c4d3bdaa738","datavalue":{"value":"Q62702171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988933$AA6D1E4D-D57F-4808-8C7A-AB231EAAD934","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":"Q2988933$EBC69D02-C14C-427A-81FA-E64C8E1580FF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f722e968944ed20ba49587918f71c2626e630a7c","datavalue":{"value":"https://doi.org/10.1145/2728606.2728627","type":"string"},"datatype":"url"},"type":"statement","id":"Q2988933$ADD92293-FBD1-405E-93B7-DB69DD2CF5B6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a0bb7949f9bcc4f5f952c6113a127b76b5358236","datavalue":{"value":"W2067733097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988933$C1F7F8BB-0731-479D-B294-011BAFA70383","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b573f2c82a60be051782574a0331cb6504cfe16","datavalue":{"value":{"entity-type":"item","numeric-id":2988935,"id":"Q2988935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988933$0B7DE876-90C1-4720-AF66-9B3098B36454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecfbbbb3a2787ace35fa94a3243cdd057a7069bc","datavalue":{"value":{"entity-type":"item","numeric-id":5476735,"id":"Q5476735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988933$1CB01246-36FE-464B-9E91-573A35D8AF1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"803594396d2eb7e8708b0e25432d7496a9ad24b9","datavalue":{"value":{"entity-type":"item","numeric-id":2737800,"id":"Q2737800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988933$2147E5B4-4620-4B7C-B2DB-2F84D2B79813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29525dd63452ec8338e42e92d6a9b58d5844b4db","datavalue":{"value":{"entity-type":"item","numeric-id":5703930,"id":"Q5703930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988933$D40229BB-3D00-42E7-B200-A3B93D6A3705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b365c89f16f21bafee54b40885302f602b52a53","datavalue":{"value":{"entity-type":"item","numeric-id":2842670,"id":"Q2842670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988933$6BC08061-6A3A-4DEB-A8F5-6A1B8F3D3F68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f0336458108717527a0954272b55a21903491b3","datavalue":{"value":{"entity-type":"item","numeric-id":4781425,"id":"Q4781425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988933$5CE0C44E-31C7-407B-86E0-6EC84C76E4A2","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"c86f81678f4400608c9ef4ffc898e0482a846813","datavalue":{"value":"conf/hybrid/WangRW0D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988933$CE372582-74B0-432F-9700-9C2425F5516B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc920c1ec773dd5c066514182446ab618c3ffcd6","datavalue":{"value":{"entity-type":"item","numeric-id":5716565,"id":"Q5716565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"899c5d24652e9d07dd54ef002fd6ba7f67ec5756","datavalue":{"value":{"amount":"+0.737122118473053","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":"Q2988933$AC4B6E76-E8C3-448C-8B51-1EEB312E08CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26d00c82ab606062335d575001a70b94a8d8149c","datavalue":{"value":{"entity-type":"item","numeric-id":2665419,"id":"Q2665419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03606eebdda0696a68aad68f3d09e1a2efc95531","datavalue":{"value":{"amount":"+0.7318588495254517","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":"Q2988933$D5F7E2A6-483C-4D8D-AA6D-BCF70B66F79E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"003be66fc5eeee7df6e9ece570dffe3975ed0b77","datavalue":{"value":{"entity-type":"item","numeric-id":6109588,"id":"Q6109588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cde3b20a936b23df6bcc8ff2e40b61ed70c1d9d","datavalue":{"value":{"amount":"+0.731342613697052","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":"Q2988933$A6C0F43C-2F3B-49AE-AAB1-3309AD37058B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b7bec40f17d824881dcdbea4aa9a0250d4f45d6","datavalue":{"value":{"entity-type":"item","numeric-id":2248081,"id":"Q2248081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"790f7a25c3d883da81e0e8a680a75a02fc70f239","datavalue":{"value":{"amount":"+0.7161940336227417","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":"Q2988933$47A52D23-0F41-4DD4-8210-1EE81089F19D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2d9405aa27ae5e7a65c5273a0c1ea6c9a64526a","datavalue":{"value":{"entity-type":"item","numeric-id":2509358,"id":"Q2509358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"439b9ea9f4033d61f1ba99733967d260e423c0cb","datavalue":{"value":{"amount":"+0.7142202854156494","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":"Q2988933$DB84EDFD-584F-4F09-8AB1-B09A1BF41921","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2988933","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2988933"}}}}}