{"entities":{"Q2958388":{"pageid":2969107,"ns":120,"title":"Item:Q2958388","lastrevid":52733366,"modified":"2026-01-23T09:29:59Z","type":"item","id":"Q2958388","labels":{"en":{"language":"en","value":"Algorithms for extended alpha-equivalence and complexity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6679828"}},"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":"Q2958388$347030A9-13C2-411F-8FEF-60921D0AE8DF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d06510144d7c549551a4c9d7601184817ee32df2","datavalue":{"value":"1356.68046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958388$BB054AD2-F23F-407F-AA39-C4A683387B2C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fe3a4e1f2a5362788701d7212979576fb042c0ac","datavalue":{"value":{"entity-type":"item","numeric-id":2908516,"id":"Q2908516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2958388$2A32F851-A990-4269-923E-E7A13D12C726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3211ec0fd031f0134e24af3ce5cb141879b2940d","datavalue":{"value":{"entity-type":"item","numeric-id":352944,"id":"Q352944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2958388$9D57867B-40AD-492A-B66C-DC64A99186B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d0c8e7fc7107924c2bbe29f5a4f74a049a1ff57","datavalue":{"value":{"entity-type":"item","numeric-id":1110492,"id":"Q1110492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2958388$D0620BD8-ABCD-4B24-89C0-4F3E4EF5C982","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9849d71e29537eeb70c12e6244018ee5a71fc837","datavalue":{"value":{"time":"+2017-02-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2958388$75BC185B-D8AA-47CD-8BEC-FDDCE529C94A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958388$4AE90987-978D-4DEC-B89F-E6FFDF9F16CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958388$DD76D44B-32AF-4BAB-B10A-AD267C6E3E09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958388$8E1D6FB8-18B3-4717-B9CE-59C4BECE6141","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fe0c726193ea34a5129a2c518e98d4e74c98321b","datavalue":{"value":"6679828","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958388$9B691E5B-F246-4E27-A3C2-150583C818D2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"343d72c13fd2950200a59b3246024e9ab24f10d9","datavalue":{"value":"alpha-equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2958388$9A863AC6-11DC-466B-AC6D-CE5133296BFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e9a2feca583978dc12c99fbf46c0f7689c90a84","datavalue":{"value":"higher-order calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q2958388$773D5A7E-42D0-4494-B526-ADC6D6736124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b399e80d32f01f0e5ecb7d27abf0eef31abf6cda","datavalue":{"value":"deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2958388$B33CDFD3-B251-46F6-95EB-3E9BD0C65391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5cedc1a875d8083748dd695c5b423bf932b1222","datavalue":{"value":"pi-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2958388$AA6EA8AA-377A-4E2B-B323-C137BC45ECE5","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":"Q2958388$D9B42017-6D98-418C-9804-92753F4B2D8B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d0ab778dff24672c5bb648b476e8b5008af192bc","datavalue":{"value":"https://doi.org/10.4230/LIPIcs.RTA.2013.255","type":"string"},"datatype":"url"},"type":"statement","id":"Q2958388$F02BCE2F-7327-48A7-9C68-28828D8F473F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"62577e5c55f7fb84bfcaca0a5cd5fb13abc498fe","datavalue":{"value":"W2261595294","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958388$99603E04-DDB7-45DE-8DF5-D82A33750491","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"add6bf98ae355ebc37eecea2e257a74d069ed2f8","datavalue":{"value":{"text":"Algorithms for Extended Alpha-Equivalence and Complexity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2958388$BC440755-40BE-416B-A463-DC63DAFAAE75","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fbca3f8e4ce09b4273a0e7834726c61a10e366b7","datavalue":{"value":"10.4230/LIPICS.RTA.2013.255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958388$838C1935-8790-46DD-99C4-9225E93A0E7F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fb0b5cf848b0acd0b36e4f2147ed2883074ac86","datavalue":{"value":{"entity-type":"item","numeric-id":5444695,"id":"Q5444695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f77407d7c4101cfa0b3cb1ff19056801ea98979","datavalue":{"value":{"amount":"+0.736596405506134","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":"Q2958388$7C8ADCAD-3767-4FC7-A71D-F79CD25B1752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bff007c941650bb13b681a08199e81a026ff5989","datavalue":{"value":{"entity-type":"item","numeric-id":3511452,"id":"Q3511452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41ade3d45fe6ecf4001bb0b4694b3989b00e4d66","datavalue":{"value":{"amount":"+0.7343980073928833","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":"Q2958388$8A303EE1-8A6C-43B1-912B-97F52F7F83F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8543039ca01a7506afcf92d29204e0e1a5448747","datavalue":{"value":{"entity-type":"item","numeric-id":428860,"id":"Q428860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d603a85158f77f94a4a5add168a8b87a11eadc64","datavalue":{"value":{"amount":"+0.729211151599884","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":"Q2958388$700FDCB0-14BD-41D7-B817-B470E71FD486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c661d4ded762d73531c259c9f7f4f319ae0f0390","datavalue":{"value":{"entity-type":"item","numeric-id":1744440,"id":"Q1744440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3ba1283ca9c374444a9395483c30e7bacce6972","datavalue":{"value":{"amount":"+0.7277218103408813","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":"Q2958388$EDF5BC31-3B5F-4C45-8EB0-CEEF4AEE7353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d67992c67ebf1d080f2d40704789947fd47136d9","datavalue":{"value":{"entity-type":"item","numeric-id":980937,"id":"Q980937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc3e30aae0b9b56a22950031622833b2c6689450","datavalue":{"value":{"amount":"+0.7144908905029297","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":"Q2958388$D83C5A8A-E508-40F4-9027-8613494C84A3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2958388","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2958388"}}}}}