{"entities":{"Q6535916":{"pageid":14147059,"ns":120,"title":"Item:Q6535916","lastrevid":55602955,"modified":"2026-02-17T19:34:11Z","type":"item","id":"Q6535916","labels":{"en":{"language":"en","value":"A verified specification of TLSF memory management allocator using state monads"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7816210"}},"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":"Q6535916$4F40D6E6-8B65-496C-AC8C-352B95F50DD1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8c800e1ac243f6a332216743992f2eb73c18b5ba","datavalue":{"value":{"text":"A verified specification of TLSF memory management allocator using state monads","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535916$C798C65A-A02D-4B1C-A2EC-FA5416440125","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8d6e8f4aace1e029753c48896f243597a4458223","datavalue":{"value":"1543.68238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535916$BF16FEAF-6ADC-4F3A-930E-90BDA7DACCE1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"76f0fc3b40ed879e62a97d516cdb109b6369aacc","datavalue":{"value":"10.1007/978-3-030-35540-1_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535916$F4DD222A-CA43-4215-9D3A-D0EC9D3287D3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"01db34c1dcc4bcea55c6719f93c638899a4afa21","datavalue":{"value":{"entity-type":"item","numeric-id":6492017,"id":"Q6492017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535916$62668D79-2A09-438C-B942-F679659CDC41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b20d3a04f61981f60aecf35de06919ba33f717c4","datavalue":{"value":{"entity-type":"item","numeric-id":488397,"id":"Q488397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535916$47B93D36-ACCB-45BB-A3E3-3F944EE0BC34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a952aaaf69ec7d1e12fb25db578dd88a813b537","datavalue":{"value":{"entity-type":"item","numeric-id":835782,"id":"Q835782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535916$9C46523D-8790-42B4-AB81-6AED832B37F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b0426bbd707e4405b61dcd732c67f17ac34b04f8","datavalue":{"value":{"entity-type":"item","numeric-id":473772,"id":"Q473772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535916$97595572-E46E-46E5-8DF7-28D83BB12CE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e6d9ed7b6d9bcdb4293ff740e3c8fa3af97e8aa","datavalue":{"value":{"entity-type":"item","numeric-id":2667238,"id":"Q2667238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535916$088EDC76-7533-4672-851B-347CC6EB69E3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fc070537fcad1ac2a3ed34a736ba39b55f9ad5b","datavalue":{"value":{"time":"+2024-03-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535916$B4FBEEAD-F329-4F23-9F24-87A795ADE4E6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535916$6079BAB2-8333-490D-9767-8DEDB108051F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0601cdbaa8659f3cc4b6e89e35626d7177b5fd6d","datavalue":{"value":"7816210","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535916$4FA71A5C-9DBD-4E73-B9FA-CD5BBD8398B1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535916$08FC0AD2-C522-49D8-A2D4-F9F996BF1E59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2da6c3b8c4510441be839d1869ca687bb1fe015e","datavalue":{"value":"memory management","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535916$1945B2FF-C093-48EC-B350-BCDD9576E41D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f0513e500ea6cb630e73925875c7d53ca8d8e1","datavalue":{"value":"Isabelle/HOL","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535916$C9636100-00D6-4B90-A8C9-ABBBDB78E536","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":"Q6535916$B0C98A41-8DBD-49A1-A5B3-7F63A60328B4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a386259d7b6de278f96d59178a0ebe00c941a927","datavalue":{"value":{"entity-type":"item","numeric-id":3543657,"id":"Q3543657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535916$2D8683A6-E38B-4981-9327-EB9FCFDD7EF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535916$17C02AE4-09E3-4539-9501-8BEC11962397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ab8803f370a224eac629d99d2c45655ab10934f","datavalue":{"value":{"entity-type":"item","numeric-id":4417905,"id":"Q4417905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535916$E6BF9C5C-0ED0-42BD-82C9-870E943FD7E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a1588eee2e3fe5979cfd18e3e09df49f3b382d9","datavalue":{"value":{"entity-type":"item","numeric-id":945054,"id":"Q945054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535916$E6124CF3-A35E-4F58-96A9-3FB41DEA5A1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f74772c129535fa0c1534c8e096b9ec51d4c23e1","datavalue":{"value":{"entity-type":"item","numeric-id":835773,"id":"Q835773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535916$FFAAF286-2139-4EE7-B4A6-BF3EB6F120BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"844ee63cb8e94ae06995eef11e72971b8dd5bbba","datavalue":{"value":{"entity-type":"item","numeric-id":835783,"id":"Q835783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535916$6CAACADE-8D98-4457-892E-81D24C881658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25e14081775351f6e9d8302e29cc683691607c4a","datavalue":{"value":{"entity-type":"item","numeric-id":5395719,"id":"Q5395719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535916$8FA62C80-5F15-48EB-9D3B-C7D3B2DFF6AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c13afb7f7de16ed2082df0c2fcd943df1126b5d3","datavalue":{"value":{"entity-type":"item","numeric-id":1702905,"id":"Q1702905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535916$9CE8E3A6-0B33-438D-8DE4-C1A6D5C29A23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53733d004facb870bfc85e0dadc9daec51b504d7","datavalue":{"value":{"entity-type":"item","numeric-id":4916058,"id":"Q4916058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535916$D8C54C1F-E102-42D8-B612-53921EB42CB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6db1a4e5dc42421c546d4010b6ec0e33d7f4d940","datavalue":{"value":{"entity-type":"item","numeric-id":5458324,"id":"Q5458324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535916$C26863A1-EF26-4B75-920B-76C401186A55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62441bd6618af6a9218d80822e1bcf73cf071493","datavalue":{"value":{"entity-type":"item","numeric-id":2409733,"id":"Q2409733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535916$5F9E209B-A6BB-49BF-A862-2110ED604A2E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f0ecb6eefb86b39fb74e4dd15fab590339bd92e","datavalue":{"value":{"entity-type":"item","numeric-id":1039289,"id":"Q1039289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dfcec0e46faf58b2d0ea3ede359dec250139925","datavalue":{"value":{"amount":"+0.7203993797302246","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":"Q6535916$208B04D0-141E-4EC9-AB66-AD4CB8A6D256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc27d3faf5c4e6823b8127110bf3fb0737b1c9c3","datavalue":{"value":{"entity-type":"item","numeric-id":4812315,"id":"Q4812315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d7f380bae9e8f08f8695bbf19ef084dccd73462","datavalue":{"value":{"amount":"+0.7091469764709473","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":"Q6535916$31D263B6-1B26-4011-894A-3D14E7B02CFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8754b43883f8c556eefa740aa8ec2122eba165e","datavalue":{"value":{"entity-type":"item","numeric-id":5179365,"id":"Q5179365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a4e20b55abfa5881c8e62bc696abf5efa8e0de6","datavalue":{"value":{"amount":"+0.6845499277114868","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":"Q6535916$6A77EC98-B252-468A-A50D-67ACCE31AD64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4ea7909e9397407fcbedc7c4f2e8d498454d7b4","datavalue":{"value":{"entity-type":"item","numeric-id":3189788,"id":"Q3189788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"498c9379409a24c4ba53cd6fd05b1ebf3c888a58","datavalue":{"value":{"amount":"+0.6799045205116272","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":"Q6535916$3FCB458A-19B5-436B-9B4C-05201E4B7B4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99340716ae3125d40c70647bfd8be975b5d03cc6","datavalue":{"value":{"entity-type":"item","numeric-id":2766806,"id":"Q2766806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39e8894d17251fa1034ff7ddd0bb78dd98050a93","datavalue":{"value":{"amount":"+0.6784420013427734","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":"Q6535916$F67785A5-30B9-49AD-87A2-07AC2DC9E1CF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535916","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535916"}}}}}