{"entities":{"Q5756515":{"pageid":7786066,"ns":120,"title":"Item:Q5756515","lastrevid":40922851,"modified":"2025-04-14T04:27:57Z","type":"item","id":"Q5756515","labels":{"en":{"language":"en","value":"Dependent Types for Low-Level Programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5187173"}},"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":"Q5756515$3A64E19B-A2DE-4D6B-8B23-C4A44E08D1C8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"757db660672e782ed3243e89322e357bae071295","datavalue":{"value":{"text":"Dependent Types for Low-Level Programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5756515$9135B586-540F-4D27-9A63-E386D36EA57F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b0d62e77c6977b2aac40afffb246a413035b25d4","datavalue":{"value":"1187.68115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756515$0A0E8A3D-663F-47EE-831D-84791DF32742","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"570c62bdb1fcb26383242e97756666a07cb55d45","datavalue":{"value":"10.1007/978-3-540-71316-6_35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756515$1F1CBC2C-0B57-4A23-9232-648897A73A44","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"298f03bce827c87354859cbf5ee187e8ea7e8f84","datavalue":{"value":{"entity-type":"item","numeric-id":5261526,"id":"Q5261526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756515$CC002146-14FF-43D3-90E7-3A3652C06840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0e84330d185d5eb50ed9e9894b502288ac4d1c6","datavalue":{"value":{"entity-type":"item","numeric-id":4709167,"id":"Q4709167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756515$5BB43763-75DD-41EE-8DFA-635C9E4662A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"607f411897a682d7d3bcf4d0e8dcbc1febe11c57","datavalue":{"value":{"entity-type":"item","numeric-id":5756514,"id":"Q5756514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756515$5BF38D97-DC1E-4C9C-81D4-909B9A49BE0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"908cd82e308ece702644072e9ecdf6bc54bd85db","datavalue":{"value":{"entity-type":"item","numeric-id":803713,"id":"Q803713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756515$0FA65513-D281-475B-84DB-6D254666C921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8613ca94bb02f105ef1f9bc1f5bd869f5077ffa0","datavalue":{"value":{"entity-type":"item","numeric-id":859960,"id":"Q859960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756515$CC5306FC-5849-4932-9C43-1E155517B7DD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756515$1BC1A36E-3830-4488-BDE4-B8CFCA9EF139","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"425e48b9986b227b93d91ab0854d5e88273c1020","datavalue":{"value":{"time":"+2007-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5756515$4EF8E53A-FEFB-423E-8988-72536DCD4D37","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756515$C120CA0E-25B6-4FE1-9848-3B588EC48BA1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"515d097db33bb592e044a384bc80e5c059a26533","datavalue":{"value":"5187173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756515$93A7C4F1-7D9B-46E2-A975-357C9C70F6AC","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":"Q5756515$0087F600-992A-485B-AD7E-00FF270A850C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f8b208e04745968b0c16d31dde6e469c4e630961","datavalue":{"value":"https://doi.org/10.1007/978-3-540-71316-6_35","type":"string"},"datatype":"url"},"type":"statement","id":"Q5756515$17E42822-E340-4DCA-81C4-70446CCCF0CF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"487509f8e38d93ded5cef30a170a44f98047b9fb","datavalue":{"value":"W1874682220","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756515$CF4E96EC-3A04-41DC-BBC7-A8AD8A5F0E83","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4246eaf4aeb7ee18b6fadc7db2ccfc3206320db","datavalue":{"value":{"entity-type":"item","numeric-id":5703756,"id":"Q5703756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2ca10d861d17dafc379cc063a6352978ec49c91","datavalue":{"value":{"amount":"+0.93751913","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5756515$5747666C-27BC-4B37-898C-0CC7B31EF7A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"968ef3c413e5fe02e2d496a820a84be2c7737a1a","datavalue":{"value":{"entity-type":"item","numeric-id":5255080,"id":"Q5255080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e326efd47b42f17fa210c2b3ffa556ea4702558e","datavalue":{"value":{"amount":"+0.9063987","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5756515$9603AD8D-5FC4-4D9F-8AB3-CE66B2237394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91537667290efe7c24a18b01301e496a2fe183cb","datavalue":{"value":{"entity-type":"item","numeric-id":4649382,"id":"Q4649382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b3527ce060c3418706c16f9d3adf0e23927b2bd","datavalue":{"value":{"amount":"+0.8980438","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5756515$3DD66442-73BC-4A61-A76A-BCC8AC24B580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbedd6ab3dfe1136ec5ec551c70488fa195c1012","datavalue":{"value":{"entity-type":"item","numeric-id":4673424,"id":"Q4673424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cab65f8f83d658c6210a9f7c53cbcd05282fa90","datavalue":{"value":{"amount":"+0.89397883","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5756515$220F1366-6B22-434E-BBE8-F418B2CEC8FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cd02653a0f5288cbd7583c98894a5128fb01b60","datavalue":{"value":{"entity-type":"item","numeric-id":5958760,"id":"Q5958760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d268d953be36e80b7b6f2a97fb39ea8933446b06","datavalue":{"value":{"amount":"+0.89225614","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5756515$A4FCCE46-4B3A-4C5E-BE5A-883127647AD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83a9a1cb2c762ff8bfb3334266634affdfe71512","datavalue":{"value":{"entity-type":"item","numeric-id":5193019,"id":"Q5193019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c552f28db9c69d45cd5aafa6c0375b18d166cd74","datavalue":{"value":{"amount":"+0.8907602","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5756515$2ECC0CA8-DBC7-4797-B9FB-C4366A6B3755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfccf8ba0b6b2082d15c2a03e319b71b711f5254","datavalue":{"value":{"entity-type":"item","numeric-id":1854436,"id":"Q1854436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c084bf5a4152a1d6b381e5c3c0205d77d848cc23","datavalue":{"value":{"amount":"+0.88893104","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5756515$0AABC26B-C639-47C6-AA21-B291BBE124C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21e6bde5fbee4e5e8de1a68849a56f1c7bb52c0a","datavalue":{"value":{"entity-type":"item","numeric-id":4816996,"id":"Q4816996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d81fb9ba8ea2ddaeb8f4081406e17c51642656c","datavalue":{"value":{"amount":"+0.8864659","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5756515$169F92D9-AE93-485F-A204-7252A281F0C2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5756515","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5756515"}}}}}