{"entities":{"Q5097635":{"pageid":7127211,"ns":120,"title":"Item:Q5097635","lastrevid":54387818,"modified":"2026-01-26T18:04:31Z","type":"item","id":"Q5097635","labels":{"en":{"language":"en","value":"Trace analysis using an event-driven interval temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7576127"}},"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":"Q5097635$6878A815-716B-4DF3-84B7-7560780CC7A5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7bb936a0f90045ab9ea1e65cfe4fe70ec019def9","datavalue":{"value":{"text":"Trace Analysis Using an Event-Driven Interval Temporal Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5097635$72036ADC-7D42-4383-A58A-8B56ED82A4D2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"41ed1b95b9ad6a00364d0c40aa745c84a0de4702","datavalue":{"value":"1502.68183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5097635$F7447034-77E2-4CAA-994C-60F9EB886D23","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"57cbeba364c3029baa9ae527db4f4854e7ce663d","datavalue":{"value":"10.1007/978-3-030-45260-5_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5097635$BC8D434F-C08E-4911-AC80-3552FE1A1CFA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"51be7fb864ec0e0d86e4142fdf7eb4aa73033bb2","datavalue":{"value":{"entity-type":"item","numeric-id":835781,"id":"Q835781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097635$E4F5ECE2-8711-4301-9386-33D35FFB7A34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f946b28ba9d3faf9d6cadc7be376187fc9c0b39","datavalue":{"value":{"entity-type":"item","numeric-id":5097634,"id":"Q5097634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097635$BCC1DB1F-0726-491A-80C9-23ED32922C03","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"adb24e8791ad8d605f348f62fef07af498b65f70","datavalue":{"value":{"entity-type":"item","numeric-id":2848891,"id":"Q2848891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097635$80A87C3D-63B7-43E2-99EA-E61715FE0543","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1671f4d77625f9c3fb2d471bd3f2c3e84e79d65e","datavalue":{"value":{"time":"+2022-08-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5097635$A1902AC9-5FF2-4490-AEF7-F8E17E14FF54","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5097635$7D867E30-A794-425D-855D-8B8A9FCA54AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5097635$E10C174A-5235-44AF-85FD-8F469247183B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5097635$DA0B8DB1-2B10-481B-A1A0-F7890C5F9FB7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4eedf740e23fe6e451682661f41fa94904f76247","datavalue":{"value":"7576127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5097635$A55E1489-41A0-4832-98BC-7529E1B1F358","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":"Q5097635$ADD5D5E0-FB3D-4D4B-8D4A-6A80FA999139","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7b1a8a0847b0536724857f40b0d5f7687114d00b","datavalue":{"value":"https://doi.org/10.1007/978-3-030-45260-5_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q5097635$DCEDA910-AE67-4B01-940C-BCE60D35D710","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a929fc448d76d749da7b27b654bbd5ca991c95f8","datavalue":{"value":"W3020575628","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5097635$4B6F552B-3D4B-4102-8F98-D1A60FDAC266","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8e019e14c862ddaf7bcd66cd64d6515bc5dc195","datavalue":{"value":{"entity-type":"item","numeric-id":4371517,"id":"Q4371517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097635$43BA8F91-13CA-48BA-9DC8-D5EB2DC11CF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e131304022eac74ef1a59104a6a4b74da93f93f3","datavalue":{"value":{"entity-type":"item","numeric-id":5494310,"id":"Q5494310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097635$E99075BA-44B6-4415-9B07-68672CB9269E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5edeb87ab052a57bcd10aa45952d6d907aec50fc","datavalue":{"value":{"entity-type":"item","numeric-id":1428351,"id":"Q1428351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097635$77288B04-AA35-4682-AF9A-03A01C155AE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"398be8173bf4a77167c014676315f68aa2e077dd","datavalue":{"value":{"entity-type":"item","numeric-id":1039844,"id":"Q1039844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097635$A1F1DB0B-DFA1-4F37-8CC3-58051ED2E287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12062be6bcc6b2165d16902eff3a372a4b12e161","datavalue":{"value":{"entity-type":"item","numeric-id":3883467,"id":"Q3883467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097635$176E5B90-4B3F-4311-8916-CF3D05F2887C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b57a23d6b2c5d2b40a624c2a92bf9c4da58b7ba9","datavalue":{"value":{"entity-type":"item","numeric-id":5897950,"id":"Q5897950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097635$57717BAE-91F7-4D93-904D-249037DE1BED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55695e5ab4b64253cf0ec789d97490a922433bc6","datavalue":{"value":{"entity-type":"item","numeric-id":5434526,"id":"Q5434526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097635$CB4CAC0A-D3A5-478F-86C9-BE01EE246774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70ea2cb5982585436fe867d129af259f4c54eacf","datavalue":{"value":{"entity-type":"item","numeric-id":672040,"id":"Q672040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097635$AC6AC2C6-EB97-41BB-B22D-0F2AC6389409","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78be524cbc989a39f2f5c7b38cf75389cb9a2613","datavalue":{"value":{"entity-type":"item","numeric-id":897648,"id":"Q897648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c769c0f2991dd5e2273ad5f500a814b4930f54b5","datavalue":{"value":{"amount":"+0.7566279172897339","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":"Q5097635$CBEFB0E1-9F49-47E5-BEFD-70C45AAEE4F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc57defc3fb0e6156beac21c529212c0cef44168","datavalue":{"value":{"entity-type":"item","numeric-id":2520682,"id":"Q2520682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9c23a1ecbb3d8ce6f649dc8ca214e3bea226d2f","datavalue":{"value":{"amount":"+0.7288414835929871","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":"Q5097635$8E8EE8EA-6E57-4CC0-9D5C-5FCDB9A074FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9540d01c94d6496f77cc2ed5a824f585a544af3","datavalue":{"value":{"entity-type":"item","numeric-id":5434526,"id":"Q5434526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5da06610398b0f0c52e974282760ac0678d901f5","datavalue":{"value":{"amount":"+0.7071503400802612","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":"Q5097635$3641B85D-8B0A-448E-B265-9C245F7260CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f187d00a0ef0e02de5c18f792cc785a235332a6","datavalue":{"value":{"entity-type":"item","numeric-id":2722027,"id":"Q2722027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5896ba36f5c3d555661ff8809808e6d3e9daf61","datavalue":{"value":{"amount":"+0.7049404978752136","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":"Q5097635$D9E06D65-68A3-4F77-AA8F-A40EE772D37C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c5baa1ff0d2a89f74784a86394a5feb60447cb3","datavalue":{"value":{"entity-type":"item","numeric-id":1856193,"id":"Q1856193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b48a981d9378169531df7e1f274a375f3b837f9","datavalue":{"value":{"amount":"+0.7005865573883057","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":"Q5097635$9BEFAD9F-7E06-4450-9660-20A3784C6F05","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5097635","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5097635"}}}}}