{"entities":{"Q3457979":{"pageid":5237379,"ns":120,"title":"Item:Q3457979","lastrevid":46532379,"modified":"2025-12-24T23:51:30Z","type":"item","id":"Q3457979","labels":{"en":{"language":"en","value":"Solving Coverability Problem for Monotonic Counter Systems by Supercompilation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6517181"}},"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":"Q3457979$78CAEE0B-09D7-4791-82B4-D1EA543D4501","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fb89b44223cb0206022c2c0bc529337dd2ccca01","datavalue":{"value":{"text":"Solving Coverability Problem for Monotonic Counter Systems by Supercompilation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3457979$40AA5E37-CBA1-4351-9FB9-F3B3D1676887","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c09e03424c385c130e341b4b61f9dace6eb3419e","datavalue":{"value":"1336.68036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457979$A7AEFFF6-AA4D-4105-857B-DB269BF5AE03","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1ae6a7bdd0be3e0fc1f0315521aeffb3974478ca","datavalue":{"value":"10.1007/978-3-642-29709-0_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457979$8D00E1DE-D0D3-4D6E-8C3D-B3643689A6CD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5fa38d80e1187c8628038eb2944ae1be045fa546","datavalue":{"value":{"entity-type":"item","numeric-id":1925347,"id":"Q1925347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457979$55A7B88C-1293-4CA5-9E51-04519CF1E3D8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2ca3c59d5b4a9c62c9dad54b7259d1ebc3cdb0f6","datavalue":{"value":{"entity-type":"item","numeric-id":3401930,"id":"Q3401930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457979$8C3A48C5-EC93-4F25-B634-C73511A43C3E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cafd9cf1ea33c2ca629714ee3a1d874af717ffb3","datavalue":{"value":{"time":"+2015-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3457979$DE1A67DF-6927-442D-B32C-45264B1F1611","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457979$55BF0501-D472-4BF9-9AE1-0E2AA0C9E77F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457979$3BBEC1F4-4B22-443D-94F4-CD9274AA496A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8702773ecf6ff3d6b386a4e4ec54e7c70e0dcd59","datavalue":{"value":"6517181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457979$84CD4C7D-D35A-4841-8715-B1E210546682","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78944fa5f06f66d5b5ccd752b57553218456eaa4","datavalue":{"value":"supercompilation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3457979$8C165F37-27E8-4387-9049-AD278890E198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3457979$8B3C2DC1-583F-4B6D-ACB1-32A6C6B3982A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3457979$89C69740-F4B6-45D1-BC58-400E839C51B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97378df6857232915fa2b1f482014a0c8c4a538d","datavalue":{"value":"coverability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3457979$40224B80-C2E4-4FE4-AC8B-EA9FBAC48113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f9ffb48a91e943ce3c733feac83ddb601e3b075","datavalue":{"value":"well-structured transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3457979$344E0298-AFB4-4B52-B180-5842DF3042FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55dab19b9bb952aada92e638990e309d00d300f2","datavalue":{"value":"counter systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3457979$63152D1E-FE4E-4BD1-8D7F-6966BD0B7D29","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":"Q3457979$6DF97D23-4A4B-41C4-9EE0-D01503BB6872","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9081f1c5aad9f7f5d01bf66ad2043b834e146809","datavalue":{"value":"https://doi.org/10.1007/978-3-642-29709-0_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q3457979$3F194FA0-5C51-4DF2-AA55-835F294D8529","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"035b8f778d619291c2f0fba070975c929fbe7d39","datavalue":{"value":"W119944932","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457979$4559C9D3-B86D-4F8C-B39B-D1DA77F7FDF9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"faeb5d6db39988681d02c7df7e73072214b31cd3","datavalue":{"value":{"entity-type":"item","numeric-id":2817405,"id":"Q2817405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3810e2023c9301b2d4b9cba22982d5753cc5969e","datavalue":{"value":{"amount":"+0.82844245","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3457979$B6576B4C-12F4-408F-88AA-23D41CAD8972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14c17503d0bbba473d003ea62b6284e3e47e8f44","datavalue":{"value":{"entity-type":"item","numeric-id":3196627,"id":"Q3196627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"284a0bf0df3983e8fd2d7b94afcf0457376abc09","datavalue":{"value":{"amount":"+0.8205539","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3457979$AC0F701A-4EA7-4623-B008-1326A746D4B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"585be1445e8d666131d390ada5fd4f1841cd5a04","datavalue":{"value":{"entity-type":"item","numeric-id":2920990,"id":"Q2920990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff0bd0158585bc105ce99998c020bae85b6d7dd2","datavalue":{"value":{"amount":"+0.81217265","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3457979$B3549298-119D-471A-AE6F-FDB6A001AFA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2bde724c060d41970398b68bd0079a8ed9b3326","datavalue":{"value":{"entity-type":"item","numeric-id":910182,"id":"Q910182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90566191b86e04343a1f537ca893096a38d1e80e","datavalue":{"value":{"amount":"+0.8112484","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3457979$D8E1F329-BC89-4284-A386-16DEBC65FC9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f79876d413c4671ada3c5d9588b477be63db0b91","datavalue":{"value":{"entity-type":"item","numeric-id":5739016,"id":"Q5739016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87af097976c1f5d471585884eac3b80f80beefe6","datavalue":{"value":{"amount":"+0.81113786","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3457979$B822430A-B97D-4731-A912-FBC6A5B1B76A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d8c9c23cd78bef7c9fc8c6ace71cd40c8637161","datavalue":{"value":{"entity-type":"item","numeric-id":2912699,"id":"Q2912699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"148f67177f1718b53e7a84aa2f184cb834ccce21","datavalue":{"value":{"amount":"+0.81110096","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3457979$7A044645-CC37-4320-AC62-5D2C6303D958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17b268bf1bfc74e38ba3fd0a75bc16a5e4b8d844","datavalue":{"value":{"entity-type":"item","numeric-id":503861,"id":"Q503861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95d5b9e7d4de4b3d13fe72ffd38dea550d488965","datavalue":{"value":{"amount":"+0.8109609","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3457979$47CBA93D-7627-4D2F-9596-B586D12FC7A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ce960857d5ec302e66818cea9f2c60a9696880b","datavalue":{"value":{"entity-type":"item","numeric-id":617710,"id":"Q617710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e61e71816ef2365de14ed1ee5d3503a3aa33a54","datavalue":{"value":{"amount":"+0.8069891","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3457979$FA8901C9-3AE4-4B50-B727-C2413DB6145B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c16be9647d93d350587b361c1313dcccb470db7f","datavalue":{"value":{"entity-type":"item","numeric-id":3526545,"id":"Q3526545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27dc6d0ff06f2b8af5e198f8c7a147c66c0c932e","datavalue":{"value":{"amount":"+0.8069391","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3457979$A9A99B65-1FB7-49FA-B83F-2D38F686C45B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3457979","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3457979"}}}}}