{"entities":{"Q4989673":{"pageid":7019250,"ns":120,"title":"Item:Q4989673","lastrevid":54006029,"modified":"2026-01-26T01:55:11Z","type":"item","id":"Q4989673","labels":{"en":{"language":"en","value":"Approximating event system abstractions by covering their states and transitions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7351158"}},"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":"Q4989673$3C68FDF6-A5E4-4195-B935-8FC3E0CB75B3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"577afe1868321f85b6b7beb3c7789a2a2cae9865","datavalue":{"value":{"text":"Approximating Event System Abstractions by\u00a0Covering Their States and Transitions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4989673$48F71F79-5CCC-44EA-96C9-93A3EB4FEBE2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3a5ebbd50c0fc5aff34c952f2557716cfeccf506","datavalue":{"value":"1461.68114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989673$9B5FE1C2-ABBD-4F6C-9653-630EE07561D1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"67b3580ee0b0263e1a196b40f8ce2b775f18338f","datavalue":{"value":"10.1007/978-3-319-74313-4_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989673$7F2022A2-4FF1-43EC-8E90-ADCCF7910F53","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b0ea8e448665b06fdc15b872b5a3c294da68ecc2","datavalue":{"value":{"entity-type":"item","numeric-id":493527,"id":"Q493527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989673$AA2124F1-248A-4E78-8C68-8779E1BC92D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2d8e8b0056e29f22768c66b98d281aa53ae66174","datavalue":{"value":{"entity-type":"item","numeric-id":539224,"id":"Q539224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989673$EBB025C6-F561-47F6-BB30-C11638CF5F49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f860df6d0eab6adfbf50b83d296afaba170486d","datavalue":{"value":{"entity-type":"item","numeric-id":2216863,"id":"Q2216863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989673$FD25E37A-89A7-4288-B8D9-E3D30EE417B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb0452d00e02db17d83907d40dea3913224ed5f7","datavalue":{"value":{"entity-type":"item","numeric-id":442147,"id":"Q442147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989673$25086E6F-EA62-478C-B23E-B93411E8FD39","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989673$CB35978D-FB54-41FB-8C92-AAE8D8EFF36A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e6c7ff8c150409ee8b57e6f339d646c7d730856","datavalue":{"value":{"time":"+2021-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":"Q4989673$936652B2-BF7B-48AF-86AC-7A395BD6C561","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989673$8A3E4D6A-0E0D-43BF-A61A-6A764D7F741B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"93da6ac5105d8ce6a68d95f96909b96aee9c1d11","datavalue":{"value":"7351158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989673$1A259154-8330-4568-B318-96FDEACAB7F6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9fb50508d9ae1a4b5b2525656ffbf4223c07463","datavalue":{"value":"predicate abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4989673$3AC873F7-9202-4BB0-96C8-EDB5A5BEC1F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"220c90ff868b9bbe54e333a97627456654c26eb5","datavalue":{"value":"under-approximation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4989673$E84FBDB7-14EC-442C-AB1D-89959AAB59DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39456be9390c6950baa505401661e8f0dd7dc97f","datavalue":{"value":"event systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4989673$D75FA1AC-F932-4325-9FC3-B2D6B672703E","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":"Q4989673$D235E8C9-7DB9-4A34-BDD8-A46F492D6A03","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"064023c8de1342f757ca69997a4f1f80c4772d4d","datavalue":{"value":"https://doi.org/10.1007/978-3-319-74313-4_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q4989673$E2E0C2AE-D9D4-4E80-85C3-1FCAEF53D7FA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9c31bb98e36038d728bbfb9e4b48777acfc4ccab","datavalue":{"value":"W2619059191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989673$3D55C185-4D59-4973-A44B-E0D984B1D1B1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8496f5eae21bbdf10be9cefa03625d3030d8a809","datavalue":{"value":{"entity-type":"item","numeric-id":2216864,"id":"Q2216864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef58a757cdf12deeda1409db8b81a64e06629f04","datavalue":{"value":{"amount":"+0.8494728803634644","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":"Q4989673$77936D4A-76A4-4DB2-9922-0315E66B05CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3b5649a1b78562f75de67b17a2e7bcca01ed6b0","datavalue":{"value":{"entity-type":"item","numeric-id":6039391,"id":"Q6039391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"216085405d8cdfa7e7b8dbd01839aaf6e3f84f0a","datavalue":{"value":{"amount":"+0.695928156375885","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":"Q4989673$8DED5964-6322-40D1-B606-8FD69C2E6BBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af47c80bbcd09a032c02db471547b053fc7a39d6","datavalue":{"value":{"entity-type":"item","numeric-id":2248056,"id":"Q2248056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86369c96ce3638f48c09dec553f21b0db5fae3e1","datavalue":{"value":{"amount":"+0.6802080273628235","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":"Q4989673$31522017-6D97-4E0B-B310-45026A532E37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55a697a27c502630d21f145a0967697ef1342e68","datavalue":{"value":{"entity-type":"item","numeric-id":5452617,"id":"Q5452617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e2eaca7f2273d9a2e09e87c30d6ddf9b4c81bb3","datavalue":{"value":{"amount":"+0.6720299124717712","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":"Q4989673$8165172A-E132-4C5F-88B6-7FB90ECC0C98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7de3722ed636c8f8489cec00c41ba0042963140","datavalue":{"value":{"entity-type":"item","numeric-id":5310681,"id":"Q5310681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"148b0f74028f6d0fa11004eee45383dd497d53e2","datavalue":{"value":{"amount":"+0.6708081960678101","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":"Q4989673$56AC0DD9-BFE9-4DD1-B878-3A47575A27D3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4989673","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4989673"}}}}}