{"entities":{"Q6162118":{"pageid":13296999,"ns":120,"title":"Item:Q6162118","lastrevid":55457251,"modified":"2026-02-17T16:50:30Z","type":"item","id":"Q6162118","labels":{"en":{"language":"en","value":"Incrementally predictive runtime verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7696224"}},"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":"Q6162118$73B932EF-D157-4A69-AC0D-76D8C72CB6CC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"33f422b4d575e4182b8aebad4a20113f7b5a9a6f","datavalue":{"value":{"text":"Incrementally predictive runtime verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6162118$0F41F292-30E9-47E6-A401-74EB7DA9F298","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"890f0fc11f86b5604c6675146d543803690de305","datavalue":{"value":{"entity-type":"item","numeric-id":2026781,"id":"Q2026781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162118$3281F0CF-97B1-4B75-A184-9E3950C61897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7b90d9553e24a1f43d2ac6e846cb604300bf898","datavalue":{"value":{"entity-type":"item","numeric-id":198013,"id":"Q198013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162118$ED429FA8-FDC9-4DBB-8EC8-ED24EEE0D0D3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b16353a59d462651b8369dc98a71ef493226d62e","datavalue":{"value":{"time":"+2023-06-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6162118$C05D1094-8856-40E4-946A-B2516EF9FE0F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6162118$73F03DD7-B0A9-4386-B48C-F57E4056820C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6162118$DA9FA8D8-6DD4-4BAF-807C-597A9939486C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e05bfec65cb7da2c486965f5146a8c8aaa304391","datavalue":{"value":"7696224","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6162118$A993AEFC-44C4-45BA-BE49-B8F082D4E8B5","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":"Q6162118$D3C20BF8-E63D-41C2-B459-D60AA7A26C30","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"683ceba007fb309fcedec3927a759463f0fd728c","datavalue":{"value":"https://doi.org/10.1093/logcom/exad012","type":"string"},"datatype":"url"},"type":"statement","id":"Q6162118$9D322775-CAD5-4943-B58E-7D7F8506D789","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1ff754486a735168231e099d445924e0ec24a25f","datavalue":{"value":"W3215124153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6162118$0397CE41-CC80-422A-9C8F-634193973D7A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"87b09a95544795d8fd0090b88da1a7260e1a8eef","datavalue":{"value":"10.1093/LOGCOM/EXAD012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6162118$0B6A5AD1-5DDD-4DA1-9680-02351F19CE41","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162118$44284540-5B81-44F5-A45D-F5DCC38C883D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f6fa5b219cd9dbff8327c5381cd0da670c7baff","datavalue":{"value":{"entity-type":"item","numeric-id":2075784,"id":"Q2075784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42696302b516e3d531482587b063266f07834b81","datavalue":{"value":{"amount":"+0.8230080604553223","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":"Q6162118$F8577A2F-52AF-4420-9081-55910B4FD668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4600086480e137867a6a962ef56bf525fa50e459","datavalue":{"value":{"entity-type":"item","numeric-id":2248067,"id":"Q2248067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"204b5b9662bad6930971c007c804cde47cd6a4b0","datavalue":{"value":{"amount":"+0.7772641181945801","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":"Q6162118$195F1D90-0D22-49E3-BA5E-72F8F6F0C4D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"329b2c3867c2fc24814a79b54c5628f1c26b459b","datavalue":{"value":{"entity-type":"item","numeric-id":2390027,"id":"Q2390027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92a792e38128aec68234373c560436d536cec73a","datavalue":{"value":{"amount":"+0.7765051126480103","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":"Q6162118$44CEE2A9-0FCB-4CE6-93A0-29DD72433430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01e19475d9a6037b27b01cea654ae71c0065a69b","datavalue":{"value":{"entity-type":"item","numeric-id":6102167,"id":"Q6102167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6529ee0d65048cfb92d72c8919289e4cf76c42a","datavalue":{"value":{"amount":"+0.7667375802993774","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":"Q6162118$CA858941-D5C9-46F8-8D53-FE52EC3ED5F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ab94aeda0c95ed5c4c94b16752c4cc41d273ca1","datavalue":{"value":{"entity-type":"item","numeric-id":5217308,"id":"Q5217308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2e733257c030d6c880fb3d42a4ce7fc21677749","datavalue":{"value":{"amount":"+0.7637669444084167","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":"Q6162118$6490D2BE-EB43-4624-B9E6-86F0E28A6068","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6162118","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6162118"}}}}}