{"entities":{"Q6869435":{"pageid":20713201,"ns":120,"title":"Item:Q6869435","lastrevid":84235139,"modified":"2026-05-14T00:40:14Z","type":"item","id":"Q6869435","labels":{"en":{"language":"en","value":"Axiomatization of compact initial value problems: open properties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8149918"}},"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":"Q6869435$69481A37-7FEC-49DE-88A3-0F50C8314C5E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b91c029ffceee459b3f55f954c47e3226bc29c41","datavalue":{"value":{"text":"Axiomatization of compact initial value problems: open properties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6869435$3BC1C373-A0FB-4EFF-9BEA-FEB9C052E3F3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e0283eb8899b8d4a7d3d00ef7b329d3bb46dc3ea","datavalue":{"value":"10.1145/3763228","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6869435$977C3036-2F18-4DF5-9AE2-CE5B457B6397","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc654f17b8a10219c5683cabcebc6a770c6278e4","datavalue":{"value":{"entity-type":"item","numeric-id":681339,"id":"Q681339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869435$065E3E74-1FC5-4A4D-9301-D14471DA1EDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d48d4fd0e5c41b632ed6c534eeaf456faa8504ab","datavalue":{"value":{"entity-type":"item","numeric-id":4986035,"id":"Q4986035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869435$0228FA6C-1EF4-47AA-9F8D-D0CD5B1F6812","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869435$80FC88D9-9007-4F11-A7AA-2CDD92B10BB8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ed0acfea66d72dabedf8248efd6bd273a34db1fe","datavalue":{"value":{"time":"+2026-01-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6869435$37D54312-EA45-4692-B4B8-2471867A831C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d21a69e3457646e46a9bbf0d57100c034be8348f","datavalue":{"value":"03D78","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6869435$C444513A-CF71-462A-A7EC-0129E3D406A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6869435$502485D6-472B-4951-8439-CD05B48AC8C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4d9b6913944578a9a87092cdae44c0d395b22c43","datavalue":{"value":"34A34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6869435$2FC20E31-79FB-4866-972D-E98D93B39236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"eb1a6efba4047acfea921d765e4bc3a158eab135","datavalue":{"value":"34A45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6869435$28366510-F6AF-4C7F-9105-2A45A9CD1871","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1393b2ff93ad54eb6713aa50864f5a2dcdf18d21","datavalue":{"value":"8149918","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6869435$6DDBA64E-E5D9-4613-B057-40DAD0749907","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869435$CA1A5A68-1E87-46E9-951A-35DFFB6F2697","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0cbc9de419e1fc6351495e8738b7ed8ee7173ece","datavalue":{"value":"differential equation axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q6869435$99E46D69-508D-4A02-8DC2-31DBDC379639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09ca32413f1d623ef3eb8d4a14ac759e926ea85f","datavalue":{"value":"invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q6869435$2AD84F0E-2725-481D-9DEC-741265F37061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f86059082e213c6d99600292a95b3e82fea30a53","datavalue":{"value":"differential dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6869435$B95844B6-2222-440F-89AC-9BAE57ABDBBF","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":"Q6869435$1F38D7C7-71F7-4D28-BDA9-BA0E330C17D5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"241178175f643ded785dfc802d31bbbaefac0fc4","datavalue":{"value":{"entity-type":"item","numeric-id":2440818,"id":"Q2440818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869435$D7C24E4D-D5CC-4484-BE68-D0680776C382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff9fccc9df45709d8cfc9f90d3a493342c53a147","datavalue":{"value":{"entity-type":"item","numeric-id":708215,"id":"Q708215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869435$EEAEC3CB-E69F-4A02-8169-40666802EC36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8d8ba3ba2675e44b8c6482a3ed62cae39ea4709","datavalue":{"value":{"entity-type":"item","numeric-id":5239217,"id":"Q5239217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869435$8CA01115-BB00-4D82-97A8-66CA7F9D65E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a7baf32827e756d47408f7a8808062a6c924134","datavalue":{"value":{"entity-type":"item","numeric-id":6902705,"id":"Q6902705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869435$44E021BA-CDEC-40BB-AEBD-BBAEB6F61767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8df37a9644f7723c4472848f7a5d4b4490b45191","datavalue":{"value":{"entity-type":"item","numeric-id":5244524,"id":"Q5244524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869435$3FB4D3CB-97FE-4568-853B-04550A6F7115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc17ae6d4946563f8c7ccb17dc225e4eaa05c315","datavalue":{"value":{"entity-type":"item","numeric-id":2807868,"id":"Q2807868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869435$06A7E7F0-4381-4927-A5FF-338B7DD49D5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a99ea3934794bb3049170916c98718600646678","datavalue":{"value":{"entity-type":"item","numeric-id":306694,"id":"Q306694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869435$6498D1B4-CC84-4F6F-B8B9-2E20B7E29874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a1c30d5d65f5994d068da90ebbe2a06adc5f866","datavalue":{"value":{"entity-type":"item","numeric-id":5111448,"id":"Q5111448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869435$3EBC9066-1999-4301-B916-06E94EFEEAC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"024e480a25e10c1118099ff44c7af60c4700b5a5","datavalue":{"value":{"entity-type":"item","numeric-id":5146382,"id":"Q5146382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869435$B7A46D24-EBB0-4289-BE77-E943C580BC31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7c06131d203e0bc17dfc06c96679dd5d6f72883","datavalue":{"value":{"entity-type":"item","numeric-id":4635910,"id":"Q4635910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869435$4478214A-1D20-48EF-B332-653571AED292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffd01bbf7ac64b8bf27e24be386f3ae72f8af850","datavalue":{"value":{"entity-type":"item","numeric-id":4598241,"id":"Q4598241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869435$08E7F7EC-720C-4A17-8FF8-A173D7F889C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9786bf71ac9796a8c539c246e599a2a43687a2a1","datavalue":{"value":{"entity-type":"item","numeric-id":6584037,"id":"Q6584037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869435$23A64F04-90A1-4719-9AEE-5B2FB9F03A92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89325b91413c3f79263a65cf9e0fd24d71fc02af","datavalue":{"value":{"entity-type":"item","numeric-id":3454120,"id":"Q3454120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869435$C62B781B-353B-48C2-BE28-720895AAD9BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9458ea8d310bb88bae2d215513b27ac26929bb08","datavalue":{"value":{"entity-type":"item","numeric-id":3525855,"id":"Q3525855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869435$E10BCDA6-0999-40DF-A371-74048D9B9E6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c17ea2422e0795b36690a83d5a4f980a351458fc","datavalue":{"value":{"entity-type":"item","numeric-id":1670741,"id":"Q1670741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869435$AC5D139B-1C45-4830-89FA-393A50727F13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbce58973e02113609b9cef4512db17393c3cfdc","datavalue":{"value":{"entity-type":"item","numeric-id":3629381,"id":"Q3629381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869435$282457DC-00DB-400E-9563-9F1FEDB0A341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7824ede29ccd6a7b284423ea69733d9ac6cd6b32","datavalue":{"value":{"entity-type":"item","numeric-id":1465977,"id":"Q1465977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869435$535A58CE-F614-4B90-A0CF-3B4664B12610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"003f5b5f562275c29778de5aea06699f83d8bc31","datavalue":{"value":{"entity-type":"item","numeric-id":3507439,"id":"Q3507439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869435$F59556EF-F1F4-4322-9BB4-0A3B78C5311C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca3d9626151d736ff9fbf0010fd4073094bc7f51","datavalue":{"value":{"entity-type":"item","numeric-id":5890462,"id":"Q5890462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869435$C1198940-E25F-4008-827F-63149B32B17E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bf6b9d2ce411d579f1b21dd66b3a564adb7ab81","datavalue":{"value":{"entity-type":"item","numeric-id":1663218,"id":"Q1663218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869435$85FD42AF-079E-4DD6-B53E-247FF8697341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a5aa7d2c1dcec7d0da7814e5d52a5b8c87a362f","datavalue":{"value":{"entity-type":"item","numeric-id":2038109,"id":"Q2038109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869435$CF69712C-659D-4424-AF3E-BC951356F3D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef30e3515bac7529964e75d97be14d7d75169172","datavalue":{"value":{"entity-type":"item","numeric-id":4396948,"id":"Q4396948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869435$9CBD009B-65B7-48DD-88D5-325DC746C294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43118d68ea3672ae3a4c154ccd8898e867ed4748","datavalue":{"value":{"entity-type":"item","numeric-id":4397030,"id":"Q4397030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869435$B651D688-941F-44F6-8732-4FD2CB712D4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0a728620a96e72f5a654fbe0896254999609fa2","datavalue":{"value":{"entity-type":"item","numeric-id":6859997,"id":"Q6859997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869435$3B372A9F-7238-42D1-848F-A8D2AF9CCB41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c347c60e13d160aa53a2f40cfef7b79c62c55cc6","datavalue":{"value":{"entity-type":"item","numeric-id":1040772,"id":"Q1040772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869435$BC13F734-5F59-4A77-8A48-097C6C9A04F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53d2f52869cc0cd76376bff818708073df94b6b5","datavalue":{"value":{"entity-type":"item","numeric-id":2986831,"id":"Q2986831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869435$C0196B4B-63B3-4EB2-8569-8525E27ECEEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b91c17eb426dae0dddf6a4c3a8672996b8f72054","datavalue":{"value":{"entity-type":"item","numeric-id":2986778,"id":"Q2986778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869435$E141E133-419B-4478-8EF1-4AD48E2541FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb61c5c1ea145b3c800d5c014b2c4590b1c48513","datavalue":{"value":{"entity-type":"item","numeric-id":1707599,"id":"Q1707599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869435$DDC510EB-6EA0-4B65-B726-F9F3F9EBAC88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f80eaa52138fe6dc1cc5abd1424bc7779edb1d9a","datavalue":{"value":{"entity-type":"item","numeric-id":4689064,"id":"Q4689064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869435$240F7F5A-4BE5-4664-9DBC-136D3211AC01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6ee5dcfa4bed4983e23b945544634540279752e","datavalue":{"value":{"entity-type":"item","numeric-id":5145359,"id":"Q5145359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869435$BF830D88-ED18-442A-B400-EC26141AEFBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"218c53391ae9fb7c615487eb7a2c2b34850987d4","datavalue":{"value":{"entity-type":"item","numeric-id":5133962,"id":"Q5133962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869435$5B399AD0-A512-4A07-8B95-AAB7BAD8DD65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0254458d702f48e2b8394a3453e87de110ba317e","datavalue":{"value":{"entity-type":"item","numeric-id":5969510,"id":"Q5969510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869435$1889C8F4-D94A-419A-8BFE-BFC032DCF853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9232d4d8ed2d771cb80cfcfd5f4b8ca6cb349b3e","datavalue":{"value":{"entity-type":"item","numeric-id":4886314,"id":"Q4886314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869435$FA56384F-31B5-4241-BBCD-EC6E9B1B2254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e47a2b9d13405189c02127187179ae3a2b67315a","datavalue":{"value":{"entity-type":"item","numeric-id":2864221,"id":"Q2864221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869435$230DBC9C-D617-41C1-87E9-EC9D0B8E01DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80a3cf3bfcf6c5a031b76f79088506a727082dd3","datavalue":{"value":{"entity-type":"item","numeric-id":5206959,"id":"Q5206959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869435$7151AC4B-1331-43A8-A947-09909205D272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f54c1e52358e7f16ef4bb6b4e6ff88425e9fd5c","datavalue":{"value":{"entity-type":"item","numeric-id":2147687,"id":"Q2147687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869435$C92FFEEB-AF98-4F8C-9858-D332374BA90D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80f6bfd34cd18e4474e8075f5724e1d0d6730e24","datavalue":{"value":{"entity-type":"item","numeric-id":1982634,"id":"Q1982634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869435$E2D176BE-F633-483E-8215-49A26B5B985F","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":"Q6869435$BF619941-93AE-4D6B-890C-432367D5DD60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07e09e0965a007fcb2d4ffcdb0b592ac5ad99b17","datavalue":{"value":{"entity-type":"item","numeric-id":3838091,"id":"Q3838091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869435$C0EFBF4C-3EE4-4039-BB4E-E5E8C986C29C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66e8a62cd46463c62f9ff883109d60c4695ebc92","datavalue":{"value":{"entity-type":"item","numeric-id":4485693,"id":"Q4485693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869435$CC527ABE-331E-459B-AED9-65E3B85EF4D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5820d2a429dcc2eb2edb2ee77db6355f8d320905","datavalue":{"value":{"entity-type":"item","numeric-id":5718722,"id":"Q5718722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869435$9B0DE4D4-3F83-419B-8411-DD7E58689EEB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Axiomatization of compact initial value problems: open properties","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Axiomatization_of_compact_initial_value_problems:_open_properties"}}}}}