{"entities":{"Q2986933":{"pageid":2997657,"ns":120,"title":"Item:Q2986933","lastrevid":52804952,"modified":"2026-01-23T13:19:50Z","type":"item","id":"Q2986933","labels":{"en":{"language":"en","value":"Formula-free finite abstractions for linear temporal verification of stochastic hybrid systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6718252"}},"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":"Q2986933$657510F0-4FEC-47BC-A326-091DB5FDC32E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a242899bf0856a1baa598ab4d2d677a630b765b3","datavalue":{"value":{"text":"Formula-free finite abstractions for linear temporal verification of stochastic hybrid systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2986933$108B15B2-ADD0-4A30-8D16-8DB0DC86B5BA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"363aafdadf348a30eb245738b6d65512a8744b80","datavalue":{"value":"1362.68187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986933$38A5B9EA-D55F-456D-BF10-49B4285DF652","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c4e496b4dc6987028ff4028c811adc106fb3bdc0","datavalue":{"value":"10.1145/2461328.2461372","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986933$30E02BA3-229B-42A6-9390-6DD5247379DD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"18ba433aa02039d6f23954f2f089d844ec1ac0a4","datavalue":{"value":{"entity-type":"item","numeric-id":386603,"id":"Q386603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986933$B2103A07-B8DD-4A43-B88D-EC507B930915","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":"Q2986933$4A8AAA6A-EE6B-4B33-ACCD-4CC5C4522D19","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6451d3247f0abc57e95c36b772cbc5d6298df016","datavalue":{"value":{"entity-type":"item","numeric-id":2986904,"id":"Q2986904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986933$222B414D-2D01-40D9-9DC9-C625C498264D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"daa85c3fca52a36a5bd491b86ad0a10dbad35089","datavalue":{"value":{"time":"+2017-05-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":"Q2986933$9B7C345B-B189-4D01-B2FF-0DFADE852D0F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986933$562C7F77-C825-46C9-A350-50573D281A4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"314e54fbb18d33f780194e79b8f7d977d400cb90","datavalue":{"value":"60J05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986933$39CE6EAB-0B53-4A67-A032-50B49BF02DCE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9c5b99106d2c5c790451bec256818886594395ce","datavalue":{"value":"6718252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986933$D5DAD2CB-E916-4636-8B94-707E1981966C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f68e13e877b882d8aaade8895cdae47881e7aeae","datavalue":{"value":"approximate bisimulations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986933$206A7D88-8158-45DE-A387-9C3A3CBA5918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5cc8d05852a11a4939ceb17acfb4fef8f8b6dfb","datavalue":{"value":"finite abstractions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986933$37CF688D-6577-4FFF-BC37-F214B2635C05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986933$193B85BA-428E-4CC1-8751-F219F8BD19DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a00ab3d30d60a9f89f1084ae8c83b2f6f735192","datavalue":{"value":"linear temporal specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986933$6A47F6E0-3C6D-404C-BB97-54AD32682209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f47e4fdc183ef8beb69defca6943946e6f2cb91","datavalue":{"value":"Markov processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986933$E484E114-A4FB-4AE3-9EF8-52E65D93783F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0dbea43848768d853cdedbb4cead425995a53dcc","datavalue":{"value":"probabilistic model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986933$86198329-F3DF-4EA6-ADE0-FA98C1A075C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6255abf574cd911ce0441a5a04032698806b52fe","datavalue":{"value":"stochastic hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986933$5FFEAE69-6513-414E-8DF9-D7FA27DE397F","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":"Q2986933$84ED74A5-CD55-4451-B57A-8C7D7C69416C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4f8d9b62134ae0174746d9e88aa9f96227ad1c02","datavalue":{"value":"https://doi.org/10.1145/2461328.2461372","type":"string"},"datatype":"url"},"type":"statement","id":"Q2986933$B5B42FB1-1A47-4D5B-803E-DA59D68ABA83","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5248f9314b584e384945aa3df442de9aa1abe95a","datavalue":{"value":"W1975255760","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986933$D53BAA6E-A0E4-48B2-B9A4-0CAEF66E41D9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986933$95C34C02-738C-42F9-80C0-40978619328E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"487448dd707475ff2ae733502dd4fc7b7a38882c","datavalue":{"value":{"entity-type":"item","numeric-id":3000664,"id":"Q3000664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986933$B673CCA1-A799-468D-9015-53386B1554A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0803f111cd4e855bc5fba7f06e46df59b58592a0","datavalue":{"value":{"entity-type":"item","numeric-id":5281971,"id":"Q5281971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986933$70926E8C-8F65-4F31-ABC4-A80EB4BAFD9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0c3a5cec6206d4035998713017a253092f6d405","datavalue":{"value":{"entity-type":"item","numeric-id":1606310,"id":"Q1606310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986933$9AEEDF68-8FA9-4D30-AC1B-DA67D49FA415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"378212bde2f853c9fc1900b4f7d4451454b04df3","datavalue":{"value":{"entity-type":"item","numeric-id":5452707,"id":"Q5452707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986933$3617BAD4-CE59-4804-960E-E764DD03DF1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94babe1e0ab5a5866969f10cff2ac8dc5e87e54c","datavalue":{"value":{"entity-type":"item","numeric-id":4506554,"id":"Q4506554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986933$10A5896D-7AC1-4AEF-A22C-62F2E08596B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b989f45b85fa44137ad22092706b6102fd241bf","datavalue":{"value":{"entity-type":"item","numeric-id":78129,"id":"Q78129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986933$0CD102C1-0019-4B45-A85C-1B893B0CE999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cfadda0faa512cfc7404e1701fcf546dc198dfb","datavalue":{"value":{"entity-type":"item","numeric-id":4472258,"id":"Q4472258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986933$BBBAC78F-0E86-4886-8CC4-FB3D07F3DE25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b1964c95e59063e92317da65c8b196839c0f5e2","datavalue":{"value":{"entity-type":"item","numeric-id":4974124,"id":"Q4974124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986933$B8B22FAF-AE1A-4B90-A35E-F73C35FCEC8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a34f4e568c2469f8063f69f8c16802976e475eb9","datavalue":{"value":{"entity-type":"item","numeric-id":3392273,"id":"Q3392273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986933$B48D9D75-EB6F-468A-AB8C-8CC1029A9539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd1a3b54a2e5ef3ea09f6af9ccb4be610b88e93d","datavalue":{"value":{"entity-type":"item","numeric-id":2985871,"id":"Q2985871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986933$7F612B50-02A9-40ED-97ED-FE771B16DA62","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fac45da23230cb0480d758eb2d4a4dfe35912247","datavalue":{"value":{"entity-type":"item","numeric-id":5898987,"id":"Q5898987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"065ee6dbfd2db426fb95df501479c9e0b59816b0","datavalue":{"value":{"amount":"+0.7780587673187256","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":"Q2986933$396C2EDC-9AA6-4BF2-A3AB-8343BD4F620E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37db6450390189796b80831ffb81db8a2690f28d","datavalue":{"value":{"entity-type":"item","numeric-id":2986716,"id":"Q2986716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0ececef23b4b3db842a0fb6eaf62754184ca8a9","datavalue":{"value":{"amount":"+0.7733922600746155","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":"Q2986933$19E7B22C-1A97-4084-A144-7CC8DA94E8A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4797b2c604387da2c9691f4be436d2f0496491f1","datavalue":{"value":{"entity-type":"item","numeric-id":629650,"id":"Q629650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98ff4b7c0ffa91b2f54a9b32fd91e61603991670","datavalue":{"value":{"amount":"+0.7587190866470337","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":"Q2986933$0AF30B84-A7F9-458D-9A60-6C2A7BF0025A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b6e6b975c6f81145c00174cbb495c82870694f6","datavalue":{"value":{"entity-type":"item","numeric-id":4649312,"id":"Q4649312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05701d9afbcc4bc8c51a5971430a1fd8fec862c4","datavalue":{"value":{"amount":"+0.7573463320732117","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":"Q2986933$74ED511C-D318-41DA-8F53-AB667E049C59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f1d9c784000e688741a50ec567172aaaa0ea95b","datavalue":{"value":{"entity-type":"item","numeric-id":2988932,"id":"Q2988932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cbf9f4afc2b6562a4c68f55605a372ee428faab","datavalue":{"value":{"amount":"+0.7564051151275635","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":"Q2986933$6272FDD7-0783-467A-A8FD-52BF8EC6D829","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2986933","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2986933"}}}}}