{"entities":{"Q2248056":{"pageid":2258799,"ns":120,"title":"Item:Q2248056","lastrevid":43753134,"modified":"2025-11-12T16:48:49Z","type":"item","id":"Q2248056","labels":{"en":{"language":"en","value":"An approximation algorithm for box abstraction of transition systems on real state spaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6310008"}},"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":"Q2248056$B6098E9D-8AEF-4B5D-B044-0E36DD364EC9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"607c85e35c07b7a8e20c4f7b95000a92fabb6fd5","datavalue":{"value":{"text":"An approximation algorithm for box abstraction of transition systems on real state spaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2248056$286C8DEA-44B1-4933-A99D-D8A0B0BA7A97","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2338fdec839d0e587c6596cce8c7ba869db462ae","datavalue":{"value":"1291.68261","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248056$68BEBC24-ADD9-485B-A953-848B2051F403","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5e5149aa1b558725100c1181f703d354fb9572f","datavalue":{"value":{"entity-type":"item","numeric-id":202269,"id":"Q202269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248056$28BB33C3-B18D-4F2E-A6B8-3A343DE9BEF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5ea26edea89ec636dbd3cc1fe8685a06141de36","datavalue":{"value":{"entity-type":"item","numeric-id":2248055,"id":"Q2248055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248056$4A073CC3-BED8-4A34-A49D-37635F6B97A1","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":"Q2248056$ED8CCD6D-B359-4B40-82F0-9D18347CAE51","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"117a9f146c2b43e9cf22c7fca681da0aad1e0ba1","datavalue":{"value":{"time":"+2014-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2248056$1652661E-8412-4DD0-8917-143AC4DFC0E3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248056$6513E92C-EA9A-4985-A08D-9317E3F60607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248056$1D7677F2-3C7D-484F-91E0-568C6655D849","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6060539d28255ec21032e93266b96d0056004f29","datavalue":{"value":"6310008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248056$20068E64-0C93-4614-AE2D-D32BBCB549A4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"492d8eeb9678e3447032fd6b627d5e8d029f97cb","datavalue":{"value":"hybrid dynamical systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2248056$BB97386F-FDBE-41D4-A26B-92E4166C88B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9fb50508d9ae1a4b5b2525656ffbf4223c07463","datavalue":{"value":"predicate abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2248056$7B886CCB-A2B0-4B6E-8566-5DFDD5D5EE25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"960b661fb2cee8995a018f7d455348b011449448","datavalue":{"value":"safety verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2248056$0575152D-1AC9-41CE-BDE3-426977802FBF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9fa3b81611e1bf0770894470aca332a1511c9c7e","datavalue":{"value":{"entity-type":"item","numeric-id":16513,"id":"Q16513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248056$DC6C89B6-A596-4C7C-8168-52A5B652133D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"74709fe208fb3c9a7200c0f5d8fe8f5ccc4dd827","datavalue":{"value":{"entity-type":"item","numeric-id":16783,"id":"Q16783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248056$25FB69CF-50B6-4834-90A3-5504ADBAC80F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6cf9fc054c8d6a68d9124c2db7ee89e021092b9","datavalue":{"value":{"entity-type":"item","numeric-id":14010,"id":"Q14010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248056$7B1C069D-88B1-42B5-BB30-0CBC887329E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"14003a50a44c20e712064b27ecfc39c8400dd7cd","datavalue":{"value":{"entity-type":"item","numeric-id":16824,"id":"Q16824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248056$E3C988B6-720F-4C21-BF23-344DDA23D466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248056$2CB58690-D06D-4547-BC19-69F9D8D6E343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"786a5236ac94f9692f521c02ac8270dab6d23cde","datavalue":{"value":{"entity-type":"item","numeric-id":29799,"id":"Q29799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248056$40755FD5-B516-4300-B823-6BA05FEAF777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a8c4e5ad6deb5e7808f1cb222bda8db7c643ff92","datavalue":{"value":{"entity-type":"item","numeric-id":19449,"id":"Q19449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248056$8DD36DF1-4264-4935-BE6C-3299FC45641E","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":"Q2248056$46DDEF23-9830-4920-94CB-BA25E44B94CA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e8597de28f3741f072d276dd3105bfbe65a50cdf","datavalue":{"value":"https://doi.org/10.1007/s10703-012-0175-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q2248056$D39F64FC-3C50-43E9-95DB-F991AC2A3A92","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a010ae54b0d66c8ad81cbc944e43aaeed79b5f44","datavalue":{"value":"W1989471575","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248056$4C3EB0E0-3FB0-4AC9-A505-3998C0CC606B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4f341c6f254e4778fd7612981663d8b8703db9","datavalue":{"value":{"entity-type":"item","numeric-id":673868,"id":"Q673868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248056$A2596D15-C73C-4EC1-BDAD-1AB3D2EDF331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fd141145e8ea8fb37817516875d456dca78935e","datavalue":{"value":{"entity-type":"item","numeric-id":1856195,"id":"Q1856195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248056$BC20EE3C-4FFF-4CAE-90EF-175BED97D82D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e574050348307bcbcfc2e2f0734db761d485e300","datavalue":{"value":{"entity-type":"item","numeric-id":1856194,"id":"Q1856194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248056$6DBD7057-F006-406F-9A10-EA207A0D84F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14869e5b87ea0d6127789d506b7efc8a71702385","datavalue":{"value":{"entity-type":"item","numeric-id":5266964,"id":"Q5266964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248056$6D1604E8-D552-4DD6-8D9B-7DAD03AD5098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b8c00e6859456436b4dd4fd8d1212e545db8330","datavalue":{"value":{"entity-type":"item","numeric-id":4953376,"id":"Q4953376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248056$72BF15BF-3E7E-480B-A6C7-1F30835F6007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"baa9bc0c20044412bf299e9ec2a05bd8c3c74c0c","datavalue":{"value":{"entity-type":"item","numeric-id":4736572,"id":"Q4736572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248056$72F9AA85-8F89-4910-8A33-4BB18CE0E05C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4099c2dffdc34c9a8cc569c4ebb17f8d9459681e","datavalue":{"value":{"entity-type":"item","numeric-id":2368954,"id":"Q2368954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248056$83B54733-5198-4BEE-B4CA-09720C4589C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b055b28c3ecf01ed8cfc370eaa73dc48a2d0ca26","datavalue":{"value":{"entity-type":"item","numeric-id":5703953,"id":"Q5703953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248056$41A11900-4966-43C6-ADFA-8B3AC621F277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7b369429581047e1dabd46e6eafe270ef5ac985","datavalue":{"value":{"entity-type":"item","numeric-id":3037135,"id":"Q3037135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248056$733D7EB1-F51A-4B96-A1B5-85B25A1389BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c92aebe1288a33263b617b1b67a4323e7a616fa","datavalue":{"value":{"entity-type":"item","numeric-id":2643564,"id":"Q2643564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248056$1FC406B0-521C-4F12-AC41-2EEDB753ECB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c890f8e0b993ca82c4394027a0017067b7b53efe","datavalue":{"value":{"entity-type":"item","numeric-id":759486,"id":"Q759486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248056$A8D3233B-0A50-4191-8E74-006E7A315ED1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cdb2ef91f61a800c4d58983bb5c36e5c9432b285","datavalue":{"value":"10.1007/S10703-012-0175-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248056$8C1A795D-F9C0-4B71-A6B8-55EF728E941C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dfd500e757656cbaae12fc33a698cadd23c8bf4","datavalue":{"value":{"entity-type":"item","numeric-id":1708713,"id":"Q1708713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98cb091cbaf26881a098b85cdd3b632f6119980f","datavalue":{"value":{"amount":"+0.82885635","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":"Q2248056$F56D6AE4-9F6E-4025-9D3D-44421FCAD699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8184604b4b1f7181e1c7e2730fe10483270574e0","datavalue":{"value":{"entity-type":"item","numeric-id":1667079,"id":"Q1667079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6d60c39f31d0f1361e3706629a815eb9ae96f23","datavalue":{"value":{"amount":"+0.8285059","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":"Q2248056$C972BB17-91D5-4CF6-AA82-C4EFCD3C0B8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e65b2bab88cff8b409e8d1f4b8ead89c14b70b89","datavalue":{"value":{"entity-type":"item","numeric-id":5881448,"id":"Q5881448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa279690e5a71d18094e5f98cab6933523260809","datavalue":{"value":{"amount":"+0.8246771","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":"Q2248056$8FFBF28E-049D-4B32-90FD-934C7596A2FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3207ca08b95cf278d28b30ba324b1587b2bd430d","datavalue":{"value":{"entity-type":"item","numeric-id":1660779,"id":"Q1660779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56e839b32062387ed68b04c88d27f41016a66be9","datavalue":{"value":{"amount":"+0.8244145","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":"Q2248056$1E5F5B52-7C45-46F0-A2EE-65C740FB14B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"187d9a095598c8310a3d2ec5fae82263ab311692","datavalue":{"value":{"entity-type":"item","numeric-id":622104,"id":"Q622104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5979d84e521e57222c426eb0a02024442a83b950","datavalue":{"value":{"amount":"+0.8204962","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":"Q2248056$B0921D1C-FD23-40BD-9477-028E9D9ACACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"003c834624af9aa6df0e1f77ac53a38afc813319","datavalue":{"value":{"entity-type":"item","numeric-id":4899248,"id":"Q4899248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac5a3ea6f802b87b0b61a4a1201a970d095d7eb5","datavalue":{"value":{"amount":"+0.8201631","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":"Q2248056$28B7FD00-777B-4000-9C56-F7CBB83DF811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b96b6fee382d5a58099a4c8d0a3a54c79195649c","datavalue":{"value":{"entity-type":"item","numeric-id":1822237,"id":"Q1822237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddf98dcbbb4beb0f6a081c051a767879d610148c","datavalue":{"value":{"amount":"+0.81943023","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":"Q2248056$E36AE2C5-1E30-4FD9-A1E1-94CDA3466929","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2248056","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2248056"}}}}}