{"entities":{"Q2092484":{"pageid":2103227,"ns":120,"title":"Item:Q2092484","lastrevid":78341732,"modified":"2026-05-06T11:21:51Z","type":"item","id":"Q2092484","labels":{"en":{"language":"en","value":"Run-time verification for observational determinism using dynamic program slicing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7611443"}},"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":"Q2092484$DC7AE13C-4471-4557-9D52-365B508DE25A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"23955f798bd35fe26ed844ab848c65e21c15c60a","datavalue":{"value":{"text":"Run-time verification for observational determinism using dynamic program slicing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2092484$97679719-E76A-495D-8A08-A94F4AB6DD1F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"edd27ce0b46a23a2e6d74835a37f1ae6c619266b","datavalue":{"value":"1498.68066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2092484$A311A910-1ABD-4ECB-81EE-CDE8AC68CDA8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f16a8bbb6d4de632e8c194db8cced9f49e4f5c2c","datavalue":{"value":"10.1007/978-3-319-69659-1_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2092484$AF5FF9DD-964D-4174-A648-81D63429042A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b50b40c8a7541f2cefe04a2cb7ba75fc8daa398","datavalue":{"value":{"entity-type":"item","numeric-id":2092483,"id":"Q2092483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2092484$B7A5E8D7-0129-48FF-9527-6484E2621991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b449a928539201a55933f2e6d8daa7f9083f4ae4","datavalue":{"value":{"entity-type":"item","numeric-id":492913,"id":"Q492913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2092484$DB6B1BE6-53D3-45D2-8048-9350476668F3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"965dccc7e527e2e46ab67b03737c8d96f54b00aa","datavalue":{"value":{"time":"+2022-11-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2092484$0C51E168-0F1E-4512-88FE-D3631441B07D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2092484$957D7259-DDA4-4979-9E73-3E0D339A7AA0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"58cf707e60be49cce6ccb91337674a8396489f45","datavalue":{"value":"7611443","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2092484$D52C6B7D-44D6-4B9F-91D1-3FF042A7C187","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a850ee01f9fe6c0e93ae692ac21d7eb4a5f1f68c","datavalue":{"value":"concurrent programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2092484$0A0A84CB-F43B-4761-91F3-5A51A8996C04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af8ca4396985ba0fb79acfcb7b51f042e224c9dc","datavalue":{"value":"dynamic program slicing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2092484$0A4E8ADF-8884-429B-88CB-C50E57F1CB5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25ac03285b7ab66a179dd911f6489ada5f49698f","datavalue":{"value":"information flow security","type":"string"},"datatype":"string"},"type":"statement","id":"Q2092484$70A64F88-F217-481B-9417-111889B4F8CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ef86a1d6deab2a6cb1d94dafbaaa1f072b56787","datavalue":{"value":"run-time verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2092484$36290C96-A966-4E4B-A779-74F1233020B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c17f63f054d7cb3fc903c1735a750936d788b24","datavalue":{"value":"observational determinism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2092484$46896058-EE19-4635-9A6E-E66A147DF502","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":"Q2092484$2517F7B9-BC46-4847-BF00-A62FAD7AF8D1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f9a2faae1fbeffa86cf107eb04d3db08a7e34e84","datavalue":{"value":"https://doi.org/10.1007/978-3-319-69659-1_22","type":"string"},"datatype":"url"},"type":"statement","id":"Q2092484$BF6816A5-A61B-49EE-932D-92961F766BB5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ba8098d3601468497616a1e08dfad8809126d421","datavalue":{"value":"W2765559623","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2092484$257D4601-7446-4C56-91EF-18E1533E24DC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40d3d5a592fe4894bd4e1399d8e1fe4cc5f60fa2","datavalue":{"value":{"entity-type":"item","numeric-id":3401968,"id":"Q3401968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0bf1aaadfd9dc686d94532b3aad453c5b30d259","datavalue":{"value":{"amount":"+0.7269017696380615","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":"Q2092484$9200FA18-0FDC-4761-938B-27CB131EE05B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b0d22a9f60cf08b25e63a7bbb05320d3e51ea36","datavalue":{"value":{"entity-type":"item","numeric-id":4261078,"id":"Q4261078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e39a346f585efb5e51d90202a75f6041a891d04","datavalue":{"value":{"amount":"+0.7187620997428894","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":"Q2092484$A2816EF8-7F47-490C-8B7E-5A667313B533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c14fafe239c915a911472ec896f0a9c492fb7576","datavalue":{"value":{"entity-type":"item","numeric-id":843217,"id":"Q843217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c54f4a4871c6c1c6f30581422a54222eb747935d","datavalue":{"value":{"amount":"+0.715334951877594","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":"Q2092484$309994CA-4FC0-45B4-A0B2-238183552C36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8ea4acbd545534c6a59f888eca85d044b994726","datavalue":{"value":{"entity-type":"item","numeric-id":4992523,"id":"Q4992523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55f4a2cd6cbdd4901dad330dcad3bc00e3b7c226","datavalue":{"value":{"amount":"+0.7113455533981323","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":"Q2092484$D19C4CE7-612D-4EF1-8E22-1ACE3C6F847E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cfb77245ebd63d4e6110ce786bb04f3d82e2f70","datavalue":{"value":{"entity-type":"item","numeric-id":3100902,"id":"Q3100902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffa9505078f453df908476d64c05acd61d8ea172","datavalue":{"value":{"amount":"+0.6964279413223267","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":"Q2092484$12D04601-D98E-40C1-B50D-98C87ABE8873","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Run-time verification for observational determinism using dynamic program slicing","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Run-time_verification_for_observational_determinism_using_dynamic_program_slicing"}}}}}