{"entities":{"Q6487322":{"pageid":14066091,"ns":120,"title":"Item:Q6487322","lastrevid":57576174,"modified":"2026-03-31T11:27:00Z","type":"item","id":"Q6487322","labels":{"en":{"language":"en","value":"Software Verification of\u00a0Hyperproperties Beyond k-Safety"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7628124"}},"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":"Q6487322$C0E7B913-3392-48A3-8462-3C41412E255A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b2cd2453cc9974879e99b51493555050b7dba941","datavalue":{"value":{"text":"Software Verification of\u00a0Hyperproperties Beyond k-Safety","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6487322$70FA9E68-C618-4A1E-B3C5-355336190BD3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b26dae8bf31b77d419df0d25bcfde954e863611f","datavalue":{"value":"1514.68122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487322$BC3FF07A-0C91-4936-9E52-17F93144C68D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0a5f8a019fd3ad5c299de618280ed4fcda1f8c12","datavalue":{"value":"10.1007/978-3-031-13185-1_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487322$B2C6F068-5146-4DA2-AC13-1880A5530DED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eee58e07e7f9770d69c36e7da6f9baba391fe757","datavalue":{"value":{"entity-type":"item","numeric-id":5875387,"id":"Q5875387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487322$DA24C745-E8D7-4AC8-B352-08BF80936BC2","rank":"normal"},{"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":"Q6487322$C4C37604-B505-45B6-B35C-B79C7FD0AB7E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db8b1b210f5d78274958848712ad4088833e6550","datavalue":{"value":{"time":"+2022-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6487322$5A04EE52-AF1C-4FC8-A57D-EA7A173C70CC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487322$2CE2B49F-0C77-4410-8C87-BC626C1562DE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4bba4c9c6b1fdffc6990cae744719d4b13e08c9c","datavalue":{"value":"7628124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487322$E0CEEA4A-CEAC-4252-9CEF-A77BFBB483BB","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":"Q6487322$284F535C-1007-4618-84D7-A2F2D3A0A466","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5d5978f4bdf14ef5fd8b71ce390dbec5034a1e6","datavalue":{"value":{"entity-type":"item","numeric-id":805251,"id":"Q805251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487322$277995CC-3A7F-4AEF-B04F-1D4972283CF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"866f925d014efb82855c7942c0ce771392c27438","datavalue":{"value":{"entity-type":"item","numeric-id":3525630,"id":"Q3525630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487322$6BF37D8E-A1F0-44AD-AC9A-65425A43BE99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e8484a4d0dd98795f30cf5ed95fd68d76cc3ac7","datavalue":{"value":{"entity-type":"item","numeric-id":832242,"id":"Q832242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487322$DF4C74D4-C969-4E0D-817D-B0F8C8BE1609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3b3a3f4b3f44b312014bf38e16d46d1bd8aea8c","datavalue":{"value":{"entity-type":"item","numeric-id":5716568,"id":"Q5716568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487322$880822D8-EA43-4D77-B3D0-A370FC012141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890db7446e2310e3c1bd99c02cf47b64ec54941b","datavalue":{"value":{"entity-type":"item","numeric-id":3455833,"id":"Q3455833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487322$49F859E1-9D45-41F5-8A25-B57C48F37003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a486f6f61fd4d307e4fee9b67b4596eca0595e4","datavalue":{"value":{"entity-type":"item","numeric-id":3103613,"id":"Q3103613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487322$3FAD17FB-5731-40E5-A5A2-8A7F9AFDAC89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f6571451eb34c2ec047797471dff827c46fd6e0","datavalue":{"value":{"entity-type":"item","numeric-id":832224,"id":"Q832224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487322$66C69423-979C-4BAD-906C-D1E1F81DF980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"902d58911cf57d61e4e30d431d92c375a51f10b6","datavalue":{"value":{"entity-type":"item","numeric-id":3452246,"id":"Q3452246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487322$48F11782-FEE8-4E1D-8DE8-344AB4C57741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0abc9bd837ab8b0bcca67e88ca9afbb772dbf1a2","datavalue":{"value":{"entity-type":"item","numeric-id":4800258,"id":"Q4800258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487322$3C69405B-92ED-44CB-83F8-9BC54EC8744F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cd41312b2e7671b43baf61c3a5d18d0b14b9edd","datavalue":{"value":{"entity-type":"item","numeric-id":6176108,"id":"Q6176108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487322$38E40361-BD6B-4DAC-A2BC-E9CC2B5CF84D","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":"Q6487322$8C97168C-1E43-432C-910E-EB752118F009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"767027371f47351446d56e4b3b6a09eabc8be672","datavalue":{"value":{"entity-type":"item","numeric-id":5408418,"id":"Q5408418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487322$45BDCC27-934E-4637-A72E-CD5BD0E2F0AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf3bb057b1d8997c1b4ffe01d9dfc62c2e96e1f6","datavalue":{"value":{"entity-type":"item","numeric-id":5255062,"id":"Q5255062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487322$EF6A1D61-24F1-45D6-AFE8-7291BEB87AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af7a415575615b2e42302790d11e106d39b1608f","datavalue":{"value":{"entity-type":"item","numeric-id":6154578,"id":"Q6154578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487322$1CCF85E8-2890-4A0F-8385-6CABC743225E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a84872841e456c541578d17e5a87958b215028f","datavalue":{"value":{"entity-type":"item","numeric-id":2151231,"id":"Q2151231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487322$39F45A0C-F906-4DC2-BB32-ADD264C15739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9848121be970f29acbdd8ee1dd3e8034af4a7204","datavalue":{"value":{"entity-type":"item","numeric-id":2323992,"id":"Q2323992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487322$AB6B5B77-EE2E-4BE5-AA28-5E3C8401A236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"681d1a060becef7034c76396e1df8cd15b1e43c9","datavalue":{"value":{"entity-type":"item","numeric-id":6194574,"id":"Q6194574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487322$BA69C1A3-2563-4600-B01A-C1B37643B85E","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":"Q6487322$8343CE2E-A54E-40F2-8B17-9E0DFE9E560E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91c21e537ab0c07b0d3849b9a7e5a291ced75540","datavalue":{"value":{"entity-type":"item","numeric-id":5178898,"id":"Q5178898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487322$6A77731A-15D5-48F8-9287-42BA666EE21A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32cf75770c4378a7060a1800d601a78571430882","datavalue":{"value":{"entity-type":"item","numeric-id":3176373,"id":"Q3176373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487322$36212741-2975-4CFB-AF63-C6FC633BBA9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05656618a7fbd87833428b51ffbb73b7b47e20fc","datavalue":{"value":{"entity-type":"item","numeric-id":4077431,"id":"Q4077431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487322$3C7BE384-CAC7-45B4-B6C3-2A7067E04C5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0100b938aa02592e3dcec5a016d883a9d79cc50a","datavalue":{"value":{"entity-type":"item","numeric-id":4205072,"id":"Q4205072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487322$C9C8EB21-2C77-4EC0-B902-0E752BEC9E00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ac557a679c59fc4a070eb3cbd75928e511a2612","datavalue":{"value":{"entity-type":"item","numeric-id":5883578,"id":"Q5883578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487322$9F7651E9-9539-4E8A-AA14-0F484B286480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cc3e320a29fb63240b3b709fe5bc497385756c5","datavalue":{"value":{"entity-type":"item","numeric-id":6194570,"id":"Q6194570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487322$ED5465E5-80EE-40FC-9535-A8A7F04A4B24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2b799aade81b4cd5b689709b2689d4aca488326","datavalue":{"value":{"entity-type":"item","numeric-id":832229,"id":"Q832229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487322$AF407B9D-FB80-4147-A9F5-8A336A38BCE6","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":"0bded395397f232d81bd967c2112ccee1b1b1ca0","datavalue":{"value":{"amount":"+0.8117929100990295","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":"Q6487322$C8B46BE6-18A8-407C-87E5-F31E35EDF6FF","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":"21d6667152df3d285582635232973fdf44708494","datavalue":{"value":{"amount":"+0.7985963225364685","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":"Q6487322$CDB687BF-44F7-4BFA-8083-76666486672F","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":"ef35d19ca01a9a7f6db25c17c6eb40945c6d7b40","datavalue":{"value":{"amount":"+0.798542320728302","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":"Q6487322$7EA3E63F-EC49-4C3E-8A1F-5CAB081D1055","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":"7618bfb7eb4532732a82e163c2771601b683a73d","datavalue":{"value":{"amount":"+0.7933955192565918","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":"Q6487322$02E5D8E6-DC19-47B6-96BA-43EC81117DBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d672bc119c6f2601b0011fccb9bb2bab36dfaab","datavalue":{"value":{"entity-type":"item","numeric-id":5883578,"id":"Q5883578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53fa254f49f02cf4b8126cc48db9395cb40d4637","datavalue":{"value":{"amount":"+0.7930127382278442","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":"Q6487322$AB844F56-2FE2-4853-95A6-85025175F5BB","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":"Q6487322$A8E256D0-18C6-406C-A190-4CDD4686A2EA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6487322","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6487322"}}}}}