{"entities":{"Q5495918":{"pageid":7525478,"ns":120,"title":"Item:Q5495918","lastrevid":101415677,"modified":"2026-06-06T01:12:53Z","type":"item","id":"Q5495918","labels":{"en":{"language":"en","value":"Formalization of complex vectors in higher-order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6327257"}},"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":"Q5495918$2BC5E357-C46F-4D3A-8F08-10B4C277F13B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"de4c6f80b84f695b92b292b343a9e67c0d3a467d","datavalue":{"value":{"text":"Formalization of Complex Vectors in Higher-Order Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5495918$1B52D736-AAAF-4099-8769-198B82127AC3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8617b2f5c5437ff67f990b0e6ba8cec92f6eedaf","datavalue":{"value":"1304.68150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495918$85C3177D-BDEC-44BA-B2F2-8F57C1152397","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c3be1267226e3b434674acad48526c1076cd656d","datavalue":{"value":"10.1007/978-3-319-08434-3_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495918$C54AF6EC-625D-4DB8-91BB-FAE0F94EECDC","rank":"normal"}],"P16":[{"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":"Q5495918$C3C561F3-E0D8-4826-AFE7-0CAD373ECAD1","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":"Q5495918$C38EA098-E0A8-4F9B-A17D-3622D43CF95D","rank":"normal"},{"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":"Q5495918$29D06284-50A5-4A57-800C-5C0EB71B4DE2","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":"Q5495918$7B39192C-353B-4598-B7FA-0EB614DAABD1","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":"Q5495918$2E194061-B255-4C69-8207-617F9EC3D7C5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1c94d745affbb1f035e3911adf053858df897bb7","datavalue":{"value":{"time":"+2014-08-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5495918$FC3C3BE8-7C30-4A66-8413-AC32FBBFD821","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a5ccbdc1d71ed2c34061e4b8341b19bec017967d","datavalue":{"value":"https://arxiv.org/abs/1405.4034","type":"string"},"datatype":"url"},"type":"statement","id":"Q5495918$42EA33DF-EF8F-43D5-88CB-30108CBB1401","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495918$C347D83F-AF8A-4EB1-8A67-B40C9959B562","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"de74564fbac937aeb6002d5f015daea8e165c37e","datavalue":{"value":"6327257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495918$DD9228A5-DB25-4421-AFCB-2BA604D232D7","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":"Q5495918$C25BFA70-C457-4107-8C94-7AD435DB6363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495918$C6E9726B-3C8A-4211-9BFC-787089F549A0","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":"Q5495918$CF7B7CDD-289C-4416-91A6-BA3EFF4C0AFE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"58c642950737800ebef24c67c91a8991e5bda47c","datavalue":{"value":"W81013672","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495918$3A84C1A6-66F8-44EF-A529-E83C47338EC2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb55f45398a18b9441e30c4ee1821b8ab473c70e","datavalue":{"value":{"entity-type":"item","numeric-id":5495918,"id":"Q5495918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495918$31F6FD4E-DCE4-48C3-AADC-EE6D3E22938A","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":"Q5495918$9B8703F6-4423-440A-9299-EFBC9AF8EB8D","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":"Q5495918$E7182B99-9781-4976-8613-8F7970490A18","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":"Q5495918$2C50B2E3-D190-4A11-A72B-CED366BD4ABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad53a9f52c6e611ad9ac4d3e0f1ae626539b0b9a","datavalue":{"value":{"entity-type":"item","numeric-id":3920121,"id":"Q3920121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495918$F2539F21-E86D-469C-A2A5-66B99EF99033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3cb2676408486b197df73667742fabe67afc523","datavalue":{"value":{"entity-type":"item","numeric-id":5960122,"id":"Q5960122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495918$FF90AE98-FFEC-4F50-883E-6F7E72D32EE3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5e8f8950192242021036f7a946566d5cbb1d1a6","datavalue":{"value":{"entity-type":"item","numeric-id":2294128,"id":"Q2294128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cd98f0a967b08f9b9d6bee13ebe6715185b483b","datavalue":{"value":{"amount":"+0.7485611438751221","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":"Q5495918$6FCEBA32-05A2-4AC0-B814-FDCA96F7B513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"895f01dbe4514afaf4e58308193c557e5a7e265f","datavalue":{"value":{"entity-type":"item","numeric-id":2375439,"id":"Q2375439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c19c10e8fe6a2e70619c948f96d44d6e069663c5","datavalue":{"value":{"amount":"+0.7279694676399231","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":"Q5495918$D84577DE-06EA-49D6-B678-BE33EC2BCC33","rank":"normal"},{"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":"540e259d75dec03600a0df3ac6ac97719c99cb27","datavalue":{"value":{"amount":"+0.7167671918869019","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":"Q5495918$8F0B6137-1BFC-49EC-9446-A4FE7771099E","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":"805a5454e3c8b22648509fb5e76583402be57fc0","datavalue":{"value":{"amount":"+0.712486207485199","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":"Q5495918$FB65DAD2-2DD3-46C0-98D5-1FA22050F418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd44137ac394e1796bfee579214b7e8724aec52c","datavalue":{"value":{"entity-type":"item","numeric-id":5119159,"id":"Q5119159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"216bbb8b8e3bec865ff8bddf83abc03e16ee31d9","datavalue":{"value":{"amount":"+0.7026448845863342","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":"Q5495918$20CD0C8C-149F-4AAF-BCA5-FD8ED14552C9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formalization of complex vectors in higher-order logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formalization_of_complex_vectors_in_higher-order_logic"}}}}}