{"entities":{"Q5190780":{"pageid":7220352,"ns":120,"title":"Item:Q5190780","lastrevid":91499036,"modified":"2026-06-04T23:19:37Z","type":"item","id":"Q5190780","labels":{"en":{"language":"en","value":"How hard is smart play-out? On the complexity of verification-driven execution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5587272"}},"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":"Q5190780$60D86F50-4EEC-4B76-BCE0-7270EF793D41","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9245b60f97ccaa683be031e157e2006b6ed3b76f","datavalue":{"value":"1194.68153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5190780$B05F9046-A091-47D0-8E80-ECC3BCE06595","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d86d555bd6cd1001c3d6ecad72fc1ab67c5fdce1","datavalue":{"value":{"entity-type":"item","numeric-id":209473,"id":"Q209473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5190780$12C50613-4F19-46E7-8C70-64AD7A3CB883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"47ba31a0dd52d729abd5e87310a7cf44922fd880","datavalue":{"value":{"entity-type":"item","numeric-id":2234095,"id":"Q2234095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5190780$920337E5-1463-4378-BECF-D21FE3BB189B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb097d151a143491d9ee97fc8f8ee6819309ce76","datavalue":{"value":{"entity-type":"item","numeric-id":1854486,"id":"Q1854486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5190780$8D8E20F9-3E97-4FB0-BEEB-C28834758C3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3e63c1a934192f97bbcb2f0c98cbc80c299bb38","datavalue":{"value":{"entity-type":"item","numeric-id":439959,"id":"Q439959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5190780$A19B479C-77A8-4C43-9255-FBC873D779F2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d60ea8f72fb34c12d98efcbb4ab2f5f6bfd76074","datavalue":{"value":{"time":"+2009-07-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5190780$CA24C711-F106-4A9B-83BD-09716595AE83","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5190780$0A3E6152-8C64-4DFB-9223-E823FAC2649F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5190780$88B41804-439C-4F51-A6D2-2A3B0726951E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5190780$ED855469-0B25-4282-BBAD-ED18CE522775","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"377e4124c66d3284b8c92cf27aadc9c74b024198","datavalue":{"value":"5587272","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5190780$C32177E8-53E2-4886-80ED-CC04222C0C03","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b9cd0a1dc9df95871e5ddd964d62ccd7b15d241","datavalue":{"value":"live sequence charts","type":"string"},"datatype":"string"},"type":"statement","id":"Q5190780$015BCD00-24C6-4337-85BF-31765180B782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5190780$F7AE5758-EED6-401C-AB84-E13DDCCF25DF","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":"Q5190780$B1951D55-76E6-4F0A-8D7F-A85BA50DEFAC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a410357e0e075ad80d576eaa84c412d85861d56","datavalue":{"value":{"entity-type":"item","numeric-id":5187830,"id":"Q5187830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fc74d362515d0e7f2bd01738ac9838c1aca3cf4","datavalue":{"value":{"amount":"+0.7780596017837524","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":"Q5190780$BE0FFA56-A655-4F69-8488-BA2F531F047C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dac38b57a339bd5ea3101f2c869e863e5971b4d1","datavalue":{"value":{"entity-type":"item","numeric-id":4427918,"id":"Q4427918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c1fb698b09942f0069a830daedbdba211e6dc3d","datavalue":{"value":{"amount":"+0.7709206938743591","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":"Q5190780$31689CEC-C7D9-45A7-B021-5D519E0F7E1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10a5d1182159ac11712fe3b2a33a64d46e4c5576","datavalue":{"value":{"entity-type":"item","numeric-id":4439555,"id":"Q4439555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c12f8dd2309054aa833f507743b9c0667957a3dd","datavalue":{"value":{"amount":"+0.6661128401756287","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":"Q5190780$68B814A8-2E9E-4511-90DE-9E1D08336229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"def15cce0ee6ccec83ee369b28ca7a95e28fbc3a","datavalue":{"value":{"entity-type":"item","numeric-id":5452186,"id":"Q5452186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c12f8dd2309054aa833f507743b9c0667957a3dd","datavalue":{"value":{"amount":"+0.6661128401756287","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":"Q5190780$DCBDB4B2-3C77-4C9C-A043-DF2F2D9E65AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32557c8da0abf51a7dcdf8851a014ec82e4def3b","datavalue":{"value":{"entity-type":"item","numeric-id":4438760,"id":"Q4438760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d2dc86640760123517b627541effd962449d434","datavalue":{"value":{"amount":"+0.661801278591156","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":"Q5190780$4089C1B2-0538-42FC-9AD8-18497A47D5AB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"How hard is smart play-out? On the complexity of verification-driven execution","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/How_hard_is_smart_play-out%3F_On_the_complexity_of_verification-driven_execution"}}}}}