{"entities":{"Q6535627":{"pageid":14146770,"ns":120,"title":"Item:Q6535627","lastrevid":57343707,"modified":"2026-03-30T14:04:36Z","type":"item","id":"Q6535627","labels":{"en":{"language":"en","value":"Online causation monitoring of signal temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7798057"}},"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":"Q6535627$56C0C85B-D9D3-45CF-880F-0A5D36A7198F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c5682a7be483ceadefc724a01ca1a221f05db1f8","datavalue":{"value":{"text":"Online causation monitoring of signal temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535627$B0A32E3F-3BD1-4971-9A99-741C90F150FF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"af1a60e76c53f7ff56d76bff92cdcc29f260d162","datavalue":{"value":"1547.68463","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535627$3C076837-5F6A-4975-B605-BA5F00EBAB00","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a7253bb43fc314a3f1a8327189c7183a4300aee1","datavalue":{"value":"10.1007/978-3-031-37706-8_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535627$B03F19E2-AA4B-4C04-867D-7F7DF210F41D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a03fe31d8180dfc09d0a3209f180006f99a60bc8","datavalue":{"value":{"entity-type":"item","numeric-id":832204,"id":"Q832204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535627$73CB517B-832F-4401-BFB5-8385E0CCD951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3673c59e41223cb7aff89e32650147e80a2d416a","datavalue":{"value":{"entity-type":"item","numeric-id":2050094,"id":"Q2050094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535627$33EBE500-2A7A-4991-B58A-023D08DEF391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf4e130ce79c52e19d6176c3a5846e9d5bd43734","datavalue":{"value":{"entity-type":"item","numeric-id":315280,"id":"Q315280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535627$0F3FB34B-E294-4AD7-8BF8-41065DA581D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"51cd88fb1b2aefd4c08f2ad3c00c3b181b0a54cc","datavalue":{"value":{"entity-type":"item","numeric-id":265808,"id":"Q265808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535627$C8E01710-A06C-4081-B6A2-A7125120901A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ee76859de6cb7315119a0b9d8fb63ade5f4cb1a2","datavalue":{"value":{"time":"+2024-02-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535627$D16F28A8-EC7F-4C34-8C55-1D730BA83F03","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535627$BC96C9B4-B486-40BE-892A-E764626DABB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535627$664853CF-4E0E-4B3C-A365-5C1B321B4E24","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2d6f68391d998ac06756391cbff7c2659c59749b","datavalue":{"value":"7798057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535627$9EC63BB8-1175-4720-AA23-CF11B929B5FB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9f783bd2e479849f032b497f2dafed105fe57da","datavalue":{"value":"online monitoring","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535627$F494BF53-CC91-4665-9C4F-2518CC84FA6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac4eb58354b3c549322771087f8738a33713616b","datavalue":{"value":"signal temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535627$BCE6FFB1-6379-42AA-8756-5EF54C559066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afe493c1ace3fa52144c0315aaea9019dde435a3","datavalue":{"value":"monotonicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535627$137C984B-81A2-4302-A536-613A7B31A871","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":"Q6535627$C69F74B2-57E8-419F-AA4D-EC996CB2EA56","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e0edae619a04e17e20552767154eebf071002c5","datavalue":{"value":{"entity-type":"item","numeric-id":3000653,"id":"Q3000653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535627$1A38DAD0-7BA2-4686-B458-CAE6CF8399C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e0c929714ce8b2d673ceea3e51da7892c91e7e7","datavalue":{"value":{"entity-type":"item","numeric-id":4561453,"id":"Q4561453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535627$DB9FEB43-ABB4-452C-9A66-94FAE8ECFC8D","rank":"normal"},{"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":"Q6535627$5D4BE1A4-CB17-4D7B-AA8C-BE34811343D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93e41591e2aa20f46c06f1b6046faec0a95fa730","datavalue":{"value":{"entity-type":"item","numeric-id":2402548,"id":"Q2402548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535627$00B4C502-CA85-45AF-8C19-9FB592053FD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f7dd1fd20704a5d11302e1d4bcf8fe3429246b7","datavalue":{"value":{"entity-type":"item","numeric-id":3588086,"id":"Q3588086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535627$8A35C988-0203-47FE-B184-D968EDD97FA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"207f1de1845b07de215059ac6a3493b148a1bf87","datavalue":{"value":{"entity-type":"item","numeric-id":732015,"id":"Q732015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535627$B81AA866-7961-42B8-8968-80304C2C3C60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f551c3f6556312c22ec3abb5a687eb52f6f69221","datavalue":{"value":{"entity-type":"item","numeric-id":3460567,"id":"Q3460567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535627$ECC4D16D-42CE-4E6C-8F52-EF98A4A042B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"085940acdbf1762ffc2c139ffa77393af87eef04","datavalue":{"value":{"entity-type":"item","numeric-id":1667648,"id":"Q1667648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535627$C940DB84-63AF-43B7-B8AD-8E1158AAC4AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8a8d3cbf8b30575281bc4e243acae569110ac19","datavalue":{"value":{"entity-type":"item","numeric-id":2986973,"id":"Q2986973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535627$784CFECB-CBB8-4ECB-B297-DEFDB645F94D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fba557860f1c8d4e1a333ea395d8ad34a998cdea","datavalue":{"value":{"entity-type":"item","numeric-id":2390027,"id":"Q2390027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535627$A934D9AE-88DD-4851-82B3-681D75502A71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f22d3df01326f2e4294447d2bf0677fe3580886","datavalue":{"value":{"entity-type":"item","numeric-id":5464744,"id":"Q5464744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535627$7F8970FC-64BD-420B-8268-7FF97CB052B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28aa06ba8c86cc86704d044cf109916e258b923c","datavalue":{"value":{"entity-type":"item","numeric-id":1996026,"id":"Q1996026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535627$3BA496EB-913B-48DF-89F2-A5988E649673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e751eca347b068f0ffa489eab4d759f60f5ac57","datavalue":{"value":{"entity-type":"item","numeric-id":2008293,"id":"Q2008293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535627$E457A7D1-63CB-46E2-A078-C60EDD440E2B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20d736724e23994b00d486c282b4d29ace85a886","datavalue":{"value":{"entity-type":"item","numeric-id":2402548,"id":"Q2402548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bf1dd6c63e4a9aea64968041f2090d5988ac64b","datavalue":{"value":{"amount":"+0.841996431350708","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":"Q6535627$C9350F3C-B2FC-4EF9-A1F2-EAED2FEBCD92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"866347b80fb0fe5d3382176285b265e5036e8a24","datavalue":{"value":{"entity-type":"item","numeric-id":6152567,"id":"Q6152567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdcb252955527e34926e54fe4c46d39eb98283a3","datavalue":{"value":{"amount":"+0.8142898082733154","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":"Q6535627$578F4FD2-93A1-4F6A-A7FE-D1F7FEFE6B91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f325d08f0efe5b4aa3c48bc6a7d8db0c61832141","datavalue":{"value":{"entity-type":"item","numeric-id":6091405,"id":"Q6091405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"685f250eabf54946a404c5d619897f8d07c95419","datavalue":{"value":{"amount":"+0.8024330735206604","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":"Q6535627$4C8288D5-FA1D-481E-9D9A-B2C9BB07CB00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da514cef9ccbe6bf41412a800d76ac6fcb88d596","datavalue":{"value":{"entity-type":"item","numeric-id":4561452,"id":"Q4561452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec4cce923b737b54e98d36fb3399d8944c7cdac9","datavalue":{"value":{"amount":"+0.7857373356819153","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":"Q6535627$ED6D9311-618D-4023-9127-5A143C661347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"173e21510194dad0aa5c5e48274dfbb8878b088d","datavalue":{"value":{"entity-type":"item","numeric-id":5464744,"id":"Q5464744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a2ce8d4b27050014ab939b9dacb4870070c85db","datavalue":{"value":{"amount":"+0.7444968223571777","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":"Q6535627$8CCBF735-CDD6-4B6E-AF44-74E6D3A13E52","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535627$DFD0E0F5-9FA1-4BCC-9DBF-97AAC8D45E04","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535627","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535627"}}}}}