{"entities":{"Q2867898":{"pageid":2878618,"ns":120,"title":"Item:Q2867898","lastrevid":51894776,"modified":"2026-01-20T12:05:18Z","type":"item","id":"Q2867898","labels":{"en":{"language":"en","value":"Structure and properties of traces for functional programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6241714"}},"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":"Q2867898$9EF3C0FA-EB9A-404F-9D0F-8D0C6FAC00F4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ccda309ef314d1c2d68acfc13c1d67803bc25b54","datavalue":{"value":"1278.68058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867898$3F194061-AD55-4BF1-B6FC-E4B8295546BF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4af702cde1c42a932846a4c22579ba0dd7dbf057","datavalue":{"value":{"entity-type":"item","numeric-id":1648890,"id":"Q1648890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867898$36F2F5C9-D8BE-4FC0-935A-C9B87F1D5E80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e655676d939634eda414cc9dd175f03ea11a12d","datavalue":{"value":{"entity-type":"item","numeric-id":253810,"id":"Q253810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867898$879B58D3-4615-42A4-9402-322B9596DBAB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867898$87932CB8-F0A7-4D27-BDDB-530414E6689C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"910ae69968b0b824ffb07e2bd5cc35370f9e2a13","datavalue":{"value":{"time":"+2013-12-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2867898$92797B64-6DC6-4E66-9957-041F2F5A449F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867898$3CE9758B-1440-43C7-BB51-280BC1370A18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867898$E1F8049C-E4C6-4E7C-A521-5BC2345D5725","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5a14d35fd037a6eb964b1b83f4dba4aaa204c8d3","datavalue":{"value":"6241714","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867898$BA34DCEE-EB3B-43C4-9242-FE5640646B75","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ccc7af04a2eeabb45dbdd271a70ca2e562240381","datavalue":{"value":"tracing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2867898$C365B97E-2FC1-4266-8F95-8B16AB0E1B85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e209e27ecbb3fc4e2dfd619db86ffda1231648d6","datavalue":{"value":"debugging","type":"string"},"datatype":"string"},"type":"statement","id":"Q2867898$55263362-FF99-44DD-BE0F-DAC3B423FEFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86d2a8a79e945928c87122dbf91ed65bb8ccfc9a","datavalue":{"value":"augmented redex trail","type":"string"},"datatype":"string"},"type":"statement","id":"Q2867898$3EDA2F14-660D-45F3-A712-32CEECC58767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"940efae7ca985ca50dfde820ae89474e72d365df","datavalue":{"value":"Haskell","type":"string"},"datatype":"string"},"type":"statement","id":"Q2867898$5BCA8E5F-0AE9-4446-817C-5109C508CDDC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"89158926a7532fe4a7485fefe0744c8760d38c7c","datavalue":{"value":{"entity-type":"item","numeric-id":25594,"id":"Q25594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867898$A0E5AD51-9CC4-4594-86D8-2A954C0B9B9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2ff86482fed94163d1931fec7a795318bc929b32","datavalue":{"value":{"entity-type":"item","numeric-id":25593,"id":"Q25593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867898$727B8489-6096-4AED-8477-CB1EAFF6DD8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8cb843fef9e58b230bf648e4666fe305624691e9","datavalue":{"value":{"entity-type":"item","numeric-id":25592,"id":"Q25592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867898$57CE4F29-0E7F-40CB-AF43-BCE22244B91C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867898$CE857C2B-D8E9-458B-90ED-F5287FE84030","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":"Q2867898$492FECCF-E355-4349-8BDD-B5FA8BA25AA7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"86b587e1e3dc1f41213da8ee6c9a245b60f92acd","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2006.10.032","type":"string"},"datatype":"url"},"type":"statement","id":"Q2867898$BA344418-39C0-43C7-9FB3-83FAE82CB66A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"700a6b01a2fba151acf099170da7475867d42976","datavalue":{"value":"W2153842012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867898$AE490E58-78F9-467E-9FC3-1867FEACB10E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9841c9faecdc42a386f34a54a29de3445ecfe9b4","datavalue":{"value":{"entity-type":"item","numeric-id":2843929,"id":"Q2843929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867898$E0A99BBC-A96E-439E-9B3E-A4239E0F444C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5de48f96cc42e89b1d7884e21dfdf3b8a6f9bd5b","datavalue":{"value":{"entity-type":"item","numeric-id":4222748,"id":"Q4222748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867898$135CAA30-4960-478D-945B-800590DB41C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e41935a270af5a6563e2737302396c60908502d","datavalue":{"value":{"entity-type":"item","numeric-id":2763637,"id":"Q2763637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867898$C0581410-CFF2-4344-B63B-BEAEEDC06A71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66c3802cfa729d682f7033d9bb1654f69e301cf8","datavalue":{"value":{"entity-type":"item","numeric-id":2817726,"id":"Q2817726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867898$21F1C9FC-CCB6-498F-8A27-F7C4F57714D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14630608c4637298e06b93ec7374558801ec2420","datavalue":{"value":{"entity-type":"item","numeric-id":2763389,"id":"Q2763389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867898$8F219B4E-07EB-440C-A6D8-CD4FD68FEFBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"866e49a2bb01a72bdb249686d914712453b16f61","datavalue":{"value":{"entity-type":"item","numeric-id":2763681,"id":"Q2763681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867898$E34A0375-7E12-4680-97A9-9080E004A2B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a3f67af2a53d3e4116abff8109a4565ec3a93c9","datavalue":{"value":{"entity-type":"item","numeric-id":5261284,"id":"Q5261284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867898$EA4035EC-EF37-45EB-908C-54024C1C8E1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19bc50e2f4d2cceaac2ab96d0b4ab028848b7d4b","datavalue":{"value":{"entity-type":"item","numeric-id":4023900,"id":"Q4023900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867898$9FB66340-C22D-4F37-9BFC-3AFF4A54DD01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d951c4cfcaa36d2da2f197f12f71c4ee70e12e2","datavalue":{"value":{"entity-type":"item","numeric-id":2867898,"id":"Q2867898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867898$EC1B640D-FC05-433C-BB7D-A890BDA75E9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3ace06db1892d761ccecefca66e1592cc981c11","datavalue":{"value":{"entity-type":"item","numeric-id":3625516,"id":"Q3625516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867898$784417E7-5DC1-4F3E-A6DD-B6F8F2AF94D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99adda52971fbbbaa6ee6aa8c6ea0d0a46f58897","datavalue":{"value":{"entity-type":"item","numeric-id":4923548,"id":"Q4923548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867898$2341F768-40A4-430F-B620-53B64F051332","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f9907313bc2b5e621a31f48264e1d82c70f5d1b4","datavalue":{"value":"10.1016/J.ENTCS.2006.10.032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867898$D7E4E0C2-B431-46DB-AC6F-B03208BD7314","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"29f70460efa54285e2456ad5e33e685c06fe2cc1","datavalue":{"value":{"text":"Structure and properties of traces for functional programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2867898$09D68B43-0EDF-4B8F-AD83-E0154C4CD4D8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44e2746e024aaa6565b381cfaf6bd36775cafd81","datavalue":{"value":{"entity-type":"item","numeric-id":4433998,"id":"Q4433998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dde3b854d7ed28bec90ceb419815ef89a3ddf45","datavalue":{"value":{"amount":"+0.8149884939193726","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":"Q2867898$F5F490D1-F306-493C-98C0-B74AD4803F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0835947536870f61ba055769fa48449bc09447b1","datavalue":{"value":{"entity-type":"item","numeric-id":5423548,"id":"Q5423548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f446fa493038e1d25cca2cc17d6e18f0afe40f48","datavalue":{"value":{"amount":"+0.8114437460899353","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":"Q2867898$6F005914-C52B-47F6-BF75-0CC1278B5168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba871362bfd6c00370e8935e4d661d8e4e26cd6e","datavalue":{"value":{"entity-type":"item","numeric-id":2763389,"id":"Q2763389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69c0db14779f2fdd5d103eda28477e654326223f","datavalue":{"value":{"amount":"+0.7884479761123657","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":"Q2867898$A0239E1D-8027-4D2E-9212-91039CCF9B31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"add223cdcecc7eabcaf75111567d524b0073e8c0","datavalue":{"value":{"entity-type":"item","numeric-id":3591083,"id":"Q3591083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3946d1f51afe8486b183e5076ec089e356747a39","datavalue":{"value":{"amount":"+0.7861157655715942","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":"Q2867898$B74C6086-2B93-4DE6-A6A3-EA1C7F895DAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"092b92657458c23aca72ddd5ff4c7bd2488d32e8","datavalue":{"value":{"entity-type":"item","numeric-id":2271904,"id":"Q2271904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec3032a2da73f24197090cc1e61db837bbdf4acc","datavalue":{"value":{"amount":"+0.7741202116012573","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":"Q2867898$694A8BF8-08E1-419F-B7D3-5266AFA08AEF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2867898","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2867898"}}}}}