{"entities":{"Q2894331":{"pageid":2905056,"ns":120,"title":"Item:Q2894331","lastrevid":51501191,"modified":"2026-01-18T13:01:12Z","type":"item","id":"Q2894331","labels":{"en":{"language":"en","value":"Towards incrementalization of holistic hyperproperties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6051148"}},"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":"Q2894331$1F5126E0-7BA8-497E-9453-5372C81391E8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"816b4fe12cdd460fc4afa83d878184f376b29f23","datavalue":{"value":{"text":"Towards Incrementalization of Holistic Hyperproperties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2894331$4703D197-033A-4333-9381-726946172D12","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"17664e5e5d5365fe40a096a3434526809074419b","datavalue":{"value":"1353.68179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894331$19D9AF01-7DFE-4965-B843-BD1114202DCA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ee794be896dd18c4e42d3b5975fa363fd876ef9","datavalue":{"value":"10.1007/978-3-642-28641-4_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894331$F2F4EA0A-A35B-4EA5-A9C5-552C192E7714","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c0316ab2e50faf2aa157e36a1658cdda5e0de6ca","datavalue":{"value":{"entity-type":"item","numeric-id":2894330,"id":"Q2894330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894331$D3B3521B-F90C-4A92-8CC6-8CACCD642A59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9cc5cabec05078a7abde982478f0085b75b93b8","datavalue":{"value":{"entity-type":"item","numeric-id":436386,"id":"Q436386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894331$CA287DB8-8215-43B5-A94E-46D2CA7D3228","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894331$400A6B2A-1F31-4646-9985-409F1313C3C5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f01ce0deea26f8c7917713e0a65a223f09cb75c0","datavalue":{"value":{"time":"+2012-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2894331$9F88B481-87AF-41C7-9775-6E8267FC782C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894331$5CCD0FC3-EBD3-443C-A1FD-33B74B4C95E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894331$1D04D13D-9DD2-45E0-BA87-D468A8450ECA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"78d79f7f3f63cb71fa02153c1a160ec7c36cf391","datavalue":{"value":"6051148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894331$B8B6CAC4-8C43-466A-BFBC-24313325149C","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":"Q2894331$0A91BEE9-48D9-45E8-90EB-03BD639EA097","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bac836d30844abbc92c99f68d1938a0550f28c12","datavalue":{"value":"https://doi.org/10.1007/978-3-642-28641-4_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q2894331$67DDE808-F3FA-4787-BC18-334E54B26314","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"adf5202493a4581d10aba34e9278541e9fef0ee3","datavalue":{"value":"W139017429","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894331$0C7BFC57-24AC-46D6-A13F-08F7887F99BB","rank":"normal"}],"P1643":[{"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":"ffc800b4f1abea4d76533aaef3a4dce2c12ba828","datavalue":{"value":{"amount":"+0.7588063478469849","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":"Q2894331$2E8D769E-A86A-4B84-8C6F-28C90D0DAF6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91f6dff70b2e36faea09cd87eab73e515ccbee8b","datavalue":{"value":{"entity-type":"item","numeric-id":5233244,"id":"Q5233244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb6cdc3fc637a9aac2fac2883001b96f8c0cc0df","datavalue":{"value":{"amount":"+0.7478139996528625","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":"Q2894331$1F5029B1-6BF1-4BC1-A74B-C09A0343F112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd427047b2441cd7c4fcf405b2ce2cbcb63eb67d","datavalue":{"value":{"entity-type":"item","numeric-id":2008281,"id":"Q2008281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e24a966c782fd40387849deda3f96022e56c5784","datavalue":{"value":{"amount":"+0.7395225763320923","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":"Q2894331$11696198-CFB7-4CDF-BD56-7F918D668975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94aef54c234756b948016b96b86871a47d7ca205","datavalue":{"value":{"entity-type":"item","numeric-id":6485906,"id":"Q6485906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e282294b297b5758ccf59b5f9b9c72128aac7c24","datavalue":{"value":{"amount":"+0.7367069721221924","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":"Q2894331$D940EDDE-3E80-4C16-A042-A1367F4AA179","rank":"normal"},{"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":"bb16ebfad7d4f5b76ad3b6d30d05fe16b6377eb4","datavalue":{"value":{"amount":"+0.733848512172699","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":"Q2894331$D2D66075-9B7F-413A-9B6F-4B99CF2AB00B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2894331","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2894331"}}}}}