{"entities":{"Q315313":{"pageid":317080,"ns":120,"title":"Item:Q315313","lastrevid":60935958,"modified":"2026-04-10T20:05:38Z","type":"item","id":"Q315313","labels":{"en":{"language":"en","value":"On the formal analysis of Gaussian optical systems in HOL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6628719"}},"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":"Q315313$A7E64A5E-AED6-4787-B5B8-8699CE3B2804","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2a9cf0e3f21dd33847858c51ed05f56c218fdc2b","datavalue":{"value":{"text":"On the formal analysis of Gaussian optical systems in HOL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q315313$4EF6A099-5CC8-4DE4-8BEC-F200280E5675","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5a4f69d9f5e85a750a5d5276f6e823f6b26042f1","datavalue":{"value":"1345.78002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q315313$1E17946B-186B-415B-9DA2-DA00E3EE719F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"21f80ae8d71f9783cdb2f9f83e88055ccf7296d6","datavalue":{"value":{"entity-type":"item","numeric-id":315312,"id":"Q315312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315313$AB3CDBF7-D80C-41C8-9E03-0C656855A34E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0d2c11253a443ddc53e205509995096ef6b865e","datavalue":{"value":{"entity-type":"item","numeric-id":246141,"id":"Q246141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315313$5F35317B-EE83-429E-9D84-7BBB2A1D3098","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315313$002F2C2E-CB00-420F-8F7F-56D02CA4BB4A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dbba08bda189fa94872c99bc6572a2cbb863f372","datavalue":{"value":{"time":"+2016-09-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q315313$C2721997-8861-4C85-A916-0C3C349305E7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"eacfbe84063e034dfceb64d16006aa37b40ff349","datavalue":{"value":"78A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q315313$5BBFD671-6234-40A4-BDB6-AB9FD318F9D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q315313$F0637E00-4F86-41EB-825A-5397CB2C4EA0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"987a2b81a9f5f9473f2f5847952d20298e10a0b9","datavalue":{"value":"6628719","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q315313$B8606778-C458-489A-9921-A279A4235CE7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f22ea613721e66313d07069663844bdcae9dd9b6","datavalue":{"value":"geometrical optics","type":"string"},"datatype":"string"},"type":"statement","id":"Q315313$44E4362A-8839-495F-A65B-CC8FEEC931F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9394d1e165b263cdf3d7850ae79b2b65fd02e8e1","datavalue":{"value":"Gaussian beams","type":"string"},"datatype":"string"},"type":"statement","id":"Q315313$C26FFEF8-B737-4138-9735-33A0BFDD8CFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ffc86753df781f18a6921d7e34a1ae0a2ee8a54","datavalue":{"value":"quasi-optical systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q315313$7A2377DA-88CD-492D-B689-9131A27AB9F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q315313$0EFAA7E0-37E6-4483-8354-A9B5E2F3073B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"104686f3a3b63f31fa6c79f5f0116fe39fff0a7f","datavalue":{"value":"HOL Light","type":"string"},"datatype":"string"},"type":"statement","id":"Q315313$DF200721-5C70-4673-A45C-C6CE994D3C04","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":"Q315313$755EE853-C8B3-4763-9450-237E6B2F0F95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"66eb045e037081b6f6e8499f9fef44d8fbb7e0b0","datavalue":{"value":{"entity-type":"item","numeric-id":22240,"id":"Q22240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315313$503171DC-EF00-4B7E-A336-1EF06394E57E","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":"Q315313$1BF2C159-772B-4B96-97DB-23205E5C324F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"498012cdac1d89252458e42642d2001cad6534e8","datavalue":{"value":"https://doi.org/10.1007/s00165-016-0367-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q315313$19350743-4535-46BC-91FD-9BDC3ABAE8B5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1e54d523644d79fde5c8071ee0abf5ac167f0f54","datavalue":{"value":"W2334113034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q315313$03C50C2C-ABF7-4259-9F0B-6506CC69B20A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b614d2d330f36bdd9ecd3e94fb292809877a0f54","datavalue":{"value":{"entity-type":"item","numeric-id":5307073,"id":"Q5307073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315313$04508C76-523F-48BF-A092-DFF0E9A01A52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e34b8c44e244e41df1e6a71d401fe96dcb5008fa","datavalue":{"value":{"entity-type":"item","numeric-id":475384,"id":"Q475384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315313$44555CA1-DA0C-411F-8985-2B75D96790A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"483d3c17c09c578723154da4261b70aeda673d47","datavalue":{"value":{"entity-type":"item","numeric-id":2351415,"id":"Q2351415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315313$B48920F0-6A96-48CE-87A5-B42AD25C7CB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4364a79860672afeee7842125a89a35b61150dd6","datavalue":{"value":{"entity-type":"item","numeric-id":2868454,"id":"Q2868454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315313$ED170112-8322-4ACA-B50C-F1D32036887B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9f4d02f2d7adb3dea13c8fc45c806240f1988d9","datavalue":{"value":{"entity-type":"item","numeric-id":4530838,"id":"Q4530838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315313$8BB91503-1324-4878-A3C3-836E662A304E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03cb8e50e6c3bd60a9a9a59407cf30e8e788baa4","datavalue":{"value":{"entity-type":"item","numeric-id":3618853,"id":"Q3618853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315313$D1E5EB1C-CD46-4957-B4DD-A33604657320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17a69741364102658aa60a87b94db8d7506ce725","datavalue":{"value":{"entity-type":"item","numeric-id":3183517,"id":"Q3183517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315313$0C251DCE-2992-4BBA-9B97-8E54FA8BC0FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0ef84619234e2e46e8c4513d6d1ef3cba6f5b65","datavalue":{"value":{"entity-type":"item","numeric-id":1945903,"id":"Q1945903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315313$7FA1959A-B1B9-4F09-9452-A70C05AD2F91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d27ee200abd83609f62add884f9edf5a03feec43","datavalue":{"value":{"entity-type":"item","numeric-id":3453125,"id":"Q3453125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315313$4B28CC89-6A39-4090-983E-E63EA788A87D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"512003da1c31a95beaa1880db12a79292807cddd","datavalue":{"value":{"entity-type":"item","numeric-id":2849513,"id":"Q2849513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315313$B8B28B96-F1BE-4575-AE23-850323AB1674","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7ec677102c64fde92f72c4c3d95e74df5050c94c","datavalue":{"value":"10.1007/S00165-016-0367-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q315313$C91882CA-D4E7-449D-BD43-6F5B8651065C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"567d4fcfba0870c5caa52099ca9f2cf4cfb79912","datavalue":{"value":{"entity-type":"item","numeric-id":2849513,"id":"Q2849513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76f29477e94dee92e2e2c6a55878c6e7a967caa7","datavalue":{"value":{"amount":"+0.90825903","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q315313$E903A1DB-0C2A-4827-9B17-B729A7EFD025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f68c30e78b318c21de372011909944d5f1bfb69","datavalue":{"value":{"entity-type":"item","numeric-id":3183532,"id":"Q3183532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c54f485820ffc0f1815b9c25b46dd631c5cc08c","datavalue":{"value":{"amount":"+0.9031693","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q315313$438231F3-2503-4E06-80A4-A89158A032A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"539bc861b4d3009317613a6568132d2e0c6e496b","datavalue":{"value":{"entity-type":"item","numeric-id":475384,"id":"Q475384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"941db752d509d51efcca234b1804035964771238","datavalue":{"value":{"amount":"+0.89254916","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q315313$149FC772-17B0-49EF-851C-FD24A5CD08A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84f90ae5371dcaca72338fb238c307db7c1b25b6","datavalue":{"value":{"entity-type":"item","numeric-id":5351477,"id":"Q5351477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"046d579e6fa9083ef55dbdd000e76399d2fbd220","datavalue":{"value":{"amount":"+0.841672","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q315313$C2B02402-CD81-4C92-B915-72768BC968E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8395345f952479554d5c5ac1f08bb1040c2352a","datavalue":{"value":{"entity-type":"item","numeric-id":4461584,"id":"Q4461584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e54b48b43a8fadee3ec5a87c9145eccd9400140","datavalue":{"value":{"amount":"+0.83834094","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q315313$44249463-EF83-486C-ADE6-910D248B1313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4031c0504147c4612f84a828d07bacad0ab351f1","datavalue":{"value":{"entity-type":"item","numeric-id":3010972,"id":"Q3010972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55ce1f2d1c38c9fa01d44348bc0cfe6916b10e11","datavalue":{"value":{"amount":"+0.83569086","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q315313$DA92CC0C-E66F-4B4D-AF88-140BEAA46FF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"294f4f611113264e1a31b2dd9a26ebc0932b43c3","datavalue":{"value":{"entity-type":"item","numeric-id":5843539,"id":"Q5843539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93b4c13a1e27de51189093d5aa1b31a62138cb60","datavalue":{"value":{"amount":"+0.83388156","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q315313$3FBF60E0-C2A1-45E1-8DD9-98046FAE06E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"182278a3ebd98934c4749f6818e70cc4b62d4a13","datavalue":{"value":{"entity-type":"item","numeric-id":5348536,"id":"Q5348536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5746dbe283a3d924afeaa001995134ac544b866c","datavalue":{"value":{"amount":"+0.82804734","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q315313$B8F6A22D-952C-4BA3-85AD-DEB622CBE010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4838f6186646f4cff1acc3289f68f8a114776df","datavalue":{"value":{"entity-type":"item","numeric-id":2401056,"id":"Q2401056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6454880f0a32666520fb5bb26f3e9cb593580367","datavalue":{"value":{"amount":"+0.82772917","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q315313$0F2F89FB-9CAD-4B21-93A5-AF3C70E0E276","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the formal analysis of Gaussian optical systems in HOL","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_formal_analysis_of_Gaussian_optical_systems_in_HOL"}}}}}