{"entities":{"Q5326282":{"pageid":7355856,"ns":120,"title":"Item:Q5326282","lastrevid":51790274,"modified":"2026-01-20T01:28:03Z","type":"item","id":"Q5326282","labels":{"en":{"language":"en","value":"Compositional invariant checking for overlaid and nested linked lists"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6194792"}},"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":"Q5326282$B93E6336-92AA-4531-882C-E8987337FF01","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b2ad4a3c1e485a75968de9ab09ade04fe2ef0b95","datavalue":{"value":{"text":"Compositional Invariant Checking for Overlaid and Nested Linked Lists","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5326282$4D69E416-0603-4319-AE8E-B8DFAD76DA11","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5d8515ea07ded10c5f7b3bc688aa77f7bfd699d7","datavalue":{"value":"1381.68051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326282$A25ED261-049D-4132-B1C7-0D916F00BB23","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5544a679c69108feb6f12a5f6dd8109266f0f8dd","datavalue":{"value":"10.1007/978-3-642-37036-6_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326282$7BB3BF3D-D3FD-4774-9DDD-ECA17D008209","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f25f8c34e12a231b757d629502410dfe3c146a2a","datavalue":{"value":{"entity-type":"item","numeric-id":515661,"id":"Q515661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326282$D1BA85A7-6A9C-4D8A-BA5D-D137C9633DDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eaeb2c408863fdaa564eac5697732416f0e2f89a","datavalue":{"value":{"entity-type":"item","numeric-id":5326281,"id":"Q5326281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326282$20D101F9-400C-4443-A9B5-B55E1596E34B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"10becd9e88add786cbcb24a4b7c65328ccb2ab08","datavalue":{"value":{"entity-type":"item","numeric-id":1688542,"id":"Q1688542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326282$89E54C39-7591-45AC-A5D6-5D3FF781CAA3","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":"Q5326282$D2128461-0975-4442-95F4-58160FFA5899","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"95aa5aea465a8772f3ec0450c3b06f16f93c1446","datavalue":{"value":{"time":"+2013-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5326282$2977446B-6D6A-4519-88F8-B3E940B92374","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326282$DE4BB80E-7490-4EB6-BC5E-B9B69446B77D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326282$B7471764-BC79-42BD-9CCE-E837DE618787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326282$3FF6C408-1A4F-4A85-B9E0-740847068A92","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"26e6a4673ae1069ab33d47615630d75c3bf1e0e2","datavalue":{"value":"6194792","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326282$63CBE41A-C4BB-4090-A75B-8C5ABD73D300","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1637c3ce3f61a15997b947ec05e883d55623946c","datavalue":{"value":{"entity-type":"item","numeric-id":19722,"id":"Q19722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326282$F48D6702-3D4A-4E47-89DC-84923BC4F1A4","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":"Q5326282$B5ACDF21-DCAD-4CDF-8220-F34DC756FE24","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7ba6d33d4110a56304185a5e7c516365b0f9ead3","datavalue":{"value":"https://doi.org/10.1007/978-3-642-37036-6_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q5326282$7D17490D-4891-4755-8F14-DABA73391700","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e0d44fdd8491b1e2c0bf6b5a469a7c362d89099f","datavalue":{"value":"W1506554338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326282$EAF00B23-0C83-4D94-921F-34E51BCDBE80","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa10a0492b8f73c4de4e6b54492d0fdccf84bf3f","datavalue":{"value":{"entity-type":"item","numeric-id":1688543,"id":"Q1688543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69aad657d79ae4c76c2d4305351f4cb37e41882a","datavalue":{"value":{"amount":"+0.8358167409896851","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":"Q5326282$1C7CAE08-037C-457D-A571-B2D2F72F32C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42e7e6afb67b14d5ac655e9aad0be896869a7453","datavalue":{"value":{"entity-type":"item","numeric-id":2789053,"id":"Q2789053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35b4432cdab03da13511191a5cb6572610e8296d","datavalue":{"value":{"amount":"+0.8354588747024536","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":"Q5326282$406A7CCF-945B-4489-BDAB-E44A1DCA38ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbd92fcbd187999428755f3015a6c0079f87cfd3","datavalue":{"value":{"entity-type":"item","numeric-id":5465888,"id":"Q5465888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b81fee87ef28d514f730d29b0892f837bbed9d6","datavalue":{"value":{"amount":"+0.7698146104812622","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":"Q5326282$66FE6B71-27C5-46D1-9D0B-FF62CB0167A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe99c3155a8cd8b31eed3f7929cf83e502990f77","datavalue":{"value":{"entity-type":"item","numeric-id":4649295,"id":"Q4649295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80cdaab2c3b53e8c378f7dbdcebf3d1e3498ff6d","datavalue":{"value":{"amount":"+0.7630957961082458","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":"Q5326282$271F46C3-59AA-4C3B-A254-D4CF7389B0AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"737feae85a13a7eb557031c009339849005f070f","datavalue":{"value":{"entity-type":"item","numeric-id":707740,"id":"Q707740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"948e6145a5798de277502dc6b5639aa5ef737559","datavalue":{"value":{"amount":"+0.7527245283126831","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":"Q5326282$360CD577-3CBA-4475-9F59-F71D4ED724BD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5326282","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5326282"}}}}}