{"entities":{"Q997235":{"pageid":999083,"ns":120,"title":"Item:Q997235","lastrevid":65803644,"modified":"2026-04-12T05:28:55Z","type":"item","id":"Q997235","labels":{"en":{"language":"en","value":"Reasoning about safety properties in a JVM-like environment"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5173647"}},"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":"Q997235$D1219487-A707-4101-A4A6-41BAA03938CA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"45d646d778d78eb312907877ae52e0b894920f93","datavalue":{"value":{"text":"Reasoning about safety properties in a JVM-like environment","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q997235$DF7ABD5F-2922-4A9E-9D12-B260F055AEA6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"56a91c764e125a032cbc0f555f3390d89d8d9582","datavalue":{"value":"1122.68036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q997235$148B9C42-2D51-4313-89F6-A56EEE8DE314","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"45700d9f857cbcc7ebff69e862a92a0e85e17dd0","datavalue":{"value":{"entity-type":"item","numeric-id":997234,"id":"Q997234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997235$D7811388-E1BE-4D83-957F-9C6BE8A746C1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997235$0BE2AD71-7D66-415A-BC53-3ADEA7A19475","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a47a1c00b58c63188511ed6855b30318b707131","datavalue":{"value":{"time":"+2007-07-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q997235$3653E806-51ED-4898-ADD6-9076806A040A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q997235$54922DD7-E6F4-4A7A-9B89-D46FDF27CD46","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bc54fa05eb7155232b89037b703651cbb5a80068","datavalue":{"value":"5173647","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q997235$A34796EF-CD5C-4CD7-B61B-9176FEECEBD6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3559b70f0ad356b863ff61ae2625374e22c8ca6","datavalue":{"value":"Java virtual machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q997235$FC342709-4BCB-49BF-BB99-04859609CC33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05157a688a807c526d1af8c2e0ab27b8b79be8f2","datavalue":{"value":"type-based protection mechanism","type":"string"},"datatype":"string"},"type":"statement","id":"Q997235$5CA554EE-0020-4B3D-8D7E-9BCA4C01D433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q997235$C12501B8-47E9-4FA6-BBFA-9C92B9FDD025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d584e359576a00f85def0b98465ac7707c1c7959","datavalue":{"value":"safety","type":"string"},"datatype":"string"},"type":"statement","id":"Q997235$E7053D03-5D5C-46D5-8073-95E4807505BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f59caf1f03985f9010aa71556abedb0a34e5f0b8","datavalue":{"value":"access control","type":"string"},"datatype":"string"},"type":"statement","id":"Q997235$41C80C70-A2C3-46C4-A02E-3A5403E2BAFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d87673e7c35a399ae22e4e397a1479e2f74eae5","datavalue":{"value":"stack invariant","type":"string"},"datatype":"string"},"type":"statement","id":"Q997235$5D93530E-4E50-4224-AC9F-590B7E81D6A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5401da3341697384f3c149ebb3403370c67e36a1","datavalue":{"value":"confinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q997235$A7DCB669-BF5B-45FC-AE77-AFFF315E23C4","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":"Q997235$AFF8D5CC-4CC5-4838-ADFC-88F26E41403C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ffbff9e4d243191a6c00614113ccbdf9943876ae","datavalue":{"value":"https://doi.org/10.1016/j.scico.2007.04.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q997235$424CC66C-FB85-4563-BCB1-EDB4106DFA56","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a384aec4be326043f120472502ec999853f31f49","datavalue":{"value":"W1983109102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q997235$6F029875-EDD4-4836-9596-F1528F6CA140","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5941799d76a7d949ae079b2c891a2d659deb71b5","datavalue":{"value":"10.1016/J.SCICO.2007.04.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q997235$9EE204A0-BE3B-468E-BE73-2FC07A939FDA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f35fd8c5099ad9b2f19ed62baaf1012d3bfe484","datavalue":{"value":{"entity-type":"item","numeric-id":5261278,"id":"Q5261278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0e3134fee1978c157bab198fdf55a30fa745080","datavalue":{"value":{"amount":"+0.72908616065979","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":"Q997235$4AAB6DC9-2AF3-4659-87D8-A843FE5588C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"692eaa62c6daba5ff22022792cbfeba82e9bdf42","datavalue":{"value":{"entity-type":"item","numeric-id":1405989,"id":"Q1405989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99ff197f5ae825f830c809d08d9787b041e49c72","datavalue":{"value":{"amount":"+0.7088474035263062","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":"Q997235$49B95796-2A4C-48F8-BA7C-7DEA74B39F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"027d01452061cd96895758d35e71f90332b94a9a","datavalue":{"value":{"entity-type":"item","numeric-id":4551130,"id":"Q4551130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60584d0931abcc55f4d8da1cebebf0f39bc9967d","datavalue":{"value":{"amount":"+0.6877187490463257","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":"Q997235$8D427C68-67EC-4BFF-A601-D35DF99ED0AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dcf4fd76484a54f7bf8ee26c0be9c2ee38f9336","datavalue":{"value":{"entity-type":"item","numeric-id":1850957,"id":"Q1850957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7514416f478dd7f1523ae6d1e9c61172fc205719","datavalue":{"value":{"amount":"+0.6855376362800598","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":"Q997235$3FD37D9F-AF9A-47B5-A6D4-2297A5D2B24B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"041ad8d51f5d9ddf4e0b039da1572407c9f97ca9","datavalue":{"value":{"entity-type":"item","numeric-id":2763691,"id":"Q2763691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71e3d9dd73c40c1f654948487f3698f99589e8e1","datavalue":{"value":{"amount":"+0.6817417740821838","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":"Q997235$E829B5E1-7632-45D6-9DC4-BCCB7861A1BF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reasoning about safety properties in a JVM-like environment","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Reasoning_about_safety_properties_in_a_JVM-like_environment"}}}}}