{"entities":{"Q3183532":{"pageid":3194240,"ns":120,"title":"Item:Q3183532","lastrevid":50790725,"modified":"2026-01-15T04:47:17Z","type":"item","id":"Q3183532","labels":{"en":{"language":"en","value":"Formal Analysis of Optical Waveguides in HOL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5618511"}},"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":"Q3183532$F7F15D37-2C62-4F8B-B23E-ABDC0DFBB5D7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"23d42f471863b032becdc23556599c060f02bacb","datavalue":{"value":{"text":"Formal Analysis of Optical Waveguides in HOL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3183532$552AFEC9-1445-45C9-9522-7F7D4E5A8F0C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6cab194505669ca8ba93cfb5793ae11e1f19d502","datavalue":{"value":"1252.68256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3183532$B0C32DEF-83DE-41B8-866E-8558A688BCFF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"71aee93a4f144f4a5533d8e71b6762f057f7d48d","datavalue":{"value":"10.1007/978-3-642-03359-9_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3183532$226EE802-AD6F-46F7-A51A-D40EEA3822C5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"393ef07e7673f4510d0e5689d2d44001b3ecc236","datavalue":{"value":{"entity-type":"item","numeric-id":246140,"id":"Q246140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183532$FB4D36CF-08D6-4BFD-8BC7-5158C7597B40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"381b2c7fec112b57f4726817be8c4da578825618","datavalue":{"value":{"entity-type":"item","numeric-id":475380,"id":"Q475380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183532$202D56DF-9043-46DE-B914-AD27BF0BC532","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":"Q3183532$BC2D1635-7B53-4BD1-B5FD-99E8C505AD37","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183532$55E6F500-3E4E-4BF4-B52E-19EC5EAD410B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b03fe0d32567f363cc3207214473a7371265cf3","datavalue":{"value":{"time":"+2009-10-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":"Q3183532$667B89A0-773C-4C7C-8ACB-A9467EEE16DE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3183532$5E705E63-14D8-402D-A259-6D5FDD34EDFA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c4b68a6079b09ce9e925f8bf27f6c69ee022c0af","datavalue":{"value":"5618511","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3183532$DEBFBB8A-4560-46F1-A1A3-A249FBA5EE0C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183532$184DA247-30F9-4174-AC5F-B3219C18DE6D","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":"Q3183532$C01F7775-6314-4957-8E0E-AC12A15C8DBC","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":"Q3183532$FF1157D8-FCE2-43EA-A93C-E091AAE2CF08","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4e279994e62c15a2103c2fd4eb5386fb6781737f","datavalue":{"value":"https://doi.org/10.1007/978-3-642-03359-9_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q3183532$706CD9C5-27E1-49EF-A11C-723E697F523F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"84236d81c8c3826015c53bbd515eefa5d7bd1185","datavalue":{"value":"W1498330459","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3183532$F553297C-F22F-41E9-8DBC-FD6626E44EF7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a32b01e500cc2bb908494783a1a5a02d91b3cb3d","datavalue":{"value":{"entity-type":"item","numeric-id":3331506,"id":"Q3331506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183532$F69523A8-CECD-4933-99BA-288E53FB687B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183532$63B63004-045C-4B23-920E-E499C5B9079F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6496304f13783e82d12a275120aa4626825ea47b","datavalue":{"value":{"entity-type":"item","numeric-id":4231030,"id":"Q4231030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183532$B336811F-E166-4EEB-A228-CE66501A301B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7cf48c7a9046a29e5f033c490d4ebd1a00975f0","datavalue":{"value":{"entity-type":"item","numeric-id":5722964,"id":"Q5722964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183532$0AEFA141-4FDD-485A-8AAC-76148006830F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce50a524fb467c90b3e0fef2f4ea4c6886926efc","datavalue":{"value":{"entity-type":"item","numeric-id":3069826,"id":"Q3069826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183532$8BD56BE5-D0C1-495C-8C32-C4F758ECDC5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfe14832e12602ad5e9e37a85cd9d6d9bdb1473c","datavalue":{"value":{"entity-type":"item","numeric-id":3612822,"id":"Q3612822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183532$E7908482-CF14-4188-9D6A-C58116101951","rank":"normal"}],"P1643":[{"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":"59bbd082f1c52e7c58c3825d5acc47ca6f9c5951","datavalue":{"value":{"amount":"+0.8308587074279785","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":"Q3183532$13BB3409-1FC8-478F-BC34-D70D8106447F","rank":"normal"},{"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":"d0600db800e0a3d76a5fab81c7dd4f5c45140ab2","datavalue":{"value":{"amount":"+0.7643020749092102","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":"Q3183532$428928A9-C3A7-461E-A9D4-650517F4680A","rank":"normal"},{"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":"84f679c773a1e34db602a865a7d7f16d84bf6185","datavalue":{"value":{"amount":"+0.7223760485649109","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":"Q3183532$61400D4A-D473-4E15-839A-7000DB66A922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d04c42e58e23ec1d6352624e342ca502217cb95","datavalue":{"value":{"entity-type":"item","numeric-id":2361358,"id":"Q2361358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5089183fae5f5d565ab6c234d70b689cfaa27d5d","datavalue":{"value":{"amount":"+0.7194718718528748","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":"Q3183532$D6A3D7F5-2AA5-4822-820D-5D5D1C6A215B","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":"4914deb1ec597cc86446cde3857ef4f4257acb50","datavalue":{"value":{"amount":"+0.7147213220596313","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":"Q3183532$F1DB42F5-5E37-41AE-A9FC-6F79E366E7F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3183532","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3183532"}}}}}