{"entities":{"Q2978536":{"pageid":2989261,"ns":120,"title":"Item:Q2978536","lastrevid":55897144,"modified":"2026-02-20T22:54:21Z","type":"item","id":"Q2978536","labels":{"en":{"language":"en","value":"Constructing small tree grammars and small circuits for formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6707787"}},"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":"Q2978536$0C904CD1-598A-4F89-825D-F0D320B3D2BC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f1f131316a6480b1c678f8d780f2508beffd3b19","datavalue":{"value":"1360.68534","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2978536$4BCB865D-C042-41BB-AFE0-FE798E05DFDA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"25a8c6186e4bea8001a8b97fc1b67db995cb0461","datavalue":{"value":{"entity-type":"item","numeric-id":1647672,"id":"Q1647672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2978536$09E89DB4-C8D8-420C-9696-8DE523F8C0A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db8f30a521e20eb0f40199bc337d407bb71223c1","datavalue":{"value":{"entity-type":"item","numeric-id":269346,"id":"Q269346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2978536$C6392380-5DF7-422A-B20B-64C1BBE9D76C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f930e7b0b0c249a88bc931d1fe1e58830e34eb63","datavalue":{"value":{"entity-type":"item","numeric-id":269348,"id":"Q269348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2978536$DB10E7D1-F92E-477C-A82F-57ACA289B917","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa23cc0149fb181ddf62c54fcf7661372ca0f225","datavalue":{"value":{"time":"+2017-04-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2978536$4EBB21BE-1279-4967-B6C2-E06003AFEA46","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2978536$F4529127-3F4D-4AD2-8326-D53EBB812D6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2978536$B1FE59DB-A164-4A34-B5D8-980C928E7304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4264b8bf260e532ba12469970b36fcaf09f85467","datavalue":{"value":"68P30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2978536$FBC706E8-9EF7-4102-8A78-0CCCEA270451","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9cc6a0f773e1584b60031744d8de05268eec82a0","datavalue":{"value":"6707787","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2978536$47F9F03E-95DA-4C7F-9D55-895D033E6A97","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f09b5231d1500a63c98fde88b36502be9956a155","datavalue":{"value":"grammar-based compression","type":"string"},"datatype":"string"},"type":"statement","id":"Q2978536$50539E02-711D-4138-968D-5552E2A7CE7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a4b586e2c56eb47201f49aba97c1a5af2d78a30","datavalue":{"value":"tree compression","type":"string"},"datatype":"string"},"type":"statement","id":"Q2978536$0D3C4F49-7048-4AFB-B004-3170BB57A0CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de7b542ab23c0373537828d69d46ca06bfc8ec23","datavalue":{"value":"arithmetical circuits","type":"string"},"datatype":"string"},"type":"statement","id":"Q2978536$5381A9B8-C49A-47BE-B4EB-856412A6F519","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":"Q2978536$10F052FD-48D4-4615-9D91-8773224AF654","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f424584f086c85b0610405e37249c69faaedb003","datavalue":{"value":"https://doi.org/10.4230/LIPIcs.FSTTCS.2014.457","type":"string"},"datatype":"url"},"type":"statement","id":"Q2978536$85DF3B8E-BA79-40CF-B4D7-7857BEDBCE30","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"abb2229b0550d8e6a76621f269a63cf04ff6d97a","datavalue":{"value":"W2587416938","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2978536$B4F02218-776D-40F3-8651-F8DEC010DDC0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6eb2cee81ab15ed5bbb53e8a0cbf202012dacbbd","datavalue":{"value":{"text":"Constructing Small Tree Grammars and Small Circuits for Formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2978536$4C61B9EB-17EB-455B-9244-57DEA0C60FC0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f92a8c7c0c46fa8dce7145fe019de4cb704faed3","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2014.457","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2978536$DD76B997-7B32-4BAB-91BC-12469AAF5F2E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"176027849c11b13c45d0b952419439adb8b2a576","datavalue":{"value":{"entity-type":"item","numeric-id":2396826,"id":"Q2396826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9155c47d52e75267f965c21f22cc693e1112ab49","datavalue":{"value":{"amount":"+0.9587645530700684","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":"Q2978536$474B8009-E33E-47E8-AC91-12F33F73C8CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fcd78a3730cd9f088955fc73c83423f05cc3a4b","datavalue":{"value":{"entity-type":"item","numeric-id":5056417,"id":"Q5056417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc55a0e1cf1f5dd767a227c4020c325627462b61","datavalue":{"value":{"amount":"+0.8071760535240173","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":"Q2978536$F130AD96-51FA-4363-8B6E-44F5AC1F337F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e7f398a09a30faf080395f3721a0fcc939aacf0","datavalue":{"value":{"entity-type":"item","numeric-id":342719,"id":"Q342719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87fefc5b34dadbab3d316ec1b30477abdabd9797","datavalue":{"value":{"amount":"+0.7635064125061035","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":"Q2978536$705F7947-BA76-4C51-880B-1C59564353E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9997697a98ff206a490916bbd21140dad3efa7da","datavalue":{"value":{"entity-type":"item","numeric-id":2965507,"id":"Q2965507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3444592beb648ab1c9f29932929ffac0967a97b4","datavalue":{"value":{"amount":"+0.76114821434021","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":"Q2978536$3DE19E6C-8F24-4823-A7E5-74922A36914A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2978536","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2978536"}}}}}