{"entities":{"Q3569195":{"pageid":5599099,"ns":120,"title":"Item:Q3569195","lastrevid":51016241,"modified":"2026-01-16T05:36:44Z","type":"item","id":"Q3569195","labels":{"en":{"language":"en","value":"Comparing LTL semantics for runtime verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5723333"}},"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":"Q3569195$BF990C39-C7D8-49E8-9C48-0981C4911701","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a2393394bed854d5b0d8d0d5b0ea703668fd52c1","datavalue":{"value":{"text":"Comparing LTL Semantics for Runtime Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3569195$81047D54-B4CA-47EC-9BF8-BB4E994DA87C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ec30636ab15ddc8292f7a16717c4cd7d8445376e","datavalue":{"value":"1213.68363","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569195$04C14934-9552-498A-82E7-C53EEF4F89A6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9282e5e49374517e13c8e81e680049037a40fcd6","datavalue":{"value":{"entity-type":"item","numeric-id":216969,"id":"Q216969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3569195$3FC15AB8-9A11-4212-82AB-880EBFF9F39E","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":"Q3569195$4D1E9271-42F5-4524-86BB-35D7669D44DF","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":"Q3569195$CF1D4180-77C7-434A-975B-B90DC68194B6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1f3ce47aa4f0dc34b47bc79e3d35b38da1ee5e5f","datavalue":{"value":{"time":"+2010-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3569195$CD17BC1E-88A4-4FB3-9915-C626664A7715","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e355610d10c5fe2ff0aa33c2b7dec45c55462f86","datavalue":{"value":"https://semanticscholar.org/paper/17d419d93c0800c84edbb2b7228ba42bc22b83e2","type":"string"},"datatype":"url"},"type":"statement","id":"Q3569195$449C2937-B73C-456F-902E-811C23D37993","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569195$2E4E24FD-287E-47B3-8749-AA97AE5AA66B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1c409c6fc0525f8c3e6d451a0d1c3dc91f7c52cf","datavalue":{"value":"5723333","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569195$43B60978-DF51-4476-9B47-8EEABA6A7757","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1e02abee36db78497dbbfeaea646ef9e348c939","datavalue":{"value":"runtime verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3569195$31FCE1F5-194E-40EF-8729-288753239B9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3569195$7CA07FA4-D49A-484B-9116-D06154432AA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0cdf1c1bb0c34455c38efcaa0f48c4ee2183838","datavalue":{"value":"monitoring","type":"string"},"datatype":"string"},"type":"statement","id":"Q3569195$F9F32F24-BAA3-4CE8-88B9-0CA19998DA0B","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":"Q3569195$D933DD52-59DC-49DD-A321-6303C372C66D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"006110e1c375ac5fb802b10b11c014cae11d02f2","datavalue":{"value":"W1975880855","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569195$A4D55395-E41D-4241-B9A3-D50C3322B6B6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e321fe8d0eaec2c9c672c87982c20884fae9fd98","datavalue":{"value":"10.1093/LOGCOM/EXN075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569195$9F740F52-4B52-43F9-A877-C4FE57C8E731","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":"Q3569195$1B3E6B27-5592-471E-B220-8F71291A56BA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05ee8fff1c76d4e0123eb64394bb6ab65223b5cb","datavalue":{"value":{"entity-type":"item","numeric-id":5194962,"id":"Q5194962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b668afee56e66a63ebdf0d67fb850a2c38d75a11","datavalue":{"value":{"amount":"+0.8441271185874939","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":"Q3569195$5ED48158-7DD3-455F-BDAA-ED237DE906F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3a83f3728b705a2448c58b8607c27235a8caa8b","datavalue":{"value":{"entity-type":"item","numeric-id":472810,"id":"Q472810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06bd0e32096dbffc637e6ccbaea006ddbfc63b18","datavalue":{"value":{"amount":"+0.8242780566215515","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":"Q3569195$A0449B6E-FF71-4296-A3DA-81B40C83961D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78210ce8a37244b9fbfefcf224d3c90a9c0c008c","datavalue":{"value":{"entity-type":"item","numeric-id":4583844,"id":"Q4583844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f00d482438d1df579b3dadd151dc4ee95e807f63","datavalue":{"value":{"amount":"+0.8223608136177063","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":"Q3569195$A661701E-3BC8-4D26-9B92-FE43CB289813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df0942fcd06ea5bc2cdad02a205d306497324ca2","datavalue":{"value":{"entity-type":"item","numeric-id":2891462,"id":"Q2891462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bab96ee5196b5f50ef1852f085710727112575b","datavalue":{"value":{"amount":"+0.8197265863418579","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":"Q3569195$075533D2-F4EA-4EC6-A301-4233823D15FC","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":"dc872fb6be361ff71eb9ad42455605a366f1c5a7","datavalue":{"value":{"amount":"+0.8146283626556396","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":"Q3569195$1C97ABAA-55FF-4AD8-9D4B-34BF8F50069B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3569195","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3569195"}}}}}