{"entities":{"Q5217308":{"pageid":7246878,"ns":120,"title":"Item:Q5217308","lastrevid":100489682,"modified":"2026-06-05T22:16:09Z","type":"item","id":"Q5217308","labels":{"en":{"language":"en","value":"Runtime verification logics. A language design perspective"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7172773"}},"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":"Q5217308$0626E940-2E84-4DB0-B121-0E66090B7256","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"48daa75e9fe08576ed3005abe126b6e9d72a8d3c","datavalue":{"value":{"text":"Runtime Verification Logics A Language Design Perspective","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5217308$D1F9C031-D3D1-49D3-8A76-5AE5129D9516","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e08fbd0322d816b6990e17cf215b731ebd59cf65","datavalue":{"value":"1431.68064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5217308$4527CE58-08CF-41B3-8385-66F9EB6D9D27","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d99f3e9c21e0a040c74590da90c614bf78c26b6e","datavalue":{"value":"10.1007/978-3-319-63121-9_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5217308$698268C5-D394-436A-9CB7-9A7AC29F642D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6851b3cbcdf05c70d7cc524c17fd5e0535b0ce27","datavalue":{"value":{"entity-type":"item","numeric-id":457246,"id":"Q457246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5217308$67E00937-5A85-47D0-8FA3-93998B017ED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"395a9171f6bae9b8af4e7440aa83cc44ae6e3948","datavalue":{"value":{"entity-type":"item","numeric-id":2075783,"id":"Q2075783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5217308$D8A5CC49-839D-40B7-8AC0-E33A37951BB9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5217308$DED392ED-39EF-44FD-89E8-BACACAB34676","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ff603527318cba6b7a9cd3458e2a545d41485a6d","datavalue":{"value":{"time":"+2020-02-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5217308$2C494433-74D5-496E-8C51-CC49032D32BA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5217308$3C1A0BC2-CFED-443A-8F44-8C0A1AF09DD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5217308$AAD563D2-6CF4-402B-A83B-256EC4E55300","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f30165d799f9c908d4b42c2f1db6f60584882532","datavalue":{"value":"7172773","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5217308$A1C18E06-C986-46A6-9540-7C2A27FD743F","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":"Q5217308$3DCE3323-F8AF-4727-931D-4BFD5A4C636E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d1ae29b1339ee408983354c0d24c7afc9cb04f11","datavalue":{"value":"https://doi.org/10.1007/978-3-319-63121-9_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q5217308$2E54E79A-EFC9-4407-B01E-9A7F11D47430","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b51ed66dada852400ca6654a8d557f73e1a2ab21","datavalue":{"value":"W2738184854","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5217308$E676D9A9-A530-4E23-9B66-481953A7B0AC","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":"fbcb0164d72f82ad7ee655b558d143fc300ff9d9","datavalue":{"value":{"amount":"+0.8520172834396362","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":"Q5217308$ACA95DDF-8553-4CA8-BE12-20CC7FE1E5C0","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":"3187acff04973b4f38487ce9611ad0bdb4f77dc0","datavalue":{"value":{"amount":"+0.8469023108482361","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":"Q5217308$18B0FB5D-9873-48E6-A9A2-8D743C4BE8B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"969d51893bfb2cae69bf80a9d14066ee4c593cb4","datavalue":{"value":{"entity-type":"item","numeric-id":5920079,"id":"Q5920079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ceea2e6ce0885829310de860fb4bb69f60fb1b20","datavalue":{"value":{"amount":"+0.8263881206512451","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":"Q5217308$6EE7BF79-8ED0-4B4D-97F1-BA9BE6196AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be5f3410200d2e1912d03415299f76e1b70f3223","datavalue":{"value":{"entity-type":"item","numeric-id":5915718,"id":"Q5915718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c8998adee78c308e73706d64fa5546fb358d48d","datavalue":{"value":{"amount":"+0.8210197687149048","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":"Q5217308$F15497CD-FE9E-47B7-B728-9361605BFCAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d5ef71b248fbe4f88969fc2e73fcfa8be0edfe5","datavalue":{"value":{"entity-type":"item","numeric-id":2008293,"id":"Q2008293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7ee9b1bdae6aabce5e848e5ccb3902b6bc9210f","datavalue":{"value":{"amount":"+0.8174830675125122","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":"Q5217308$6132E242-AC9D-4871-A29F-67AE3951B8F1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Runtime verification logics. A language design perspective","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Runtime_verification_logics._A_language_design_perspective"}}}}}