{"entities":{"Q6535961":{"pageid":14147104,"ns":120,"title":"Item:Q6535961","lastrevid":55604977,"modified":"2026-02-17T19:35:58Z","type":"item","id":"Q6535961","labels":{"en":{"language":"en","value":"An axiomatic approach to liveness for differential equations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7817386"}},"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":"Q6535961$2F9EDB3B-3160-4CBA-B24B-988DB851D98D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f6048bda68735c138ab4f04c3712ee62ec008c7b","datavalue":{"value":{"text":"An axiomatic approach to liveness for differential equations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535961$05DCBDC7-E3D7-446E-ABB2-8FFD827802AD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b0049abac6ec3c4d2f7c21f61d3b3136aab3a0c7","datavalue":{"value":"1539.68185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535961$672E3FC3-5CFE-4B2C-B18E-6D993460630B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1a4085e753cffd4996455d01a3be9426128694a2","datavalue":{"value":"10.1007/978-3-030-30942-8_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535961$2E811C36-2CA4-41D6-AFFF-214094C2D11E","rank":"normal"}],"P16":[{"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":"Q6535961$62EBAC53-1A32-4E0B-BB0A-DBD27C0E75FE","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":"Q6535961$951BD0F5-EC49-4B43-963E-2E8FFEC6DDBD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4ecd18d7913b3cf9c39e121783283be5c3dae84c","datavalue":{"value":{"time":"+2024-03-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535961$17CD339D-5037-49FD-8FE8-DA37749E6EAB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535961$F9BB27EE-3F6F-4F5D-B99E-5A50A7941AA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535961$0AD129E7-330D-4D55-829A-3585B4F8792E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3cf19f414d003b599cb8555b9227d1a95bcc55a3","datavalue":{"value":"93C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535961$589E31F6-46E7-47F2-AE25-E2D3D20F73FA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8eb6edda7cda9a20c7100b1bbabc4e0ab4cafce6","datavalue":{"value":"7817386","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535961$7E80B83F-4ECC-4250-B0DF-1A19738A7006","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b76dcf6dd0cbdbc5afd7b443439105af3394643","datavalue":{"value":"differential equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535961$7F0FE110-DFA7-4188-BB17-7C879D03B166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f43b5d8c0ae8848835abc81341e946063dd5eca","datavalue":{"value":"liveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535961$2C050176-67B3-4459-A055-5AB3760A642C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f86059082e213c6d99600292a95b3e82fea30a53","datavalue":{"value":"differential dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535961$95CA43B7-CD15-42A5-B0DA-76D53D4C3449","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":"Q6535961$DEF52878-DBE6-436D-9837-5E3AE773196A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ffc0b2f76d892321800f1a758b8788e64abf337","datavalue":{"value":{"entity-type":"item","numeric-id":924105,"id":"Q924105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535961$BA60DB04-491E-442E-B504-EE8682570BAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ff4ee9aa7b61305175d1a63c09b662886a78de8","datavalue":{"value":{"entity-type":"item","numeric-id":4210476,"id":"Q4210476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535961$CC64B66B-2F11-48FA-8745-866EF54000DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0f0976adfa4e2a5288ab46f8ff3a6e68efa13a7","datavalue":{"value":{"entity-type":"item","numeric-id":5472808,"id":"Q5472808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535961$A369DEF3-CE56-4DA3-A37A-19752D4311BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"702e4362e1156e8786e389888f7888e6a1526239","datavalue":{"value":{"entity-type":"item","numeric-id":3176388,"id":"Q3176388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535961$56616DB8-751C-4197-9C6F-A5E4E538BEEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cb202acd1d6f3ea20140b2040684b7f4f4735dd","datavalue":{"value":{"entity-type":"item","numeric-id":5275312,"id":"Q5275312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535961$FF4E39F9-BEE7-4B6E-BF44-29D7DE361460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68d7877f5c06b692012bb89ac63c690d31fa44f3","datavalue":{"value":{"entity-type":"item","numeric-id":3942371,"id":"Q3942371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535961$51A43BBC-8822-47CE-8A86-58F5461137AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21dde64b16abccffdee12515a38e7b2cf117681b","datavalue":{"value":{"entity-type":"item","numeric-id":3406693,"id":"Q3406693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535961$D937C695-D8CC-47F7-B1E1-50045045FF03","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":"Q6535961$F0097922-531F-4FDA-8858-E723BBB71962","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":"Q6535961$6B4CB8F3-B2F2-4CB6-9E5A-FAF9EC51FFBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd8e2071575e5b13c5291e8d82391cbe6f1393b7","datavalue":{"value":{"entity-type":"item","numeric-id":5369242,"id":"Q5369242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535961$B39B9742-F8AC-4DD4-B509-89B8EC696A60","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":"Q6535961$BC725CE9-A198-461D-9F03-0506365AEBED","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":"Q6535961$CAECD41D-26E5-45EB-9838-4F9167A72FBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c563860f739c4bf7a3cb0074bffad21c50245f8f","datavalue":{"value":{"entity-type":"item","numeric-id":5899000,"id":"Q5899000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535961$1D757390-5329-414C-A2B2-3BAE804F8314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"683b0d1b9d23cf95e10d6f3555a884af1cc424e2","datavalue":{"value":{"entity-type":"item","numeric-id":5703951,"id":"Q5703951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535961$0D5D0302-4346-4CE8-B08B-2B1EE8A62C88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74179f6c1e4ee22854de83b66be2776471e4b2b7","datavalue":{"value":{"entity-type":"item","numeric-id":3506535,"id":"Q3506535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535961$1A9D0551-5BDC-4D50-AA5C-97A0BD4900F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"423a8be0980ebaa01d852c56c93e10a96852834a","datavalue":{"value":{"entity-type":"item","numeric-id":3083226,"id":"Q3083226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535961$05FC709A-6434-42DE-BDA7-5A450F08C89D","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":"Q6535961$720CC0F2-7A76-4124-9800-1D695A69E9BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a0c3c66fb6f31458a041f8acb51025d0e8ecd64","datavalue":{"value":{"entity-type":"item","numeric-id":2331077,"id":"Q2331077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535961$5BB8B42B-DA1E-4A5D-A283-9B06EEA6F7D4","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":"Q6535961$72E8AEB8-95C6-4887-BF48-E4AA04FF606C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54e28b8dbd7157607660f03badd2af9aed7edf20","datavalue":{"value":{"entity-type":"item","numeric-id":1982634,"id":"Q1982634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc9779ddd7c7836395ae754d09eb79eb4aa4af68","datavalue":{"value":{"amount":"+0.9413890838623048","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":"Q6535961$ABE1F9A0-219F-400B-BC67-3DAF0698E681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae63d6c8447a0a39cf3d39408c0467f134b5a16b","datavalue":{"value":{"entity-type":"item","numeric-id":5206959,"id":"Q5206959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8d873fc63d865741f443fd42fb7823ec066045f","datavalue":{"value":{"amount":"+0.7695229649543762","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":"Q6535961$8B7E448F-A589-484F-AF17-725E6355E51F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6eb9aa5d44ce8435856c5ab534b0bf4df0d4612","datavalue":{"value":{"entity-type":"item","numeric-id":2233505,"id":"Q2233505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ecec7bfbe4de5163bdab00f82aafadef322641c","datavalue":{"value":{"amount":"+0.7293749451637268","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":"Q6535961$62FCAB5C-2BBE-453E-8FA7-7D927683DC31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f85c8c487760a0f7469bf3c53ab1894e03ddf591","datavalue":{"value":{"entity-type":"item","numeric-id":763239,"id":"Q763239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b11083fc53e2369342246882e6d555d73489eb04","datavalue":{"value":{"amount":"+0.7136492729187012","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":"Q6535961$FEB359C0-F8A5-4CD7-9C3C-0BC075656701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40c91107db671e873d357b5eb026a65ddb762267","datavalue":{"value":{"entity-type":"item","numeric-id":4649386,"id":"Q4649386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"654feda3445b27430bebede45d0e3f5e4a882605","datavalue":{"value":{"amount":"+0.7115289568901062","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":"Q6535961$E0CC05B7-CD0D-4E0C-BEB3-6AD193598E51","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535961","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535961"}}}}}