{"entities":{"Q2849513":{"pageid":2860233,"ns":120,"title":"Item:Q2849513","lastrevid":44703381,"modified":"2025-11-25T07:14:34Z","type":"item","id":"Q2849513","labels":{"en":{"language":"en","value":"On the Formal Analysis of Geometrical Optics in HOL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6210166"}},"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":"Q2849513$112A16FB-5C56-44E5-9C86-2269F6E4D23A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c231d4f9b2a4fd9f32706156554aa1180a294068","datavalue":{"value":{"text":"On the Formal Analysis of Geometrical Optics in HOL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2849513$0D7D5633-5781-4E87-B316-251D45F6F6C5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3f4a5f9ff1499a0fe90c8c98d8f12106987e1659","datavalue":{"value":"1396.68114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849513$150CAEC1-A9B5-414C-AA06-E3234A3FCD9B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"48e226275df63877aa26678ea183cfb7b61b57bf","datavalue":{"value":"10.1007/978-3-642-40672-0_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849513$4FD41584-9779-4167-91BA-F457FEF1760D","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":"Q2849513$AB571114-FF44-44B2-AFC2-6B59A039B770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"87b58753525834b22585058db2818f43049ca5ee","datavalue":{"value":{"entity-type":"item","numeric-id":475382,"id":"Q475382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849513$8930B73B-96C9-47C7-90E4-62085394D557","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":"Q2849513$C3822133-1C86-4F1B-BE0A-71872BD0F88C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"348c28e159850115a4bf602bf9df1d1e5c1cbebe","datavalue":{"value":{"entity-type":"item","numeric-id":2849503,"id":"Q2849503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849513$B71CDC2D-75C5-4A61-B3E3-72DFB8CB66E5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3dcb12e53a075f2a49b79b16a6317b340847e43","datavalue":{"value":{"time":"+2013-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":"Q2849513$1D938100-3A1B-407E-B712-1EA3C55C1D4B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849513$A89E978D-B12B-493E-AB9F-B2F65ED44E25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849513$2FB098C2-CF11-4FA4-8B87-44C5AE91B74A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"eacfbe84063e034dfceb64d16006aa37b40ff349","datavalue":{"value":"78A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849513$750C1DA0-39E6-491A-9DCA-7F48A2561917","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a0fb74b19fa0febbb586d37c9148b0f87ddedecc","datavalue":{"value":"6210166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849513$C6837361-684A-4D5D-A0BF-C0A197DFC4CA","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":"Q2849513$2225F941-BE34-45AA-A5AC-ED9F6C7971CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5f1de1efcd03c91340d4246f0122231e826a6a1d","datavalue":{"value":{"entity-type":"item","numeric-id":27003,"id":"Q27003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849513$B1BAC499-31CF-4CF5-83BD-D8D23D0AB3FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849513$07577DAA-6224-478E-A8CB-5FC63BA082CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849513$4A6FF6BE-9653-4D05-998E-4EE881B5CC85","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":"Q2849513$3CE59B5D-15DE-4DF6-B8EE-ACF7EF6A241E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d6bae8214d9dc5c0bbcba746c213a4dac988ea14","datavalue":{"value":"https://doi.org/10.1007/978-3-642-40672-0_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q2849513$6615BB2C-5B8E-474D-B54E-BD282D87C1E3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3f48e99d6cae545b867574e3ed38d0412b2b74b8","datavalue":{"value":"W1417172323","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849513$E3381C6F-5305-4D5A-97C5-036774F23930","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d45fb0051b9dadac7de4245e213e423fc88bfffb","datavalue":{"value":{"entity-type":"item","numeric-id":315313,"id":"Q315313"},"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":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2849513$975F638C-5889-4029-B5B3-A988BA93145D","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":"d852ccae6808c9f8212e8df0bc2e38da99466187","datavalue":{"value":{"amount":"+0.9029104","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2849513$88DC28DA-2DE1-4AD0-8EBD-D3BEFD03932E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"980cadc2863e944bdccc644867e849fb7916a39e","datavalue":{"value":{"entity-type":"item","numeric-id":5495947,"id":"Q5495947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a09e3edf1f3768565e72b28b7fbecd99dfa17d9f","datavalue":{"value":{"amount":"+0.8938536","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2849513$482CA9FC-BC89-4B4A-8442-69657F6CA44F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"436458a6c9fbc133317520106194cab8d362cf2c","datavalue":{"value":{"entity-type":"item","numeric-id":2323452,"id":"Q2323452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83972f72143de70423dae0b9c85634e8c957d660","datavalue":{"value":{"amount":"+0.8822442","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2849513$42636102-E806-45AF-A01F-59842FCEB931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59236c39f5724db1974c0aef8434ceec68d69ab6","datavalue":{"value":{"entity-type":"item","numeric-id":5841703,"id":"Q5841703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4809946c19f738627174a9504f36ef89b207f43f","datavalue":{"value":{"amount":"+0.87545145","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2849513$DFF247FF-4B89-491D-B206-914D3617DBB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90b25f4ca29e38d2c99ea1c9f3a730226f9d3635","datavalue":{"value":{"entity-type":"item","numeric-id":4471596,"id":"Q4471596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77abbf6ca8c79b96f4ea104f6d0b3de4cdfefcdf","datavalue":{"value":{"amount":"+0.8668734","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2849513$435707E8-2C7A-434B-AF7C-BF8198C6D374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45410a6efa71586ab1a7e1067ed8d71858cea6c0","datavalue":{"value":{"entity-type":"item","numeric-id":2710873,"id":"Q2710873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39ae0816233b5dc02704478f406f8873f40f8269","datavalue":{"value":{"amount":"+0.86564034","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2849513$BA36DDC0-970D-4D82-8200-8515D1BD720C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1170a7e069c52d3174e2271c2236a5abb149649","datavalue":{"value":{"entity-type":"item","numeric-id":3720847,"id":"Q3720847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae4ad02e07d8578e741531137e6154d52d44ca24","datavalue":{"value":{"amount":"+0.86333895","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2849513$ADE8378B-30DA-4646-AAC3-ED38D33D021E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5253e653507fc3c4f94f092bc26812d9fd30bf7b","datavalue":{"value":{"entity-type":"item","numeric-id":1411293,"id":"Q1411293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"798645e3a7cd1c318209c3e28b365306ba6a0c83","datavalue":{"value":{"amount":"+0.86220485","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2849513$36B25B93-8F67-400F-A39E-066BB925EF79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc822c7673db2e936034c2295fe5bcab07a2e160","datavalue":{"value":{"entity-type":"item","numeric-id":1069138,"id":"Q1069138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57c6da9c5353e1ec4d20e3ac26dac035e3026ce7","datavalue":{"value":{"amount":"+0.86204636","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2849513$0DE0BDA1-581C-4605-A9C6-F89DA4C54BD6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2849513","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2849513"}}}}}