{"entities":{"Q6859955":{"pageid":20656363,"ns":120,"title":"Item:Q6859955","lastrevid":84252326,"modified":"2026-05-14T05:37:58Z","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"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"20263804be9c350e8165ff66351bbae9a74f0bee","datavalue":{"value":{"entity-type":"item","numeric-id":2165208,"id":"Q2165208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859955$0D205DD3-EAD6-4CFB-9770-D130D42F92DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6a473743801174628dbde0856537a9120a9a09f","datavalue":{"value":{"entity-type":"item","numeric-id":6199101,"id":"Q6199101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859955$DD47CB68-2488-4D11-8298-A744DFDB18CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b4ce851f7845fafca8c1a45518c44204b5529de","datavalue":{"value":{"entity-type":"item","numeric-id":6090988,"id":"Q6090988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859955$7BA265EC-9C4B-42A8-8240-8A785294C24B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1af4c8628c39415db8532d7ed1923a812de2f281","datavalue":{"value":{"entity-type":"item","numeric-id":6487322,"id":"Q6487322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859955$22FB5318-A729-4421-86B5-81B650E4F6DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72c34d0fd3dc296bb7050a1892906d2d31cff1b7","datavalue":{"value":{"entity-type":"item","numeric-id":6535541,"id":"Q6535541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859955$8C61AE00-B5B2-4850-A0F8-0AE18A81DBA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea421afaf32ac79667c851bc601181d8946a2f82","datavalue":{"value":{"entity-type":"item","numeric-id":517050,"id":"Q517050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859955$6A985D49-2ADB-422A-962E-D401DB192AF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7498fd20b5bc1173c2b277cb9f3b2bb961953bb","datavalue":{"value":{"entity-type":"item","numeric-id":3584928,"id":"Q3584928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859955$18CF5B89-4944-43AD-A36E-D07519A4CE78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5125bf1361d009d8a20bd7fa08772307f1b7e71","datavalue":{"value":{"entity-type":"item","numeric-id":5889779,"id":"Q5889779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859955$378082D6-B096-40B6-AF55-B92DFF6C145F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67f94a7a688fad2f0740f2ab8a51a92d4ce36d16","datavalue":{"value":{"entity-type":"item","numeric-id":3303921,"id":"Q3303921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859955$D2417D28-DE71-4A3E-82C7-93BFBE22C676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd56f820547becaf1640ba57e415b67b2dccf11","datavalue":{"value":{"entity-type":"item","numeric-id":3766825,"id":"Q3766825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859955$E2FD5F17-A719-4482-A801-ACBC1620C7CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95b236c38f6227a0534d2d5916ac862f5ac165be","datavalue":{"value":{"entity-type":"item","numeric-id":2008281,"id":"Q2008281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859955$90674C35-F34C-48E4-A0E9-22BE0815F96E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e6fd415a454cfbaec4f1149fd4076a99f76df3f","datavalue":{"value":{"entity-type":"item","numeric-id":2304020,"id":"Q2304020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859955$34C8E5E0-3278-4160-AAE6-66D2CA1F5429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6150385c4fc790c6e4492772fa5b1548c167159c","datavalue":{"value":{"entity-type":"item","numeric-id":5111620,"id":"Q5111620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859955$AB240959-61DA-45F6-8641-08737602EFB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa66502ad229760ac80b3b3adde20980288b1ea3","datavalue":{"value":{"entity-type":"item","numeric-id":2051767,"id":"Q2051767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859955$4E48ABF6-AF9B-41DF-9330-ABEB3D9ADC28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83ea0a643f47d98fe0a2100f1979a323d1d8b8a0","datavalue":{"value":{"entity-type":"item","numeric-id":2402551,"id":"Q2402551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859955$EECA1726-A9A2-40F0-81D6-72E7E66C4959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f5f995d50784dfaec3075a5cb0a0a385f258754","datavalue":{"value":{"entity-type":"item","numeric-id":2436454,"id":"Q2436454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859955$A45A6185-7A44-43C5-9402-0EC2056D990C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"046923eec31b331c0903467af2cf6f1ede83a579","datavalue":{"value":{"entity-type":"item","numeric-id":6091406,"id":"Q6091406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859955$BABE5E2C-1A2B-4E75-A801-D8A9C6E860D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66262b74004897579dd7fe8cfd87f8c16d057474","datavalue":{"value":{"entity-type":"item","numeric-id":2828298,"id":"Q2828298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859955$451514D1-E371-4660-B1AD-379DDD04C377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859955$D7BEEB93-7E31-47E5-B447-0C43ECC9922E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d0b3d39649082ff6de9169c6e51eb8e1d8d7a0b","datavalue":{"value":{"entity-type":"item","numeric-id":5385339,"id":"Q5385339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859955$6A8F2864-3616-40A4-AEB2-1EABE4937727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6377c0c3093345a7eec35ba2c213c601605d30c8","datavalue":{"value":{"entity-type":"item","numeric-id":2235740,"id":"Q2235740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859955$4248582F-4B17-4D56-95D6-433061CBFB22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd44e81af77baad910c4a8b87e7a0a1bfcec8eaa","datavalue":{"value":{"entity-type":"item","numeric-id":912592,"id":"Q912592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859955$0DF4D7F0-08E7-41E1-8108-E86B03CCBEDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c516c05f43b68537a5c72310725dbfca17470f25","datavalue":{"value":{"entity-type":"item","numeric-id":580961,"id":"Q580961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859955$7FC16A91-6339-421B-9AD3-2FC6FF0985FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4301d50504125869b7b36ae7487bac0559bd1710","datavalue":{"value":{"entity-type":"item","numeric-id":1274446,"id":"Q1274446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859955$BDA63824-6874-4CB4-920D-A1903DED730E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6a31e0cf3ff6a73ad4ee5a92d1ed62572bdd89","datavalue":{"value":{"entity-type":"item","numeric-id":3317085,"id":"Q3317085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859955$CE0CCD3F-8C38-4D59-8103-7ACFA80132DF","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"}}}}}