{"entities":{"Q6045002":{"pageid":13179158,"ns":120,"title":"Item:Q6045002","lastrevid":58639212,"modified":"2026-04-06T03:15:47Z","type":"item","id":"Q6045002","labels":{"en":{"language":"en","value":"Model checking quantitative hyperproperties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7689207"}},"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":"Q6045002$81244A48-1E13-4EC6-9D4A-F51ECDB9ECA6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5f03b6fe234bb4cb5b482294ad6f4dbece140218","datavalue":{"value":{"text":"Model checking quantitative hyperproperties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6045002$92EE4CB6-D556-4330-8DCF-CC3ECB452044","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"93f1e0befc0395c0f6884a61be34fb97b6df51ee","datavalue":{"value":"1511.68154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045002$C7C3CAC1-A7FD-4A07-9E83-FF3C9C6598A4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ea2bc13014a00b6be2c6b8b75088d2144da1936a","datavalue":{"value":"10.1007/978-3-319-96145-3_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045002$5D4FFDC3-DEE8-414C-BB92-937BD224FB03","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":"Q6045002$E2FC655E-92BE-49BA-8FA2-BC6B244DF272","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":"Q6045002$5DDEEF49-B01D-4872-AB68-8381BD96D1D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a1e6ca78795ba5f1656360fb5231707af1dab8cb","datavalue":{"value":{"entity-type":"item","numeric-id":832290,"id":"Q832290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045002$0144B22C-7544-45FF-AF28-7720E14D5CC7","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":"Q6045002$C50C5171-D9C9-4E41-BE1B-2AC33ACC6D56","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":"Q6045002$9F04F97C-1D32-4E41-945E-3ABE93727137","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e5e45a265074dd8202fed4f40b5ca6575a3a6189","datavalue":{"value":"https://arxiv.org/abs/1905.13514","type":"string"},"datatype":"url"},"type":"statement","id":"Q6045002$22FC8706-0647-4171-80BE-79E6A625657E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045002$F350840D-750A-445F-86D3-9AF1CAC39648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045002$1AD33E88-71FB-4D6A-816F-B49FE87A6FF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045002$1D8250F7-9398-48BE-A196-CAB05A343FBD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ff10002af7c835aee25b63359bc88ad709813d8e","datavalue":{"value":"7689207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045002$0DCD29C2-B071-43A6-93C0-AB88C30C5B49","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":"Q6045002$442D33EF-12F1-4CE0-BDEC-558366DE5111","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91bdd692c228514c0d2b5f116c4dd68da6ba55ab","datavalue":{"value":{"entity-type":"item","numeric-id":2044193,"id":"Q2044193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c41a90840f9cfe9e3c8c0a7799220c6d079f4165","datavalue":{"value":{"amount":"+0.9399818","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":"Q6045002$74822F8C-3A67-4CAC-8234-11BAD8D12F02","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":"ea754ce569981c4f00ef545f8c6a79ba129554c4","datavalue":{"value":{"amount":"+0.9382061","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":"Q6045002$6A633D83-6F4A-4921-81BF-AC2F701E2259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfb0e469db8af7a009a867a359818028b3fb0366","datavalue":{"value":{"entity-type":"item","numeric-id":3402273,"id":"Q3402273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35d5289d63e15a86e2ead68a3aa1c7371ed74b06","datavalue":{"value":{"amount":"+0.9212829","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":"Q6045002$0FF69733-8D68-4B2A-8057-CDD234C960ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d66a7a39dc9ffcc4762e3c3e8588b3573010c90","datavalue":{"value":{"entity-type":"item","numeric-id":2105474,"id":"Q2105474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c8d2ad8fca055e9fd2bfa74ac6d01129feb3b73","datavalue":{"value":{"amount":"+0.90217435","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":"Q6045002$1A1CE935-8A61-4A39-98D3-CE125C60C993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26780fe39d8c1324e5ccbfda50d0234751270d16","datavalue":{"value":{"entity-type":"item","numeric-id":5756604,"id":"Q5756604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a80f148e637b20792fbc2e2cb7eca6647de44a6","datavalue":{"value":{"amount":"+0.90153295","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":"Q6045002$BE7A2AD0-BD66-456B-885F-92B4B5B8BE67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a28b6b7c085de1268c54fb3fbb63b7e91fdd6faa","datavalue":{"value":{"entity-type":"item","numeric-id":3510843,"id":"Q3510843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1d2428bc823f2c89c661c162d4430eb81ceb4f4","datavalue":{"value":{"amount":"+0.89882505","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":"Q6045002$D74E2D51-7F51-4E3D-81F6-270CF6D0302E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"601bb904986fe647403fef88f942b732e6f5e2b0","datavalue":{"value":{"entity-type":"item","numeric-id":1697514,"id":"Q1697514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db1efc8660884273d72857df565a430346a1ac81","datavalue":{"value":{"amount":"+0.8957634","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":"Q6045002$6BD14CA6-F335-49E5-8C45-DE597B8FD936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95616bbc24cf032e40e2ea18226d60ed5e491a76","datavalue":{"value":{"entity-type":"item","numeric-id":6535338,"id":"Q6535338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33ea9cd683f90c800545c7aabfb502269bb38ce2","datavalue":{"value":{"amount":"+0.8954607","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":"Q6045002$A1FE603D-0D21-49FC-96B3-111E14272EA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"381b5fbcd46a24011e59d90944023c6e905a64c2","datavalue":{"value":{"entity-type":"item","numeric-id":5713732,"id":"Q5713732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0af27b493854b7ce29e1cbe4e133d1c15109853","datavalue":{"value":{"amount":"+0.89510673","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":"Q6045002$25542EED-7431-4BF4-BE87-86E8B77F6588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6ebaff5ebe168747fee6225d8900c6708a7a904","datavalue":{"value":{"entity-type":"item","numeric-id":6535341,"id":"Q6535341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10346cc6f58e82816a9f394c5e07763e66aadc1f","datavalue":{"value":{"amount":"+0.88921547","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":"Q6045002$FA2A4E74-D232-46A1-B9AF-1BF9824897A8","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":"Q6045002$41F981F7-E964-4F76-A795-8800052FEA30","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6045002","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6045002"}}}}}