{"entities":{"Q5918408":{"pageid":8049116,"ns":120,"title":"Item:Q5918408","lastrevid":54170426,"modified":"2026-01-26T09:43:54Z","type":"item","id":"Q5918408","labels":{"en":{"language":"en","value":"Automatic pre- and postconditions for partial differential equations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7440829"}},"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":"Q5918408$2943D40F-C62F-472F-9479-1C5BE6E6F196","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"51fccdf6d0a3682943b1de88775011e0d2040ed5","datavalue":{"value":{"text":"Automatic pre- and postconditions for partial differential equations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5918408$129846A6-F4D3-4D8A-BC0B-F14BF47EE94C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c0001895e97b6fcb4e68ed6f5130d1f647baae9a","datavalue":{"value":"1486.35128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5918408$03FA2879-CEE2-424C-817E-9F3F8293EAE8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"83f4e604f700b3c13ff5cb5e6dcd1f9b1e992f6c","datavalue":{"value":"10.1007/978-3-030-59854-9_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5918408$1A3E6A24-D40B-44F2-A5F8-29A4BDEFFFF7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e18224bff5766368d67ddcb517cf22b6a4ff445","datavalue":{"value":{"entity-type":"item","numeric-id":418132,"id":"Q418132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918408$3CA4818B-9DBE-4FAB-98B9-B4D9DD0769F6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"14c790a373839096cbb828adccdd03da8785642b","datavalue":{"value":{"entity-type":"item","numeric-id":5194919,"id":"Q5194919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918408$534D635F-2FC2-4A3F-BEF8-07F0AD095B98","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ccea0e72645421785937dbfd645828cb25e2fe7e","datavalue":{"value":{"time":"+2021-12-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5918408$06026C0E-61EE-449D-9B23-B32D67D720F1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5618c4f6c00e7e26fb21f98ea5359bbf20396beb","datavalue":{"value":"35C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5918408$BAB892C2-0517-4A3B-A4C3-DB6D88F32F20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b980c842891180453807e179242b9bd2ec22f3f3","datavalue":{"value":"35A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5918408$56D46AA0-E9C2-484B-8785-F9568DFDCBC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"45c7497834cc083fa42239f9dbf9547528b6cb1a","datavalue":{"value":"35G55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5918408$B37D865E-F630-40A7-8004-A1F3F5F5CC52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5918408$5B14E7C0-9144-4BA0-B9A2-0AD99D03DA62","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a56ebcc5e0b855eb92227c49bc3aba5ed961a9b3","datavalue":{"value":"7440829","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5918408$9BC44752-289B-416A-869B-F43838B03A54","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a78f594d5b43edef8354036abf532343ed22a611","datavalue":{"value":"polynomial PDEs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5918408$5DD7111B-F548-4914-A0EC-1AFFB1572D4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0dff5e7c0144e429e6f8a86afc93bbd4bbb19325","datavalue":{"value":"decomposition into subsystems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5918408$CE556895-F786-4BE6-80E2-5C5B2493954B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44a42d8030848d1b5cbc099813c4533fc48da430","datavalue":{"value":"formal power series solutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5918408$CF0CA845-A875-4A98-AC5A-C2EEE331A7A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"199c60de1e7b1805727a447210896226c6321a81","datavalue":{"value":"weakest preconditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5918408$8941795E-7DE5-4CE9-AEAD-AC6E1928F989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5801f6cbd876d93fd48fb61dfee4176866b824b","datavalue":{"value":"strongest postconditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5918408$20577C40-B855-4E48-97F2-5EADA201143F","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":"Q5918408$FEC6858D-BCBE-4C70-8175-54107E3DF7E3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8210b09710793483d36db710f42702679eeb4f58","datavalue":{"value":"https://doi.org/10.1007/978-3-030-59854-9_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q5918408$81120110-5CD7-431B-830B-DA266D7B1773","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"67a297831d4618a425526ceac193ae8ec0cad119","datavalue":{"value":"W3095770613","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5918408$8F3B26AB-C0AE-42F1-AE0A-6A4462D87F41","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"15e0f57c425991779433df8a745c283c5ccf7f73","datavalue":{"value":{"entity-type":"item","numeric-id":6230810,"id":"Q6230810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918408$52BE8C0B-0E85-4437-A73B-BE9C7D81D8FA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee256a94fcaf3de82fb62a8a2b41feb5c969a890","datavalue":{"value":{"entity-type":"item","numeric-id":5925548,"id":"Q5925548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0206ee7ecbe1b1c1d0c927547346e916cb1c77fa","datavalue":{"value":{"amount":"+0.9765416383743286","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":"Q5918408$F6E5DBA4-072A-4E44-84B7-DADB488A2C4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e548ab03bba3f17f21911254496ebdb810e0506c","datavalue":{"value":{"entity-type":"item","numeric-id":5127191,"id":"Q5127191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d0584db8b4611381de91ad788235bba27a54222","datavalue":{"value":{"amount":"+0.7305978536605835","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":"Q5918408$7B8CCE8D-38D7-44BD-AE84-2DF06C7DA8A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ef2f37fc1efd8838a661cccb9827ab411a9dc7d","datavalue":{"value":{"entity-type":"item","numeric-id":4352251,"id":"Q4352251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1034e728f38d022efa6bc48166570d96cda888a5","datavalue":{"value":{"amount":"+0.6798198223114014","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":"Q5918408$A1393EF7-8820-483E-8355-6D9210F96057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65e8064f393da230df1dc2be903d7a717c976356","datavalue":{"value":{"entity-type":"item","numeric-id":2914730,"id":"Q2914730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99f2a074289d619d87db3afa693f9183dc78d83c","datavalue":{"value":{"amount":"+0.6797580122947693","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":"Q5918408$8F28BA9C-6839-41B1-A9D0-BD620BB5C6E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2724a8a00bb8cd6d1899a19e1c3e5aba64b234b9","datavalue":{"value":{"entity-type":"item","numeric-id":4352813,"id":"Q4352813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea6028737e9b5620687bebd90abdbc5d4caa71ab","datavalue":{"value":{"amount":"+0.6787775754928589","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":"Q5918408$D5CAF5A1-F976-46F1-BFA2-E6D9B1DE8C9B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5918408","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5918408"}}}}}