{"entities":{"Q4559807":{"pageid":6589398,"ns":120,"title":"Item:Q4559807","lastrevid":97325528,"modified":"2026-06-05T13:59:56Z","type":"item","id":"Q4559807","labels":{"en":{"language":"en","value":"Shape neutral analysis of graph-based data-structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6988656"}},"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":"Q4559807$F52B2204-6F69-4CF7-B35D-FE7F2B9293DF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0c28323109e0a13daf75b1e38e63a36c84de147d","datavalue":{"value":{"text":"Shape Neutral Analysis of Graph-based Data-structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4559807$A9A8AEC6-CAD3-4AA7-94BD-8D3F0A7482FB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cbb4c5f9bb96da8a1b622cc7eb51610d625bd4b6","datavalue":{"value":"1451.68174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4559807$43D9399A-2E70-443F-9530-9A87C456393D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7b3a811b4d7dfb24d8bc278adcd3946da1a4b9b8","datavalue":{"value":"10.1017/S147106841800025X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4559807$9F2BB7F0-5F1C-41E1-9741-40DD29BCB2E6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fcb9bf294a3c8d06051f7a0433cc43998ec1cc39","datavalue":{"value":{"entity-type":"item","numeric-id":2863873,"id":"Q2863873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559807$B68670DB-E65E-462C-AB54-69536605D826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9c22202056a7e54fe7d747a972d5d32461d68b3","datavalue":{"value":{"entity-type":"item","numeric-id":688822,"id":"Q688822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559807$6890F9A7-8042-40D3-BF28-07C96A0661AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b9b4d7b7159e1ae2e39029628a39ee73b050125","datavalue":{"value":{"entity-type":"item","numeric-id":202526,"id":"Q202526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559807$D63F414B-2F0E-478E-B627-1EBE483EDE0C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559807$B0120220-5822-41D1-9E2F-633F9C41FB8A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3057b7b50937a91885954ebcb046fa2257c3f34a","datavalue":{"value":{"time":"+2018-12-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":"Q4559807$E9A302B2-738C-4F9C-8D48-AE27597856B2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b1e29902a9e421ea1c32cc3cc58f3b6f4219097f","datavalue":{"value":"https://arxiv.org/abs/1804.09352","type":"string"},"datatype":"url"},"type":"statement","id":"Q4559807$C8217CE0-BF5A-4591-8974-B0C0B47A55C5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4559807$8367C1F1-EBEF-4A33-BF4E-E337B8943869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4559807$9AE7276A-8E3B-46AF-B156-FCB4F8E2B703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4559807$6DE78D70-5DC1-47A3-80F4-584ECA45AF8E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d1ad32797a0f21e8c3388720b764297e5e1c87c1","datavalue":{"value":"6988656","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4559807$43F3E89C-ACAC-44DA-BDCF-A7A1AC257C2F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa6c1af556f0abb9c251174f4df14ad1908b31ef","datavalue":{"value":"constraint handling rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q4559807$AAA5B3D7-4642-4590-9F99-4A871D6E2F1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"765d2a2bf355a27aca60b1df07ca595197b3cf24","datavalue":{"value":"satisfiability modulo constraint handling rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q4559807$22978B20-99F3-4919-8BF2-CBCC7D31DCC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1254a7c01d2970b87da2854c1fde40c268a1f55d","datavalue":{"value":"satisfiability modulo theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4559807$D967A94A-36C8-465B-8869-7DC3BF8B76E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f668560f85d7afd1fece97b175bc3414226fbb","datavalue":{"value":"program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4559807$4162832C-67F5-4065-A616-267E1CBC90E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43d8de44b3f88bd19a871628a3509981cd748562","datavalue":{"value":"data structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4559807$577B7342-2C91-4060-957F-989B4ECFB81A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8479f5f21e18bfd87dad8b29d48060f569ce64b","datavalue":{"value":"memory errors","type":"string"},"datatype":"string"},"type":"statement","id":"Q4559807$87F1F73E-FDE8-483E-9E3C-534774239845","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e188d0504db629a156fe6c8ee584863634102d2d","datavalue":{"value":{"entity-type":"item","numeric-id":19428,"id":"Q19428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559807$FAC18A05-C8F9-4286-A896-FA933E3161A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f5d00c8ea90db1902290486ff0a016abf9032d22","datavalue":{"value":{"entity-type":"item","numeric-id":21461,"id":"Q21461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559807$DCD96E5B-1565-4319-9B45-2166784DE861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5fa686058812d62cd4fdb582e175396a9f36cf7e","datavalue":{"value":{"entity-type":"item","numeric-id":21691,"id":"Q21691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559807$62691A98-DA4C-4F86-9EF5-DB3E4E70E7CC","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":"Q4559807$4980C206-0599-4090-A968-6FF6943B23CC","rank":"normal"},{"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":"Q4559807$D6F8BCBC-72B3-4CE5-9BFB-76DD49C8733D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"885732700486dd3bd6caf3a52a6aad5c75412a12","datavalue":{"value":{"entity-type":"item","numeric-id":21305,"id":"Q21305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559807$E72B74B3-0E0F-4076-81E1-F6151767C7BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fdab07d39556d0075d882dcfd5a58c05fcf1a7e9","datavalue":{"value":{"entity-type":"item","numeric-id":21698,"id":"Q21698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559807$1DE5CB11-BCC0-46D0-BA15-CF4C10621DED","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":"Q4559807$125AE1D9-D057-4022-8D5E-5EF120E3B8AD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"892146f0850468343a97598842948ff20cc8ed35","datavalue":{"value":{"entity-type":"item","numeric-id":4911137,"id":"Q4911137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559807$7DE1B62C-63F0-4B4B-97FD-4819B329883E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"461051b6e767f08fb11be910583fecd77b28fcd5","datavalue":{"value":{"entity-type":"item","numeric-id":4245936,"id":"Q4245936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559807$9D67BADF-674B-4F37-8A44-2C9C3F0FD2D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da243cbfc0d1b21b693c2d3e7acdb1031eb76ca8","datavalue":{"value":{"entity-type":"item","numeric-id":3639651,"id":"Q3639651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559807$AB588FA5-79DE-4307-B884-A0A84D5394FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81006327d72d2859034c6eecc92705ccc5770eba","datavalue":{"value":{"entity-type":"item","numeric-id":3377461,"id":"Q3377461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559807$E55102FA-7D62-4CF7-8663-3A11CA6A691B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"04a407d6f8339e4f5b38c1d4c893cd6f39fc1c80","datavalue":{"value":"W2964307043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4559807$9644D279-5874-4D9B-890A-420E1944AA80","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b11a34c1631b77cefa63ff6edcd7b5b9edab8a27","datavalue":{"value":{"entity-type":"item","numeric-id":5429321,"id":"Q5429321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c34c654e3db5fff91c46e5721c3842d1577fec5","datavalue":{"value":{"amount":"+0.7650091648101807","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":"Q4559807$2938993C-0094-4A22-B1B1-A8FD94861A2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c5ebc0d81548d921a950ddf4ee0d5ca7486a7e4","datavalue":{"value":{"entity-type":"item","numeric-id":4930728,"id":"Q4930728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"190e0e7c0cb4fbd760eb542fe1ee9d581e5d47df","datavalue":{"value":{"amount":"+0.7599902153015137","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":"Q4559807$322A39B2-EB0B-4DE6-9C2F-57FC03972A67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8483bd2708667f1cbfae2f5b79728161f8a086e7","datavalue":{"value":{"entity-type":"item","numeric-id":6039389,"id":"Q6039389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be8e7783683755c853b9fe9eba395b82d540d7f0","datavalue":{"value":{"amount":"+0.7572498917579651","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":"Q4559807$F47CD57F-5081-40A9-9E59-8909011EE3E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed86bfeb3c017556493245f5a8372a48e2d19d2b","datavalue":{"value":{"entity-type":"item","numeric-id":5758098,"id":"Q5758098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d9c59d3ec651a420e4e292748375e3c353ecdc0","datavalue":{"value":{"amount":"+0.7519328594207764","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":"Q4559807$2EDBFE01-32EB-4E08-B3DB-9D85D8736B1A","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":"aafa642fd0471696cb2a302ab9416ce9c3e59a5b","datavalue":{"value":{"amount":"+0.7488201260566711","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":"Q4559807$6D5AE086-9992-495E-B298-30505FEA177A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Shape neutral analysis of graph-based data-structures","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Shape_neutral_analysis_of_graph-based_data-structures"}}}}}