{"entities":{"Q6045009":{"pageid":13179165,"ns":120,"title":"Item:Q6045009","lastrevid":57836325,"modified":"2026-04-02T18:02:16Z","type":"item","id":"Q6045009","labels":{"en":{"language":"en","value":"Synthesizing reactive systems from hyperproperties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7689215"}},"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":"Q6045009$DDA91DC7-6B00-4EFE-9640-E1ABF223DAC9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6e6e780d5621d173c3c5d75bff64d3b447e924ed","datavalue":{"value":{"text":"Synthesizing reactive systems from hyperproperties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6045009$EECBE9FA-9329-4294-B3A6-DD25F5E90831","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"68d23fbcfe139e04ae145db32b16ef4f21bc0448","datavalue":{"value":"1511.68153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045009$D81E0380-29B8-4276-8AA7-31B16CD83D6A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1721d3372c7793776e47d6e6a286d4e3084e35ae","datavalue":{"value":"10.1007/978-3-319-96145-3_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045009$1CF623FF-E0B9-4BB9-85D7-8B7440E4A063","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":"Q6045009$30AA766D-095B-4C7B-9F3B-755B939965EA","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":"Q6045009$D32DEFBD-E1A2-4CDB-9B59-C69E844DE005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c22e1d36a2e131472e92ccedf9b6177fc4c96af6","datavalue":{"value":{"entity-type":"item","numeric-id":2303877,"id":"Q2303877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045009$626075DE-F549-4F27-8E6E-33FF8BD4C7CE","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":"Q6045009$526FFAAD-A989-47FF-BE1A-978BF8D34219","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":"Q6045009$EB3718E2-5CAF-4219-B442-23164310F7B7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045009$CA50CBC5-A913-4107-8C98-C9192758A1CC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9e202514302232ff7f5ec81097f072c587f02b43","datavalue":{"value":{"time":"+2023-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6045009$B2292C7D-B00C-4DC8-A883-4B22D74A294E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0f03aa8a17d82122c93756740392a6591b5aef87","datavalue":{"value":"https://arxiv.org/abs/1905.13511","type":"string"},"datatype":"url"},"type":"statement","id":"Q6045009$D0CB9507-2295-4A9E-BF09-283414DE6179","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045009$4D54EFAE-E178-4267-825D-382992A36C98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045009$AAD120EE-8147-4FB3-AE57-63F1C1B92E58","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7d1796b9f36bb47c69477a715ee74c24074722de","datavalue":{"value":"7689215","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045009$5F9DCD87-6037-404A-93F7-C40AA71A9B6C","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":"Q6045009$926789E4-08B0-4308-9EE4-FA509AC441B9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0af0a64a02caf70ac14f7070bf11a7ab917c2140","datavalue":{"value":{"entity-type":"item","numeric-id":2915700,"id":"Q2915700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9828967898a77b35d25bb1fc7261452c5914b325","datavalue":{"value":{"amount":"+0.9039281","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6045009$F7281B6C-55DF-496B-8A84-32846ED7116C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e7144dea1c3e2ca2c71dd9cc1bd75f1963a6f19","datavalue":{"value":{"entity-type":"item","numeric-id":1990512,"id":"Q1990512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69f556867dd3a61fa6ac02d78611dc3b35024899","datavalue":{"value":{"amount":"+0.8951222","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6045009$6CED0438-3224-4123-A3FB-BA0692997EE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3d10b9d83011d8e25549c6874210a583cb619ca","datavalue":{"value":{"entity-type":"item","numeric-id":3814796,"id":"Q3814796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23f0cab1b1cdafa87fac1c95d5387ac475d195cb","datavalue":{"value":{"amount":"+0.8844867","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6045009$6C4C3B0F-9700-4267-9428-0DFE1E990310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"474ae5e3ed684a08068c890bb6f361ad8fd8b847","datavalue":{"value":{"entity-type":"item","numeric-id":2763546,"id":"Q2763546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf44381fde8f8b329a8cea9be1ac422d9e4b3041","datavalue":{"value":{"amount":"+0.8763087","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6045009$5BF2F1E7-C2FF-4FE7-ADC7-13885A43FE66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff7d60a6ce8052bfa56fde89469334cce4c5fa7c","datavalue":{"value":{"entity-type":"item","numeric-id":5447371,"id":"Q5447371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29fa0c0ea7f2c5c4bba34f85849c32418b69af29","datavalue":{"value":{"amount":"+0.8724208","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6045009$4D8BE1B6-AA45-48D2-9765-2AA964FE8CCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14f0cef685c6633765d07dd220d772536a1b2446","datavalue":{"value":{"entity-type":"item","numeric-id":6109601,"id":"Q6109601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cb120d9420febb22f87ace7f29a3b2ffe9cc629","datavalue":{"value":{"amount":"+0.87085277","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6045009$18D04C62-A391-465E-A9D7-4D061944E5D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"551efb98891fed55871a9787dc147514da873af4","datavalue":{"value":{"entity-type":"item","numeric-id":4824478,"id":"Q4824478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acddd3c451f785479d344ab6f4f7eb7a9479fea4","datavalue":{"value":{"amount":"+0.86449933","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6045009$FCC5C83B-5F9F-460B-845C-9C06CA0F19DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b120b2ad162f24a7ba0efd83df69264839571371","datavalue":{"value":{"entity-type":"item","numeric-id":4421728,"id":"Q4421728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3ada2eeeedb2559fde9ef73a01d130f662a5a46","datavalue":{"value":{"amount":"+0.86282086","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6045009$32712559-48C4-49D5-943D-99CB2D339BFD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6045009","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6045009"}}}}}