{"entities":{"Q2176702":{"pageid":2187445,"ns":120,"title":"Item:Q2176702","lastrevid":71478006,"modified":"2026-04-13T22:31:47Z","type":"item","id":"Q2176702","labels":{"en":{"language":"en","value":"Bounded model checking of max-plus linear systems via predicate abstractions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7196602"}},"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":"Q2176702$57716CCA-F771-4835-B9E1-6C41E1384552","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"90ea3417c31b2c468402c388fab2f45da8fcc6f0","datavalue":{"value":{"text":"Bounded model checking of max-plus linear systems via predicate abstractions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2176702$4C2A8B59-AB4E-4366-A257-1B790D031A46","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e28026276be8e0f1e4cf1cbda29073de8f0d5e59","datavalue":{"value":"1434.68302","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2176702$7D32E87E-0C9F-4658-9820-2C3EC1D5925E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"03da2f6ff2231f7ac7d21d0179f787211394d92c","datavalue":{"value":"10.1007/978-3-030-29662-9_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2176702$A197670F-AF51-4D1C-BD6F-313A15A9312C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"97e92fcfa72c3f020670eb9cfd0c2944d5aaffec","datavalue":{"value":{"entity-type":"item","numeric-id":513818,"id":"Q513818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2176702$A77D5AD5-9852-480B-BBE9-E9F60B115974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"45a9df9d04667a8fd302be31955ea3ec5aed5bdf","datavalue":{"value":{"entity-type":"item","numeric-id":262434,"id":"Q262434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2176702$94588307-BD9B-47A1-8312-5DCA2D3ED209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e149cd480f45d2379e65fc119900d9656b0738a3","datavalue":{"value":{"entity-type":"item","numeric-id":262436,"id":"Q262436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2176702$AC20A363-A714-41AF-AA72-1D4A34737626","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ffa913ad058323c97cdd62b11ad32d016ae0804","datavalue":{"value":{"time":"+2020-05-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2176702$CE6D5F56-3F88-49B5-AA3B-780333F7C071","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"628ae8c82db382ae05e2db17909c4d0798484b1d","datavalue":{"value":"https://arxiv.org/abs/1907.03564","type":"string"},"datatype":"url"},"type":"statement","id":"Q2176702$A2C0C192-B019-482C-B8FE-7B0DA15539F6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2176702$47FBFC09-B7FC-444E-8084-640FD0148D43","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a4d9411e1e4c8999412fd43847d76de5eb060e43","datavalue":{"value":"7196602","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2176702$9B2D12D2-EFC0-40FD-90AA-CD72A3EBC471","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":"Q2176702$14C4278A-3C2F-40B9-A825-3157DD43BBC0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b828b8a44008ef881e39a503418d64d76c8fb73a","datavalue":{"value":"W2970341587","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2176702$F9C99E25-A258-4102-9B1E-8354BDF5A2C0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52a43f225bd69985ce0467bf5f54550652f83575","datavalue":{"value":{"entity-type":"item","numeric-id":262437,"id":"Q262437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98549a990a346b79b42700a3ab56f25648b2e0da","datavalue":{"value":{"amount":"+0.8320665955543518","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":"Q2176702$426A2BAF-AA46-4EB2-9F48-62EED091115A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32874fa56ca7777c0ae5ff805b679560c58f01aa","datavalue":{"value":{"entity-type":"item","numeric-id":1631239,"id":"Q1631239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3257a59d4b013d5bbaa37ed44d67109f071337e9","datavalue":{"value":{"amount":"+0.8057668209075928","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":"Q2176702$C01257D4-361D-4025-808D-36688C090D7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"169f5df58ab4e9bb2fd2e60d20ea3033707b302d","datavalue":{"value":{"entity-type":"item","numeric-id":2465673,"id":"Q2465673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bd4f23f52f371f9a10bc674cf077b23aa31b142","datavalue":{"value":{"amount":"+0.7576775550842285","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":"Q2176702$BCDB7E2B-4741-4E51-8232-09F0A5C47AF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"191cd7535726b8d0e7a45c0ad3f3baf12cbd31a5","datavalue":{"value":{"entity-type":"item","numeric-id":2842588,"id":"Q2842588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1558f55377888fc447dc8825de4c0e109ecf643f","datavalue":{"value":{"amount":"+0.7560233473777771","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":"Q2176702$D4885B35-4733-4F0C-BA01-32436F49C437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73069cd7bb4aaf76e227412c1c68a9e930d47b4a","datavalue":{"value":{"entity-type":"item","numeric-id":2409446,"id":"Q2409446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76f8962d88bd0ee186d7c71dca4a064f29abe8e4","datavalue":{"value":{"amount":"+0.7508004307746887","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":"Q2176702$DADC69BE-8F8E-41B1-A033-4C773AA71CC3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bounded model checking of max-plus linear systems via predicate abstractions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Bounded_model_checking_of_max-plus_linear_systems_via_predicate_abstractions"}}}}}