{"entities":{"Q6564177":{"pageid":14175332,"ns":120,"title":"Item:Q6564177","lastrevid":42349625,"modified":"2025-06-12T09:10:55Z","type":"item","id":"Q6564177","labels":{"en":{"language":"en","value":"Bounded-memory runtime enforcement with probabilistic and performance analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7873309"}},"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":"Q6564177$C58CA068-D7A9-46BD-A227-18D68526596A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e5cd9ee04c3a769f1171c23c49e94ba4d6abc9f3","datavalue":{"value":{"text":"Bounded-memory runtime enforcement with probabilistic and performance analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6564177$F070117B-3499-4E2A-B2BF-CB0B238D938F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e44eb2c03c898c56e9a158a444b7b17246e33f73","datavalue":{"value":{"entity-type":"item","numeric-id":6564176,"id":"Q6564176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564177$69FE85FF-5FD8-4CE0-AAA8-5DC9D032348E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4468b0534ec4e6bfc22c743561b23fe97804268e","datavalue":{"value":{"entity-type":"item","numeric-id":2227936,"id":"Q2227936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564177$6029B0DC-F9F4-45A9-AFD4-48E871ADF183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbc000277e0f32189cf2889876ff072ae038dbaf","datavalue":{"value":{"entity-type":"item","numeric-id":487254,"id":"Q487254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564177$7E2387AB-2442-40CA-94BC-D45AD93C29DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1e7cce8b9d4b2997a2ea637a127a6d69106a1ec6","datavalue":{"value":{"entity-type":"item","numeric-id":487256,"id":"Q487256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564177$8C43D148-6095-46B6-A2F4-9B9B86A1BFEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f4cf02364d18c377494c71861a06a2dcc46a912","datavalue":{"value":{"entity-type":"item","numeric-id":346788,"id":"Q346788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564177$778295A4-B7D7-4800-BB91-E26110FF83DA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564177$AA3CD308-D5D4-4272-8BDE-197E27D879E1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6b549ddd49c3820ae166e3a7aee3710d4e99c09b","datavalue":{"value":{"time":"+2024-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6564177$07F913F3-60B5-4D76-A539-26393D3A22E9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6564177$CCD3F9A2-EF44-480C-A399-471C0BBA1175","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cc4e81428ca0c4f5a6333d0ebdfeb6e0a8100c66","datavalue":{"value":"7873309","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6564177$7B62D932-45BD-4C13-AA9C-7D9226B2A5CD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"944143ff1ca66f1bf9ff2af7143ad4e869673670","datavalue":{"value":"runtime enforcement","type":"string"},"datatype":"string"},"type":"statement","id":"Q6564177$57E273FD-CC7E-472E-AA5A-91BCEECF6ACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79090a191cad09307b52a403de0d0262144b0fe5","datavalue":{"value":"bounded-memory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6564177$3D6B1F57-8767-4FF1-B871-B55C6E585E0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eaa75f72bc8963b37337bd823994be336c45eec","datavalue":{"value":"regular property","type":"string"},"datatype":"string"},"type":"statement","id":"Q6564177$FF58B542-33BA-4AEF-8492-2D667D4A043B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6564177$8BF5F7F7-A530-4D82-BE46-3113DC6FF201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4752b484d49c9a2b93e0a9e10ae2fe7e85c97cb7","datavalue":{"value":"probabilistic analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6564177$6422C8FD-07E9-460E-9D85-069044576020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54386443767439a4565bd3fedc3d37d2c4a4f85d","datavalue":{"value":"Markov chains","type":"string"},"datatype":"string"},"type":"statement","id":"Q6564177$5B34F664-5DFC-442E-876A-A4E28366E316","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":"Q6564177$BD451781-4E6C-46F9-A80F-441E78E5FDFE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"94c2a3b7071817be950c9a131f415e6110474d48","datavalue":{"value":{"entity-type":"item","numeric-id":5194961,"id":"Q5194961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564177$0AE5E768-D453-4CEF-930C-0A87CB0486A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbd205f0d84b944fdadaad881e8d0708fc4fc227","datavalue":{"value":{"entity-type":"item","numeric-id":5614307,"id":"Q5614307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564177$834A6855-3F19-47ED-9DEA-6B8A1D270A91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1f16ba48be98b508d390b28ecf08eaa920e0c3f","datavalue":{"value":{"entity-type":"item","numeric-id":548696,"id":"Q548696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564177$4B9E657E-6108-4D15-9982-6741D5119655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b45fead44e15b3ba7a1a7537ba79dc4cfa9cfc8","datavalue":{"value":{"entity-type":"item","numeric-id":4337696,"id":"Q4337696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564177$4D53C726-BAD3-4288-8015-8581237847C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fefa14342c323579a253520287f18b500d5cafd","datavalue":{"value":{"entity-type":"item","numeric-id":487258,"id":"Q487258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564177$6A9612FB-9D1D-4BD4-8113-970DD079EAB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"997ab0c9f5837016f731cbea3be0e5a33c2667ea","datavalue":{"value":{"entity-type":"item","numeric-id":2402553,"id":"Q2402553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564177$0A2B6553-CC5F-4AFC-A984-4C9F9DDBD9A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"937d1231b492e535aae9e2f5c77438d85381d980","datavalue":{"value":{"entity-type":"item","numeric-id":2787448,"id":"Q2787448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564177$542EC665-F9DB-493F-91C4-8B6FB422C703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d52164a10e5474a3051d1717a8a7aab4cadccb1","datavalue":{"value":{"entity-type":"item","numeric-id":2198137,"id":"Q2198137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564177$627D9632-7D96-4E3C-8D47-5CBA792F1529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee90c337c84d897fa159698b253d1be61da83471","datavalue":{"value":{"entity-type":"item","numeric-id":4621164,"id":"Q4621164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564177$A60572C1-E0FD-4D12-A0A0-9E92D1B97568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3192368c7628542b9be5938ed44129165897a78","datavalue":{"value":{"entity-type":"item","numeric-id":2482440,"id":"Q2482440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564177$758E47BE-2980-4AAA-9D6E-B59A84020E2D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0e4b89b45550bac27f56eae4ef8a62cb1788bc64","datavalue":{"value":"10.1007/S10703-024-00446-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6564177$BA062551-0610-4473-A1C3-721C9406DBA7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6564177","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6564177"}}}}}