{"entities":{"Q6535341":{"pageid":14146484,"ns":120,"title":"Item:Q6535341","lastrevid":57601629,"modified":"2026-03-31T14:03:58Z","type":"item","id":"Q6535341","labels":{"en":{"language":"en","value":"Efficient loop conditions for bounded model checking hyperproperties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7777299"}},"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":"Q6535341$7633B40B-9207-4A56-AA68-30942A4AA8C8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"560afb59f19cca8bc2ef428d7c0fcc832091e6ed","datavalue":{"value":{"text":"Efficient loop conditions for bounded model checking hyperproperties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535341$92CE4254-5D7F-46A8-BEB8-09C19BE83A46","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"edbc6141c0271797ff41e99bfc9bdc676ed671ca","datavalue":{"value":"1543.68217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535341$F969A680-FB23-4A91-805F-25BCE7195306","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9837006bb0dbaabb426c60a462e79667675a1b36","datavalue":{"value":"10.1007/978-3-031-30823-9_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535341$223AEB36-C5B7-47B0-B7D8-44C3A55C40FB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"71346238f470fa1a4d864da994be10d210b6d732","datavalue":{"value":{"entity-type":"item","numeric-id":2044192,"id":"Q2044192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535341$B2341174-42A6-4B21-AC0D-B345ACB30017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a8713ee3f10f93ccd03e7402b982f504280ddecb","datavalue":{"value":{"entity-type":"item","numeric-id":278751,"id":"Q278751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535341$313A4E4D-A4CF-4EFE-A6B8-642E8FCBA11A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"00f54da6e19096b7295a17c11b9a25783abc5f44","datavalue":{"value":{"entity-type":"item","numeric-id":2232275,"id":"Q2232275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535341$E69C6306-45A2-419A-9094-40C8AD788363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd180bf3869763f3f572490f3c0f985a05a6d09f","datavalue":{"value":{"entity-type":"item","numeric-id":832223,"id":"Q832223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535341$A93052B0-BF53-48A1-AA0E-4D40529AE819","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"370dd048328bd35e66746fcb16650fb884273700","datavalue":{"value":{"time":"+2023-12-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535341$04C05F22-BEFB-41DB-A55A-2F0A6A46FC11","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535341$F3D38FF8-956B-4A31-9F8A-3C915E74451A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535341$1C61DFA2-7EE9-422C-98E0-E04AFA4D54DC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"74a0a6a2a5a43c7caaf63c99c91573dc3f50e244","datavalue":{"value":"7777299","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535341$5F4A93E2-0863-4D4F-B30D-DD783406EE7F","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":"Q6535341$06B62D59-D50A-401B-A865-247FD3A6B1C1","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":"Q6535341$9ED8399F-0EFB-4E4E-A89A-2C6D5D8909C7","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":"Q6535341$9B3EF8D7-097A-4162-ABDA-A2C5304631FB","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":"Q6535341$63657331-48C6-44D0-9DB8-FEFF82A512F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67f94a7a688fad2f0740f2ab8a51a92d4ce36d16","datavalue":{"value":{"entity-type":"item","numeric-id":3303921,"id":"Q3303921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535341$893A86FD-E2AC-48DD-B44B-DCF781E9BBE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cdaa2ec8eceac1d3a0c164dd76be4ed6c68bc4d","datavalue":{"value":{"entity-type":"item","numeric-id":5946344,"id":"Q5946344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535341$97E61A08-D9D7-4A28-A115-69BA95BF4767","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":"Q6535341$510D3C5E-200D-4BA8-B630-11F5B28103E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dbb3d368752104ef954ffa0a463fc7e2860ca29","datavalue":{"value":{"entity-type":"item","numeric-id":6045009,"id":"Q6045009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535341$53B676A6-C351-471E-B6BC-3D4786DB398A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95b236c38f6227a0534d2d5916ac862f5ac165be","datavalue":{"value":{"entity-type":"item","numeric-id":2008281,"id":"Q2008281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535341$96BADCA2-345E-41DC-A4C4-C5D9E989E2DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b7307bc2d0d53679a504e4d1569b07360d86d3f","datavalue":{"value":{"entity-type":"item","numeric-id":6045002,"id":"Q6045002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535341$64C8F146-7161-4CB0-967E-C77945427A3D","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":"Q6535341$7A8517BE-4BA9-46D1-BEDF-B3F784D9644B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"593596c25a652e5b5ae6cd689195111fd84fe2fe","datavalue":{"value":{"entity-type":"item","numeric-id":2234059,"id":"Q2234059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535341$1925BAC0-4AAE-46AB-8FE6-086B6A44E37B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6be44b04451278abe476d0cfa64e44423da4a55","datavalue":{"value":{"entity-type":"item","numeric-id":5089318,"id":"Q5089318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535341$26765DFD-5A0C-417C-A4FA-428198146F5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8edbe854d3e5f5f690729c125c1627884cc1d20b","datavalue":{"value":{"entity-type":"item","numeric-id":2044193,"id":"Q2044193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535341$82B73E8B-C6DA-4F80-BB06-BE4C1B9E8B6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd36ac6979365566d2d1f66a4b1d6a274cf660dc","datavalue":{"value":{"entity-type":"item","numeric-id":4817542,"id":"Q4817542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535341$F176E20C-B80A-4ABA-AA61-601D7DB82207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cd78993361ec2a07ae709f703c3917387366066","datavalue":{"value":{"entity-type":"item","numeric-id":784104,"id":"Q784104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535341$96D49142-870D-4E48-85E6-DB7C7612B288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f11e8548165a301d01a241362bcf1efce79d1f4b","datavalue":{"value":{"entity-type":"item","numeric-id":3746875,"id":"Q3746875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535341$7EAC849E-5B29-4A37-9808-087D0C9E0DC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2c12880be5180321915eaec364e43a1e04d35d0","datavalue":{"value":{"entity-type":"item","numeric-id":2147690,"id":"Q2147690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535341$10DA2331-A361-40A7-99C1-D7E1922CBC7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fe471308125d65582632b7b24e6589f89c33d6","datavalue":{"value":{"entity-type":"item","numeric-id":1090675,"id":"Q1090675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535341$904DB4D5-92A9-4EFB-BFB1-B35B0A1A480F","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":"f4b9e1ea15e740d5a2382ea06cca94e778e2ccdd","datavalue":{"value":{"amount":"+0.9391738","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":"Q6535341$CE9B003C-5A66-4742-89F2-3D56910F560A","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":"3da5396727cb5bc254bd9dbc5527bf6e10a2213d","datavalue":{"value":{"amount":"+0.9057893","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":"Q6535341$BB268F27-9A4D-4D03-8759-8352BD0E7112","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":"30a416c3df9b6529e5b03e9d394cb7a3f2a8c830","datavalue":{"value":{"amount":"+0.8986489","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":"Q6535341$6B182528-79ED-4443-9582-445DC9DCF401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d3edab88afa51955f4c584f4d10c7fdf468a3dd","datavalue":{"value":{"entity-type":"item","numeric-id":6045002,"id":"Q6045002"},"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":"Q6535341$5F38A4B2-3C98-4D94-999F-6DE3F6860A2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d2408be396c4097e7b68232f0dddf2770574e3d","datavalue":{"value":{"entity-type":"item","numeric-id":6041175,"id":"Q6041175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82e20ec8112262145b25a87dca423d2038a3735d","datavalue":{"value":{"amount":"+0.8825494","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":"Q6535341$7454EDD1-91AD-4405-BE45-EB5E54DD8519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d28aa0b660eb9729e912b497df1902b521e1577","datavalue":{"value":{"entity-type":"item","numeric-id":5716600,"id":"Q5716600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"928e5111b70abc65bc855a9b644c6ca678995d21","datavalue":{"value":{"amount":"+0.8786876","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":"Q6535341$6210393D-5DAD-4EDB-A793-728A955DD91D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d9353b3b3b24b338fcae1b5a7af1977ccf4b16b","datavalue":{"value":{"entity-type":"item","numeric-id":2848673,"id":"Q2848673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d402213e3ca7b1c3a6fa344880129d1932a84aa3","datavalue":{"value":{"amount":"+0.877267","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":"Q6535341$D1E5108A-AE45-4534-9804-A90F70B10C79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"417f3b972ebf403c2e595613f41ecaa318eb253e","datavalue":{"value":{"entity-type":"item","numeric-id":1878909,"id":"Q1878909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7f7bcfcf439ab088b368eb89117eac30355cf56","datavalue":{"value":{"amount":"+0.8756894","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":"Q6535341$D4ED5845-BD2C-4140-AE3A-ACCB11462193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce0a6f448476e84b2b4c7d6466ed72c357cde354","datavalue":{"value":{"entity-type":"item","numeric-id":2864380,"id":"Q2864380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4edbaf692ac073fb5c9a77d67b477dcefe02758","datavalue":{"value":{"amount":"+0.8729938","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":"Q6535341$53251A90-B748-4872-8F24-FA74794E1EF6","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":"aa5c70adf047420ef1e681ba7d00fbf8de1cdd3b","datavalue":{"value":{"amount":"+0.8719357","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":"Q6535341$94FD9A14-A277-4318-8143-24CB17DF2733","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":"Q6535341$28C02F2E-F9A9-4E9F-BBD1-802680CB6396","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535341","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535341"}}}}}