{"entities":{"Q6535338":{"pageid":14146481,"ns":120,"title":"Item:Q6535338","lastrevid":57344277,"modified":"2026-03-30T14:07:45Z","type":"item","id":"Q6535338","labels":{"en":{"language":"en","value":"Bounded model checking for asynchronous hyperproperties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7777297"}},"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":"Q6535338$9AEDF622-9C3B-4751-B421-2452E1697D1B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"90d8ea204d9ba5a662d6b3c9aed9f668edb62bde","datavalue":{"value":{"text":"Bounded model checking for asynchronous hyperproperties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535338$ED657970-5912-44FA-A910-FFF36165BDF7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f419d755fb25a448b796dd99c2ae8e4e2bcde292","datavalue":{"value":"1543.68216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535338$2072A2FE-49E1-4202-8FD2-9F9D4AAEE611","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"55969adb7ae7feccf1af70d7eff54bfbe46c1a33","datavalue":{"value":"10.1007/978-3-031-30823-9_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535338$7FA88C19-D936-487F-B70A-DD7FE11B7E2C","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":"Q6535338$C109F9BA-0F8D-45F9-8802-C6A1DB1E166D","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":"Q6535338$A17A10AF-FEC3-4415-9F04-BEC5DFD81BA4","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":"Q6535338$0CBEA587-C395-4A11-A409-A78855B69DE8","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":"Q6535338$C923C6BD-273D-483B-8BBA-81E5BEC17CB5","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":"Q6535338$175D979F-A2C3-4DF9-84FE-126275A126ED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535338$227E6805-FEE6-4183-B43F-F9B22C06B42C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a094a1b2d2fd922a3b71ce00e0ec8fd2420315a0","datavalue":{"value":"7777297","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535338$EC1B5F87-5460-4F01-B8B2-0A8B59C7B12F","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":"Q6535338$BD13E093-3990-4FBC-8098-0F20DEA11A22","rank":"normal"}],"P223":[{"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":"Q6535338$618F5442-B350-481E-BFCB-ADD89A185008","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":"Q6535338$BDCF063B-169E-4925-A4FD-7B9B8AC4EC3F","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":"Q6535338$7AD322EA-5A62-49FA-A316-CB110449AE80","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":"Q6535338$D1FA63F0-BC53-4AB7-9E39-D2C657CCE3A3","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":"Q6535338$298C9E46-033B-4381-B81A-61C402CEC1BD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af82bde9559b30a3de873fffe47dc2d4f0df70a5","datavalue":{"value":{"entity-type":"item","numeric-id":832224,"id":"Q832224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"270c43c09560eafe460846e31aebb065edc5343f","datavalue":{"value":{"amount":"+0.8307177424430847","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":"Q6535338$1045169C-80A9-4E50-9AD1-AEDADC31AD1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a541187b1c7a49873d959cdd00515c96e3f616a9","datavalue":{"value":{"entity-type":"item","numeric-id":6651942,"id":"Q6651942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51fcef607c9d1477817c946005dcdf3bc229a61f","datavalue":{"value":{"amount":"+0.8257496356964111","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":"Q6535338$00E627CE-6604-4F8E-90DB-5B98F5B74FC7","rank":"normal"},{"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":"b061ccf17bbd5908852812f8e35519c4f91930e1","datavalue":{"value":{"amount":"+0.7916742563247681","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":"Q6535338$E96F1C58-FA68-47D3-9771-7B682875647C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d36dce0343775de8b1b4e3c772d9cc4b627fb15e","datavalue":{"value":{"entity-type":"item","numeric-id":6485910,"id":"Q6485910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af117c261dbbe59db665541c01d9703450884152","datavalue":{"value":{"amount":"+0.7814047336578369","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":"Q6535338$E420F56D-976A-4E65-B2AE-AF300C184872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cf97aa032697978b1d4047d2358e58848a20cea","datavalue":{"value":{"entity-type":"item","numeric-id":6487563,"id":"Q6487563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43f95f4907504d45b3f1a4eb7c3899ac8f9851a8","datavalue":{"value":{"amount":"+0.7787459492683411","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":"Q6535338$0C159F36-7598-43B5-A196-51798F1F2F61","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":"Q6535338$73A1B21C-A250-4041-80A1-5E1B36F9B687","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535338","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535338"}}}}}