{"entities":{"Q2870169":{"pageid":2880889,"ns":120,"title":"Item:Q2870169","lastrevid":51906086,"modified":"2026-01-20T12:40:17Z","type":"item","id":"Q2870169","labels":{"en":{"language":"en","value":"Formalization of Laplace transform using the multivariable calculus theory of HOL-Light"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6247472"}},"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":"Q2870169$352E27EF-12AA-4164-ABE4-54334503A525","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"465644796686a38f9432db40d041394d413b5c40","datavalue":{"value":{"text":"Formalization of Laplace Transform Using the Multivariable Calculus Theory of HOL-Light","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2870169$06E85BFE-7E84-49FE-AC50-375C775B12A1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7e9964bba2e4a1e7005f405d7b14b772e700fb7d","datavalue":{"value":"1407.68443","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870169$FD2B2A97-E350-41F8-91F2-B27980A81772","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"18701c731e871975ba6cde2fbd88fd673874effa","datavalue":{"value":"10.1007/978-3-642-45221-5_50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870169$CFA8BC53-8474-466B-87C8-41216E7B66E4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d56212a6ca7d448973e039e7997cf182a80bde2","datavalue":{"value":{"entity-type":"item","numeric-id":2870168,"id":"Q2870168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870169$32C14A70-0A8A-40F0-945F-EB637AD33172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"82ebb2363fdfd758d32815b7ec9753d05d4093f6","datavalue":{"value":{"entity-type":"item","numeric-id":6773498,"id":"Q6773498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870169$B2B1422D-7C95-4EA2-927D-5F44441EE896","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870169$14D8386F-8625-467E-9EAA-49AC20E7E158","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7cbcb8793fff212e9a1970116a64b7b67cfe92e5","datavalue":{"value":{"time":"+2014-01-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2870169$D527ADA7-DDE7-42DF-A2C1-8BAB85646BA8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870169$8D069AB1-E23E-4D5E-9E6B-DCCCBB7087D7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b8f816637812069fb0e8fcad71d07b849e7238de","datavalue":{"value":"6247472","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870169$D88665EE-D0F2-4753-9355-8ACC3BB19621","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6f2f63e500080a6ddf193303e231e60b55ad6d8","datavalue":{"value":"Laplace transform","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870169$6B7BB622-9B35-48FD-9E2B-617C3F257F8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7906f67303a7551ca5ce5ca51b5f0d18d5f47f9b","datavalue":{"value":"LTC circuit","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870169$4F3C971D-65B9-4032-BF02-40CAD589A766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"672ce1797f550c4c5c7a1727f474cfdf0534789b","datavalue":{"value":"HOL-Light","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870169$45ACE466-5B50-4FC7-AEB0-19DE5F430288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5ef51b89dbf72f7181f6b41896d9233a3e6b1ce","datavalue":{"value":"formalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870169$2B4700AB-EC06-4F10-8054-017D25EA0360","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ee80fa482e8c030191fc3263e069d0dc0cdf7815","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870169$60AA6F0B-114F-4154-813A-DDAB3955B7BA","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":"Q2870169$9001A3D1-3048-4AA3-A699-A77481136706","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c21efc78d669d90d0a4ae89e195b59b9599af9cd","datavalue":{"value":"https://doi.org/10.1007/978-3-642-45221-5_50","type":"string"},"datatype":"url"},"type":"statement","id":"Q2870169$74F51030-C255-42DE-A814-7DA103E3CAF6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d6d22ab07a402112a976add18dd256ad41ef64b8","datavalue":{"value":"W2162843658","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870169$C01CFB82-3557-41A2-91B0-1E5EF7A7CE10","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51b4c1a6cc73475e4d910067ec5b89bfb7daced5","datavalue":{"value":{"entity-type":"item","numeric-id":2829282,"id":"Q2829282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e48942982978f0115969ff8b9978f99bd7b03da8","datavalue":{"value":{"amount":"+0.8206617832183838","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":"Q2870169$6CAD52FE-E88A-4026-8DB9-2CBD51E66547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad617f4867ba25c0dbef4c11fe4a2485819f46b8","datavalue":{"value":{"entity-type":"item","numeric-id":5869574,"id":"Q5869574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a259936abd854a068084744d074a56d5b48b31b","datavalue":{"value":{"amount":"+0.814133882522583","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":"Q2870169$53629E32-ABA9-43CB-A88E-50BCA286AE26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40a358107e0aa52d0d1913166ea142904824186e","datavalue":{"value":{"entity-type":"item","numeric-id":2364690,"id":"Q2364690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"218cdd293898734fada6a8e8f6ed3411f9788955","datavalue":{"value":{"amount":"+0.8079507946968079","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":"Q2870169$62E69612-AB38-48D4-8862-A076B1EDDB43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97ffca00c7848a047cec838a74c50514c4ed10f1","datavalue":{"value":{"entity-type":"item","numeric-id":2879271,"id":"Q2879271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c9b8d294d5691fe8077d9c45c720d77bb66a5d4","datavalue":{"value":{"amount":"+0.7680863738059998","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":"Q2870169$6A595E3C-E481-4E3A-BBF8-4B92C01C59EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f75593fc7091fd7b5f9d18544a3d3a394ace3d91","datavalue":{"value":{"entity-type":"item","numeric-id":1640640,"id":"Q1640640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f1accde923b2670b3daa0ed7e948e9af59ba3c5","datavalue":{"value":{"amount":"+0.738294780254364","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":"Q2870169$7AF7E460-A186-4D8B-9E49-DBA116EC8672","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2870169","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2870169"}}}}}