{"entities":{"Q3025334":{"pageid":3036050,"ns":120,"title":"Item:Q3025334","lastrevid":48513058,"modified":"2026-01-05T01:47:31Z","type":"item","id":"Q3025334","labels":{"en":{"language":"en","value":"Director Strings Revisited: A Generic Approach to the Efficient Representation of Free Variables in Higher-order Rewriting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2187129"}},"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":"Q3025334$72081F2B-EB54-4AF1-BD55-1615193BBBED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f58e2eaabe18ceb07f880132c986e6e5f772289f","datavalue":{"value":{"text":"Director Strings Revisited: A Generic Approach to the Efficient Representation of Free Variables in Higher-order Rewriting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3025334$8BB73B84-E560-4D88-9395-870EF0274DE0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3bf68014552029920f1fb04b990ea22178badd52","datavalue":{"value":"1101.68639","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3025334$2F236570-DFB2-45C0-962B-54F591E376EE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf8d941be5ca4a678f2961090bfedbfaf5c027a3","datavalue":{"value":{"entity-type":"item","numeric-id":1778106,"id":"Q1778106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3025334$DDF5B4D7-FFE8-4FF9-9A91-87B2CE4042D0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f460ecd3e2e10668e6c23b104091f0f56f4b7683","datavalue":{"value":{"time":"+2005-07-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3025334$8901C61E-C926-46E1-9DC5-DFE4EAF5A69B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"682b7d61f201aa9ee4bab5f5bb1d051210360dbe","datavalue":{"value":"https://semanticscholar.org/paper/c7d241a8ec7a76c0785c4658aeb45642b59b08d9","type":"string"},"datatype":"url"},"type":"statement","id":"Q3025334$12074A61-F954-479F-B02F-89F3048C25F4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3025334$048AA786-2FB7-4DFA-97FF-4C161C00906B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3025334$5B1B22E3-BC45-4428-902B-05C525C6C1FF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"82e6b711603c31b662d7788c2b50d5b10058d325","datavalue":{"value":"2187129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3025334$C44736FC-BDFE-4504-BDB9-B1ECD0E443DA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f2ba317af92064f1693d00db36f9e3f6a8d116a","datavalue":{"value":"Variables","type":"string"},"datatype":"string"},"type":"statement","id":"Q3025334$8737AD15-2DF0-4FBD-90A5-8923C62D4D55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"476e70cc5d552d5cdc76575cc73d40a8bfb4b86e","datavalue":{"value":"rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q3025334$4663B841-0B19-45EA-8789-8F7BF145CD6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c48fd5971af07f8c5b531cd8ce79c87b442ade69","datavalue":{"value":"director strings","type":"string"},"datatype":"string"},"type":"statement","id":"Q3025334$7897418E-A959-446F-8A8A-C44A4994230B","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":"Q3025334$7FAA744D-AC6F-4F1E-AE3A-EE951D75479C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bcd8f2d81af26f4ca46ba0af20b82b32d9f7c4d7","datavalue":{"value":"W2103825283","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3025334$6E579939-F838-4088-A5FB-9904C85D5375","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"117552f6d0331cd5880fd7c9acd5c079f4b310ba","datavalue":{"value":"Q56050818","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3025334$22ED5556-15C9-430B-B3C7-D19B6CCEEC6C","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"e5f1ea84a596ab91d4cc903be718030f538b5ca1","datavalue":{"value":"journals/logcom/Sinot05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3025334$8545A0AF-0783-4F5B-8D52-63B78C4E7C97","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c35890af9a78905ceed03b3b1bedf2e370726f47","datavalue":{"value":"10.1093/LOGCOM/EXI010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3025334$C036B7D7-6811-49A2-975A-D5E89F293005","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3025334$AADDC42D-9951-4621-933A-93FDDB779E53","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb9f370b7da6dab798da6709a093430c11ae3fcd","datavalue":{"value":{"entity-type":"item","numeric-id":4247079,"id":"Q4247079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2b82d929db66d96376e3f723ce14333ecb46510","datavalue":{"value":{"amount":"+0.7396161556243896","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":"Q3025334$53BDC29E-573D-4B0B-B928-6A26EAD82DE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3b33a334f0db2b9bbe290031c2409486acc952a","datavalue":{"value":{"entity-type":"item","numeric-id":4447222,"id":"Q4447222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e44149e810758b8a24a952b33dc1022cf9a3bfb5","datavalue":{"value":{"amount":"+0.7372645735740662","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":"Q3025334$4CD6B667-9E68-4943-8FC3-C329A3A6D3A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b06d10b23582d7fc9f54e133a2abef0ff6b01d3","datavalue":{"value":{"entity-type":"item","numeric-id":1090671,"id":"Q1090671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45fecb7f0262aaf50f277e27b5209a35663ab3a7","datavalue":{"value":{"amount":"+0.7267137169837952","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":"Q3025334$B5FEDA2B-8EC9-4658-B9EB-2A7AB12806AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"178b5262ae904dc83854f235fd94da878df309ff","datavalue":{"value":{"entity-type":"item","numeric-id":3823125,"id":"Q3823125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bffaea3b31bcd5c6058166c6381f3089f49e6690","datavalue":{"value":{"amount":"+0.7220447063446045","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":"Q3025334$060973BA-2FB5-40C7-925B-EA3C3ED664E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69dc7826417d77bfc403aa037151d9182dd4a937","datavalue":{"value":{"entity-type":"item","numeric-id":1778107,"id":"Q1778107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbb8f4f1d94dc9adc7ba4cf6f47665e6c112f9fd","datavalue":{"value":{"amount":"+0.721549391746521","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":"Q3025334$D2CF8E1C-9876-4CEF-867B-450A06ADCC09","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3025334","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3025334"}}}}}