{"entities":{"Q2008281":{"pageid":2019023,"ns":120,"title":"Item:Q2008281","lastrevid":57656919,"modified":"2026-03-31T19:44:39Z","type":"item","id":"Q2008281","labels":{"en":{"language":"en","value":"Monitoring hyperproperties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7135839"}},"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":"Q2008281$4E46F1DD-78E0-4957-9B24-B789651979FE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"19d790c9a6d21fb1168f17e68d3e9e8e707e365e","datavalue":{"value":{"text":"Monitoring hyperproperties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2008281$9D244804-7700-4267-A830-ABC80F33D9D7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"21563aca0667802e172af27a5d88d7892b6b988a","datavalue":{"value":"1425.68254","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2008281$24F82FAD-D6C8-4B52-B57B-38D2CA8214CF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dda9ef52c721036bc2c5ca8408bcb7b43075ffbb","datavalue":{"value":{"entity-type":"item","numeric-id":515653,"id":"Q515653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2008281$84A5F3FA-9D44-4B44-B60A-5F021B18D0F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ff597df2a5f4c715148e34007070147982df21d","datavalue":{"value":{"entity-type":"item","numeric-id":2008279,"id":"Q2008279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2008281$ACBA1A30-A74A-476A-AB4B-7E1117A3D823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e9b479c78185ec07fa89272a997431cb09faf15","datavalue":{"value":{"entity-type":"item","numeric-id":2008280,"id":"Q2008280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2008281$30173EFC-9990-442D-8E99-6408F1C4A4DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b101b98a6bd34faf7b0864d086dc15dbfa8592e6","datavalue":{"value":{"entity-type":"item","numeric-id":1784964,"id":"Q1784964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2008281$8B6024E7-9890-4487-A4D7-497451B09B7B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2008281$912CDAED-646A-47A0-B931-79395DE05EDF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"95c2f661958c365fd1e3ba28885390aec3baddcb","datavalue":{"value":{"time":"+2019-11-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":"Q2008281$D66DF9F0-FDB0-47B5-A4D3-C3EF7CEBC03D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ec024d94ee2daf6fc43f6d4fb9febd9f498d86a4","datavalue":{"value":"https://arxiv.org/abs/1807.00758","type":"string"},"datatype":"url"},"type":"statement","id":"Q2008281$FD568DB8-1FCC-4ACF-873C-4AA0DFF41F13","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2008281$32E4F318-62E3-4819-8AAA-FF78B6F2A2FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2008281$77DA7511-FB87-4455-8A0D-E7FD5E06F843","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"43eff08e375d40fbe27b87efb5e71974674174dc","datavalue":{"value":"7135839","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2008281$210DC335-9F04-4324-9FC2-5BF5982C2956","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e4b9d662df2643fc95ad035c9e056cc88201723","datavalue":{"value":"hyperproperties","type":"string"},"datatype":"string"},"type":"statement","id":"Q2008281$BFAC4B41-7416-4ADF-8F72-F12136CF847D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1e02abee36db78497dbbfeaea646ef9e348c939","datavalue":{"value":"runtime verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2008281$91A88F7C-45BF-405A-9D7F-1F04948135EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0cdf1c1bb0c34455c38efcaa0f48c4ee2183838","datavalue":{"value":"monitoring","type":"string"},"datatype":"string"},"type":"statement","id":"Q2008281$967844AD-9EDD-4F24-82CE-4AC282AE3CD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89296ec95c7f5b7d4a95c695d267ff430d424ad5","datavalue":{"value":"information-flow","type":"string"},"datatype":"string"},"type":"statement","id":"Q2008281$F686B309-EEB3-43E4-9D0A-DBA555F0896D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e8a146798638673bdc8fccb2f9fb36008d75c9d9","datavalue":{"value":"Q91736867","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2008281$1D44DC89-00ED-4E69-8991-23209FC0CF31","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":"Q2008281$27D3844E-81AE-4A41-8FBB-FE96A602725A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"67221c9e29284cbaa8c3d020e603fe99b44b53d4","datavalue":{"value":"W4286447266","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2008281$E3F734FD-D23F-418D-9C92-B8CA7F7EF27F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d5e7ba960ad3d2f37b1d49078179f4e830d1428","datavalue":{"value":{"entity-type":"item","numeric-id":4647831,"id":"Q4647831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2008281$BB7A8138-0EFD-4EF7-8C10-14E821620FE8","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":"Q2008281$9C4F85BA-514B-421E-9D00-F90A149DC625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e59669be79aceb9c2e48b86ca0e1ab86de7fbf8","datavalue":{"value":{"entity-type":"item","numeric-id":3617763,"id":"Q3617763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2008281$2302F031-8C01-4CFE-B459-D436ADFE8EA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6ab068bdd112bad9450ae9dbf08ab70c10fb0c9","datavalue":{"value":{"entity-type":"item","numeric-id":5716577,"id":"Q5716577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2008281$A62A37AE-4334-497D-99CB-3FAD03CCDF07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"307327b3b020f23facd8f49e050ed758261e2ac2","datavalue":{"value":{"entity-type":"item","numeric-id":2891409,"id":"Q2891409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2008281$B996B3FD-1B56-4382-A7AA-ABD243D44815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c48cd9b21419c0b0476f895370752ead060b8bfc","datavalue":{"value":{"entity-type":"item","numeric-id":4608665,"id":"Q4608665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2008281$B1858707-A36F-4711-90DA-371CCA5DE4A2","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":"Q2008281$D8649C34-D7ED-4416-8165-1053FF5D46A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8be379e4dc29012717f03e4095ea9a22614ac5f","datavalue":{"value":{"entity-type":"item","numeric-id":1702908,"id":"Q1702908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2008281$85397D7E-3CEA-4888-B64F-57E9A2D1EB9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d56be3c28f0922b42868a7e597f4189f5e96248","datavalue":{"value":{"entity-type":"item","numeric-id":1878915,"id":"Q1878915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2008281$A034DD90-AA1A-4C86-A90B-52130AC58342","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":"Q2008281$556B4B0D-CEDF-4894-BCA0-B05A5BFC5FB3","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"a09b285084e005caf110fdd0c842d0c99314805d","datavalue":{"value":"journals/fmsd/FinkbeinerHST19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2008281$97D4F932-883E-4C01-8EDB-81EEF4A982AB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3af2eb75479f1410a6b3909dcf43025683754ab3","datavalue":{"value":"10.1007/S10703-019-00334-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2008281$A5A22F64-C7D6-47A6-B430-3D01B7E316B7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c80848641ffd593195b0f83574a020cefef995e7","datavalue":{"value":{"entity-type":"item","numeric-id":2147207,"id":"Q2147207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b32cf8cd047de2fc26dbe419f9a087dcfc345b3","datavalue":{"value":{"amount":"+0.87039715051651","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":"Q2008281$153C4B07-55B1-4BC3-BBB7-95D4C06F7969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95343ebf7aa3a2a166e273ab43cb51942840a9af","datavalue":{"value":{"entity-type":"item","numeric-id":2234054,"id":"Q2234054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"169742dd2ffed6fea534912368af5617bf21a4c6","datavalue":{"value":{"amount":"+0.8480554223060608","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":"Q2008281$D303ADF5-8105-4EEB-8194-EF403AFB1374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d3edab88afa51955f4c584f4d10c7fdf468a3dd","datavalue":{"value":{"entity-type":"item","numeric-id":6045002,"id":"Q6045002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8a4d98ada6ed0d1a5cab7a5dbd57a996cdd6328","datavalue":{"value":{"amount":"+0.8416979312896729","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":"Q2008281$5F0E3B6F-8AFA-4F13-ADF9-6F3F3BB96CFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e743215197f7d370efd304a47ca4265b61f2fb7b","datavalue":{"value":{"entity-type":"item","numeric-id":4967242,"id":"Q4967242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f04934cfbc0b5d5776fd0f5b7852102d4bb0546","datavalue":{"value":{"amount":"+0.8350034356117249","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":"Q2008281$D9CF4850-7811-4BA8-BB32-29284E250303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"273036887260558587b0b74bdb27bb5400fa51c2","datavalue":{"value":{"entity-type":"item","numeric-id":1702908,"id":"Q1702908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f556a07288aebd45bbf0e9e27c82eaa76b7ee57","datavalue":{"value":{"amount":"+0.8262239098548889","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":"Q2008281$B09B37BA-1B11-4845-8BAD-3D3BC5A8290D","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":"Q2008281$CFDD52CB-8B62-4DA4-8EF5-EDE9CC8810B8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2008281","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2008281"}}}}}