{"entities":{"Q3455076":{"pageid":5234476,"ns":120,"title":"Item:Q3455076","lastrevid":90151925,"modified":"2026-06-04T19:25:05Z","type":"item","id":"Q3455076","labels":{"en":{"language":"en","value":"Polynomial-time optimal pretty-printing combinators with choice"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6515891"}},"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":"Q3455076$9679E53A-2695-4F6A-9609-8746106A1E48","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"42ce6b310b2f2a0e0f687a0cff29cca55100c602","datavalue":{"value":{"text":"Polynomial-Time Optimal Pretty-Printing Combinators with Choice","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3455076$25032144-10B3-4D1C-B7FA-C79254405D14","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"729c687dcc64f32d711b41aa43f2fa122cd30753","datavalue":{"value":"1434.68221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455076$E325F15E-CBDC-4EDC-A6FF-4B0115F95C90","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5c550d788421e6b9c5dbc77f194651b3b6ad34ff","datavalue":{"value":"10.1007/978-3-662-46823-4_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455076$56161AA7-0729-48FC-BD52-37456BA263EE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"987692343b7896bb966f8447c5776f21d6f7a006","datavalue":{"value":{"entity-type":"item","numeric-id":3455074,"id":"Q3455074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455076$623D88FF-2D40-4199-B15A-6EE1EA513B57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"037c34c0867d0b3e3e61b1964ba7b2c4a9b57388","datavalue":{"value":{"entity-type":"item","numeric-id":3455075,"id":"Q3455075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455076$C9276A4C-C54C-4E1F-BBB2-8FB3AF261ACC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455076$73D5A32B-C3DA-42B1-B4E7-918C3CAA6A38","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"40cf40b0298fbc15063fa57ac2e42e939273e7ad","datavalue":{"value":{"time":"+2015-12-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3455076$D5C54341-E68D-409F-B5FC-55980958F325","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455076$BF3D744B-3DE8-41C5-B08E-2A619AC86204","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"be239ff54d76d0bbc4e809d331a52dc329ee271a","datavalue":{"value":"6515891","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455076$4A1B6F7C-557D-4BE9-9AB4-874E873BEF44","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"beae84aa455aa835c07e0294ba3b6bcff85ce1b5","datavalue":{"value":"pretty-printing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3455076$1B1F4452-6213-493B-B09B-20E61687DC22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23328227337a3cafe924ff36301e08c88820342a","datavalue":{"value":"combinators","type":"string"},"datatype":"string"},"type":"statement","id":"Q3455076$BC0FCDC0-21AE-46E9-9450-55952E755D6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c0f290f72ed7a768c75c2399ba93fb6e7c19cbe","datavalue":{"value":"bottom-up rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3455076$48F3293A-946C-46FA-B5A1-4A7CC7FD9841","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":"Q3455076$E0D32A1E-432F-4BD7-A2F2-BD0DF62DF54B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1c15fc6bfa9077d8d08d96e13d1d5eb8b7b0563b","datavalue":{"value":"https://doi.org/10.1007/978-3-662-46823-4_21","type":"string"},"datatype":"url"},"type":"statement","id":"Q3455076$B86FF16B-71CC-4D33-BA62-C9819751A170","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ebbc99b5b244aa82910de4c363f95cd2e0a9aabf","datavalue":{"value":"W612875727","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455076$9D8C94E4-4D4B-4EE7-A46B-26CCB96E8D8A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bded9131bfc5bb5c42be23741c101849a00119c3","datavalue":{"value":{"entity-type":"item","numeric-id":5302643,"id":"Q5302643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455076$5A826524-9ACA-482F-90D5-274131F0B431","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"980f2db14047784fe76b4e74a797bdec2ed4ba99","datavalue":{"value":{"entity-type":"item","numeric-id":5302643,"id":"Q5302643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06e552e7a148594b54db2a838552dd12e0e2b964","datavalue":{"value":{"amount":"+0.7527507543563843","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":"Q3455076$DE373174-D502-403E-B053-F0EA48C74E78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8a3c252ebc4a0ba72d32369f0bfd8935f4f690b","datavalue":{"value":{"entity-type":"item","numeric-id":4921512,"id":"Q4921512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"217b9a1e080a32807c3aaeef0b877ef006a12a10","datavalue":{"value":{"amount":"+0.6706490516662598","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":"Q3455076$1835ECE3-D9CA-4B25-AE24-4E1AB80C64F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d2fed7fc22f03984eb67f90073c845a47970ffb","datavalue":{"value":{"entity-type":"item","numeric-id":1067769,"id":"Q1067769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad9a13fd9c6f633077a70313e29a48579cfacf85","datavalue":{"value":{"amount":"+0.6655526757240295","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":"Q3455076$9BD81CE4-B4C7-4D4B-B555-9819A002BAFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"beb6c9b7ed9d5a184b9f1f30e8b6a188cd93687f","datavalue":{"value":{"entity-type":"item","numeric-id":4413781,"id":"Q4413781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dcf0a076af766c5264a840f679e16b6261cb4b2","datavalue":{"value":{"amount":"+0.6607147455215454","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":"Q3455076$26C3E634-7AE3-4236-9146-878287823C08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99611e65fdaed89cc7253dee06a7df9f61354954","datavalue":{"value":{"entity-type":"item","numeric-id":4764615,"id":"Q4764615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bec90dd0968317f2d0a33e8c8d5d3ef2add3be80","datavalue":{"value":{"amount":"+0.6581129431724548","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":"Q3455076$69E29414-6C90-444E-9E31-79C2D263F45F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Polynomial-time optimal pretty-printing combinators with choice","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Polynomial-time_optimal_pretty-printing_combinators_with_choice"}}}}}