{"entities":{"Q6885128":{"pageid":20807311,"ns":120,"title":"Item:Q6885128","lastrevid":84206108,"modified":"2026-05-13T14:17:52Z","type":"item","id":"Q6885128","labels":{"en":{"language":"en","value":"Inner and outer approximations of arbitrarily quantified reachability problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8135915"}},"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":"Q6885128$A873932E-90C2-4A95-90F7-CBD549E088F6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b52d5585503150fa082d055379b5b636ff49853b","datavalue":{"value":{"text":"Inner and outer approximations of arbitrarily quantified reachability problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6885128$5DD9EC18-16EF-48E6-955C-E12B31CEB0AE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8684f4ad66adc1ac636611603bd7b716ac59ecd0","datavalue":{"value":"10.1016/J.NAHS.2025.101629","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6885128$AB448C8B-EC0D-491A-AA12-5CAE1B498FFE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0d92f428d699274a229faa3ab95d1f469858165","datavalue":{"value":{"entity-type":"item","numeric-id":246147,"id":"Q246147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6885128$48C8BC08-0123-4D8D-B766-6E41B290FB4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6056005ef8a93d8e49d6cc037b0f0f5499413b29","datavalue":{"value":{"entity-type":"item","numeric-id":246148,"id":"Q246148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6885128$66B21CE6-66C1-4FE5-990B-F682C9AEEB03","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9d0f2155ba9995cae9f99d2ed79b4b1c769519a1","datavalue":{"value":{"entity-type":"item","numeric-id":254169,"id":"Q254169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6885128$6B4A1247-D766-43E9-A194-5EE63CF29D39","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"247c2a034d97def79b85c1a43b4a75ab8baa8b35","datavalue":{"value":{"time":"+2025-12-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6885128$3F8437D7-5D0C-4392-8902-745E10E4FB0C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ea8d7fd647e9503babc529061be6b6d7b00c9e13","datavalue":{"value":"65D99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6885128$FF1643EF-277A-41AE-912E-EB0DD0089A15","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"75afce69a233379316900203305573a6efbb2fdc","datavalue":{"value":"8135915","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6885128$9E3AFAA5-E9CB-4D54-AC7E-D1CD4CDE2E7B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6885128$E287985E-0BEA-4AC4-8873-15AD7627BB3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"633e037327259f911704e514c57877a1effdb2d9","datavalue":{"value":"quantified problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6885128$9E72519D-8E5D-481B-A825-53D5C079BEEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d26c08162e9bf89dd695d080f88e33118eb3d10","datavalue":{"value":"inner and outer approximations","type":"string"},"datatype":"string"},"type":"statement","id":"Q6885128$4F631F06-B51B-4E7A-B8E5-1A9D92DAC4CC","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":"Q6885128$3C7EE4CC-3A13-4A72-BAFF-1ED6AF18DF0D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"36b1ec2ab602b6d9108d3bad7fd0c04487cb13cd","datavalue":{"value":{"entity-type":"item","numeric-id":5239214,"id":"Q5239214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6885128$666F3BDE-32CD-4FC4-AD8E-84D5D748C265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f156c0eadb0253b214124dd77a46491c1ea19cc5","datavalue":{"value":{"entity-type":"item","numeric-id":6993505,"id":"Q6993505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6885128$984C2144-D41A-44EE-AAD8-95480F4B0697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"207f1de1845b07de215059ac6a3493b148a1bf87","datavalue":{"value":{"entity-type":"item","numeric-id":732015,"id":"Q732015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6885128$B718E001-DBA4-44B5-ABDD-32E6749F8146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c5feeeccb8a6f58d42272f948b8e7bcee145040","datavalue":{"value":{"entity-type":"item","numeric-id":2986717,"id":"Q2986717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6885128$835015A0-3E98-4734-A436-7AA28C7E7834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f28e11599fdd1f647685b3844fd11d8d0539850b","datavalue":{"value":{"entity-type":"item","numeric-id":988781,"id":"Q988781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6885128$F2D47810-9783-4721-92FA-D04553F94366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"759debb9825d225ea87326644349c01a8ddd722f","datavalue":{"value":{"entity-type":"item","numeric-id":5898983,"id":"Q5898983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6885128$E1D95EA5-6F45-4CC9-A24A-908886BD2CCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3d1000ca942484011c80915e2c1a4d21c0b30f1","datavalue":{"value":{"entity-type":"item","numeric-id":1583480,"id":"Q1583480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6885128$7096E653-3AF5-4602-BC34-5DAED905B7D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8ab99d6d7d94a26e378b9e69afb43a7963d2d60","datavalue":{"value":{"entity-type":"item","numeric-id":4649293,"id":"Q4649293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6885128$BE9F1206-D15A-4811-BCDD-849A5C75127A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af755552f77a91e0b8dbebbef263c9d43f0978c1","datavalue":{"value":{"entity-type":"item","numeric-id":2986920,"id":"Q2986920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6885128$41514FA9-79B9-47FF-9DA3-2122D90B5C74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1afdecad2b2d16afdd7f9412e6fc8c70afd87b4d","datavalue":{"value":{"entity-type":"item","numeric-id":4463457,"id":"Q4463457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6885128$2F5DF2A9-156D-48E1-8493-5C6E8ABC337A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d35c667016138f3baba5fb1ce44abd9e7e1ab003","datavalue":{"value":{"entity-type":"item","numeric-id":5347804,"id":"Q5347804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6885128$B573FC61-CE6C-4507-AB0F-3FFFC4B117F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"493b13fd4ab335af35b77d54a2c0c36e15378d28","datavalue":{"value":{"entity-type":"item","numeric-id":3612992,"id":"Q3612992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6885128$EF1818AA-8E28-4CA7-A168-538342F52864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06ca72aebbe439353bb8af2ba5367e2153e90148","datavalue":{"value":{"entity-type":"item","numeric-id":2422853,"id":"Q2422853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6885128$9C1F505D-2717-4786-9606-B0B8743FFD60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5167bcc308ed0de26bf14f8c85c0aa9ec718fc41","datavalue":{"value":{"entity-type":"item","numeric-id":4633547,"id":"Q4633547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6885128$301A9E6E-A962-4D21-8B55-5AC36324242A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7784189294e81874fa9d2380e5da09a4d09a5f97","datavalue":{"value":{"entity-type":"item","numeric-id":5274100,"id":"Q5274100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6885128$AC207A30-74CE-4805-8630-39E160351406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc12362695edda6394239c309b203f79f27cea18","datavalue":{"value":{"entity-type":"item","numeric-id":1631238,"id":"Q1631238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6885128$8150C7C7-9AE6-4F02-A26E-E8F0EE39225F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07c91fd99660da0e2343b02531a0a275f1692081","datavalue":{"value":{"entity-type":"item","numeric-id":5792485,"id":"Q5792485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6885128$58F9F337-C5FC-4186-97DE-561360580A95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4d7798eba50e0ffe1e4306d4a4aa338f6be7be4","datavalue":{"value":{"entity-type":"item","numeric-id":4079605,"id":"Q4079605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6885128$262D5B6A-5583-47B5-A679-1A11F2E799AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"add4491e8fd66ac82b780ec4494c2c2d28510122","datavalue":{"value":{"entity-type":"item","numeric-id":677553,"id":"Q677553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6885128$C15BD4E4-6201-4FB5-81A7-7845A3850FA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cf4f126bd2e556995b31d0a7b232a3abe5e1ffb","datavalue":{"value":{"entity-type":"item","numeric-id":1368690,"id":"Q1368690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6885128$D2557928-59C9-485B-AD4C-B78B0270FF56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9204df5115bc2238f3e790a23bb056047b3d757","datavalue":{"value":{"entity-type":"item","numeric-id":5488463,"id":"Q5488463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6885128$D96FD0FB-3A7A-4FB7-BF7A-766402424E60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8332468c56cf425ddf859080eb3b69a9207db47c","datavalue":{"value":{"entity-type":"item","numeric-id":760006,"id":"Q760006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6885128$ED04FD04-271F-4CAD-B2BE-D1B84A906150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e9c62e5a36aa1e16bced33f90c0bf15448a031d","datavalue":{"value":{"entity-type":"item","numeric-id":5449035,"id":"Q5449035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6885128$A4EAC00E-A63E-45CA-AC51-7857F08E6BA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f426d61b5e73f09c762af22502a76e1d6d446b2d","datavalue":{"value":{"entity-type":"item","numeric-id":3636870,"id":"Q3636870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6885128$D4191343-B57F-4A81-B84C-6FD937A6C860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8209e2641ba17dd4f4c7ce79db79a957c2e8bd37","datavalue":{"value":{"entity-type":"item","numeric-id":6535528,"id":"Q6535528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6885128$5C28C5A9-13D7-40BB-A2CD-22628F7A5B39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"017dca64578e6979a09aeeb8b382b1388bace1b7","datavalue":{"value":{"entity-type":"item","numeric-id":4810199,"id":"Q4810199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6885128$7DA7DCB2-D828-4F39-9A2E-F7B819FE1766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4eafb5507ae3ce239e1f0b331756589939f0cac","datavalue":{"value":{"entity-type":"item","numeric-id":3069052,"id":"Q3069052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6885128$B69AB4E3-3942-430B-ACBF-793B31A1D09D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14d65f813b7bf62e89eaf2eb886e2ecf258499df","datavalue":{"value":{"entity-type":"item","numeric-id":4221106,"id":"Q4221106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6885128$79EB06AE-4348-4683-86DE-90053C3030C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbf17d7e8ba4c1ec3bdb69ab7c554b7d69f4507f","datavalue":{"value":{"entity-type":"item","numeric-id":5505558,"id":"Q5505558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6885128$7A6661DB-ACE5-4814-903B-2F34AA65BFAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b29fc3007938bdd9fdec67d20698a9ee1a96e6c3","datavalue":{"value":{"entity-type":"item","numeric-id":6171823,"id":"Q6171823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6885128$A6E9DBA0-FD49-4FC5-A7D2-286CD52A8008","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Inner and outer approximations of arbitrarily quantified reachability problems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Inner_and_outer_approximations_of_arbitrarily_quantified_reachability_problems"}}}}}