{"entities":{"Q6934135":{"pageid":21108376,"ns":120,"title":"Item:Q6934135","lastrevid":84114986,"modified":"2026-05-10T10:48:25Z","type":"item","id":"Q6934135","labels":{"en":{"language":"en","value":"Embedding differential dynamic logic in PVS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8089323"}},"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":"Q6934135$7DD2CD89-2115-412A-B235-575B43B51666","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a26432ea9e26f02e035a0fafe4502a77a0082f07","datavalue":{"value":{"text":"Embedding differential dynamic logic in PVS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6934135$32311C88-CE7E-4831-9B41-C2DC19A8331A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"392ca81f2a6bb4186f00e9cbf2c7b01043e0b259","datavalue":{"value":"1572.68346","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6934135$10273C64-696C-4544-B326-F39F1AC10F5D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f9fcd5c4b83929a8256b295dd26087ad68724d77","datavalue":{"value":"10.4204/EPTCS.402.7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6934135$B51EA0A0-318C-48B2-B2F2-C3B909C96306","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8943b59af047cea3bbb8ef8f0a49944171fe3995","datavalue":{"value":{"entity-type":"item","numeric-id":4973538,"id":"Q4973538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934135$6F4C5952-8675-4C4B-90FA-EBC4CE1AE19F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1684e6d1ab96f8ce065c335ada648ad924c8214","datavalue":{"value":{"entity-type":"item","numeric-id":1791189,"id":"Q1791189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934135$58925CD3-ECF9-4806-9175-5A05D49DB7BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"831d8f78ef3a8b53b45096b61eee1e6e8572abe2","datavalue":{"value":{"entity-type":"item","numeric-id":329492,"id":"Q329492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934135$74F323BB-F0C2-43B8-81A9-FB623FCA9AEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"964ad06bbce2223d39835995102fd837d5d2b24f","datavalue":{"value":{"entity-type":"item","numeric-id":1791191,"id":"Q1791191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934135$226C0322-8506-4EF9-AD14-E402F134B96D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4aed1637d3fcc12590e84379c64622ce9a76a855","datavalue":{"value":{"entity-type":"item","numeric-id":6934134,"id":"Q6934134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934135$89CC1EAC-BE01-4CF0-BDAA-8DB8C44CB331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"40bdaaaa529951295d888380d74abef1e8b7b8bc","datavalue":{"value":{"entity-type":"item","numeric-id":6099619,"id":"Q6099619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934135$5DDA7C2B-CBC3-418F-AE39-EAED3D3BCD3E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50e7e1513349015c9ad9d54964e1d81738fe0b09","datavalue":{"value":{"time":"+2025-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6934135$81B9BADD-F21C-415C-86F1-446C75381C19","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6934135$9331917F-2951-4F95-92C0-F86939C25E21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6934135$A2543327-925C-4AE7-B986-EF901022BD1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6934135$2E04E8E1-073C-44E2-83FE-625AD7BD327F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"17b79bc56d2ea61984859034ecc746c1612510ac","datavalue":{"value":"8089323","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6934135$4A7112D8-0BD0-49ED-B5FC-E826B4E49ABD","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":"Q6934135$1B0654E8-3861-4667-8856-B01E99BB3E4C","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":"Q6934135$5DDCFBC7-E2D3-4A03-A7B1-638AF1A8432A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faa3cb6ff777942f3dc326da26c14f3c032918e8","datavalue":{"value":{"entity-type":"item","numeric-id":264193,"id":"Q264193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934135$0A69FAD3-7ECD-430A-B250-0868524D4DA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd51f0a26cf7ffc6f871ea5d6f0668421e06bb04","datavalue":{"value":{"entity-type":"item","numeric-id":4975017,"id":"Q4975017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934135$FA2B2BE3-9B28-48FC-BEEA-1CEC76B6F6E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcd44752aa5df5cd038054d2d30c6001d6392b03","datavalue":{"value":{"entity-type":"item","numeric-id":286790,"id":"Q286790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934135$21B4D1CA-810E-440B-A804-02418B2E5C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34191f16d76ccc616e5923654940f898b0795633","datavalue":{"value":{"entity-type":"item","numeric-id":1996426,"id":"Q1996426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934135$B1100D5F-7293-4F4A-BCE1-7885B7F8F085","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":"Q6934135$27671765-7152-4657-87CA-E62979C1333B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aeedc506ee95714a79cfc16f82862182df8774bc","datavalue":{"value":{"entity-type":"item","numeric-id":3613408,"id":"Q3613408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934135$77B90255-0FEB-4E7D-99A9-D28DC67F86B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4effe4d70b56335c838542565ed4de52ec1b252a","datavalue":{"value":{"entity-type":"item","numeric-id":3192200,"id":"Q3192200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934135$CEFA9311-1B43-4DC6-8380-31D9421EC78E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65eb31560a769bd532b11507937f960201bcd2a3","datavalue":{"value":{"entity-type":"item","numeric-id":2945641,"id":"Q2945641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934135$592ADDC0-F21B-4E01-97E6-332CE2F94DFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97e0ae61eecb3435a399a4b5baacf30cfca4a2f8","datavalue":{"value":{"entity-type":"item","numeric-id":5215905,"id":"Q5215905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934135$8834F882-4FFF-40CA-80BD-F27E073889CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fc016de9682afb7bdc877e0f128ebe49d7c4cb6","datavalue":{"value":{"entity-type":"item","numeric-id":1617825,"id":"Q1617825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934135$2215AF86-B96C-4706-8E5E-D87BDD3D721A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab1507b6b5edb70d4c69829a2d7e9cc7ed436f50","datavalue":{"value":{"entity-type":"item","numeric-id":832721,"id":"Q832721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934135$3184BE95-D0C5-494E-A953-0A975F2A6E09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d203aee6c3ddadf3b7142229404c713bd9eb9b1a","datavalue":{"value":{"entity-type":"item","numeric-id":6099621,"id":"Q6099621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934135$007A0F66-2560-4119-8694-AAD5B44543B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4811f9d3d7db5db1fad3cb6ae2d4fac4173d257f","datavalue":{"value":{"entity-type":"item","numeric-id":2351165,"id":"Q2351165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934135$102536DF-07B3-49E9-8AA0-E3E1295CF3D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2d7d2170e8e763d343ccdf229748d33859b1bdc","datavalue":{"value":{"entity-type":"item","numeric-id":287269,"id":"Q287269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934135$38428835-38B6-4332-BCCF-5FAE190BFC1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49f549721514c0c51cc7c63b69641abbab2bcc11","datavalue":{"value":{"entity-type":"item","numeric-id":5434491,"id":"Q5434491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934135$175A74CC-8823-49CC-851B-C37BCA746047","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55695e5ab4b64253cf0ec789d97490a922433bc6","datavalue":{"value":{"entity-type":"item","numeric-id":5434526,"id":"Q5434526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934135$F8BAFD2B-479B-45F8-8CF6-3AA6A18D97A8","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":"Q6934135$F5554537-BB24-4953-B9EE-CBF2333AD9D0","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":"Q6934135$DA794066-E8BF-4F72-8D7C-4797940A9AEC","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":"Q6934135$198E3F98-C859-40E4-9AD0-0604ECEFFA5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fde6eb5b0e84675ef4620bb83bbe0e6ca273f1f3","datavalue":{"value":{"entity-type":"item","numeric-id":3586060,"id":"Q3586060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934135$E60262BA-F64F-4989-8397-71C14D3036BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e32aa66af71d4885cd35e7ceb0c677ff94ee893","datavalue":{"value":{"entity-type":"item","numeric-id":5200042,"id":"Q5200042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934135$63C5D362-F655-4041-969F-3C8D0696134D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d369a00a912276bbb6f1d71c301f7df62056f0c","datavalue":{"value":{"entity-type":"item","numeric-id":5277902,"id":"Q5277902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934135$401C9287-EBA0-4396-B14D-60A2C8284564","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":"Q6934135$7E165D52-4E56-474E-A3E9-D7F5C49C6E80","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":"Q6934135$8106C64D-21B5-4B8D-A398-2DA8E54B282E","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":"Q6934135$6835A267-CD64-429D-A93B-A7A28CD8BC94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acc7bb688e36a446efbb878eae04a63fae25e6d9","datavalue":{"value":{"entity-type":"item","numeric-id":6174532,"id":"Q6174532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934135$17D2CCE1-B5AB-4E11-B43F-9D3337779206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc6eb40f53a6a840ff4c22ca7d5bbe012d2de958","datavalue":{"value":{"entity-type":"item","numeric-id":3296349,"id":"Q3296349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934135$DEE6CFBB-D729-4C95-A875-49E5D162C536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3305c6f2f554cac3fbccd1e79cc5f7cc6fb46c0a","datavalue":{"value":{"entity-type":"item","numeric-id":3460585,"id":"Q3460585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934135$0F79E3CF-9737-4038-B825-71C23247D7D7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Embedding differential dynamic logic in PVS","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Embedding_differential_dynamic_logic_in_PVS"}}}}}