{"entities":{"Q2104559":{"pageid":2115302,"ns":120,"title":"Item:Q2104559","lastrevid":56991789,"modified":"2026-03-25T13:40:24Z","type":"item","id":"Q2104559","labels":{"en":{"language":"en","value":"Implicit definitions with differential equations for KeYmaera X (system description)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7628218"}},"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":"Q2104559$E70E6D2A-6ADE-4558-8C1A-42B810483F36","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"071bbfad4759a25da028f9e6f509442ac1db3d43","datavalue":{"value":{"text":"Implicit definitions with differential equations for KeYmaera X (system description)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2104559$F5B99337-945E-4AF2-AB96-7F9BE9D572F2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f2216b856314620d0f163ffb11e9a1d545db4969","datavalue":{"value":"10.1007/978-3-031-10769-6_42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104559$138FA8EF-314E-4CEF-ACA2-B76CC3E15FEC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb5676167c35757028cb2eac90cd19c5c6304087","datavalue":{"value":{"entity-type":"item","numeric-id":2104558,"id":"Q2104558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104559$CCD25BB8-0CD7-4523-8B1D-244C2450F1CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d8505fc68a1c1f3753cae6e600a747c5cc24257","datavalue":{"value":{"entity-type":"item","numeric-id":1799128,"id":"Q1799128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104559$73FBB6A0-8EF7-4AE3-AA1B-3FC73A1CAC17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b16426e16334f11344c5d2b57762ae4aeb39220a","datavalue":{"value":{"entity-type":"item","numeric-id":681464,"id":"Q681464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104559$A21E6217-217A-4C5B-BB01-5D7004E543BC","rank":"normal"},{"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":"Q2104559$FE03E205-0EA7-4FD5-AA2F-375087D4E17C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db8b1b210f5d78274958848712ad4088833e6550","datavalue":{"value":{"time":"+2022-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":"Q2104559$A9D44476-195B-4FF4-9F93-1BB4D340595B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"41a8065bc3f9962ba2495ca31317a8d8013ebdca","datavalue":{"value":"https://arxiv.org/abs/2203.01272","type":"string"},"datatype":"url"},"type":"statement","id":"Q2104559$F52271E5-460B-4B7E-939B-C7BD0B8D8EAF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104559$E3544C99-4D34-418C-9425-2E3AC2F81ED6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a106437677409ba08b4fe9c9fa84e8cb5ef65889","datavalue":{"value":"7628218","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104559$7BB08923-C064-4288-8296-7CE31BFBC810","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"815eac359e98c9f52da92b669667ea324d3c0ac4","datavalue":{"value":"definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2104559$B080F8AA-10F5-45D7-AAD8-E85720A87545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f86059082e213c6d99600292a95b3e82fea30a53","datavalue":{"value":"differential dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2104559$96F8F47B-C69B-4CE6-88E1-EC4C0727A06A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae89f505eb281e4ff1ac89423ec7ba9f01a8c235","datavalue":{"value":"verification of hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2104559$B5BB653C-9166-4875-9FC4-2ABD85C63506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2104559$5632ED53-9B48-4D91-AA38-8199A62EF44A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d2f61eeddf1828d82b7393c95d22003b9c58afa3","datavalue":{"value":{"entity-type":"item","numeric-id":19210,"id":"Q19210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104559$1EF6972A-6424-448E-B2F2-CAB1BAFE0DC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e3fa1be4925f6565903e34254fe3ce3cb99beabc","datavalue":{"value":{"entity-type":"item","numeric-id":18828,"id":"Q18828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104559$A9C5B40C-86CC-4954-9FB0-47D535BA3E84","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":"Q2104559$2682B4E9-73A5-4689-AC29-7F80F54BD933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"49f6fb65fa6d2a219475c4a5b936c8907f84d3cb","datavalue":{"value":{"entity-type":"item","numeric-id":16063,"id":"Q16063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104559$0D73C757-6860-4FAD-8479-78133E74D26B","rank":"normal"},{"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":"Q2104559$6DC90D80-006E-475B-98A1-2EE9ADBB67A3","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":"Q2104559$0699B067-F882-4F01-B04D-EBC3E1F30F71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bf8fe40ec0751f683b8f31fdc6f7f38f8aa07409","datavalue":{"value":{"entity-type":"item","numeric-id":13328,"id":"Q13328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104559$D08BD7A4-BAC3-4050-9D0C-3060E00F16BF","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":"Q2104559$7B09FFA0-7B43-4275-9416-FD0D19ED3C92","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"78050a3c91726aff5c3d1635e7e4024e8152e745","datavalue":{"value":"W4289104067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104559$A65CBD34-2DAA-4454-A37A-E0D0A0085BFA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a602a31ec5858953936704adacfb1f5bdcaed350","datavalue":{"value":{"entity-type":"item","numeric-id":972422,"id":"Q972422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104559$80028B59-6ABD-461F-985D-69A6FBE449B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5ad3b78a664643f19b3ee97851a9e734914e232","datavalue":{"value":{"entity-type":"item","numeric-id":2305408,"id":"Q2305408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104559$73431AF7-B9F2-4A07-ADC0-771D1836CFCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc90f519741959885c97856c7164fc497d5566b1","datavalue":{"value":{"entity-type":"item","numeric-id":2973239,"id":"Q2973239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104559$AB5085E1-89B6-4E7F-9C6A-D12BA751FB1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4370175d8030918ba7fe1c9ab8112224b76824d","datavalue":{"value":{"entity-type":"item","numeric-id":3498463,"id":"Q3498463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104559$5C008DD4-1865-4203-BFAF-7299144421B0","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":"Q2104559$FB7B3B1F-A5EF-4E95-9536-A2338E84DADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe33bf4e1ec51f59c09f65752ea810761eb09a2a","datavalue":{"value":{"entity-type":"item","numeric-id":4928439,"id":"Q4928439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104559$DAB0ABEC-1B38-4549-A58D-E681C128C40B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"371dbe88a742404ff35111c3c31d128d876ba05b","datavalue":{"value":{"entity-type":"item","numeric-id":2709206,"id":"Q2709206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104559$F5D92168-D3C2-4C22-804B-4E5C7ED8229E","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":"Q2104559$079230D5-15BF-431C-9D70-9D2F3AF7155C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12bcad11fe97484505c727089d3af542344d4df9","datavalue":{"value":{"entity-type":"item","numeric-id":4930176,"id":"Q4930176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104559$F697FE84-2A42-4A8A-95B6-71DF37FE6811","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":"Q2104559$FBF0F9AA-14A4-40F9-9CF2-EF881C6243CD","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":"Q2104559$C22520F3-6E90-4FF6-A273-9292F59B58B8","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":"Q2104559$3B9AE6FD-6494-4CBF-ADB8-88E7DA884940","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":"Q2104559$01344FA6-E1EE-4E16-B891-049E1BE5AE88","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":"Q2104559$19400BA3-67FF-4542-ADD8-D75F1000302A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abf8d495c451508305cdb95eaf5ba926efab7bae","datavalue":{"value":{"entity-type":"item","numeric-id":5565112,"id":"Q5565112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104559$25CDF8F8-BD22-45BF-B263-601EEE0A5BB6","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":"Q2104559$9B3BCE85-36F6-4F4C-B1B6-C1C43694C78C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d15b95442e7c0b28536b0b362e6b88570617db87","datavalue":{"value":{"entity-type":"item","numeric-id":4964711,"id":"Q4964711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104559$6DE04684-BDB1-4C66-927A-16E601945D73","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":"Q2104559$A412D26A-A045-47E0-B70F-58B078CC5998","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2104559","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2104559"}}}}}