{"entities":{"Q6536347":{"pageid":14147490,"ns":120,"title":"Item:Q6536347","lastrevid":55637293,"modified":"2026-02-17T20:08:09Z","type":"item","id":"Q6536347","labels":{"en":{"language":"en","value":"Uniqueness types for efficient and verifiable aliasing-free embedded systems programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7835027"}},"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":"Q6536347$84B49696-EC5F-4796-A406-2DFCFA46B924","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3d688df5955346052a44cd665ceb247a78fb787b","datavalue":{"value":{"text":"Uniqueness types for efficient and verifiable aliasing-free embedded systems programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6536347$001FE994-0154-4C51-84D1-CBF5704E77ED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3f9e9249319635c442c4ec29f3f9840ba944fb4a","datavalue":{"value":"1540.68056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536347$5C88257E-161B-48FD-8F85-493C62B30E7E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f43fb5ffb97feb85ec6e2ef6ea7e4a4ca729948b","datavalue":{"value":"10.1007/978-3-030-34968-4_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536347$BC00F7DC-FD3C-498B-B1BE-6D56EAC5972B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a25510332bf7c1c1c76b0c52983840eb98cd075e","datavalue":{"value":{"entity-type":"item","numeric-id":6536346,"id":"Q6536346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536347$C4770E4F-7229-4E5D-849D-9392F16BD8E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a24a20456dfce72b4740899a4bd7c6aec9611b4","datavalue":{"value":{"entity-type":"item","numeric-id":225076,"id":"Q225076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536347$E8086A80-B1D7-497F-935F-9508530B744A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ea6e0d286aec87d7de2b77268af916e9034fb87d","datavalue":{"value":{"time":"+2024-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6536347$95D315E6-7ABF-4B8F-8B97-7ACAFDF033E8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536347$87FFA021-B8FA-4721-A34B-91AE37B41F3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536347$1F41B8D0-7D3D-453E-A000-3F62FCD146B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536347$EFC60952-A2C0-451D-BE76-596D8EF01762","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6eafde70e8eb2cb515a0fc403223346268d6a937","datavalue":{"value":"7835027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536347$128B3006-61E1-4DAB-9D41-35B012AFF956","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6536347$2559EE1D-4386-4BF4-AF77-55BC9E0D8FBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2dab12135481f8430e3caef38aee12cc194b1438","datavalue":{"value":"uniqueness types","type":"string"},"datatype":"string"},"type":"statement","id":"Q6536347$49B73763-A27F-4464-8E90-84B5881D3460","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":"Q6536347$771CDD46-6D92-43D6-9D07-278BE6DD7DDE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1af6faeaa96bc7cdaf3630e5a348ae8661139c01","datavalue":{"value":{"entity-type":"item","numeric-id":5398331,"id":"Q5398331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536347$5188C517-8390-4C34-9AFE-72E4E159648B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"666f6c4b95b228f7f7863896a3d81de5061e0a95","datavalue":{"value":{"entity-type":"item","numeric-id":3771589,"id":"Q3771589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536347$6878AB25-2109-4673-867F-C4ABEFB7332C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536347$123D1888-6008-4A69-AADE-633D7867477D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9da274f8b55281fb4f3f25740da1cf036b4e73f7","datavalue":{"value":{"entity-type":"item","numeric-id":2947225,"id":"Q2947225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536347$52398AF4-ED7F-408E-9E11-136FB32CA29E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9e7aab2d87140cdee5d59f462d92eb80e3b81c9","datavalue":{"value":{"entity-type":"item","numeric-id":5408563,"id":"Q5408563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536347$83D48E85-CBB7-40BE-ACCC-38B71B0ABAE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ad2f53ed97625d5e2a1db8c24f3e93151854940","datavalue":{"value":{"entity-type":"item","numeric-id":3997397,"id":"Q3997397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536347$3950030F-F6EB-444D-BDE1-D2951DDA829B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fa0159e8e8aa1ac829826b4edff5cf1dbbd1a62","datavalue":{"value":{"entity-type":"item","numeric-id":4791056,"id":"Q4791056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5298990cb5c59ed7873ca4f0fe344eab7013555","datavalue":{"value":{"amount":"+0.7101583480834961","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":"Q6536347$F805FE84-CFA2-45FC-9919-CF6E983934BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37b435193d83212ce5fe4d0c45d96d697f98ec65","datavalue":{"value":{"entity-type":"item","numeric-id":5041118,"id":"Q5041118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ae16f7a2fc3590d8b51cf810cd8f9833f7b1295","datavalue":{"value":{"amount":"+0.685454785823822","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":"Q6536347$E44A0D9A-4678-47EE-8B55-51F0C46F8174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc28ae7c08274cf206e5bfc796ffc6b2a46c3f23","datavalue":{"value":{"entity-type":"item","numeric-id":5019022,"id":"Q5019022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be0a2cfe2108e515e955b5abaa74e90159b41b4e","datavalue":{"value":{"amount":"+0.6812846064567566","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":"Q6536347$47702F23-4377-4CA9-AC5A-98A8E93BD9BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3b0b586f5b43647e065b2777bade38d4e5e1252","datavalue":{"value":{"entity-type":"item","numeric-id":4916050,"id":"Q4916050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fee5c7207c93dda65941f060033ce58b222cc19","datavalue":{"value":{"amount":"+0.675881564617157","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":"Q6536347$06122197-CC46-44A4-8AAE-05CDE08946D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1dea8820f5603e1bb17cc5d7b1c2725a6680e181","datavalue":{"value":{"entity-type":"item","numeric-id":2368939,"id":"Q2368939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e0cbe7aac7b7105d057bf40066a1b36554a4161","datavalue":{"value":{"amount":"+0.6613463163375854","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":"Q6536347$888B076B-ACB4-4A3A-B453-53D6D59A47FB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6536347","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6536347"}}}}}