{"entities":{"Q6041173":{"pageid":13175274,"ns":120,"title":"Item:Q6041173","lastrevid":47854687,"modified":"2026-01-02T21:36:38Z","type":"item","id":"Q6041173","labels":{"en":{"language":"en","value":"Verifying properties of differentiable programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7689283"}},"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":"Q6041173$241613B4-C993-43C7-A2F0-CFD7AB258C69","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"68dd92bf8d85d88a72732fc2bc09eeea399b3321","datavalue":{"value":{"text":"Verifying properties of differentiable programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6041173$49C65D37-A7B5-42EE-9195-F2B9DB8D4AC1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"db273e24a33fc8d691de579022e476216ca6277c","datavalue":{"value":"1511.68078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041173$37F4E0A2-D2A6-4F66-A0F0-1D258C18DF3C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fdf7a1aaa02d9575c064bb3ce0a2bb85f85f512b","datavalue":{"value":"10.1007/978-3-319-99725-4_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041173$79A57B30-B57F-4B6B-9058-B815257885DD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"103b3f0a0d9c662d6f6c7ea860c64388d3e53fad","datavalue":{"value":{"entity-type":"item","numeric-id":2023668,"id":"Q2023668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041173$BDB463B6-DDBD-4CE7-B2D6-B0290CD3C6F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fe38c117911d5e0f57c7beb708eb7bc1d4de07f0","datavalue":{"value":{"entity-type":"item","numeric-id":6041172,"id":"Q6041172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041173$87795101-6869-45CA-B6BF-5B1CB3A48516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"42c0fcff3d477b3cda1677398661fb31b37d6757","datavalue":{"value":{"entity-type":"item","numeric-id":2913151,"id":"Q2913151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041173$A1040DDA-FB28-4050-9346-D43941EB1B9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b278df194368acdcf33f8ca3335a7df817f9688e","datavalue":{"value":{"entity-type":"item","numeric-id":453517,"id":"Q453517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041173$6C84099D-71FC-4918-9E06-C384F3CC9C1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cccf4e00ababd000d0a65ded2422dcadee979ea6","datavalue":{"value":{"entity-type":"item","numeric-id":1029808,"id":"Q1029808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041173$071B4091-E82F-47A8-8022-9284FC46FA4A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19e166a297e557c212f7b597bbbbc3f69b1ceb4f","datavalue":{"value":{"entity-type":"item","numeric-id":2870767,"id":"Q2870767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041173$38EA7E2B-2A0F-43DE-907E-901A432B8DBC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9e202514302232ff7f5ec81097f072c587f02b43","datavalue":{"value":{"time":"+2023-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6041173$B3A3FD1C-E399-4592-9C3F-A98D63BC3399","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041173$1935B766-80BA-4FFC-A5E0-B4E9C48E7E3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041173$5D9037BA-10B5-44BE-B2F2-CD3C9627D8A3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"70e301e39694f7c6ed1fd594470b65c03560b14c","datavalue":{"value":"7689283","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041173$54441C69-D901-4AB3-A2B9-7298CD02FD39","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6041173$5FD0D757-FE6E-4A9F-9B63-DA0EDC616FA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6041173$808B2BDA-7A80-4F38-83DB-0B28047B1F14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69dd490da9b67dc4fe4c624a05791d0c4fa27f2e","datavalue":{"value":"symbolic execution","type":"string"},"datatype":"string"},"type":"statement","id":"Q6041173$1BC113FE-ABAC-42CA-96E6-D0E914CB6D3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6041173$C34F7EF7-2290-4744-A81C-D6EA1A11F9FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6e44577c37f3f62ec62d826cdfefecdf411500f","datavalue":{"value":"algorithmic differentiation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6041173$FCE826EA-0C96-458F-9038-B87EFDE8CC27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0406bcaba2e6336b18a1bb54d386b956e4bec793","datavalue":{"value":"numerical algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q6041173$7844AAA0-9A73-4E92-8323-F5ACFED095AF","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":"Q6041173$23061C90-8D63-46A6-A5DE-D9BD91E84E5A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e8c511b7f2031d93dd72d7866c43f513536df930","datavalue":{"value":"https://doi.org/10.1007/978-3-319-99725-4_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q6041173$ECE6E42F-D04F-44F8-890E-0E442B155472","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f2877675c9a25e6660b11aa3f0790844af2616e7","datavalue":{"value":"W2888869175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041173$4B63564A-5661-4D1E-825C-2E76F37199D1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1819c0d4a14c568f73fece2dc18836e8e57b1672","datavalue":{"value":{"entity-type":"item","numeric-id":4660652,"id":"Q4660652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2eaf6940611d8a206c0f00cfe6954114d9da0677","datavalue":{"value":{"amount":"+0.7373530864715576","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":"Q6041173$2BB0D293-6763-4ECF-977F-92A5131FF0AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"960513964c3f44aa418e2d02d6cbe979fa1939d1","datavalue":{"value":{"entity-type":"item","numeric-id":1949768,"id":"Q1949768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30d6821af3314b139812772875d2a3baac052890","datavalue":{"value":{"amount":"+0.7355438470840454","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":"Q6041173$6C4B8381-B361-4C5F-8D9B-5EAABD75005A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9b5f37d66227b87e8c04eec86814bdb5e38e2c7","datavalue":{"value":{"entity-type":"item","numeric-id":1949765,"id":"Q1949765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1b62ca109ea2c9bdc72b3172125f5120c39b6eb","datavalue":{"value":{"amount":"+0.7121909856796265","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":"Q6041173$493F5D95-B429-41CC-B538-291349D51A8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b060af911e24772429645c8e265f0d8a2b26885a","datavalue":{"value":{"entity-type":"item","numeric-id":2398899,"id":"Q2398899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8425eeee75d23725e8e586622898b40dd9a66c6","datavalue":{"value":{"amount":"+0.706653356552124","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":"Q6041173$D1D12E6D-C99F-4BEF-A85D-A0E24DD5C63D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ad82efd591473a8164f3619743b545c65b5925f","datavalue":{"value":{"entity-type":"item","numeric-id":1949767,"id":"Q1949767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07b55f1a798396d7a75b6ced5d414449ccd9640e","datavalue":{"value":{"amount":"+0.699489176273346","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":"Q6041173$D3EF4465-B758-465A-B383-BA4D3BB1649B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6041173","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6041173"}}}}}