{"entities":{"Q1856154":{"pageid":1866896,"ns":120,"title":"Item:Q1856154","lastrevid":69121593,"modified":"2026-04-13T04:55:17Z","type":"item","id":"Q1856154","labels":{"en":{"language":"en","value":"Mechanized result verification: An industrial application"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1862271"}},"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":"Q1856154$32F6B173-5F3E-4BD9-9D98-7A3DB8A74EBB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9dbafc299e014037b249ea403d8d3618142af3f4","datavalue":{"value":{"text":"Mechanized result verification: An industrial application","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1856154$DF4762F4-55C8-4055-AC5A-52D297E6EA0B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"285796c4815382aced601107bed71ebdb5c52be1","datavalue":{"value":"1059.68616","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1856154$B5390B62-24DB-40F2-BFF9-3730E8FFFD0A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"79cbf0a3144dd64ad3afb22357ca2fa7b6f335ca","datavalue":{"value":"10.1007/PL00010809","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1856154$B38BEF72-85C9-4C0E-8D74-DC42511F0F88","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"943c650392a3817201cf599afc27db772c982eba","datavalue":{"value":{"entity-type":"item","numeric-id":1380426,"id":"Q1380426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1856154$19359F45-5A85-40D2-946B-A3FC05DE51F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e21d9c94256bb699076b4aabe1ec76059c6a4306","datavalue":{"value":{"entity-type":"item","numeric-id":1856153,"id":"Q1856153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1856154$888F2A2D-5404-4B97-8C60-37DAF122D17B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e1846ce75b2b308fd593b292d943abd351ca6751","datavalue":{"value":{"entity-type":"item","numeric-id":225063,"id":"Q225063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1856154$F1F06A35-8B44-4FE9-B3D3-5BBC76A176BA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51fa866876a61ae2435740199de51e5bb1a31ee7","datavalue":{"value":{"time":"+2000-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1856154$CCC04A46-D0A8-4C93-8D2C-EBFB37575B84","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1856154$598FE2B0-30B4-40A4-A1BA-51474B31E6CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1856154$DB1D859A-A397-4830-81DA-0145874B411D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e665b08a37af1737607236d067159d3af1285786","datavalue":{"value":"1862271","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1856154$6EEF34D6-B655-47EC-A9D9-DAE3FEE05E31","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"751007d532c41d9c7135ed1276c6a03b43b66242","datavalue":{"value":"mechanized result verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1856154$53DAB528-F0CD-47DA-AE5F-4DDDA19A43EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f5cd91049aafbb7429741190c883a73bd6e5dee","datavalue":{"value":"validation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1856154$6848E5B6-ED1C-42D8-9F29-15837CCE2F5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a7f51221dec9b057e57f8e0452d909b3d6cb541","datavalue":{"value":"safety critical software","type":"string"},"datatype":"string"},"type":"statement","id":"Q1856154$D8D50814-CAC8-4FED-928C-918D7B7856CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"615f2a3773e3a9a3bad386a540fbc6c58cfa22ee","datavalue":{"value":"decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q1856154$45064DFE-5DED-4228-87DF-6CFA8FC8F4E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1a71abc5635164e0e14049d14fa671f3a60d1ea","datavalue":{"value":"online/offline checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1856154$B33CC8F0-F3B2-4D64-83A9-ECB38A041CB0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6d24ec78a261f49887cfb0ce166351e47e3f1e89","datavalue":{"value":{"entity-type":"item","numeric-id":21931,"id":"Q21931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1856154$2C10C1F9-879F-4DB3-9805-0240E4E17AB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1856154$7A055E37-D1F5-4E6A-B8C7-A2BDA5D52930","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":"Q1856154$7D3ACA83-198E-4D10-A942-4031D82F6007","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"30247fa636ba44a4c31fc5b0ee934007520de775","datavalue":{"value":"https://doi.org/10.1007/pl00010809","type":"string"},"datatype":"url"},"type":"statement","id":"Q1856154$75D07D80-C4B6-4B3B-ACA8-D16322612379","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4d4c71ce9065fb4b8c9be5d7ff390d202b12efb6","datavalue":{"value":"W1971004139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1856154$88FA9755-978A-4A03-8D67-F91C0183817C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17a22c0f0932a0fbfc2341cabd459f95eb3e24a1","datavalue":{"value":{"entity-type":"item","numeric-id":2841237,"id":"Q2841237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e55ca26e039c9160f208af8c396d85c6c63f6fd2","datavalue":{"value":{"amount":"+0.758037805557251","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":"Q1856154$5E8AD3BA-5F0C-409E-B288-204FE3BF4E1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83028cd035a9ac61e5cf2a42518d71034174867b","datavalue":{"value":{"entity-type":"item","numeric-id":3308161,"id":"Q3308161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65272a107699a6e0a6e2b1f9edde693453bda8c9","datavalue":{"value":{"amount":"+0.7376208305358887","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":"Q1856154$7ED55C2D-C709-462F-A769-3C6221717C55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3e54de70359c17c91d77e16505b0af0925517b0","datavalue":{"value":{"entity-type":"item","numeric-id":5387904,"id":"Q5387904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"232434090c2330cdbb58e47fc2c508a59c6cfefe","datavalue":{"value":{"amount":"+0.7267060279846191","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":"Q1856154$C3C38096-8166-43A7-B0CA-5D4E8223EB22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1335255e53437e5ef4f817148c595db6c02a4ba8","datavalue":{"value":{"entity-type":"item","numeric-id":3024890,"id":"Q3024890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7b2c2d4d027abc83459a4522cead44d29419561","datavalue":{"value":{"amount":"+0.7129044532775879","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":"Q1856154$A058E319-87C7-40A1-BECD-D5F9CFA8DD86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3f3330181426266e44f5be404c51e8f6a92653e","datavalue":{"value":{"entity-type":"item","numeric-id":1856140,"id":"Q1856140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56968c69db85559c5f9c4edcb5ff719d43c7540a","datavalue":{"value":{"amount":"+0.7123702764511108","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":"Q1856154$2FD58AA9-2140-4FD0-9829-68BE41D176B1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Mechanized result verification: An industrial application","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Mechanized_result_verification:_An_industrial_application"}}}}}