{"entities":{"Q633298":{"pageid":635146,"ns":120,"title":"Item:Q633298","lastrevid":63127905,"modified":"2026-04-11T10:46:39Z","type":"item","id":"Q633298","labels":{"en":{"language":"en","value":"Reasoning about memory layouts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5872807"}},"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":"Q633298$981E850E-8BD6-43C2-83A6-484650F3A2FD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"986bde6ea21d109006ac4fb81b3fbdbc6bee5f9c","datavalue":{"value":{"text":"Reasoning about memory layouts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q633298$0133493A-EBD8-495A-9073-F4CAF144DA76","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d9721e19b3ebbcb626e6466ae5708969dcd0f748","datavalue":{"value":"1211.68086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q633298$62A108E2-9D78-44B6-8504-34E0E2E65403","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fd8afd9564dce291ae3a4708fd20834b82d39dd","datavalue":{"value":{"entity-type":"item","numeric-id":633297,"id":"Q633297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633298$FF155FB2-B751-4270-8627-AFD474AAFBC0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633298$E873EB51-5979-4EF8-9E69-FA420D0C32DB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8fe372e1991dbf3d8a4d35b1d3367503510d1cea","datavalue":{"value":{"time":"+2011-03-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q633298$F108AB0D-A279-4E7D-890E-BF3E492AF576","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q633298$7D578D88-CD1E-4D61-A4D9-065F8CAF17DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q633298$F7B02DC8-E195-4DA7-B48F-5B418211D654","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4181aceb1a64542c4497ea6fbbdf24b625874334","datavalue":{"value":"5872807","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q633298$1FFE68E6-BC62-4580-8061-6CF6B180D99A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0255e72ef8b267131000fc56921e5420cade54a","datavalue":{"value":"C verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q633298$649026EC-F6C5-4EED-B45E-193162499394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"239a86360ded42b343827eb768a0311158615290","datavalue":{"value":"low-level memory models","type":"string"},"datatype":"string"},"type":"statement","id":"Q633298$03EAFC27-8A8F-4C9C-BE03-1D178DC712ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a34c985172867b9a92db35c0bee03f54830f2fdc","datavalue":{"value":"pointer programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q633298$B0B6A83A-DA83-4899-B727-508E83B0947A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7cf4b9b245c26ae1c494047ce94c193d3582fe92","datavalue":{"value":"Schorr-Waite graph traversal","type":"string"},"datatype":"string"},"type":"statement","id":"Q633298$385123AC-EA8A-4A24-A090-1DB43720E3DE","rank":"normal"}],"P1463":[{"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":"Q633298$705F77DB-E812-4243-B7E1-116983DEF4F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fe5077d712c4f7a91829b6a22ef0e0039cd600ea","datavalue":{"value":{"entity-type":"item","numeric-id":15691,"id":"Q15691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633298$291AB0BF-DF42-47D8-A1E1-15ED0D251A3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d560ad72fd288969b6a46f8ac77d54f6d297bf97","datavalue":{"value":{"entity-type":"item","numeric-id":16796,"id":"Q16796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633298$78CCDB58-C5DD-4720-8B64-0868584F88C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b222922e2b373ab7fb2b7a049f9de07c755ee255","datavalue":{"value":{"entity-type":"item","numeric-id":16770,"id":"Q16770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633298$DB315E17-DF12-4DA6-B67B-8DE192C2825D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"602b32d79a3dd12c7713e80fb0597b8ab4375f08","datavalue":{"value":{"entity-type":"item","numeric-id":16614,"id":"Q16614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633298$9A06E3F7-5794-4955-B70F-2CC7ACFA75EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"493c4272f3e5f72c11a4ab08cd3c037673ba4268","datavalue":{"value":{"entity-type":"item","numeric-id":21766,"id":"Q21766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633298$C948941D-281A-4ABA-BB94-CCAC32ED0C21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c652637493e8de65377ba80065ca4183c6dc627","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633298$83831B1F-1ED8-4757-AC69-0670DEB96818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ea1fa890b2f09c8cd0bccb17957cf46696afec2a","datavalue":{"value":{"entity-type":"item","numeric-id":19731,"id":"Q19731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633298$8E970453-DD49-41AA-BC49-8A09097CBEB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"caed363da2541ad310e0f82b01ecaf6d561a8988","datavalue":{"value":{"entity-type":"item","numeric-id":23738,"id":"Q23738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633298$DF162653-4B17-4B15-A0C9-02AE0AF5331F","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":"Q633298$28EAFE7E-D1F3-4095-8CD5-F753B19C15CE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"48ecb3cc39e5eb62eb8894b1be1bd9df58591f50","datavalue":{"value":"https://doi.org/10.1007/s10703-010-0098-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q633298$8EA26531-AC63-46C6-BF7E-EE9D809FA841","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8685b0340c565a71d6bbf6112e4c70982e3ad0ea","datavalue":{"value":"W2132122557","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q633298$B97A2496-E823-42C0-A138-BF581CA52E7E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"16df2553495bc38f714aaa2197b34e11b69c06ef","datavalue":{"value":{"entity-type":"item","numeric-id":5674963,"id":"Q5674963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633298$03A73921-0B27-471F-8BFE-47B6D7813FA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4aa49f8fdafdd69de34783d8b376309d180c6312","datavalue":{"value":{"entity-type":"item","numeric-id":3543659,"id":"Q3543659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633298$E9CE6184-E8B6-4CA4-AE6D-4C185C761553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f646cd345b58ae430f5530761b980895fdd8a2f7","datavalue":{"value":{"entity-type":"item","numeric-id":633298,"id":"Q633298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633298$76AD3E88-E714-4402-B6F9-768575F68680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"288e9539ed7661e715c4eb9511317e6936f53231","datavalue":{"value":{"entity-type":"item","numeric-id":2721096,"id":"Q2721096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633298$AD2475E3-9F37-460F-ADB5-C884E4331EDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ec976db9fee9bededf233dd7d31c7e9ef2213c8","datavalue":{"value":{"entity-type":"item","numeric-id":5705937,"id":"Q5705937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633298$ADED1BBC-C304-4D18-95A0-159D736CA9ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a10bbeb6c6903ace983b2dbf286a2ef4e5b248ab","datavalue":{"value":{"entity-type":"item","numeric-id":1331625,"id":"Q1331625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633298$4FCB4333-7365-4837-A12D-4CEBF643C410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63e6d523626b41cd1cc43094dd846b1a6924f519","datavalue":{"value":{"entity-type":"item","numeric-id":3183546,"id":"Q3183546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633298$8B0D7F0E-471E-4943-92BB-240D9A086D3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3be8c8d124a78b7bc05b7543e4a39424af55fffb","datavalue":{"value":{"entity-type":"item","numeric-id":2486585,"id":"Q2486585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633298$9027633D-F3DC-4C9E-815B-CAE86A4E3893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcbb51ae8cf53c07603193ce3fb4f55694168013","datavalue":{"value":{"entity-type":"item","numeric-id":3003486,"id":"Q3003486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633298$4A50A642-5021-4A6E-A062-CF5BFD27C9A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54eee2313932f532ca016c516cb047dfc95351e0","datavalue":{"value":{"entity-type":"item","numeric-id":5428257,"id":"Q5428257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633298$86DC1E13-32EF-487B-812A-BB2192A73F9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d75dbd6831f5997bcd1e3a90202470be0212b0ff","datavalue":{"value":{"entity-type":"item","numeric-id":3638251,"id":"Q3638251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633298$06342AC9-9B73-47A2-A10A-44521CD1C353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9338ad617a6b3edc27fe0e8511e80dc613926ed2","datavalue":{"value":{"entity-type":"item","numeric-id":5261539,"id":"Q5261539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633298$97DC2388-EFAA-4F35-806A-412696DFC4A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd073d5f1b45c21954c5cfcc1b9243be226d02ac","datavalue":{"value":{"entity-type":"item","numeric-id":5429321,"id":"Q5429321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633298$02BFA5EF-7461-4403-BA86-FC3B814FC1AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dee6886b1b12e58b80eab37b36f8fad3afe11f9e","datavalue":{"value":{"entity-type":"item","numeric-id":2936804,"id":"Q2936804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633298$1B53A5A6-1B89-4717-9A66-743E8FBE5995","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"84a2050c0495bef25421143193c282e7789b7655","datavalue":{"value":"10.1007/S10703-010-0098-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q633298$5B49D7E1-0ED8-4C29-9A45-54D5F502E455","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"878840dd0fe639458aaebc46aeddb046a4bb17c5","datavalue":{"value":{"entity-type":"item","numeric-id":2216720,"id":"Q2216720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c4db77536ec2877c97596cdb43d6f1c6a728049","datavalue":{"value":{"amount":"+0.7462014555931091","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":"Q633298$427D2600-FDE0-4E5F-925F-E81AB4D63F46","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":"3e6c36dac089363b14fd3e50b5556c4cfd30e78c","datavalue":{"value":{"amount":"+0.7365418076515198","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":"Q633298$8CC136EE-9CB3-49ED-A70C-19EEEA76B958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66e125d08823e9eeeea82b37bc8cc9a6da32af54","datavalue":{"value":{"entity-type":"item","numeric-id":835768,"id":"Q835768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e6bf0ccc7b0fc518dfeaaf8b19ad652c747f4b2","datavalue":{"value":{"amount":"+0.7361853718757629","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":"Q633298$3FCDEEE7-D59F-4DB6-910E-FC99F1E7EE98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33ff1e6c6fc26e94b52a8731f0edc52b7b70a33a","datavalue":{"value":{"entity-type":"item","numeric-id":744329,"id":"Q744329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65887c8a97006249e81922e9ede8fbac53a9fa9a","datavalue":{"value":{"amount":"+0.7297597527503967","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":"Q633298$4666E7B0-62C2-4094-9CFF-7E3454D522EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e4f7550369b8e1b947e819d750997574708bd86","datavalue":{"value":{"entity-type":"item","numeric-id":5900714,"id":"Q5900714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd4e59b92ec117d92c26729a906eab357eac47a0","datavalue":{"value":{"amount":"+0.7268097400665283","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":"Q633298$BE3ACE62-95BF-418E-8712-FAAF92121366","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reasoning about memory layouts","badges":[]}}}}}