{"entities":{"Q3066112":{"pageid":3076828,"ns":120,"title":"Item:Q3066112","lastrevid":51159935,"modified":"2026-01-17T00:09:46Z","type":"item","id":"Q3066112","labels":{"en":{"language":"en","value":"Automated proof compression by invention of new definitions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5834053"}},"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":"Q3066112$844EEE40-2D99-412C-A347-BB405EA82B7A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"41abeee77216184684d192845ba0d3b6672d550f","datavalue":{"value":{"text":"Automated Proof Compression by Invention of New Definitions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3066112$CCFD6ED6-7279-4CD9-96BA-2219094937E9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"272cddd8a04609671a974a97ab66caa1718a49c0","datavalue":{"value":"1253.68293","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066112$D38EF337-D150-489E-A068-C436F23383B3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f663034c1748a233d3b22f52c42f0c55e90d3ba9","datavalue":{"value":"10.1007/978-3-642-17511-4_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066112$7C6585C7-7E45-48BD-9102-31FC0B46C463","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c9eb10efb36d91b4a71eba9375e0f24add1b3f2","datavalue":{"value":{"entity-type":"item","numeric-id":1687710,"id":"Q1687710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066112$205173E5-3A6B-4374-B9CD-26BE6B86E805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5ff4cf6f989469eee73caf1aa9de9fad60ad8c5","datavalue":{"value":{"entity-type":"item","numeric-id":397856,"id":"Q397856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066112$CFA3E6E4-9986-4045-AA19-7A86A58A23B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc204e2e78d924e815f2b640ec35c8c2356ad41f","datavalue":{"value":{"entity-type":"item","numeric-id":286786,"id":"Q286786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066112$0DCD1CC2-86D6-4BB9-A366-28C03BF9CAC2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066112$C27E01EA-1522-469F-A60D-B1CAB4D741B1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"156b753d324324fc03cf856ff2e3142887c3187a","datavalue":{"value":{"time":"+2011-01-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3066112$132FCD7C-C945-4A74-81FF-24B2317C44C3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066112$DF5DD93E-0DB3-4BFC-B959-34FA4CA589B7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b8513a390da1739c812e1ab4a0a7cfa714403851","datavalue":{"value":"5834053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066112$8548187B-3C5F-4B6B-A6DC-A6EE96EB6DE9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066112$6C3A6A86-B2F9-4C9B-B48A-21BCE442E01B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1017108dce3983431546a14c274f65bc4aaae70b","datavalue":{"value":{"entity-type":"item","numeric-id":22154,"id":"Q22154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066112$ED21E3DB-FD5F-4AA8-9B97-B9714DD9D790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"62af2c5e450adf37bd9acb47c5a55b60b68447ea","datavalue":{"value":{"entity-type":"item","numeric-id":22241,"id":"Q22241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066112$20CF8E96-4654-408B-8F82-BD4015B1B254","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":"Q3066112$5AF40DD9-2168-4109-BC02-7F84CA275BEA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"617b9a8fe77faedaf367178639fb1d70b017fcbf","datavalue":{"value":"https://doi.org/10.1007/978-3-642-17511-4_25","type":"string"},"datatype":"url"},"type":"statement","id":"Q3066112$BF8AA98C-AA5F-4886-AB47-68E21D156793","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bbbfa29edd2e45acfe37128c584f069d8d986918","datavalue":{"value":"W1556207683","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066112$8C9DECD7-5BA6-40FD-9DFF-41405C6A32FA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36a4004bec8c4bf76605ffb8af1d4dfe2b0301b8","datavalue":{"value":{"entity-type":"item","numeric-id":3352532,"id":"Q3352532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35074e87e24dca35cb7da29f96ba4d05cd46c4a7","datavalue":{"value":{"amount":"+0.7595921754837036","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":"Q3066112$91423436-8570-49D6-9716-430F7C4D094A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a63d7fe6af7fb615dd0ada14d74a7ffcad7f853","datavalue":{"value":{"entity-type":"item","numeric-id":1040776,"id":"Q1040776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"370c2e6fba7eaff3c8c8e6c63e5d2c7d3a79329a","datavalue":{"value":{"amount":"+0.7343751788139343","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":"Q3066112$B24C5DF9-1168-466A-A0C5-434179B2975C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca585afb85610837f0a57b30aeb17eed5f79fbd8","datavalue":{"value":{"entity-type":"item","numeric-id":2907345,"id":"Q2907345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1d3108fa1150f52b30eb13e4292ef56dd192cfa","datavalue":{"value":{"amount":"+0.7326188683509827","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":"Q3066112$AA642BC6-2EA9-4022-9CCB-D06917FD5396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"015690f06b897848fa0f5038f03c0e6994d6c77e","datavalue":{"value":{"entity-type":"item","numeric-id":2891438,"id":"Q2891438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd1e1fa3656073711ea4ae6d99932c7e784fcee5","datavalue":{"value":{"amount":"+0.7321434020996094","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":"Q3066112$F24A9C4A-7F7D-469D-9B79-FC4D48207A2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcbb17b5eeff24acc0ae046b77968c0618c1cbba","datavalue":{"value":{"entity-type":"item","numeric-id":5204800,"id":"Q5204800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e2f34bc7f1df08469ed570ca98598c448dc2f40","datavalue":{"value":{"amount":"+0.7234140634536743","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":"Q3066112$745B3D48-096C-44AD-AF0F-ED861962B7E7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3066112","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3066112"}}}}}