{"entities":{"Q2226720":{"pageid":2237463,"ns":120,"title":"Item:Q2226720","lastrevid":57790179,"modified":"2026-04-02T13:17:30Z","type":"item","id":"Q2226720","labels":{"en":{"language":"en","value":"Realizing \\(\\omega\\)-regular hyperproperties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7307958"}},"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":"Q2226720$C0195309-3F35-4471-B5AA-9628470D2B3C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4543bb324d819e22eff87b9e61cc64a397d7c650","datavalue":{"value":{"text":"Realizing \\(\\omega\\)-regular hyperproperties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2226720$08074FCA-3F81-4282-B1D4-AB091B7C3931","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"77d20c53b8c9ee61908fd17f38a74093bd65abdc","datavalue":{"value":"1478.68157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226720$5775292D-C777-4B2B-9DC0-E535DFB21469","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2d42b163557fdc0020112095d5c8e512f771a188","datavalue":{"value":"10.1007/978-3-030-53291-8_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226720$5818C31A-A146-4114-81D3-9234C6661787","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":"Q2226720$FEC51816-8A2B-4D7C-B90A-6A050DE8210F","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":"Q2226720$96F269FC-8645-4EC7-A2E6-C52E0D172808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ae863e361406875ddaa7394552d0da60b28b9fbe","datavalue":{"value":{"entity-type":"item","numeric-id":2147205,"id":"Q2147205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226720$FB55A766-A346-4D98-AC25-3394C7CE9B97","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":"Q2226720$F8B8BA8D-B330-41B7-A7C8-C8C44E5F6108","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"44995ee145c1f02a174e4b3916219598c7e9c4ff","datavalue":{"value":{"time":"+2021-02-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2226720$89A3CB21-AE24-4083-9222-01B91E65F514","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b0f42bbad5eeafe476fc322198b4ed4b3b231004","datavalue":{"value":"https://arxiv.org/abs/2101.07161","type":"string"},"datatype":"url"},"type":"statement","id":"Q2226720$C7BE0D48-E9E0-49B3-A207-ECDAF7EC08F6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226720$C8506787-F3B0-47CE-91E0-70633A6C284D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226720$E2CB39C0-13D1-474E-928B-5D3B1A2B9DCE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d46324cb13829aee29d027142f42d5180f464c96","datavalue":{"value":"7307958","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226720$5377C8D4-35A1-42DB-9360-E5F580A3A90D","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":"Q2226720$E7048C2A-DBD4-4A1A-8548-AE3AA0440EAA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"837b611434b786832f467d787a47d76859d65840","datavalue":{"value":"W3042541527","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226720$E3037AB7-CDF5-4F36-9C02-5F9FC7A4F6E4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dd6441ed8651f4837fa5a8c5fee11f790855ace","datavalue":{"value":{"entity-type":"item","numeric-id":2303878,"id":"Q2303878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec748fa4f7150679775893c7eae6549514da295f","datavalue":{"value":{"amount":"+0.8478487730026245","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":"Q2226720$3F7A9B44-1ED6-498E-B958-80F3C95D6414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a312678960657fbf3f68d22b3f97b9c5272e295","datavalue":{"value":{"entity-type":"item","numeric-id":6045009,"id":"Q6045009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"459ea6f715ceddb70783dd6a4548a213844b5a26","datavalue":{"value":{"amount":"+0.8157466053962708","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":"Q2226720$B77D81A7-0CFA-462B-9F13-58CC7808EB5E","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":"f8cf7c54e84800ddb3715387c4b683e076361986","datavalue":{"value":{"amount":"+0.7935089468955994","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":"Q2226720$BD279054-305F-409A-B6A2-27D629ED1AC3","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":"36c81c505533ade58dfb4d14f46f3c6b4236f1a4","datavalue":{"value":{"amount":"+0.7924658060073853","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":"Q2226720$AB345963-C9F2-46C0-AD7E-5748288251BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24ef9ad4ef0cbe7f419951252c60223a8f4b86d2","datavalue":{"value":{"entity-type":"item","numeric-id":4608665,"id":"Q4608665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d14a086359ca732f3530a8330dae667484b535e4","datavalue":{"value":{"amount":"+0.7846713066101074","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":"Q2226720$382114E1-DD0E-4875-AA9F-669338D91116","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":"Q2226720$1D3049CA-5619-47FF-84D1-46BD01765AB3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2226720","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2226720"}}}}}