{"entities":{"Q3540087":{"pageid":5569991,"ns":120,"title":"Item:Q3540087","lastrevid":81044474,"modified":"2026-05-06T17:35:21Z","type":"item","id":"Q3540087","labels":{"en":{"language":"en","value":"Impartial Anticipation in Runtime-Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5369288"}},"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":"Q3540087$8BA2BBA3-10DA-413E-BA5C-4157F7721284","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7b3cd039da607c904716acb5f5e6763948d2fbfc","datavalue":{"value":{"text":"Impartial Anticipation in Runtime-Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3540087$48DD7536-E7D8-4890-97FA-6D28956D075A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bd7017ae603c85adaa904223fb069f950d43bcc7","datavalue":{"value":"1183.68367","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540087$106663A9-681E-4706-9D86-FBB178A014BA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d60bcf537f56fca08629161ab3872f6e4af29420","datavalue":{"value":"10.1007/978-3-540-88387-6_33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540087$B381DA7C-3E08-4FE9-B5B1-EDBDF5C1E7B5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd40dcc66f818f629fdf5ea0ec1430cc08099ddf","datavalue":{"value":{"entity-type":"item","numeric-id":298500,"id":"Q298500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540087$8262AF92-7AAB-48E6-983B-3C0955186104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b3a84a7eb616e0cd93b88d763b8704865b733b46","datavalue":{"value":{"entity-type":"item","numeric-id":444482,"id":"Q444482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540087$B41905CA-28EF-4168-A3F0-2DCA724D4985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f095fd6cb5894b18dce9daf4629efd27a6d2dc4c","datavalue":{"value":{"entity-type":"item","numeric-id":888429,"id":"Q888429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540087$A7CE2010-4E8E-4048-8BED-27464E569D29","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540087$8567A6DC-9026-4CE8-9FC6-AED30B369DC1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391f01da9d69c422d0ad9b2dbbb0b627908b1ac6","datavalue":{"value":{"time":"+2008-11-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3540087$29D4935E-A4A9-4D9E-8C7B-82479520D971","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540087$15C3E38B-89BA-4245-A269-7A16CEE266EC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fe8880e1f9c7f812763385ae84376eb752f4a37c","datavalue":{"value":"5369288","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540087$5DA5B903-56FC-4F60-8F16-093E5BB8E4AB","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":"Q3540087$B110EB18-D86A-4CAC-84D1-FD03BC59C2C7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8b5b48aa2734ced1b45a19169f127feac5fd76d4","datavalue":{"value":"https://doi.org/10.1007/978-3-540-88387-6_33","type":"string"},"datatype":"url"},"type":"statement","id":"Q3540087$334B8484-41D8-43EC-92C9-188D71DBCD05","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8a05c07fa04519fb8d2eebf2be410d806376c77d","datavalue":{"value":"W1877266832","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540087$5E20DDB9-3183-48CB-8884-F16263E7D87C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"21958d14c341df368a1478a0a491594ed6071c6f","datavalue":{"value":{"entity-type":"item","numeric-id":5385991,"id":"Q5385991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540087$07F77F0C-C28F-4848-A524-1D5821989161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe06eda54f4cd3e438d9084b4f31164efa247afb","datavalue":{"value":{"entity-type":"item","numeric-id":3569195,"id":"Q3569195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540087$5E0BBA8B-E661-4D82-B5F3-6FEE4F260990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1286789682a4258cb5fc71c14511307773576c50","datavalue":{"value":{"entity-type":"item","numeric-id":2503321,"id":"Q2503321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540087$7A752249-44ED-454B-B67F-2EC4CAC12EFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a059efc4a1f49c1ef5ee155acd97eb4522ead2f3","datavalue":{"value":{"entity-type":"item","numeric-id":3906386,"id":"Q3906386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540087$A666412A-5DF0-47B9-9194-4FC742368711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"465c44674a94414cb55e7dc8cbdf974e7462af9b","datavalue":{"value":{"entity-type":"item","numeric-id":3287248,"id":"Q3287248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540087$35771107-5DFD-4CC0-B5AE-F26B65B72855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01840145b645722449aa29d23c00ba5f807150","datavalue":{"value":{"entity-type":"item","numeric-id":3525092,"id":"Q3525092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540087$722FC0E8-D13E-4756-8153-8CA8094A1E63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96e777b5ae90ff2d8399ec8e6460d70b8663f359","datavalue":{"value":{"entity-type":"item","numeric-id":5711494,"id":"Q5711494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540087$F2EFB10F-452D-48FC-BB7A-E37B18E4205A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9aec50c52bb5bcf624a20146818bb7e9a2180f9c","datavalue":{"value":{"entity-type":"item","numeric-id":888412,"id":"Q888412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"609d4f00c62d51f7da6c3cb1dedc3b64a36c557e","datavalue":{"value":{"amount":"+0.800247073173523","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":"Q3540087$4B90B958-78EA-43DE-834A-CCEB005C17BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75ff37d59c380839f74c84f5e29106b5e440ebed","datavalue":{"value":{"entity-type":"item","numeric-id":4989019,"id":"Q4989019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05b21b7b65baecde1eae886e4c5a72576348efba","datavalue":{"value":{"amount":"+0.7995573282241821","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":"Q3540087$BB8F4A5B-F4E4-4242-8149-12598CFB2E5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e1c479b5a1f3ce95480850e2fe553d2eab2013b","datavalue":{"value":{"entity-type":"item","numeric-id":4472252,"id":"Q4472252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f6923dae19cf81fde7e8f12f2844fdbede24efb","datavalue":{"value":{"amount":"+0.7901389002799988","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":"Q3540087$549F7C19-F624-4B09-BE58-383B5C26D0CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4d818be785314c94abb94bfc5c2fcbf0421656a","datavalue":{"value":{"entity-type":"item","numeric-id":2402551,"id":"Q2402551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad308a5941ddcbf18b0404f5e8c8da492949ee67","datavalue":{"value":{"amount":"+0.7780998945236206","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":"Q3540087$366DF2F4-A9EC-4DFC-BCFD-2AA7D41333D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea58e47279ad2f76800e94f958a23489946f6280","datavalue":{"value":{"entity-type":"item","numeric-id":5385991,"id":"Q5385991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdfccb97b7297d5a3ec5f66d89308e48064140e0","datavalue":{"value":{"amount":"+0.7725604772567749","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":"Q3540087$819A48CC-2D59-4960-8A52-85920095288F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Impartial Anticipation in Runtime-Verification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Impartial_Anticipation_in_Runtime-Verification"}}}}}