{"entities":{"Q6487325":{"pageid":14066094,"ns":120,"title":"Item:Q6487325","lastrevid":57576192,"modified":"2026-03-31T11:27:04Z","type":"item","id":"Q6487325","labels":{"en":{"language":"en","value":"Oblivious Online Monitoring for\u00a0Safety LTL Specification via\u00a0Fully Homomorphic Encryption"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7628129"}},"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":"Q6487325$70AE2BE6-BBF3-49ED-91BE-FB767D1BFF35","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"087a4f9fdae10c078f6576137640251812a94933","datavalue":{"value":{"text":"Oblivious Online Monitoring for\u00a0Safety LTL Specification via\u00a0Fully Homomorphic Encryption","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6487325$A19C5E2F-2A9E-446B-B00B-51ACF815E0B8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f98dbaffc8d30e60a20a7df9686bcca9bf38065b","datavalue":{"value":"1514.68118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487325$B6D50BD4-4638-405D-AB20-2B9AFDD35811","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ebb53bc7a96378c15caf187cffeea91894d79fc3","datavalue":{"value":"10.1007/978-3-031-13185-1_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487325$0EEE45B1-914E-442E-863E-4261BD654DF9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e628824e9fbe27255c888493e4648d1c1123d9de","datavalue":{"value":{"entity-type":"item","numeric-id":6485581,"id":"Q6485581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487325$10D436A5-500E-4D2D-AB75-D8DC2DF8D532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7b142504052d37e58b406ba5dc5418343876bc91","datavalue":{"value":{"entity-type":"item","numeric-id":6485582,"id":"Q6485582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487325$08DF89B1-1B81-4EF2-9091-B02EC9EB92E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb25aa55fb3d1baf9ab36b30ae5b4252d5fb4710","datavalue":{"value":{"entity-type":"item","numeric-id":298991,"id":"Q298991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487325$5D526FCB-62E1-4FCA-9A69-703CF4BD4DF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0de99616aa3801f9772ca2116c3b8c5b9507a5a2","datavalue":{"value":{"entity-type":"item","numeric-id":6485583,"id":"Q6485583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487325$B544530C-D669-4644-8BE2-D4CD24CD2F8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"360eac716c8af03a5d82eb78988459646f5620f4","datavalue":{"value":{"entity-type":"item","numeric-id":1683451,"id":"Q1683451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487325$4E6E3E21-27C6-4CBE-B0EE-CE367F932E69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d0424aed08dbbf639f7162eabe730fdbbec3679","datavalue":{"value":{"entity-type":"item","numeric-id":784141,"id":"Q784141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487325$F6D3A8CB-9CCA-4D6B-9B01-AD6F6435777B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db8b1b210f5d78274958848712ad4088833e6550","datavalue":{"value":{"time":"+2022-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6487325$66076D09-289D-4773-8B6D-8DF406E4F9F3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487325$8285309F-A907-483B-B9B2-0F1BA0FD5471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487325$75655D7F-6F9A-4B98-A1D2-9637824D9342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487325$70011320-4EDA-4A6C-A713-5AD29331EE71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2d5a866d412ef8af951814448fda0a03016cd3a5","datavalue":{"value":"68W27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487325$31EF01CE-E544-4CD9-B891-EF0970111971","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"95e0a3d804d7582e8b6a115d97ce367336d1aa7a","datavalue":{"value":"7628129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487325$03AE662F-634F-4859-B670-204025F6EB54","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":"Q6487325$52B7FA95-37CD-449B-A973-9693988385E3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddf8bea815595c7a2f8823ef01e3fa5b59c45508","datavalue":{"value":{"entity-type":"item","numeric-id":4741718,"id":"Q4741718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487325$80CD6305-FA12-4CEA-96FF-915AF7057AFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bcce861f208ef33bcfcae2dcf3f3b08e9799240","datavalue":{"value":{"entity-type":"item","numeric-id":605679,"id":"Q605679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487325$7869B19C-C168-49CE-A4BE-5F6333C82097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"242822ed7e260e0afab7f6fe3f1d238b1a4dfcb6","datavalue":{"value":{"entity-type":"item","numeric-id":6487325,"id":"Q6487325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487325$B722B2AE-6A5D-4ECA-AB40-B0873299AB9D","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":"Q6487325$2ED381FF-ED74-4A9C-A716-562B1D2F9577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0a9cd0ff2e4768e54916357e6075fb6f2b99819","datavalue":{"value":{"entity-type":"item","numeric-id":2707428,"id":"Q2707428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487325$6C1A4733-DE94-4A14-B0FC-22DA9862CC61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"395b3bd32eb67fb6ae13c342de58b053bc48ba4d","datavalue":{"value":{"entity-type":"item","numeric-id":2826066,"id":"Q2826066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487325$FE33ED3B-D4FA-4EFE-82A9-820D2417349E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3182306e09d33412211cd34bab5959fab7405da","datavalue":{"value":{"entity-type":"item","numeric-id":2303454,"id":"Q2303454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487325$D4B715A1-709B-447F-8936-5793D7879AD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e01ba75f44d99ac03fed4a3a414e3d7034ad0ff9","datavalue":{"value":{"entity-type":"item","numeric-id":2760977,"id":"Q2760977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487325$B6E9CA4D-13E5-4C3F-BA6E-83BF465A16CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76aed5db64da770545126deaf83088dd30b2988b","datavalue":{"value":{"entity-type":"item","numeric-id":3562906,"id":"Q3562906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487325$94F79121-FB96-4EA0-ADC3-2B7983A45E0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a2bca27145e827cbc1661cf3e482acdc3896e66","datavalue":{"value":{"entity-type":"item","numeric-id":5172710,"id":"Q5172710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487325$EDBBCD2D-91E6-46B3-99BC-C9ACB636A1A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97be9666d9de49a6f93778b48529314fa1910cd8","datavalue":{"value":{"entity-type":"item","numeric-id":2845661,"id":"Q2845661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487325$FF141E21-919E-4F38-9069-11177534D72E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d0f0281dba392638934c7b8a8cda08bc8efa49e","datavalue":{"value":{"entity-type":"item","numeric-id":3596400,"id":"Q3596400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487325$50676622-4028-44A7-A162-61E0B3E99E54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ed620432d7ddcf233610ef2f2a050010220ed20","datavalue":{"value":{"entity-type":"item","numeric-id":5949490,"id":"Q5949490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487325$AFF1C0C1-6040-4AA6-8A31-E9A0380FB68D","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":"Q6487325$1C97C0F3-CDBD-4C8E-B9B0-DFB11FB0C665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"244eda81a44fab2f35d1d4c509db2f86f5c2c9fe","datavalue":{"value":{"entity-type":"item","numeric-id":2890023,"id":"Q2890023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487325$75F4489A-AAB0-4AC6-83FF-78EE6413923F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23a1c4d4df46ee3ce0f78d4cdff4250d2827429","datavalue":{"value":{"entity-type":"item","numeric-id":5899512,"id":"Q5899512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487325$C7D685ED-D205-4FEE-B55F-61BB7E3AC4BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"caa63a21cb719aa558222e24addb7070a185cba4","datavalue":{"value":{"entity-type":"item","numeric-id":2441724,"id":"Q2441724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487325$02B0EBBE-6917-4BF3-973F-E6652561A4E0","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":"6b09bfaefb4015cabb8cc56fb0a80226fed5f02b","datavalue":{"value":{"amount":"+0.6239726543426514","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":"Q6487325$DB13104D-23A0-41FA-BFDE-67FA84F862C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d951239951eadedb3f3b4934e4575c553024db6","datavalue":{"value":{"entity-type":"item","numeric-id":681469,"id":"Q681469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd02c2cf08e87ce0f7868b63394f2581501f21d6","datavalue":{"value":{"amount":"+0.6212996244430542","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":"Q6487325$1291561D-FF6B-4BA5-B449-08C60F7474D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd427047b2441cd7c4fcf405b2ce2cbcb63eb67d","datavalue":{"value":{"entity-type":"item","numeric-id":2008281,"id":"Q2008281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6166111f280debe31a8ff7fcc004792aee735073","datavalue":{"value":{"amount":"+0.6157026290893555","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":"Q6487325$2C8E706B-F4B8-426F-875D-67199DC5D95F","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":"Q6487325$26A85723-C567-4EA4-9060-30000B662D04","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6487325","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6487325"}}}}}