{"entities":{"Q6859955":{"pageid":20656363,"ns":120,"title":"Item:Q6859955","lastrevid":75148093,"modified":"2026-04-18T00:30:42Z","type":"item","id":"Q6859955","labels":{"en":{"language":"en","value":"Centralized vs decentralized monitors for hyperproperties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8158302"}},"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":"Q6859955$43F8212E-F194-4FC7-86B1-5393B3B6C290","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c5ceb4a5efe88adb3729e252192fb5e82295784f","datavalue":{"value":{"text":"Centralized vs decentralized monitors for hyperproperties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6859955$8EFEE873-71F2-414A-A387-A82DC6211387","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0c81174ed473639980641a83a85f19674302eba9","datavalue":{"value":"10.4230/LIPICS.CONCUR.2024.4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6859955$3FDADDC4-67EE-49F6-BBF1-0C3BDD714C3F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b4bd39b66e05c6b5ee50169e2d4c712b3b54f91","datavalue":{"value":{"entity-type":"item","numeric-id":266855,"id":"Q266855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859955$EE8ADBFC-F9F5-4DDC-A4B9-A2F2B21EE0AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"11c8411560fc28b1b609a2591d5a543bf011c80b","datavalue":{"value":{"entity-type":"item","numeric-id":1652981,"id":"Q1652981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859955$095CF9D8-A2C0-4C60-B023-C9760C16F997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"472e0c5d2912ce9ea64cf7cff981cfa67ddda02e","datavalue":{"value":{"entity-type":"item","numeric-id":2141296,"id":"Q2141296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859955$CE333BD5-937B-457D-B3E9-D9690DD9CAA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"90c8ea56ac9b448758a81db8e1e29014617fc135","datavalue":{"value":{"entity-type":"item","numeric-id":888410,"id":"Q888410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859955$EB10703D-2F0C-467A-B989-4374557A6DA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7866d619cead43dff7c5a71f909ca42227edbc38","datavalue":{"value":{"entity-type":"item","numeric-id":660995,"id":"Q660995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859955$D69F55EC-61E7-430D-A8BA-CDCA7178D40A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8934907047e08f1c0fc56f1f125aeddb0d3310ef","datavalue":{"value":{"entity-type":"item","numeric-id":1617831,"id":"Q1617831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859955$D4D2BFEE-12DA-4601-A56B-AB509A11B6FA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f115c6be43614d2596ce7cf4daadf566de48c39","datavalue":{"value":{"time":"+2026-02-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6859955$15012B6F-C4BB-493E-A381-9CBAE7395C37","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6859955$CC45B5AD-7515-4B07-84E5-5B503BAE894F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d613e8fd5000c91095a2913225f0228ad23c3a07","datavalue":{"value":"8158302","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6859955$B45EB8A0-5184-4FB0-8772-D4CB8439FF74","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":"Q6859955$FF0A4C02-60FD-4F5A-9F1D-0EA0C7A3B2E2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1e02abee36db78497dbbfeaea646ef9e348c939","datavalue":{"value":"runtime verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6859955$1823B199-DDAC-4DCE-B201-A40CAD7A0F26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39fb4cbf0e13ca5954e4557cf7a13a82938fc948","datavalue":{"value":"hyperlogics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6859955$F6AE3003-CC7A-4F63-B4E8-534EB834FD72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"becfc4cdc374960b9a0b7943e26e580feb3f5c11","datavalue":{"value":"decentralization","type":"string"},"datatype":"string"},"type":"statement","id":"Q6859955$7E6EEF13-368C-4D39-BE53-7466A44ED03C","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":"Q6859955$3ECDFF7B-9D5A-4CED-A4F4-ED5A3F03DD15","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Centralized vs decentralized monitors for hyperproperties","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Centralized_vs_decentralized_monitors_for_hyperproperties"}}}}}