{"entities":{"Q2871352":{"pageid":2882072,"ns":120,"title":"Item:Q2871352","lastrevid":42375766,"modified":"2025-06-13T17:22:15Z","type":"item","id":"Q2871352","labels":{"en":{"language":"en","value":"Adaptive and sequential gridding procedures for the abstraction and verification of stochastic processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6249245"}},"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":"Q2871352$59DF7C92-4F87-4540-B52A-261ADCDFC678","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d47f6e72a6fdf156295186b17b44aac7833cd59a","datavalue":{"value":"1278.93243","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871352$E8C9CA7A-2390-4508-BB16-975AB6A79B61","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6b2f8843df4b8ac01cecf46022ac77ac51e25257","datavalue":{"value":"10.1137/120871456","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871352$C89C820A-84C2-474F-926B-687A9CE2BECF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a1f91e571b8e79a9601e7de65c49892f6d9269a","datavalue":{"value":{"entity-type":"item","numeric-id":523134,"id":"Q523134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871352$30C0F772-72DF-47A9-9FC0-27FD68CAD11F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e149cd480f45d2379e65fc119900d9656b0738a3","datavalue":{"value":{"entity-type":"item","numeric-id":262436,"id":"Q262436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871352$30EDF91F-E422-441F-805B-5B3F46A43B38","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7bf3765ea7dd6415437446b4646e5b1b3864da4c","datavalue":{"value":{"entity-type":"item","numeric-id":143810,"id":"Q143810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871352$84651437-49C6-4AE6-8509-9041CE59CCD4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4faea9ea96f54af129daa2771004ab771cecfe4f","datavalue":{"value":{"time":"+2014-01-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2871352$D4088EA9-6580-4889-B274-4B3E518C394E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b7ae02dd6c803cac68e49d830d3a63ccfbff2f9a","datavalue":{"value":"http://resolver.tudelft.nl/uuid:bfc36534-6546-4173-be20-c08d0aff2ee7","type":"string"},"datatype":"url"},"type":"statement","id":"Q2871352$0CFCE4C3-5DE5-41C8-A517-65E86FBE5D60","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b1a9a20c16e14977aabce86aca077afc2aca3644","datavalue":{"value":"93E03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871352$E553A8DA-792D-49B1-B9FF-43741E9E4D07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4c15fc5b552da2164fcbae119962e97168cbc3a1","datavalue":{"value":"93E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871352$AF6203A5-C9A1-42AA-9CFE-03532080EFD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6a9ff1a146ff44dca747e334413377c148d2df3d","datavalue":{"value":"60J20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871352$210C25BA-48B3-440D-8CEB-347F364A78CB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c0c9b98c57920b1de3fbf3710ed2f4d00e2b1ef2","datavalue":{"value":"6249245","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871352$D16301FA-BC3A-4E93-825F-9558C26C3BD2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"596336bbed8d3e5268797bb7b243dc0224ab7f95","datavalue":{"value":"general state-space processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871352$98254695-E413-4C3F-80E8-4BD8D0142724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54386443767439a4565bd3fedc3d37d2c4a4f85d","datavalue":{"value":"Markov chains","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871352$013ABB9B-149E-4A10-A507-F3380F73EC19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6255abf574cd911ce0441a5a04032698806b52fe","datavalue":{"value":"stochastic hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871352$3A7502CB-411E-4F77-8571-C74CE2BDF866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a0292d7ae2b8e3a14fbdf5d645725bd7a994ae5","datavalue":{"value":"abstractions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871352$687F1E6B-591C-4CB4-AD74-493E52B21E3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc88a85eafc98bb9677b264fb73e786eec79ad85","datavalue":{"value":"approximations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871352$9132899A-D8C4-4C74-B725-8973EECCAF89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871352$AE895BDB-AEAE-4704-8ACE-24BFA398908D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87af608d4522d0ad5498648c65b7223ea11a6a20","datavalue":{"value":"safety and invariance","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871352$D7C2157D-245D-4A5D-86D7-12C813D593AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4334902f58d97537ea095ac0fbda9e6689fb4469","datavalue":{"value":"properties and specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871352$434251E7-08EA-460A-B7CD-F6FDAAE03CAD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"531a52a4ab12ab6e2b5be84834036762ed677445","datavalue":{"value":{"entity-type":"item","numeric-id":13928,"id":"Q13928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871352$92151FD7-4D9E-410D-ACC1-DA66911D20BC","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":"Q2871352$27414C46-05E1-4BE1-852A-FF90881745A9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d8b73903087b030ceb41c155a46566b05aa24440","datavalue":{"value":"W2171282796","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871352$D3DACAD9-E019-4F6B-B13D-6547230F12E9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bfc9c1865ca6547f89824dcd8a830c9c5c8cf7c","datavalue":{"value":{"entity-type":"item","numeric-id":832046,"id":"Q832046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ba276776490d1dc684e2fe73570f221d6f015a7","datavalue":{"value":{"amount":"+0.8607286","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":"Q2871352$4E0428DB-7B40-4059-A5B9-A8DABF2A1F7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1535483462fb28545ecbb8fa6f44af9b0d4cd52c","datavalue":{"value":{"entity-type":"item","numeric-id":658865,"id":"Q658865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d22844f20df91e7b83eec1cd7fd70a416cf2ac3","datavalue":{"value":{"amount":"+0.8461826","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":"Q2871352$F602F8AA-010F-438D-AB29-629E067CD761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac946cdf759db269c07e7a6387ddda148c39c250","datavalue":{"value":{"entity-type":"item","numeric-id":889881,"id":"Q889881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9b85bd6cda34947412f0314f1c12cc930a12b3b","datavalue":{"value":{"amount":"+0.8404016","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":"Q2871352$E040C450-2AA5-477C-894D-D58D5891EEC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"545f8f259302916774f7f483252317a16429ba9a","datavalue":{"value":{"entity-type":"item","numeric-id":3434961,"id":"Q3434961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8a2aabcc1c0629d820ae6bbb5653a39852926e4","datavalue":{"value":{"amount":"+0.8401103","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":"Q2871352$589A765D-9BE6-43F7-B5BC-514CDA75C1A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40d12c41a0a9c13802cfa90dc4b2a3abc073001b","datavalue":{"value":{"entity-type":"item","numeric-id":4737576,"id":"Q4737576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdbc9e71fcd286ad0fc9fa83ae1c39fb72fbe002","datavalue":{"value":{"amount":"+0.8399926","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":"Q2871352$0A86FBCB-6EF8-4A84-9A1D-CD9E0748C7B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"969acc3a25d231f39fae0e476645c0a90bd9a1e7","datavalue":{"value":{"entity-type":"item","numeric-id":3541024,"id":"Q3541024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"544f5d09d2df057f9b4f304a9104fe00ac0cd291","datavalue":{"value":{"amount":"+0.8381101","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":"Q2871352$B400748C-EE0A-4649-8A37-8098839A24D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"855de1b4c41f37574edd2d57fc8b6de513fb41b7","datavalue":{"value":{"entity-type":"item","numeric-id":4471933,"id":"Q4471933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae077110a2b8d86d47eeedc1c95350e37b8eddf3","datavalue":{"value":{"amount":"+0.83556074","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":"Q2871352$08A89C43-B4E2-492A-B8F8-338EDB00C32C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ded28bf94aff82b1a6787f8ca99440b2c48c670","datavalue":{"value":{"entity-type":"item","numeric-id":3128457,"id":"Q3128457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2167dbe1a9b46a06f4cf336155f8d9d0dc1477a","datavalue":{"value":{"amount":"+0.83459175","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":"Q2871352$77EBA892-0FBC-4D8B-BCE0-F2B8D6067C0A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3cbe342ab84dc44e6e8f8f026d1331469abbf3b1","datavalue":{"value":{"text":"Adaptive and sequential gridding procedures for the abstraction and verification of stochastic processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2871352$8DBB5913-725F-4487-AEE9-F16CF443EBFE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2871352","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2871352"}}}}}