{"entities":{"Q583875":{"pageid":585642,"ns":120,"title":"Item:Q583875","lastrevid":62984403,"modified":"2026-04-11T09:29:38Z","type":"item","id":"Q583875","labels":{"en":{"language":"en","value":"An axiomatic treatment of SIMD assignment"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4133474"}},"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":"Q583875$F117955D-4DD2-4A1E-B812-59890A50C72D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7334246c97c3f49389eb110f738e9fe2103ebe3c","datavalue":{"value":{"text":"An axiomatic treatment of SIMD assignment","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q583875$9FA6EA02-9028-4DE5-B11E-D975696A8E82","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1df10bea87ec1c20a0a0ff2dfc6a50a5e3d8c795","datavalue":{"value":"0692.68013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q583875$A06EF11E-80C7-428E-8B86-96EFDD5AC927","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7d3652757df800f27c1306c5dc8948e45153ac31","datavalue":{"value":"10.1007/BF01932133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q583875$407F8B8D-E5D2-452C-AD73-012F5E7B2BDC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"33c8ed8f89820c0434468f9beb32c5c5f933c9b4","datavalue":{"value":{"entity-type":"item","numeric-id":469342,"id":"Q469342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583875$BCD43208-9FB8-4ACE-9F4E-591CF898120F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e560271c921b84b65a9b7f0d3fa6830623f8af8b","datavalue":{"value":{"entity-type":"item","numeric-id":188629,"id":"Q188629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583875$1C390A6E-CC59-4090-AA4F-64F7E63AC767","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q583875$8BDC2902-CF4E-4CB0-A1BF-04A5BBB7A9DA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q583875$C0475662-2E97-4092-A122-72ADD2330214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q583875$E62C6417-0F90-4BBE-B555-6AAD3CB5F9B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q583875$97DEA73A-81DC-40DF-93AB-5C53B3A9F15D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f635b33300d1b44611fb39da8f199d64159b2e64","datavalue":{"value":"4133474","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q583875$4788BBFD-BEF9-4926-BB6A-ED36155EDBE2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10b26effae20992ac63483a8b546b3cb2065bcdf","datavalue":{"value":"SIMD computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q583875$9DAFEF4F-924C-47F1-8B5D-BD3779933DB5","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":"Q583875$DE086C36-9148-41B6-96D0-8C6EBC8D647E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0b4f7ff3b427d85f5b1839dad4d5d85eb01769a","datavalue":{"value":{"entity-type":"item","numeric-id":3936221,"id":"Q3936221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583875$C3865E35-AB5F-4888-9F56-E553413F1D10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb12b188658ef9d46086882edec316113d94d7af","datavalue":{"value":{"entity-type":"item","numeric-id":3899466,"id":"Q3899466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583875$45D1CF89-C30D-453E-BBE2-96E37C5394FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583875$6779EDE7-1ED3-411B-BB70-94BEA3D98404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e47b8c90d45ee285590b1a168a8503851fe5b134","datavalue":{"value":{"entity-type":"item","numeric-id":3925859,"id":"Q3925859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583875$79331A63-C15A-477D-B6F1-191EA622E8C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583875$6FAB12C1-803E-488E-A8C0-41DF05FA4F61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5285d79fb0a54034a765cc040755038d6ec0aeb","datavalue":{"value":{"entity-type":"item","numeric-id":2560721,"id":"Q2560721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583875$4A675D87-5371-4B04-8751-1F2BD1171B07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b04169b462c3ef5cc14f66bf879b49fbb64f1945","datavalue":{"value":{"entity-type":"item","numeric-id":1110309,"id":"Q1110309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583875$452D2D59-32EC-4A6D-B974-85D5E857BBAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43522741a5881651813aecfed6b174a4b945638c","datavalue":{"value":{"entity-type":"item","numeric-id":3969890,"id":"Q3969890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583875$20DFF7A7-F9CA-4912-81AC-055FEF3E400C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3006f116f11bb26f196a69ffd8274b32c303697a","datavalue":{"value":{"entity-type":"item","numeric-id":4105233,"id":"Q4105233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583875$A8192A7E-6C1F-4B6D-B786-9C3D524EA894","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3615317020a7341608bff3925507b0f8c73d0721","datavalue":{"value":"https://doi.org/10.1007/bf01932133","type":"string"},"datatype":"url"},"type":"statement","id":"Q583875$7F469BAC-5E38-40CB-82CC-21A92DB86407","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3997b17bee92c9a5a698a2a30066c22a4b5be02c","datavalue":{"value":"W1978609011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q583875$0A9E95B2-BE24-4E0C-A86B-314D42B8F428","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61d9918bb103de74a2a10924f10ffd690d46c425","datavalue":{"value":{"entity-type":"item","numeric-id":1349884,"id":"Q1349884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85bb27284634a49fd683778e26808d77f71d713b","datavalue":{"value":{"amount":"+0.8480052","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":"Q583875$06AC464B-97FC-483A-A949-EE784C28FDF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf95712cd61486cce6e10eae28ff17b416268869","datavalue":{"value":{"entity-type":"item","numeric-id":3685165,"id":"Q3685165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62dea84a4bf504bd6d198d35cbc759d0113530df","datavalue":{"value":{"amount":"+0.8429604","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":"Q583875$8C09DBD3-84BE-4FF6-8D0C-BD6ECC1F6D91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"975d196b23ebc1c561615a5a5b275e09e4e039db","datavalue":{"value":{"entity-type":"item","numeric-id":853777,"id":"Q853777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61e0762d961d8e6f087cf82e60abb9b5aab27357","datavalue":{"value":{"amount":"+0.8342262","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":"Q583875$C2F0F408-DCC4-436E-9461-463C873BA308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd5f94fd265ab04d954d5c2a805e8109c6b2086e","datavalue":{"value":{"entity-type":"item","numeric-id":3677536,"id":"Q3677536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3c818f6381e8e32e04ba463092da34a13e02ee4","datavalue":{"value":{"amount":"+0.8296968","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":"Q583875$CBF806F3-4530-49D5-AB02-DC805FE808B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1020396d17bb0e048450c45bf9f439f448641bd5","datavalue":{"value":{"entity-type":"item","numeric-id":4293545,"id":"Q4293545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29323911eb3d5820767e238752084b31b51df5d3","datavalue":{"value":{"amount":"+0.8272724","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":"Q583875$5544E0C7-5BBA-419D-B69E-C68212B1E336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"013b8bb7007156f8a15e4fccdcab83e49a420302","datavalue":{"value":{"entity-type":"item","numeric-id":2439746,"id":"Q2439746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86d38357f191cf110bde6e611afd34e7a5f90577","datavalue":{"value":{"amount":"+0.82581806","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":"Q583875$0542C864-A2F8-442D-B0B8-0AD966CC8FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2939283350d533a28fbf38c4bec8394cd78006a","datavalue":{"value":{"entity-type":"item","numeric-id":3341889,"id":"Q3341889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb969b3fe9676e1e27c6f9dfe1df382f569ec2a8","datavalue":{"value":{"amount":"+0.82523245","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":"Q583875$F206AB0D-A42F-466B-AD8E-70118169BD02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f84a659c5976b73a68269aed272b590e92071c38","datavalue":{"value":{"entity-type":"item","numeric-id":4283457,"id":"Q4283457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"841dfb5adbc669dff155dc4e765c041681ec3a99","datavalue":{"value":{"amount":"+0.8231095","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":"Q583875$F72108C7-445A-4863-B80A-AE6ABE5AA49E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An axiomatic treatment of SIMD assignment","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_axiomatic_treatment_of_SIMD_assignment"}}}}}