{"entities":{"Q2842588":{"pageid":2853308,"ns":120,"title":"Item:Q2842588","lastrevid":42256710,"modified":"2025-06-03T17:19:56Z","type":"item","id":"Q2842588","labels":{"en":{"language":"en","value":"Predicate abstraction for dense real-time systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6198629"}},"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":"Q2842588$AD92E7B9-E37B-49CB-9DA3-EAAF5A0B0180","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fca28c5e0c969522ef5ed3884b1df072431d1350","datavalue":{"value":"1270.68174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842588$96374ECB-145B-4B85-A8A4-8AD53E926B7B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a53a6282da292ee6b47902adaa32b4908f4e9b65","datavalue":{"value":"10.1016/S1571-0661(04)80478-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842588$9FBC359D-06A5-4C38-AB5C-D407C8D64407","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ae3752c2bfe40c5c25a6850c4539416ac0e9b3fd","datavalue":{"value":{"entity-type":"item","numeric-id":2842585,"id":"Q2842585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842588$6C41C524-0FFF-474E-AFE8-4EA7FD1F9C17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"69e260a263a8c533b05d7f8d3aa8c89b45a7453f","datavalue":{"value":{"entity-type":"item","numeric-id":2055858,"id":"Q2055858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842588$8B38B7BB-6825-4466-803E-1389DBC196AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"00f475b4fdf76b005bc72fe14b40c387d4b0206c","datavalue":{"value":{"entity-type":"item","numeric-id":2842587,"id":"Q2842587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842588$74DC0940-26EE-4A32-9577-DBABFA6EEB27","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842588$5161731D-93AF-4062-9FE2-3D61CC50B869","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3cae65d5bdd2bde2e45e093857c98fd868d4f335","datavalue":{"value":{"time":"+2013-08-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2842588$BE15317F-415C-4A2E-A4F3-99779CA6E506","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842588$B54CC696-4B2B-4F00-8A3B-9B42F2DC2815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842588$2DA86AD9-A425-4F12-8F77-5AACC0C5A9FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842588$203DC8F5-76F6-43CA-AD0C-A5B553BCB0EE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6e01b7fe8de21ff65587c34a25bac681d5081713","datavalue":{"value":"6198629","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842588$1318A94C-2B6E-4138-9B26-7ADDB8D0FC11","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":"Q2842588$721E0EF7-C15C-47DD-A916-D1D1E937A363","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842588$B6485560-FA02-4243-A153-1451C1E421E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cd2a25d693a4acd921e56f15d1b3d06cb750f8","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842588$4CA9C7DD-AD7B-49FB-8374-A9247DF57AC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c7f5f3e3d36d2b003d8aa4ba368de341fb20d30","datavalue":{"value":{"entity-type":"item","numeric-id":4884237,"id":"Q4884237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842588$B23E91F5-E2E2-4DA2-B20A-82434FE9A23B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad0949de2a3f618dca6bd9ebe8bd574e08dfaa30","datavalue":{"value":{"entity-type":"item","numeric-id":1327398,"id":"Q1327398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842588$F0239416-191E-49BC-8AAB-01EDF73E3ECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842588$B4106780-EE1E-4091-A8C6-0E92F72E225A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69e09eb811c9f8bd7e45bbecd8767c6f4ae264cb","datavalue":{"value":{"entity-type":"item","numeric-id":2769580,"id":"Q2769580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842588$F0C4FB43-4C24-4A58-9ED5-59ED3A94847B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1975ace360956e97bd41a9619bf19fe361b7707","datavalue":{"value":{"entity-type":"item","numeric-id":2842588,"id":"Q2842588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842588$CC4FBBC3-B719-4455-91DF-0A9C7A60B8C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70efab4d3d82b39f07a48d15be341a102ff3fa2c","datavalue":{"value":{"entity-type":"item","numeric-id":2754105,"id":"Q2754105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842588$27B08A43-FC14-4ED0-8B55-48F9DD06CDA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f1e88c59e967c9d93293a22c53fd0e4784e564d","datavalue":{"value":{"entity-type":"item","numeric-id":4818812,"id":"Q4818812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842588$22442DDE-E517-41B6-803F-60F8EDE5A18C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba57bef9dcf8610ea862985a8d05b601f1f871bc","datavalue":{"value":{"entity-type":"item","numeric-id":5929099,"id":"Q5929099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842588$D0E0D08A-10BD-4AB5-BAEA-6D6125B11336","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"19b08c10fa0654151582ad5cf6f5abb88cd1ba30","datavalue":{"value":"https://doi.org/10.1016/s1571-0661(04)80478-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q2842588$4A8B4C1B-A75F-4A06-80B2-5BB149833D5F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6e4e8188597c2101ca9127bad4a2c125fe782451","datavalue":{"value":"W1592459923","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842588$A23B51E1-DACC-405E-9CBA-2E9C4C32735C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7f76f57843ebe47402f7c61fa45a70fb2e55657","datavalue":{"value":{"entity-type":"item","numeric-id":2863860,"id":"Q2863860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1149a3e6c7d3d572de96b72ca22067bc89e12889","datavalue":{"value":{"amount":"+0.8930405","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2842588$5F8DCCC6-E6F4-4979-83BB-60F68899E5E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebb5e1acc3f076f7e9da39aca453cac8805ace8b","datavalue":{"value":{"entity-type":"item","numeric-id":2642985,"id":"Q2642985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28199c0c20193c36405512cdf95553d323b8e250","datavalue":{"value":{"amount":"+0.8930404","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2842588$E295855D-77D7-4186-A933-62984770EBCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"379abc75128a4109f5e25829fcd644d4f72e44d0","datavalue":{"value":{"entity-type":"item","numeric-id":3543301,"id":"Q3543301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b8fd0cba420ce9e42cb577b07491420f955d5eb","datavalue":{"value":{"amount":"+0.87623835","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2842588$AEF000C9-F885-4BB2-B824-FF2F806B23B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7cc7842fcb6dd086fc04915ad90803a6fff136c","datavalue":{"value":{"entity-type":"item","numeric-id":3564011,"id":"Q3564011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b50eeebe9d110b7a798367d68520a35567b3ecf1","datavalue":{"value":{"amount":"+0.87486","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2842588$4855620E-67F9-4FDF-AE3E-906AB0CB7BE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b4a04319562abc379ce226aeba85b7e0444d2cb","datavalue":{"value":{"entity-type":"item","numeric-id":3522918,"id":"Q3522918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ef9925489ea6d40829c50fad4a7d09ef927a5e1","datavalue":{"value":{"amount":"+0.8738283","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2842588$86E3B6E9-5166-4DEA-8D8A-43C0B1927833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b27aaaad23cc2de4f1cc69d725e0d8950c922285","datavalue":{"value":{"entity-type":"item","numeric-id":4222863,"id":"Q4222863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"656a63b293ff437a7107e588be7573e46a701cff","datavalue":{"value":{"amount":"+0.872624","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2842588$FC5FF971-61AD-4814-8EAC-30508AE728E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ad365ed0e161c5a29b216c0e74615492c88db2f","datavalue":{"value":{"entity-type":"item","numeric-id":2852365,"id":"Q2852365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9703ecf815f23d1425b014e9590ac85c851bf08","datavalue":{"value":{"amount":"+0.87214684","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2842588$20840791-0546-492B-8131-21B21E130E09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d49223e3a6b3fb37fefc9da1637bf45e0aa7b670","datavalue":{"value":{"entity-type":"item","numeric-id":6162104,"id":"Q6162104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2acc5e236bf52a7967ed373fbc1e1707e6b6677e","datavalue":{"value":{"amount":"+0.8712133","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2842588$7FCC7EDF-5C8E-4C6F-BCB1-2DB070308F3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b08bde013cf4a00f7bcdfc21c42c0c93358a1ae","datavalue":{"value":{"entity-type":"item","numeric-id":685095,"id":"Q685095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58e5bf954e9a8fd07c61afd9e4f2db105748407b","datavalue":{"value":{"amount":"+0.87020767","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2842588$1752981C-61A9-40CD-B720-377C490A88CC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c6718b01a1d9817314cf1aa00653d64c1897567f","datavalue":{"value":{"text":"Predicate abstraction for dense real-time systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2842588$B80F6207-926C-4BAF-93B5-6428FF60E86C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2842588","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2842588"}}}}}