{"entities":{"Q2180239":{"pageid":2190982,"ns":120,"title":"Item:Q2180239","lastrevid":53732021,"modified":"2026-01-25T15:22:54Z","type":"item","id":"Q2180239","labels":{"en":{"language":"en","value":"Transforming derivational complexity of term rewriting to runtime complexity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7200370"}},"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":"Q2180239$CEFCAE2F-7E0C-4036-8796-7DE048D8E656","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"500bed1adf18e97f81bf8675926a1efe9f5f2cd6","datavalue":{"value":{"text":"Transforming derivational complexity of term rewriting to runtime complexity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2180239$ABC43D96-35FB-4180-B44E-8092275D58BE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6a90f8b5d058b59078c1f8d0cc83c8177ed9424d","datavalue":{"value":"1435.68132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180239$7B48FE24-DFD9-4CAE-B8C8-CC24331321FD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d8664ae148acf6cf62f4d41fe8408df085c550c4","datavalue":{"value":"10.1007/978-3-030-29007-8_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180239$F25AA307-8AD3-4523-8367-D7E6DD6AF294","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5320a359c64bceee0a4053edac274f2ae03f2ee","datavalue":{"value":{"entity-type":"item","numeric-id":438534,"id":"Q438534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2180239$9BC5AB48-13BF-42E1-9388-4D1EF17E8F16","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6d0c48627b068f854a947856c3807165d49ca3ba","datavalue":{"value":{"time":"+2020-05-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":"Q2180239$A5D00598-BEC7-4470-BFA9-444A043BD4F4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a991ac9978fb2e676e9d00a44fe6044d96902e27","datavalue":{"value":"https://eprints.bbk.ac.uk/id/eprint/28185/1/FroCoS19-rcdc.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2180239$C1099C64-9AB9-4A31-A511-91F94D3005CE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180239$571EE88B-37E9-49B2-9B11-C277B1A29CA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180239$62EC8FB1-4E84-4A90-BF6D-08605DB3CBEA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"949a0f37c5fe6038385a7286c2533e194769dab6","datavalue":{"value":"7200370","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180239$FB27ABE3-81F5-4A9D-9831-76DB1AE7AFDC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"352070f92a42ab6c0ae16e5d77d8a717bc392ccc","datavalue":{"value":{"entity-type":"item","numeric-id":19847,"id":"Q19847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2180239$2BF3516C-794C-4B2B-9215-6D5A7EAB8D4D","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":"Q2180239$C919C7D0-31B0-41A9-A229-4EEEE5AB44B0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"66fb1d1ab9b01ce9b381c916163db4eb604d2672","datavalue":{"value":"W2969639005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180239$479FD3CF-2D90-4E93-9B65-203472206B06","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"129504732a95b622055aa15d1df2d553e7bc39eb","datavalue":{"value":{"entity-type":"item","numeric-id":1687548,"id":"Q1687548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7f2cfc64b00d4df692c015d22a94468673691b3","datavalue":{"value":{"amount":"+0.8306446075439453","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":"Q2180239$EC19AFD8-9B18-441F-B265-ACA86D7995F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"926fe7dfb76f995dd131e99826f8cb89eb3eff17","datavalue":{"value":{"entity-type":"item","numeric-id":5408194,"id":"Q5408194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"052b641c3fce23e459c7eefeed1479d96cd79f80","datavalue":{"value":{"amount":"+0.8005998730659485","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":"Q2180239$FE27C810-D6CF-4DC1-A93E-67F49085544C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"948c69ad40617e5eb3598587d5b9c39f73485018","datavalue":{"value":{"entity-type":"item","numeric-id":2398176,"id":"Q2398176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9610effb59efd3e1d50b87e0e55254a1ca8df624","datavalue":{"value":{"amount":"+0.8002203106880188","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":"Q2180239$66A5FD27-C941-403F-910F-2F69F8CBF6A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bfdc943b67ace1795ad26b2f1fabad8099c1495","datavalue":{"value":{"entity-type":"item","numeric-id":5389157,"id":"Q5389157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4283cee632b5359324822d09fead47fc65b1afe","datavalue":{"value":{"amount":"+0.7935102581977844","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":"Q2180239$270EDB8A-FCAB-4B44-A1F0-11B8C4CA7034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9070dee1dcb203ef993f30ff3f8259a1ec91f16","datavalue":{"value":{"entity-type":"item","numeric-id":5277889,"id":"Q5277889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d0dfd73fa17e6f7eee16f06a5b7bf7eb14e5ead","datavalue":{"value":{"amount":"+0.7924740314483643","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":"Q2180239$31A8D422-E163-4067-A50C-BD956DAE1DAB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2180239","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2180239"}}}}}